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/rand13b58e.cudf.easy.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/easy//rand13b58e.cudf /home/misc2010/tmp/201007050905/aspcud-trendy-1.2/rand13b58e.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.07 0.57 0.22 3/36 24660 /proc/meminfo: memFree=423276/1048576 swapFree=2095456/2097144 [pid=24660] ppid=24659 vsize=3724 CPUtime=0 /proc/24660/stat : 24660 (aspcud-trendy-1) R 24659 24660 24102 769 24102 4202496 622 0 0 0 0 0 0 0 25 0 1 0 524943379 3813376 509 1283457024 134512640 135539072 4287618048 18446744073709551615 134788830 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/24660/statm: 931 509 303 251 0 232 0 [startup+0.114784 s] /proc/loadavg: 1.07 0.57 0.22 3/36 24660 /proc/meminfo: memFree=423276/1048576 swapFree=2095456/2097144 [pid=24660] ppid=24659 vsize=4588 CPUtime=0.02 /proc/24660/stat : 24660 (aspcud-trendy-1) R 24659 24660 24102 769 24102 4202496 975 0 0 0 2 0 0 0 25 0 1 0 524943379 4698112 837 1283457024 134512640 135539072 4287618048 18446744073709551615 4158636448 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/24660/statm: 1147 837 399 251 0 405 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4588 [startup+0.214809 s] /proc/loadavg: 1.07 0.57 0.22 3/36 24660 /proc/meminfo: memFree=423276/1048576 swapFree=2095456/2097144 [pid=24660] ppid=24659 vsize=4588 CPUtime=0.02 /proc/24660/stat : 24660 (aspcud-trendy-1) S 24659 24660 24102 769 24102 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 524943379 4698112 839 1283457024 134512640 135539072 4287618048 18446744073709551615 4159574958 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24660/statm: 1147 839 401 251 0 405 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4588 [startup+0.314812 s] /proc/loadavg: 1.07 0.57 0.22 3/36 24660 /proc/meminfo: memFree=423276/1048576 swapFree=2095456/2097144 [pid=24660] ppid=24659 vsize=4588 CPUtime=0.02 /proc/24660/stat : 24660 (aspcud-trendy-1) S 24659 24660 24102 769 24102 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 524943379 4698112 839 1283457024 134512640 135539072 4287618048 18446744073709551615 4159574958 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24660/statm: 1147 839 401 251 0 405 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4588 [startup+0.714859 s] /proc/loadavg: 1.07 0.57 0.22 3/36 24660 /proc/meminfo: memFree=423276/1048576 swapFree=2095456/2097144 [pid=24660] ppid=24659 vsize=4588 CPUtime=0.02 /proc/24660/stat : 24660 (aspcud-trendy-1) S 24659 24660 24102 769 24102 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 524943379 4698112 839 1283457024 134512640 135539072 4287618048 18446744073709551615 4159574958 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24660/statm: 1147 839 401 251 0 405 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4588 [startup+1.51496 s] /proc/loadavg: 1.07 0.57 0.22 2/38 24662 /proc/meminfo: memFree=410520/1048576 swapFree=2095456/2097144 [pid=24660] ppid=24659 vsize=4588 CPUtime=0.02 /proc/24660/stat : 24660 (aspcud-trendy-1) S 24659 24660 24102 769 24102 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 524943379 4698112 839 1283457024 134512640 135539072 4287618048 18446744073709551615 4159574958 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24660/statm: 1147 839 401 251 0 405 0 [pid=24662] ppid=24660 vsize=15396 CPUtime=1.49 /proc/24662/stat : 24662 (cudf2lp) R 24660 24660 24102 769 24102 4202496 3700 0 0 0 149 0 0 0 25 0 1 0 524943381 15765504 3496 1283457024 134512640 135993029 4291637264 18446744073709551615 134569517 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/24662/statm: 3849 3496 110 362 0 3431 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 19984 [startup+3.11518 s] /proc/loadavg: 1.07 0.57 0.22 2/38 24662 /proc/meminfo: memFree=399980/1048576 swapFree=2095456/2097144 [pid=24660] ppid=24659 vsize=4588 CPUtime=0.02 /proc/24660/stat : 24660 (aspcud-trendy-1) S 24659 24660 24102 769 24102 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 524943379 4698112 839 1283457024 134512640 135539072 4287618048 18446744073709551615 4159574958 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/24660/statm: 1147 839 401 251 0 405 0 [pid=24662] ppid=24660 vsize=28920 CPUtime=3.09 /proc/24662/stat : 24662 (cudf2lp) R 24660 24660 24102 769 24102 4202496 7022 0 0 0 306 3 0 0 25 0 1 0 524943381 29614080 6818 1283457024 134512640 135993029 4291637264 18446744073709551615 134570569 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/24662/statm: 7230 6818 110 362 0 6812 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 33508 [startup+6.3159 s] /proc/loadavg: 1.06 0.58 0.22 3/39 24664 /proc/meminfo: memFree=402948/1048576 swapFree=2095456/2097144 [pid=24660] ppid=24659 vsize=4588 CPUtime=5.45 /proc/24660/stat : 24660 (aspcud-trendy-1) S 24659 24660 24102 769 24102 4202496 1218 17981 0 0 2 0 463 80 18 0 1 0 524943379 4698112 842 1283457024 134512640 135539072 4287618048 18446744073709551615 4159574958 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/24660/statm: 1147 842 404 251 0 405 0 [pid=24663] ppid=24660 vsize=24056 CPUtime=0.74 /proc/24663/stat : 24663 (bingo) R 24660 24660 24102 769 24102 4202496 7765 0 0 0 70 4 0 0 24 0 1 0 524943925 24633344 4785 1283457024 134512640 136195415 4288687456 18446744073709551615 134686680 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/24663/statm: 6014 4785 205 411 0 5601 0 [pid=24664] ppid=24660 vsize=17796 CPUtime=0.06 /proc/24664/stat : 24664 (clasp) S 24660 24660 24102 769 24102 4202496 4932 0 0 0 6 0 0 0 22 0 1 0 524943927 18223104 4110 1283457024 134512640 136080129 4286978992 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/24664/statm: 4449 4110 144 383 0 4064 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 46440 [startup+12.7078 s] /proc/loadavg: 1.06 0.58 0.23 3/39 24664 /proc/meminfo: memFree=5760/1048576 swapFree=2095456/2097144 [pid=24660] ppid=24659 vsize=4588 CPUtime=5.45 /proc/24660/stat : 24660 (aspcud-trendy-1) S 24659 24660 24102 769 24102 4202496 1218 17981 0 0 2 0 463 80 18 0 1 0 524943379 4698112 842 1283457024 134512640 135539072 4287618048 18446744073709551615 4159574958 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/24660/statm: 1147 842 404 251 0 405 0 [pid=24663] ppid=24660 vsize=313388 CPUtime=6.2 /proc/24663/stat : 24663 (bingo) R 24660 24660 24102 769 24102 4202496 111873 0 0 0 565 55 0 0 25 0 1 0 524943925 320909312 67609 1283457024 134512640 136195415 4288687456 18446744073709551615 135582645 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/24663/statm: 78347 67609 221 411 0 77934 0 [pid=24664] ppid=24660 vsize=100044 CPUtime=0.93 /proc/24664/stat : 24664 (clasp) S 24660 24660 24102 769 24102 4202496 27678 0 0 0 84 9 0 0 18 0 1 0 524943927 102445056 24362 1283457024 134512640 136080129 4286978992 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/24664/statm: 25011 24362 144 383 0 24626 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 418020 [startup+25.5122 s] /proc/loadavg: 1.20 0.63 0.25 3/39 24666 /proc/meminfo: memFree=356560/1048576 swapFree=2095456/2097144 [pid=24660] ppid=24659 vsize=4716 CPUtime=16.77 /proc/24660/stat : 24660 (aspcud-trendy-1) S 24659 24660 24102 769 24102 4202496 1423 175811 0 0 2 0 1515 160 18 0 1 0 524943379 4829184 858 1283457024 134512640 135539072 4287618048 18446744073709551615 4159574958 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/24660/statm: 1179 858 404 251 0 437 0 [pid=24665] ppid=24660 vsize=0 CPUtime=6.44 /proc/24665/stat : 24665 (bingo) Z 24660 24660 24102 769 24102 4202508 112415 0 0 0 608 36 0 0 25 0 1 0 524945068 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/24665/statm: 0 0 0 0 0 0 0 [pid=24666] ppid=24660 vsize=109680 CPUtime=2.14 /proc/24666/stat : 24666 (clasp) R 24660 24660 24102 769 24102 4202496 31455 0 0 0 200 14 0 0 19 0 1 0 524945069 112312320 26397 1283457024 134512640 136080129 4290008704 18446744073709551615 134916041 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/24666/statm: 27420 26397 163 383 0 27035 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 114396 [startup+51.1112 s] /proc/loadavg: 1.20 0.68 0.28 2/39 24670 /proc/meminfo: memFree=335084/1048576 swapFree=2095456/2097144 [pid=24660] ppid=24659 vsize=4716 CPUtime=39.16 /proc/24660/stat : 24660 (aspcud-trendy-1) S 24659 24660 24102 769 24102 4202496 1824 493517 0 0 2 0 3629 285 18 0 1 0 524943379 4829184 859 1283457024 134512640 135539072 4287618048 18446744073709551615 4159574958 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/24660/statm: 1179 859 404 251 0 437 0 [pid=24669] ppid=24660 vsize=0 CPUtime=6.72 /proc/24669/stat : 24669 (bingo) Z 24660 24660 24102 769 24102 4202508 113733 0 0 0 607 65 0 0 25 0 1 0 524947324 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/24669/statm: 0 0 0 0 0 0 0 [pid=24670] ppid=24660 vsize=125672 CPUtime=4.82 /proc/24670/stat : 24670 (clasp) R 24660 24660 24102 769 24102 4202496 46177 0 0 0 470 12 0 0 25 0 1 0 524947326 128688128 30855 1283457024 134512640 136080129 4289070496 18446744073709551615 134804548 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/24670/statm: 31418 30855 193 383 0 31033 0 Current children cumulated CPU time (s) 50.7 Current children cumulated vsize (KiB) 130388 Solver just ended. Dumping a history of the last processes samples [startup+51.2113 s] /proc/loadavg: 1.20 0.68 0.28 2/39 24670 /proc/meminfo: memFree=335084/1048576 swapFree=2095456/2097144 [pid=24660] ppid=24659 vsize=4716 CPUtime=39.16 /proc/24660/stat : 24660 (aspcud-trendy-1) S 24659 24660 24102 769 24102 4202496 1824 493517 0 0 2 0 3629 285 18 0 1 0 524943379 4829184 859 1283457024 134512640 135539072 4287618048 18446744073709551615 4159574958 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/24660/statm: 1179 859 404 251 0 437 0 [pid=24669] ppid=24660 vsize=0 CPUtime=6.72 /proc/24669/stat : 24669 (bingo) Z 24660 24660 24102 769 24102 4202508 113733 0 0 0 607 65 0 0 25 0 1 0 524947324 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/24669/statm: 0 0 0 0 0 0 0 [pid=24670] ppid=24660 vsize=96260 CPUtime=4.92 /proc/24670/stat : 24670 (clasp) R 24660 24660 24102 769 24102 4202496 46187 0 0 0 478 14 0 0 25 0 1 0 524947326 98570240 23813 1283457024 134512640 136080129 4289070496 18446744073709551615 135495352 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/24670/statm: 24065 23813 203 383 0 23680 0 Current children cumulated CPU time (s) 50.8 Current children cumulated vsize (KiB) 100976 Child status: 0 Real time (s): 51.3009 CPU time (s): 50.9032 CPU user time (s): 47.2109 CPU system time (s): 3.69223 CPU usage (%): 99.2248 Max. virtual memory (cumulated for all children) (KiB): 589624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 47.2109 system time used= 3.69223 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 656601 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= 14522 involuntary context switches= 17114 runsolver used 0 second user time and 0 second system time The end