runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007050905/aspcud-trendy-1.2/randeb343c.cudf.easy.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/easy//randeb343c.cudf /home/misc2010/tmp/201007050905/aspcud-trendy-1.2/randeb343c.cudf.easy.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.15 1.16 1.10 5/37 30898 /proc/meminfo: memFree=471156/1048576 swapFree=2095456/2097144 [pid=30898] ppid=30897 vsize=4540 CPUtime=0.02 /proc/30898/stat : 30898 (aspcud-trendy-1) R 30897 30898 24102 769 24102 4202496 932 0 0 0 0 2 0 0 25 0 1 0 525216821 4648960 796 1283457024 134512640 135539072 4292030528 18446744073709551615 4158895966 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/30898/statm: 1135 796 387 251 0 405 0 [startup+0.206041 s] /proc/loadavg: 1.15 1.16 1.10 5/37 30898 /proc/meminfo: memFree=471156/1048576 swapFree=2095456/2097144 [pid=30898] ppid=30897 vsize=4592 CPUtime=0.02 /proc/30898/stat : 30898 (aspcud-trendy-1) S 30897 30898 24102 769 24102 4202496 1033 0 0 0 0 2 0 0 25 0 1 0 525216821 4702208 840 1283457024 134512640 135539072 4292030528 18446744073709551615 4159677358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30898/statm: 1148 840 401 251 0 406 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4592 [startup+0.306065 s] /proc/loadavg: 1.15 1.16 1.10 5/37 30898 /proc/meminfo: memFree=471156/1048576 swapFree=2095456/2097144 [pid=30898] ppid=30897 vsize=4592 CPUtime=0.02 /proc/30898/stat : 30898 (aspcud-trendy-1) S 30897 30898 24102 769 24102 4202496 1033 0 0 0 0 2 0 0 25 0 1 0 525216821 4702208 840 1283457024 134512640 135539072 4292030528 18446744073709551615 4159677358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30898/statm: 1148 840 401 251 0 406 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4592 [startup+0.406087 s] /proc/loadavg: 1.15 1.16 1.10 5/37 30898 /proc/meminfo: memFree=471156/1048576 swapFree=2095456/2097144 [pid=30898] ppid=30897 vsize=4592 CPUtime=0.02 /proc/30898/stat : 30898 (aspcud-trendy-1) S 30897 30898 24102 769 24102 4202496 1033 0 0 0 0 2 0 0 25 0 1 0 525216821 4702208 840 1283457024 134512640 135539072 4292030528 18446744073709551615 4159677358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30898/statm: 1148 840 401 251 0 406 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4592 [startup+0.706173 s] /proc/loadavg: 1.15 1.16 1.10 5/37 30898 /proc/meminfo: memFree=471156/1048576 swapFree=2095456/2097144 [pid=30898] ppid=30897 vsize=4592 CPUtime=0.02 /proc/30898/stat : 30898 (aspcud-trendy-1) S 30897 30898 24102 769 24102 4202496 1033 0 0 0 0 2 0 0 25 0 1 0 525216821 4702208 840 1283457024 134512640 135539072 4292030528 18446744073709551615 4159677358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30898/statm: 1148 840 401 251 0 406 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4592 [startup+1.50642 s] /proc/loadavg: 1.30 1.19 1.11 2/39 30900 /proc/meminfo: memFree=459880/1048576 swapFree=2095456/2097144 [pid=30898] ppid=30897 vsize=4592 CPUtime=0.02 /proc/30898/stat : 30898 (aspcud-trendy-1) S 30897 30898 24102 769 24102 4202496 1033 0 0 0 0 2 0 0 25 0 1 0 525216821 4702208 840 1283457024 134512640 135539072 4292030528 18446744073709551615 4159677358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30898/statm: 1148 840 401 251 0 406 0 [pid=30900] ppid=30898 vsize=15400 CPUtime=1.48 /proc/30900/stat : 30900 (cudf2lp) R 30898 30898 24102 769 24102 4202496 3727 0 0 0 145 3 0 0 25 0 1 0 525216823 15769600 3522 1283457024 134512640 135993029 4291164064 18446744073709551615 134579282 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/30900/statm: 3850 3522 110 362 0 3432 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 19992 [startup+3.10678 s] /proc/loadavg: 1.30 1.19 1.11 2/39 30900 /proc/meminfo: memFree=450208/1048576 swapFree=2095456/2097144 [pid=30898] ppid=30897 vsize=4592 CPUtime=0.02 /proc/30898/stat : 30898 (aspcud-trendy-1) S 30897 30898 24102 769 24102 4202496 1033 0 0 0 0 2 0 0 25 0 1 0 525216821 4702208 840 1283457024 134512640 135539072 4292030528 18446744073709551615 4159677358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30898/statm: 1148 840 401 251 0 406 0 [pid=30900] ppid=30898 vsize=29668 CPUtime=3.08 /proc/30900/stat : 30900 (cudf2lp) R 30898 30898 24102 769 24102 4202496 7190 0 0 0 304 4 0 0 25 0 1 0 525216823 30380032 6985 1283457024 134512640 135993029 4291164064 18446744073709551615 134567015 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/30900/statm: 7417 6985 110 362 0 6999 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 34260 [startup+6.30858 s] /proc/loadavg: 1.28 1.19 1.10 3/40 30902 /proc/meminfo: memFree=448456/1048576 swapFree=2095456/2097144 [pid=30898] ppid=30897 vsize=4592 CPUtime=5.28 /proc/30898/stat : 30898 (aspcud-trendy-1) S 30897 30898 24102 769 24102 4202496 1216 17983 0 0 0 2 437 89 18 0 1 0 525216821 4702208 843 1283457024 134512640 135539072 4292030528 18446744073709551615 4159677358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30898/statm: 1148 843 404 251 0 406 0 [pid=30901] ppid=30898 vsize=31192 CPUtime=0.88 /proc/30901/stat : 30901 (bingo) R 30898 30898 24102 769 24102 4202496 10271 0 0 0 84 4 0 0 25 0 1 0 525217350 31940608 6264 1283457024 134512640 136195415 4291430400 18446744073709551615 134577527 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/30901/statm: 7798 6264 205 411 0 7385 0 [pid=30902] ppid=30898 vsize=23356 CPUtime=0.13 /proc/30902/stat : 30902 (clasp) S 30898 30898 24102 769 24102 4202496 6688 0 0 0 13 0 0 0 20 0 1 0 525217352 23916544 5460 1283457024 134512640 136080129 4291424240 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/30902/statm: 5839 5460 144 383 0 5454 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59140 [startup+12.7102 s] /proc/loadavg: 1.26 1.18 1.10 2/40 30902 /proc/meminfo: memFree=130104/1048576 swapFree=2095456/2097144 [pid=30898] ppid=30897 vsize=4592 CPUtime=5.28 /proc/30898/stat : 30898 (aspcud-trendy-1) S 30897 30898 24102 769 24102 4202496 1216 17983 0 0 0 2 437 89 18 0 1 0 525216821 4702208 843 1283457024 134512640 135539072 4292030528 18446744073709551615 4159677358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30898/statm: 1148 843 404 251 0 406 0 [pid=30901] ppid=30898 vsize=0 CPUtime=6.13 /proc/30901/stat : 30901 (bingo) Z 30898 30898 24102 769 24102 4202508 111866 0 0 0 567 46 0 0 25 0 1 0 525217350 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30901/statm: 0 0 0 0 0 0 0 [pid=30902] ppid=30898 vsize=106692 CPUtime=1.27 /proc/30902/stat : 30902 (clasp) R 30898 30898 24102 769 24102 4202496 29899 0 0 0 120 7 0 0 18 0 1 0 525217352 109252608 25846 1283457024 134512640 136080129 4291424240 18446744073709551615 134893364 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/30902/statm: 26673 25846 158 383 0 26288 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 111284 [startup+25.5076 s] /proc/loadavg: 1.20 1.17 1.10 2/40 30904 /proc/meminfo: memFree=344608/1048576 swapFree=2095456/2097144 [pid=30898] ppid=30897 vsize=4720 CPUtime=15.27 /proc/30898/stat : 30898 (aspcud-trendy-1) S 30897 30898 24102 769 24102 4202496 1416 175785 0 0 0 2 1377 148 18 0 1 0 525216821 4833280 856 1283457024 134512640 135539072 4292030528 18446744073709551615 4159677358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30898/statm: 1180 856 404 251 0 438 0 [pid=30903] ppid=30898 vsize=0 CPUtime=6.12 /proc/30903/stat : 30903 (bingo) Z 30898 30898 24102 769 24102 4202508 112411 0 0 0 573 39 0 0 25 0 1 0 525218350 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30903/statm: 0 0 0 0 0 0 0 [pid=30904] ppid=30898 vsize=124728 CPUtime=4.08 /proc/30904/stat : 30904 (clasp) R 30898 30898 24102 769 24102 4202496 46142 0 0 0 384 24 0 0 25 0 1 0 525218352 127721472 30650 1283457024 134512640 136080129 4292966752 18446744073709551615 134779730 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/30904/statm: 31182 30650 190 383 0 30797 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 129448 Solver just ended. Dumping a history of the last processes samples [startup+25.7077 s] /proc/loadavg: 1.20 1.17 1.10 2/40 30904 /proc/meminfo: memFree=344608/1048576 swapFree=2095456/2097144 [pid=30898] ppid=30897 vsize=4720 CPUtime=15.27 /proc/30898/stat : 30898 (aspcud-trendy-1) S 30897 30898 24102 769 24102 4202496 1416 175785 0 0 0 2 1377 148 18 0 1 0 525216821 4833280 856 1283457024 134512640 135539072 4292030528 18446744073709551615 4159677358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30898/statm: 1180 856 404 251 0 438 0 [pid=30903] ppid=30898 vsize=0 CPUtime=6.12 /proc/30903/stat : 30903 (bingo) Z 30898 30898 24102 769 24102 4202508 112411 0 0 0 573 39 0 0 25 0 1 0 525218350 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30903/statm: 0 0 0 0 0 0 0 [pid=30904] ppid=30898 vsize=96040 CPUtime=4.28 /proc/30904/stat : 30904 (clasp) R 30898 30898 24102 769 24102 4202496 46153 0 0 0 402 26 0 0 25 0 1 0 525218352 98344960 23728 1283457024 134512640 136080129 4292966752 18446744073709551615 135501042 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/30904/statm: 24010 23728 201 383 0 23625 0 Current children cumulated CPU time (s) 25.67 Current children cumulated vsize (KiB) 100760 [startup+38.5045 s] /proc/loadavg: 1.24 1.18 1.10 2/40 30908 /proc/meminfo: memFree=409740/1048576 swapFree=2095456/2097144 [pid=30898] ppid=30897 vsize=4720 CPUtime=36.14 /proc/30898/stat : 30898 (aspcud-trendy-1) S 30897 30898 24102 769 24102 4202496 1813 493488 0 0 0 4 3321 289 18 0 1 0 525216821 4833280 860 1283457024 134512640 135539072 4292030528 18446744073709551615 4159677358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30898/statm: 1180 860 404 251 0 438 0 [pid=30907] ppid=30898 vsize=80128 CPUtime=2.06 /proc/30907/stat : 30907 (bingo) R 30898 30898 24102 769 24102 4202496 24657 0 0 0 194 12 0 0 25 0 1 0 525220439 82051072 16277 1283457024 134512640 136195415 4287603808 18446744073709551615 135539525 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/30907/statm: 20032 16277 220 411 0 19619 0 [pid=30908] ppid=30898 vsize=49676 CPUtime=0.24 /proc/30908/stat : 30908 (clasp) S 30898 30898 24102 769 24102 4202496 14209 0 0 0 22 2 0 0 18 0 1 0 525220441 50868224 11814 1283457024 134512640 136080129 4288738640 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/30908/statm: 12419 11814 149 383 0 12034 0 Current children cumulated CPU time (s) 38.44 Current children cumulated vsize (KiB) 134524 [startup+44.9136 s] /proc/loadavg: 1.22 1.18 1.10 2/40 30908 /proc/meminfo: memFree=366840/1048576 swapFree=2095456/2097144 [pid=30898] ppid=30897 vsize=4720 CPUtime=36.14 /proc/30898/stat : 30898 (aspcud-trendy-1) S 30897 30898 24102 769 24102 4202496 1813 493488 0 0 0 4 3321 289 18 0 1 0 525216821 4833280 860 1283457024 134512640 135539072 4292030528 18446744073709551615 4159677358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30898/statm: 1180 860 404 251 0 438 0 [pid=30907] ppid=30898 vsize=0 CPUtime=6.38 /proc/30907/stat : 30907 (bingo) Z 30898 30898 24102 769 24102 4202508 113736 0 0 0 592 46 0 0 25 0 1 0 525220439 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30907/statm: 0 0 0 0 0 0 0 [pid=30908] ppid=30898 vsize=131372 CPUtime=2.3 /proc/30908/stat : 30908 (clasp) R 30898 30898 24102 769 24102 4202496 40053 0 0 0 219 11 0 0 20 0 1 0 525220441 134524928 31711 1283457024 134512640 136080129 4288738640 18446744073709551615 134665567 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/30908/statm: 32843 31711 168 383 0 32458 0 Current children cumulated CPU time (s) 44.82 Current children cumulated vsize (KiB) 136092 [startup+48.1145 s] /proc/loadavg: 1.20 1.18 1.10 2/40 30908 /proc/meminfo: memFree=349480/1048576 swapFree=2095456/2097144 [pid=30898] ppid=30897 vsize=4720 CPUtime=36.14 /proc/30898/stat : 30898 (aspcud-trendy-1) S 30897 30898 24102 769 24102 4202496 1813 493488 0 0 0 4 3321 289 18 0 1 0 525216821 4833280 860 1283457024 134512640 135539072 4292030528 18446744073709551615 4159677358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30898/statm: 1180 860 404 251 0 438 0 [pid=30907] ppid=30898 vsize=0 CPUtime=6.38 /proc/30907/stat : 30907 (bingo) Z 30898 30898 24102 769 24102 4202508 113736 0 0 0 592 46 0 0 25 0 1 0 525220439 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30907/statm: 0 0 0 0 0 0 0 [pid=30908] ppid=30898 vsize=125724 CPUtime=5.49 /proc/30908/stat : 30908 (clasp) R 30898 30898 24102 769 24102 4202496 46193 0 0 0 536 13 0 0 25 0 1 0 525220441 128741376 30871 1283457024 134512640 136080129 4288738640 18446744073709551615 134808701 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/30908/statm: 31431 30871 193 383 0 31046 0 Current children cumulated CPU time (s) 48.01 Current children cumulated vsize (KiB) 130444 [startup+48.9147 s] /proc/loadavg: 1.20 1.18 1.10 2/40 30908 /proc/meminfo: memFree=349480/1048576 swapFree=2095456/2097144 [pid=30898] ppid=30897 vsize=4720 CPUtime=36.14 /proc/30898/stat : 30898 (aspcud-trendy-1) S 30897 30898 24102 769 24102 4202496 1813 493488 0 0 0 4 3321 289 18 0 1 0 525216821 4833280 860 1283457024 134512640 135539072 4292030528 18446744073709551615 4159677358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30898/statm: 1180 860 404 251 0 438 0 [pid=30907] ppid=30898 vsize=0 CPUtime=6.38 /proc/30907/stat : 30907 (bingo) Z 30898 30898 24102 769 24102 4202508 113736 0 0 0 592 46 0 0 25 0 1 0 525220439 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30907/statm: 0 0 0 0 0 0 0 [pid=30908] ppid=30898 vsize=125724 CPUtime=6.29 /proc/30908/stat : 30908 (clasp) R 30898 30898 24102 769 24102 4202496 46193 0 0 0 616 13 0 0 25 0 1 0 525220441 128741376 30871 1283457024 134512640 136080129 4288738640 18446744073709551615 134842240 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/30908/statm: 31431 30871 193 383 0 31046 0 Current children cumulated CPU time (s) 48.81 Current children cumulated vsize (KiB) 130444 [startup+49.3148 s] /proc/loadavg: 1.20 1.18 1.10 2/40 30908 /proc/meminfo: memFree=349480/1048576 swapFree=2095456/2097144 [pid=30898] ppid=30897 vsize=4720 CPUtime=36.14 /proc/30898/stat : 30898 (aspcud-trendy-1) S 30897 30898 24102 769 24102 4202496 1813 493488 0 0 0 4 3321 289 18 0 1 0 525216821 4833280 860 1283457024 134512640 135539072 4292030528 18446744073709551615 4159677358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30898/statm: 1180 860 404 251 0 438 0 [pid=30907] ppid=30898 vsize=0 CPUtime=6.38 /proc/30907/stat : 30907 (bingo) Z 30898 30898 24102 769 24102 4202508 113736 0 0 0 592 46 0 0 25 0 1 0 525220439 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30907/statm: 0 0 0 0 0 0 0 [pid=30908] ppid=30898 vsize=125724 CPUtime=6.69 /proc/30908/stat : 30908 (clasp) R 30898 30898 24102 769 24102 4202496 46193 0 0 0 656 13 0 0 25 0 1 0 525220441 128741376 30871 1283457024 134512640 136080129 4288738640 18446744073709551615 134625273 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/30908/statm: 31431 30871 193 383 0 31046 0 Current children cumulated CPU time (s) 49.21 Current children cumulated vsize (KiB) 130444 [startup+49.7148 s] /proc/loadavg: 1.20 1.18 1.10 2/40 30908 /proc/meminfo: memFree=349480/1048576 swapFree=2095456/2097144 [pid=30898] ppid=30897 vsize=4720 CPUtime=36.14 /proc/30898/stat : 30898 (aspcud-trendy-1) S 30897 30898 24102 769 24102 4202496 1813 493488 0 0 0 4 3321 289 18 0 1 0 525216821 4833280 860 1283457024 134512640 135539072 4292030528 18446744073709551615 4159677358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/30898/statm: 1180 860 404 251 0 438 0 [pid=30907] ppid=30898 vsize=0 CPUtime=6.38 /proc/30907/stat : 30907 (bingo) Z 30898 30898 24102 769 24102 4202508 113736 0 0 0 592 46 0 0 25 0 1 0 525220439 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30907/statm: 0 0 0 0 0 0 0 [pid=30908] ppid=30898 vsize=96264 CPUtime=7.1 /proc/30908/stat : 30908 (clasp) R 30898 30898 24102 769 24102 4202496 46203 0 0 0 696 14 0 0 25 0 1 0 525220441 98574336 23823 1283457024 134512640 136080129 4288738640 18446744073709551615 135495346 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/30908/statm: 24066 23823 203 383 0 23681 0 Current children cumulated CPU time (s) 49.62 Current children cumulated vsize (KiB) 100984 Child status: 0 Real time (s): 49.8102 CPU time (s): 49.7351 CPU user time (s): 46.1429 CPU system time (s): 3.59222 CPU usage (%): 99.8493 Max. virtual memory (cumulated for all children) (KiB): 590728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 46.1429 system time used= 3.59222 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 656582 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14509 involuntary context switches= 15132 runsolver used 0 second user time and 0 second system time The end