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/201007051419/aspcud-paranoid-1.0/rand0aa5c1.cudf.difficult.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/difficult//rand0aa5c1.cudf /home/misc2010/tmp/201007051419/aspcud-paranoid-1.0/rand0aa5c1.cudf.difficult.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: 0.89 1.01 1.01 1/107 21810 /proc/meminfo: memFree=1215880/2097152 swapFree=2055676/2097144 [pid=21810] ppid=21809 vsize=180 CPUtime=0 /proc/21810/stat : 21810 (aspcud-paranoid) R 21809 21810 13759 34823 13904 4194304 98 0 0 0 0 0 0 0 19 0 1 0 415326619 184320 25 1283457024 134512640 134533632 4287713664 18446744073709551615 4160319937 0 0 0 0 0 0 0 17 0 0 0 0 /proc/21810/statm: 45 28 22 6 0 5 0 [startup+0.129055 s] /proc/loadavg: 0.89 1.01 1.01 1/107 21810 /proc/meminfo: memFree=1215880/2097152 swapFree=2055676/2097144 [pid=21810] ppid=21809 vsize=4684 CPUtime=0.01 /proc/21810/stat : 21810 (python) S 21809 21810 13759 34823 13904 4202496 1151 0 0 0 1 0 0 0 19 0 1 0 415326619 4796416 831 1283457024 134512640 135539072 4287713680 18446744073709551615 4160160686 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21810/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+0.205041 s] /proc/loadavg: 0.89 1.01 1.01 1/107 21810 /proc/meminfo: memFree=1215880/2097152 swapFree=2055676/2097144 [pid=21810] ppid=21809 vsize=4684 CPUtime=0.01 /proc/21810/stat : 21810 (python) S 21809 21810 13759 34823 13904 4202496 1151 0 0 0 1 0 0 0 19 0 1 0 415326619 4796416 831 1283457024 134512640 135539072 4287713680 18446744073709551615 4160160686 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21810/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+0.305042 s] /proc/loadavg: 0.89 1.01 1.01 1/107 21810 /proc/meminfo: memFree=1215880/2097152 swapFree=2055676/2097144 [pid=21810] ppid=21809 vsize=4684 CPUtime=0.01 /proc/21810/stat : 21810 (python) S 21809 21810 13759 34823 13904 4202496 1151 0 0 0 1 0 0 0 19 0 1 0 415326619 4796416 831 1283457024 134512640 135539072 4287713680 18446744073709551615 4160160686 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21810/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+0.705058 s] /proc/loadavg: 0.89 1.01 1.01 1/107 21810 /proc/meminfo: memFree=1215880/2097152 swapFree=2055676/2097144 [pid=21810] ppid=21809 vsize=4684 CPUtime=0.01 /proc/21810/stat : 21810 (python) S 21809 21810 13759 34823 13904 4202496 1151 0 0 0 1 0 0 0 19 0 1 0 415326619 4796416 831 1283457024 134512640 135539072 4287713680 18446744073709551615 4160160686 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21810/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+1.5051 s] /proc/loadavg: 0.90 1.01 1.01 2/109 21812 /proc/meminfo: memFree=1204604/2097152 swapFree=2055676/2097144 [pid=21810] ppid=21809 vsize=4684 CPUtime=0.01 /proc/21810/stat : 21810 (python) S 21809 21810 13759 34823 13904 4202496 1151 0 0 0 1 0 0 0 19 0 1 0 415326619 4796416 831 1283457024 134512640 135539072 4287713680 18446744073709551615 4160160686 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21810/statm: 1171 831 398 251 0 429 0 [pid=21812] ppid=21810 vsize=15152 CPUtime=1.42 /proc/21812/stat : 21812 (cudf2lp) R 21810 21810 13759 34823 13904 4202496 3930 0 0 0 139 3 0 0 20 0 1 0 415326624 15515648 3460 1283457024 134512640 135993029 4292722368 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/21812/statm: 3788 3460 110 362 0 3370 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 19836 [startup+3.10518 s] /proc/loadavg: 0.90 1.01 1.01 2/109 21813 /proc/meminfo: memFree=1195056/2097152 swapFree=2055676/2097144 [pid=21810] ppid=21809 vsize=4684 CPUtime=0.01 /proc/21810/stat : 21810 (python) S 21809 21810 13759 34823 13904 4202496 1151 0 0 0 1 0 0 0 19 0 1 0 415326619 4796416 831 1283457024 134512640 135539072 4287713680 18446744073709551615 4160160686 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21810/statm: 1171 831 398 251 0 429 0 [pid=21812] ppid=21810 vsize=28924 CPUtime=2.99 /proc/21812/stat : 21812 (cudf2lp) R 21810 21810 13759 34823 13904 4202496 7279 0 0 0 294 5 0 0 24 0 1 0 415326624 29618176 6809 1283457024 134512640 135993029 4292722368 18446744073709551615 134537814 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/21812/statm: 7231 6809 110 362 0 6813 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 33608 [startup+6.30531 s] /proc/loadavg: 0.90 1.01 1.01 2/109 21813 /proc/meminfo: memFree=1166536/2097152 swapFree=2055676/2097144 [pid=21810] ppid=21809 vsize=4684 CPUtime=0.01 /proc/21810/stat : 21810 (python) S 21809 21810 13759 34823 13904 4202496 1151 0 0 0 1 0 0 0 19 0 1 0 415326619 4796416 831 1283457024 134512640 135539072 4287713680 18446744073709551615 4160160686 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21810/statm: 1171 831 398 251 0 429 0 [pid=21812] ppid=21810 vsize=70972 CPUtime=6.08 /proc/21812/stat : 21812 (cudf2lp) R 21810 21810 13759 34823 13904 4202496 17723 0 0 0 576 32 0 0 25 0 1 0 415326624 72675328 17253 1283457024 134512640 135993029 4292722368 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/21812/statm: 17743 17253 134 362 0 17325 0 Current children cumulated CPU time (s) 6.09 Current children cumulated vsize (KiB) 75656 [startup+12.7056 s] /proc/loadavg: 1.00 1.02 1.01 2/111 21816 /proc/meminfo: memFree=974568/2097152 swapFree=2055676/2097144 [pid=21810] ppid=21809 vsize=4684 CPUtime=7.74 /proc/21810/stat : 21810 (python) S 21809 21810 13759 34823 13904 4202496 1238 27748 0 0 1 0 687 86 20 0 1 0 415326619 4796416 833 1283457024 134512640 135539072 4287713680 18446744073709551615 4160160686 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21810/statm: 1171 833 400 251 0 429 0 [pid=21814] ppid=21810 vsize=2372 CPUtime=0 /proc/21814/stat : 21814 (sh) S 21810 21810 13759 34823 13904 4194304 442 0 0 0 0 0 0 0 18 0 1 0 415327415 2428928 248 1283457024 134512640 135191968 4289516336 18446744073709551615 4159044238 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21814/statm: 593 248 212 166 0 25 0 [pid=21815] ppid=21814 vsize=186908 CPUtime=4.72 /proc/21815/stat : 21815 (bingo) R 21814 21810 13759 34823 13904 4202496 55060 0 0 0 454 18 0 0 25 0 1 0 415327415 191393792 36936 1283457024 134512640 136195415 4292593360 18446744073709551615 134652933 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/21815/statm: 46727 36936 220 411 0 46314 0 [pid=21816] ppid=21814 vsize=111708 CPUtime=0.37 /proc/21816/stat : 21816 (clasp) S 21814 21810 13759 34823 13904 4202496 31452 0 0 0 31 6 0 0 18 0 1 0 415327416 114388992 27286 1283457024 134512640 136080129 4293166896 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 1 0 0 0 /proc/21816/statm: 27927 27286 147 383 0 27542 0 Current children cumulated CPU time (s) 12.83 Current children cumulated vsize (KiB) 305672 [startup+25.5062 s] /proc/loadavg: 1.00 1.02 1.01 2/109 21817 /proc/meminfo: memFree=1005112/2097152 swapFree=2055676/2097144 [pid=21810] ppid=21809 vsize=4684 CPUtime=7.74 /proc/21810/stat : 21810 (python) S 21809 21810 13759 34823 13904 4202496 1238 27748 0 0 1 0 687 86 20 0 1 0 415326619 4796416 833 1283457024 134512640 135539072 4287713680 18446744073709551615 4160160686 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21810/statm: 1171 833 400 251 0 429 0 [pid=21814] ppid=21810 vsize=2372 CPUtime=10.24 /proc/21814/stat : 21814 (sh) S 21810 21810 13759 34823 13904 4194304 442 175504 0 0 0 0 953 71 18 0 1 0 415327415 2428928 248 1283457024 134512640 135191968 4289516336 18446744073709551615 4159044238 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21814/statm: 593 248 212 166 0 25 0 [pid=21816] ppid=21814 vsize=200340 CPUtime=8 /proc/21816/stat : 21816 (clasp) R 21814 21810 13759 34823 13904 4202496 76582 0 0 0 778 22 0 0 25 0 1 0 415327416 205148160 49199 1283457024 134512640 136080129 4293166896 18446744073709551615 134842246 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/21816/statm: 50085 49199 189 383 0 49700 0 Current children cumulated CPU time (s) 25.98 Current children cumulated vsize (KiB) 207396 Solver just ended. Dumping a history of the last processes samples [startup+25.6062 s] /proc/loadavg: 1.00 1.02 1.01 2/109 21817 /proc/meminfo: memFree=1005112/2097152 swapFree=2055676/2097144 [pid=21810] ppid=21809 vsize=4684 CPUtime=7.74 /proc/21810/stat : 21810 (python) S 21809 21810 13759 34823 13904 4202496 1238 27748 0 0 1 0 687 86 20 0 1 0 415326619 4796416 833 1283457024 134512640 135539072 4287713680 18446744073709551615 4160160686 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21810/statm: 1171 833 400 251 0 429 0 [pid=21814] ppid=21810 vsize=2372 CPUtime=10.24 /proc/21814/stat : 21814 (sh) S 21810 21810 13759 34823 13904 4194304 442 175504 0 0 0 0 953 71 18 0 1 0 415327415 2428928 248 1283457024 134512640 135191968 4289516336 18446744073709551615 4159044238 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21814/statm: 593 248 212 166 0 25 0 [pid=21816] ppid=21814 vsize=200340 CPUtime=8.1 /proc/21816/stat : 21816 (clasp) R 21814 21810 13759 34823 13904 4202496 76584 0 0 0 788 22 0 0 25 0 1 0 415327416 205148160 49201 1283457024 134512640 136080129 4293166896 18446744073709551615 134845907 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/21816/statm: 50085 49201 191 383 0 49700 0 Current children cumulated CPU time (s) 26.08 Current children cumulated vsize (KiB) 207396 [startup+32.0105 s] /proc/loadavg: 1.00 1.02 1.01 2/109 21818 /proc/meminfo: memFree=1004988/2097152 swapFree=2055676/2097144 [pid=21810] ppid=21809 vsize=4684 CPUtime=7.74 /proc/21810/stat : 21810 (python) S 21809 21810 13759 34823 13904 4202496 1238 27748 0 0 1 0 687 86 20 0 1 0 415326619 4796416 833 1283457024 134512640 135539072 4287713680 18446744073709551615 4160160686 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21810/statm: 1171 833 400 251 0 429 0 [pid=21814] ppid=21810 vsize=2372 CPUtime=10.24 /proc/21814/stat : 21814 (sh) S 21810 21810 13759 34823 13904 4194304 442 175504 0 0 0 0 953 71 18 0 1 0 415327415 2428928 248 1283457024 134512640 135191968 4289516336 18446744073709551615 4159044238 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21814/statm: 593 248 212 166 0 25 0 [pid=21816] ppid=21814 vsize=200340 CPUtime=14.51 /proc/21816/stat : 21816 (clasp) R 21814 21810 13759 34823 13904 4202496 76584 0 0 0 1429 22 0 0 25 0 1 0 415327416 205148160 49201 1283457024 134512640 136080129 4293166896 18446744073709551615 134716374 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/21816/statm: 50085 49201 191 383 0 49700 0 Current children cumulated CPU time (s) 32.49 Current children cumulated vsize (KiB) 207396 [startup+38.411 s] /proc/loadavg: 1.00 1.02 1.01 2/107 21818 /proc/meminfo: memFree=1007492/2097152 swapFree=2055676/2097144 [pid=21810] ppid=21809 vsize=4684 CPUtime=7.74 /proc/21810/stat : 21810 (python) S 21809 21810 13759 34823 13904 4202496 1238 27748 0 0 1 0 687 86 20 0 1 0 415326619 4796416 833 1283457024 134512640 135539072 4287713680 18446744073709551615 4160160686 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21810/statm: 1171 833 400 251 0 429 0 [pid=21814] ppid=21810 vsize=2372 CPUtime=10.24 /proc/21814/stat : 21814 (sh) S 21810 21810 13759 34823 13904 4194304 442 175504 0 0 0 0 953 71 18 0 1 0 415327415 2428928 248 1283457024 134512640 135191968 4289516336 18446744073709551615 4159044238 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21814/statm: 593 248 212 166 0 25 0 [pid=21816] ppid=21814 vsize=200340 CPUtime=20.9 /proc/21816/stat : 21816 (clasp) R 21814 21810 13759 34823 13904 4202496 76584 0 0 0 2068 22 0 0 25 0 1 0 415327416 205148160 49201 1283457024 134512640 136080129 4293166896 18446744073709551615 134779717 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/21816/statm: 50085 49201 191 383 0 49700 0 Current children cumulated CPU time (s) 38.88 Current children cumulated vsize (KiB) 207396 [startup+41.6069 s] /proc/loadavg: 1.00 1.02 1.01 2/107 21841 /proc/meminfo: memFree=1007780/2097152 swapFree=2055676/2097144 [pid=21810] ppid=21809 vsize=4684 CPUtime=7.74 /proc/21810/stat : 21810 (python) S 21809 21810 13759 34823 13904 4202496 1238 27748 0 0 1 0 687 86 20 0 1 0 415326619 4796416 833 1283457024 134512640 135539072 4287713680 18446744073709551615 4160160686 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21810/statm: 1171 833 400 251 0 429 0 [pid=21814] ppid=21810 vsize=2372 CPUtime=10.24 /proc/21814/stat : 21814 (sh) S 21810 21810 13759 34823 13904 4194304 442 175504 0 0 0 0 953 71 18 0 1 0 415327415 2428928 248 1283457024 134512640 135191968 4289516336 18446744073709551615 4159044238 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21814/statm: 593 248 212 166 0 25 0 [pid=21816] ppid=21814 vsize=200340 CPUtime=24.09 /proc/21816/stat : 21816 (clasp) R 21814 21810 13759 34823 13904 4202496 76584 0 0 0 2387 22 0 0 25 0 1 0 415327416 205148160 49201 1283457024 134512640 136080129 4293166896 18446744073709551615 134809266 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/21816/statm: 50085 49201 191 383 0 49700 0 Current children cumulated CPU time (s) 42.07 Current children cumulated vsize (KiB) 207396 [startup+42.4069 s] /proc/loadavg: 1.00 1.02 1.01 2/107 21841 /proc/meminfo: memFree=1007656/2097152 swapFree=2055676/2097144 [pid=21810] ppid=21809 vsize=4684 CPUtime=7.74 /proc/21810/stat : 21810 (python) S 21809 21810 13759 34823 13904 4202496 1238 27748 0 0 1 0 687 86 20 0 1 0 415326619 4796416 833 1283457024 134512640 135539072 4287713680 18446744073709551615 4160160686 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21810/statm: 1171 833 400 251 0 429 0 [pid=21814] ppid=21810 vsize=2372 CPUtime=10.24 /proc/21814/stat : 21814 (sh) S 21810 21810 13759 34823 13904 4194304 442 175504 0 0 0 0 953 71 18 0 1 0 415327415 2428928 248 1283457024 134512640 135191968 4289516336 18446744073709551615 4159044238 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21814/statm: 593 248 212 166 0 25 0 [pid=21816] ppid=21814 vsize=200340 CPUtime=24.89 /proc/21816/stat : 21816 (clasp) R 21814 21810 13759 34823 13904 4202496 76584 0 0 0 2467 22 0 0 25 0 1 0 415327416 205148160 49201 1283457024 134512640 136080129 4293166896 18446744073709551615 134716374 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/21816/statm: 50085 49201 191 383 0 49700 0 Current children cumulated CPU time (s) 42.87 Current children cumulated vsize (KiB) 207396 [startup+43.207 s] /proc/loadavg: 1.00 1.02 1.01 2/107 21841 /proc/meminfo: memFree=1007656/2097152 swapFree=2055676/2097144 [pid=21810] ppid=21809 vsize=4684 CPUtime=7.74 /proc/21810/stat : 21810 (python) S 21809 21810 13759 34823 13904 4202496 1238 27748 0 0 1 0 687 86 20 0 1 0 415326619 4796416 833 1283457024 134512640 135539072 4287713680 18446744073709551615 4160160686 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/21810/statm: 1171 833 400 251 0 429 0 [pid=21814] ppid=21810 vsize=2372 CPUtime=10.24 /proc/21814/stat : 21814 (sh) S 21810 21810 13759 34823 13904 4194304 442 175504 0 0 0 0 953 71 18 0 1 0 415327415 2428928 248 1283457024 134512640 135191968 4289516336 18446744073709551615 4159044238 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21814/statm: 593 248 212 166 0 25 0 [pid=21816] ppid=21814 vsize=200340 CPUtime=25.69 /proc/21816/stat : 21816 (clasp) R 21814 21810 13759 34823 13904 4202496 76584 0 0 0 2547 22 0 0 25 0 1 0 415327416 205148160 49201 1283457024 134512640 136080129 4293166896 18446744073709551615 134779748 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/21816/statm: 50085 49201 191 383 0 49700 0 Current children cumulated CPU time (s) 43.67 Current children cumulated vsize (KiB) 207396 [startup+43.603 s] /proc/loadavg: 1.00 1.02 1.01 2/107 21841 /proc/meminfo: memFree=1007656/2097152 swapFree=2055676/2097144 [pid=21810] ppid=21809 vsize=4684 CPUtime=44.06 /proc/21810/stat : 21810 (python) S 21809 21810 13759 34823 13904 4202496 1321 280301 0 0 1 0 4219 186 18 0 1 0 415326619 4796416 833 1283457024 134512640 135539072 4287713680 18446744073709551615 4160160686 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/21810/statm: 1171 833 400 251 0 429 0 Current children cumulated CPU time (s) 44.06 Current children cumulated vsize (KiB) 4684 Child status: 0 Real time (s): 43.616 CPU time (s): 44.1108 CPU user time (s): 42.2226 CPU system time (s): 1.88812 CPU usage (%): 101.134 Max. virtual memory (cumulated for all children) (KiB): 816632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 42.2226 system time used= 1.88812 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 282908 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= 5596 involuntary context switches= 824 runsolver used 0.008 second user time and 0.028001 second system time The end