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-paranoid-1.0/rand1bff33.cudf.easy.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/easy//rand1bff33.cudf /home/misc2010/tmp/201007050905/aspcud-paranoid-1.0/rand1bff33.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.21 0.94 0.44 5/34 25165 /proc/meminfo: memFree=500784/1048576 swapFree=2095456/2097144 [pid=25165] ppid=25164 vsize=4032 CPUtime=0 /proc/25165/stat : 25165 (python) R 25164 25165 24102 769 24102 4202496 852 0 0 0 0 0 0 0 25 0 1 0 524966797 4128768 630 1283457024 134512640 135539072 4289482192 18446744073709551615 4158553025 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/25165/statm: 1008 630 344 251 0 309 0 [startup+0.168038 s] /proc/loadavg: 1.21 0.94 0.44 5/34 25165 /proc/meminfo: memFree=500784/1048576 swapFree=2095456/2097144 [pid=25165] ppid=25164 vsize=4704 CPUtime=0.02 /proc/25165/stat : 25165 (python) S 25164 25165 24102 769 24102 4202496 1128 0 0 0 2 0 0 0 25 0 1 0 524966797 4816896 834 1283457024 134512640 135539072 4289482192 18446744073709551615 4159632302 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25165/statm: 1176 834 400 251 0 434 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4704 [startup+0.208045 s] /proc/loadavg: 1.21 0.94 0.44 5/34 25165 /proc/meminfo: memFree=500784/1048576 swapFree=2095456/2097144 [pid=25165] ppid=25164 vsize=4704 CPUtime=0.02 /proc/25165/stat : 25165 (python) S 25164 25165 24102 769 24102 4202496 1128 0 0 0 2 0 0 0 25 0 1 0 524966797 4816896 834 1283457024 134512640 135539072 4289482192 18446744073709551615 4159632302 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25165/statm: 1176 834 400 251 0 434 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4704 [startup+0.308055 s] /proc/loadavg: 1.21 0.94 0.44 5/34 25165 /proc/meminfo: memFree=500784/1048576 swapFree=2095456/2097144 [pid=25165] ppid=25164 vsize=4704 CPUtime=0.02 /proc/25165/stat : 25165 (python) S 25164 25165 24102 769 24102 4202496 1128 0 0 0 2 0 0 0 25 0 1 0 524966797 4816896 834 1283457024 134512640 135539072 4289482192 18446744073709551615 4159632302 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25165/statm: 1176 834 400 251 0 434 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4704 [startup+0.708119 s] /proc/loadavg: 1.21 0.94 0.44 5/34 25165 /proc/meminfo: memFree=500784/1048576 swapFree=2095456/2097144 [pid=25165] ppid=25164 vsize=4704 CPUtime=0.02 /proc/25165/stat : 25165 (python) S 25164 25165 24102 769 24102 4202496 1128 0 0 0 2 0 0 0 25 0 1 0 524966797 4816896 834 1283457024 134512640 135539072 4289482192 18446744073709551615 4159632302 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25165/statm: 1176 834 400 251 0 434 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4704 [startup+1.50824 s] /proc/loadavg: 1.43 0.99 0.46 2/36 25167 /proc/meminfo: memFree=490128/1048576 swapFree=2095456/2097144 [pid=25165] ppid=25164 vsize=4704 CPUtime=0.02 /proc/25165/stat : 25165 (python) S 25164 25165 24102 769 24102 4202496 1128 0 0 0 2 0 0 0 25 0 1 0 524966797 4816896 834 1283457024 134512640 135539072 4289482192 18446744073709551615 4159632302 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25165/statm: 1176 834 400 251 0 434 0 [pid=25167] ppid=25165 vsize=15148 CPUtime=1.48 /proc/25167/stat : 25167 (cudf2lp) R 25165 25165 24102 769 24102 4202496 3926 0 0 0 148 0 0 0 25 0 1 0 524966800 15511552 3456 1283457024 134512640 135993029 4286950336 18446744073709551615 134566521 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25167/statm: 3787 3456 110 362 0 3369 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 19852 [startup+3.10847 s] /proc/loadavg: 1.43 0.99 0.46 3/39 25171 /proc/meminfo: memFree=479648/1048576 swapFree=2095456/2097144 [pid=25165] ppid=25164 vsize=4704 CPUtime=0.02 /proc/25165/stat : 25165 (python) S 25164 25165 24102 769 24102 4202496 1128 0 0 0 2 0 0 0 25 0 1 0 524966797 4816896 834 1283457024 134512640 135539072 4289482192 18446744073709551615 4159632302 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25165/statm: 1176 834 400 251 0 434 0 [pid=25167] ppid=25165 vsize=28176 CPUtime=3.05 /proc/25167/stat : 25167 (cudf2lp) R 25165 25165 24102 769 24102 4202496 7128 0 0 0 303 2 0 0 25 0 1 0 524966800 28852224 6658 1283457024 134512640 135993029 4286950336 18446744073709551615 134604187 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25167/statm: 7044 6658 110 362 0 6626 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 32880 [startup+6.30897 s] /proc/loadavg: 1.39 0.99 0.47 4/40 25173 /proc/meminfo: memFree=487932/1048576 swapFree=2095456/2097144 [pid=25165] ppid=25164 vsize=4704 CPUtime=5.43 /proc/25165/stat : 25165 (python) S 25164 25165 24102 769 24102 4202496 1216 18247 0 0 2 0 458 83 18 0 1 0 524966797 4816896 836 1283457024 134512640 135539072 4289482192 18446744073709551615 4159632302 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25165/statm: 1176 836 402 251 0 434 0 [pid=25172] ppid=25165 vsize=2384 CPUtime=0 /proc/25172/stat : 25172 (sh) S 25165 25165 24102 769 24102 4194304 444 0 0 0 0 0 0 0 18 0 1 0 524967348 2441216 252 1283457024 134512640 135191968 4287613920 18446744073709551615 4158749086 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25172/statm: 596 252 214 166 0 28 0 [pid=25173] ppid=25172 vsize=29180 CPUtime=0.7 /proc/25173/stat : 25173 (bingo) R 25172 25165 24102 769 24102 4202496 8210 0 0 0 66 4 0 0 25 0 1 0 524967348 29880320 5298 1283457024 134512640 136195415 4286893008 18446744073709551615 134635767 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25173/statm: 7295 5298 205 411 0 6882 0 Current children cumulated CPU time (s) 6.13 Current children cumulated vsize (KiB) 36268 [startup+12.71 s] /proc/loadavg: 1.36 0.99 0.47 2/41 25174 /proc/meminfo: memFree=40920/1048576 swapFree=2095456/2097144 [pid=25165] ppid=25164 vsize=4704 CPUtime=5.43 /proc/25165/stat : 25165 (python) S 25164 25165 24102 769 24102 4202496 1216 18247 0 0 2 0 458 83 18 0 1 0 524966797 4816896 836 1283457024 134512640 135539072 4289482192 18446744073709551615 4159632302 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25165/statm: 1176 836 402 251 0 434 0 [pid=25172] ppid=25165 vsize=2384 CPUtime=0 /proc/25172/stat : 25172 (sh) S 25165 25165 24102 769 24102 4194304 444 0 0 0 0 0 0 0 18 0 1 0 524967348 2441216 252 1283457024 134512640 135191968 4287613920 18446744073709551615 4158749086 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25172/statm: 596 252 214 166 0 28 0 [pid=25173] ppid=25172 vsize=257796 CPUtime=6.16 /proc/25173/stat : 25173 (bingo) R 25172 25165 24102 769 24102 4202496 112339 0 0 0 574 42 0 0 25 0 1 0 524967348 263983104 60478 1283457024 134512640 136195415 4286893008 18446744073709551615 135582580 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25173/statm: 64449 60478 221 411 0 64036 0 [pid=25174] ppid=25172 vsize=100576 CPUtime=0.99 /proc/25174/stat : 25174 (clasp) S 25172 25165 24102 769 24102 4202496 27723 0 0 0 89 10 0 0 18 0 1 0 524967350 102989824 24478 1283457024 134512640 136080129 4290481952 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/25174/statm: 25144 24478 147 383 0 24759 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 365460 Solver just ended. Dumping a history of the last processes samples [startup+12.8114 s] /proc/loadavg: 1.36 0.99 0.47 2/41 25174 /proc/meminfo: memFree=40920/1048576 swapFree=2095456/2097144 [pid=25165] ppid=25164 vsize=4704 CPUtime=5.43 /proc/25165/stat : 25165 (python) S 25164 25165 24102 769 24102 4202496 1216 18247 0 0 2 0 458 83 18 0 1 0 524966797 4816896 836 1283457024 134512640 135539072 4289482192 18446744073709551615 4159632302 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25165/statm: 1176 836 402 251 0 434 0 [pid=25172] ppid=25165 vsize=2384 CPUtime=0 /proc/25172/stat : 25172 (sh) S 25165 25165 24102 769 24102 4194304 444 0 0 0 0 0 0 0 18 0 1 0 524967348 2441216 252 1283457024 134512640 135191968 4287613920 18446744073709551615 4158749086 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25172/statm: 596 252 214 166 0 28 0 [pid=25173] ppid=25172 vsize=234672 CPUtime=6.26 /proc/25173/stat : 25173 (bingo) R 25172 25165 24102 769 24102 4202496 112339 0 0 0 581 45 0 0 25 0 1 0 524967348 240304128 55741 1283457024 134512640 136195415 4286893008 18446744073709551615 135668609 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25173/statm: 58668 55741 221 411 0 58255 0 [pid=25174] ppid=25172 vsize=100576 CPUtime=0.99 /proc/25174/stat : 25174 (clasp) S 25172 25165 24102 769 24102 4202496 27723 0 0 0 89 10 0 0 18 0 1 0 524967350 102989824 24478 1283457024 134512640 136080129 4290481952 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/25174/statm: 25144 24478 147 383 0 24759 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 342336 [startup+14.4135 s] /proc/loadavg: 1.36 0.99 0.47 2/40 25174 /proc/meminfo: memFree=355028/1048576 swapFree=2095456/2097144 [pid=25165] ppid=25164 vsize=4704 CPUtime=5.43 /proc/25165/stat : 25165 (python) S 25164 25165 24102 769 24102 4202496 1216 18247 0 0 2 0 458 83 18 0 1 0 524966797 4816896 836 1283457024 134512640 135539072 4289482192 18446744073709551615 4159632302 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25165/statm: 1176 836 402 251 0 434 0 [pid=25172] ppid=25165 vsize=2384 CPUtime=6.4 /proc/25172/stat : 25172 (sh) S 25165 25165 24102 769 24102 4194304 444 112341 0 0 0 0 590 50 18 0 1 0 524967348 2441216 252 1283457024 134512640 135191968 4287613920 18446744073709551615 4158749086 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25172/statm: 596 252 214 166 0 28 0 [pid=25174] ppid=25172 vsize=131668 CPUtime=2.42 /proc/25174/stat : 25174 (clasp) R 25172 25165 24102 769 24102 4202496 40307 0 0 0 230 12 0 0 19 0 1 0 524967350 134828032 31856 1283457024 134512640 136080129 4290481952 18446744073709551615 134583679 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/25174/statm: 32917 31856 169 383 0 32532 0 Current children cumulated CPU time (s) 14.25 Current children cumulated vsize (KiB) 138756 [startup+15.2137 s] /proc/loadavg: 1.36 0.99 0.47 2/40 25174 /proc/meminfo: memFree=355028/1048576 swapFree=2095456/2097144 [pid=25165] ppid=25164 vsize=4704 CPUtime=5.43 /proc/25165/stat : 25165 (python) S 25164 25165 24102 769 24102 4202496 1216 18247 0 0 2 0 458 83 18 0 1 0 524966797 4816896 836 1283457024 134512640 135539072 4289482192 18446744073709551615 4159632302 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25165/statm: 1176 836 402 251 0 434 0 [pid=25172] ppid=25165 vsize=2384 CPUtime=6.4 /proc/25172/stat : 25172 (sh) S 25165 25165 24102 769 24102 4194304 444 112341 0 0 0 0 590 50 18 0 1 0 524967348 2441216 252 1283457024 134512640 135191968 4287613920 18446744073709551615 4158749086 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25172/statm: 596 252 214 166 0 28 0 [pid=25174] ppid=25172 vsize=134580 CPUtime=3.22 /proc/25174/stat : 25174 (clasp) R 25172 25165 24102 769 24102 4202496 46226 0 0 0 308 14 0 0 21 0 1 0 524967350 137809920 32952 1283457024 134512640 136080129 4290481952 18446744073709551615 134798862 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/25174/statm: 33645 32952 183 383 0 33260 0 Current children cumulated CPU time (s) 15.05 Current children cumulated vsize (KiB) 141668 [startup+16.0138 s] /proc/loadavg: 1.41 1.01 0.48 3/37 25174 /proc/meminfo: memFree=350736/1048576 swapFree=2095456/2097144 [pid=25165] ppid=25164 vsize=4704 CPUtime=5.43 /proc/25165/stat : 25165 (python) S 25164 25165 24102 769 24102 4202496 1216 18247 0 0 2 0 458 83 18 0 1 0 524966797 4816896 836 1283457024 134512640 135539072 4289482192 18446744073709551615 4159632302 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25165/statm: 1176 836 402 251 0 434 0 [pid=25172] ppid=25165 vsize=2384 CPUtime=6.4 /proc/25172/stat : 25172 (sh) S 25165 25165 24102 769 24102 4194304 444 112341 0 0 0 0 590 50 18 0 1 0 524967348 2441216 252 1283457024 134512640 135191968 4287613920 18446744073709551615 4158749086 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25172/statm: 596 252 214 166 0 28 0 [pid=25174] ppid=25172 vsize=125516 CPUtime=4.02 /proc/25174/stat : 25174 (clasp) R 25172 25165 24102 769 24102 4202496 46287 0 0 0 388 14 0 0 25 0 1 0 524967350 128528384 30784 1283457024 134512640 136080129 4290481952 18446744073709551615 134809326 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/25174/statm: 31379 30784 189 383 0 30994 0 Current children cumulated CPU time (s) 15.85 Current children cumulated vsize (KiB) 132604 [startup+16.2139 s] /proc/loadavg: 1.41 1.01 0.48 3/37 25174 /proc/meminfo: memFree=350736/1048576 swapFree=2095456/2097144 [pid=25165] ppid=25164 vsize=4704 CPUtime=5.43 /proc/25165/stat : 25165 (python) S 25164 25165 24102 769 24102 4202496 1216 18247 0 0 2 0 458 83 18 0 1 0 524966797 4816896 836 1283457024 134512640 135539072 4289482192 18446744073709551615 4159632302 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25165/statm: 1176 836 402 251 0 434 0 [pid=25172] ppid=25165 vsize=2384 CPUtime=6.4 /proc/25172/stat : 25172 (sh) S 25165 25165 24102 769 24102 4194304 444 112341 0 0 0 0 590 50 18 0 1 0 524967348 2441216 252 1283457024 134512640 135191968 4287613920 18446744073709551615 4158749086 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25172/statm: 596 252 214 166 0 28 0 [pid=25174] ppid=25172 vsize=125516 CPUtime=4.22 /proc/25174/stat : 25174 (clasp) R 25172 25165 24102 769 24102 4202496 46297 0 0 0 408 14 0 0 25 0 1 0 524967350 128528384 30794 1283457024 134512640 136080129 4290481952 18446744073709551615 135501042 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/25174/statm: 31379 30794 199 383 0 30994 0 Current children cumulated CPU time (s) 16.05 Current children cumulated vsize (KiB) 132604 [startup+16.3139 s] /proc/loadavg: 1.41 1.01 0.48 3/37 25174 /proc/meminfo: memFree=350736/1048576 swapFree=2095456/2097144 [pid=25165] ppid=25164 vsize=4704 CPUtime=5.43 /proc/25165/stat : 25165 (python) S 25164 25165 24102 769 24102 4202496 1216 18247 0 0 2 0 458 83 18 0 1 0 524966797 4816896 836 1283457024 134512640 135539072 4289482192 18446744073709551615 4159632302 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25165/statm: 1176 836 402 251 0 434 0 [pid=25172] ppid=25165 vsize=2384 CPUtime=6.4 /proc/25172/stat : 25172 (sh) S 25165 25165 24102 769 24102 4194304 444 112341 0 0 0 0 590 50 18 0 1 0 524967348 2441216 252 1283457024 134512640 135191968 4287613920 18446744073709551615 4158749086 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25172/statm: 596 252 214 166 0 28 0 [pid=25174] ppid=25172 vsize=94812 CPUtime=4.32 /proc/25174/stat : 25174 (clasp) R 25172 25165 24102 769 24102 4202496 46298 0 0 0 418 14 0 0 25 0 1 0 524967350 97087488 23419 1283457024 134512640 136080129 4290481952 18446744073709551615 135501042 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/25174/statm: 23703 23419 200 383 0 23318 0 Current children cumulated CPU time (s) 16.15 Current children cumulated vsize (KiB) 101900 Child status: 0 Real time (s): 16.4001 CPU time (s): 16.257 CPU user time (s): 14.7369 CPU system time (s): 1.52009 CPU usage (%): 99.1277 Max. virtual memory (cumulated for all children) (KiB): 587516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.7369 system time used= 1.52009 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 179888 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= 3669 involuntary context switches= 4733 runsolver used 0 second user time and 0 second system time The end