runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3706112-1338192848/watcher-3706112-1338192848 -o /tmp/evaluation-result-3706112-1338192848/solver-3706112-1338192848 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706112-1338192848.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.34 1.81 1.93 4/175 27896
/proc/meminfo: memFree=27144560/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 799 0 0 0 0 0 0 0 20 0 1 0 285413378 6356992 721 33554432000 4194304 8973514 140734161055120 140735225467768 5782312 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/27896/statm: 1552 721 415 1167 0 333 0
[startup+0.0546391 s]
/proc/loadavg: 1.34 1.81 1.93 4/175 27896
/proc/meminfo: memFree=27144560/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=9280 CPUtime=0.04 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 1428 0 0 0 4 0 0 0 20 0 1 0 285413378 9502720 1350 33554432000 4194304 8973514 140734161055120 140735225467768 4671680 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/27896/statm: 2320 1350 417 1167 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9280
[startup+0.100218 s]
/proc/loadavg: 1.34 1.81 1.93 4/175 27896
/proc/meminfo: memFree=27144560/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=11328 CPUtime=0.08 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 2099 0 0 0 8 0 0 0 20 0 1 0 285413378 11599872 2021 33554432000 4194304 8973514 140734161055120 140735225467768 5741309 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/27896/statm: 2832 2021 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11328
[startup+0.300216 s]
/proc/loadavg: 1.34 1.81 1.93 4/175 27896
/proc/meminfo: memFree=27144560/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=24640 CPUtime=0.29 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 5192 0 0 0 26 3 0 0 20 0 1 0 285413378 25231360 5114 33554432000 4194304 8973514 140734161055120 140735225467768 7692466 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/27896/statm: 6160 5114 427 1167 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24640
[startup+0.700214 s]
/proc/loadavg: 1.34 1.81 1.93 4/175 27896
/proc/meminfo: memFree=27144560/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=25664 CPUtime=0.69 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 5715 0 0 0 63 6 0 0 20 0 1 0 285413378 26279936 5637 33554432000 4194304 8973514 140734161055120 140734161054616 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/27896/statm: 6416 5637 444 1167 0 5197 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25664
[startup+1.50022 s]
/proc/loadavg: 1.34 1.81 1.93 4/177 27898
/proc/meminfo: memFree=27106692/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=25664 CPUtime=1.49 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 5715 0 0 0 135 14 0 0 20 0 1 0 285413378 26279936 5637 33554432000 4194304 8973514 140734161055120 140734161054616 4208870 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/27896/statm: 6416 5637 444 1167 0 5197 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25664
[startup+3.10022 s]
/proc/loadavg: 1.39 1.81 1.93 4/177 27898
/proc/meminfo: memFree=27102848/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=28736 CPUtime=3.09 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 6483 0 0 0 279 30 0 0 20 0 1 0 285413378 29425664 6405 33554432000 4194304 8973514 140734161055120 140734161054616 4214368 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/27896/statm: 7184 6405 444 1167 0 5965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28736
[startup+6.30022 s]
/proc/loadavg: 1.39 1.81 1.93 4/177 27898
/proc/meminfo: memFree=27085280/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=36928 CPUtime=6.29 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 8531 0 0 0 567 62 0 0 20 0 1 0 285413378 37814272 8453 33554432000 4194304 8973514 140734161055120 140734161054384 4441896 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/27896/statm: 9232 8453 444 1167 0 8013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36928
[startup+12.7002 s]
/proc/loadavg: 1.48 1.82 1.93 4/177 27898
/proc/meminfo: memFree=27051816/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=52288 CPUtime=12.69 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 12371 0 0 0 1143 126 0 0 20 0 1 0 285413378 53542912 12293 33554432000 4194304 8973514 140734161055120 140734161054616 4462693 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/27896/statm: 13072 12293 444 1167 0 11853 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52288
[startup+25.5002 s]
/proc/loadavg: 1.56 1.82 1.93 4/177 27898
/proc/meminfo: memFree=26997372/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=79936 CPUtime=25.48 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 19284 0 0 0 2317 231 0 0 20 0 1 0 285413378 81854464 19206 33554432000 4194304 8973514 140734161055120 140734161054616 4427820 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/27896/statm: 19984 19206 445 1167 0 18765 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79936
[startup+51.1002 s]
/proc/loadavg: 1.77 1.85 1.93 4/177 27898
/proc/meminfo: memFree=26958388/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=99392 CPUtime=51.08 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 24148 0 0 0 4671 437 0 0 20 0 1 0 285413378 101777408 24070 33554432000 4194304 8973514 140734161055120 140734161054616 4419436 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/27896/statm: 24848 24070 445 1167 0 23629 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 99392
[startup+102.307 s]
/proc/loadavg: 2.02 1.91 1.94 4/177 27898
/proc/meminfo: memFree=26924612/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=115776 CPUtime=102.25 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 28263 0 0 0 9481 744 0 0 20 0 1 0 285413378 118554624 28171 33554432000 4194304 8973514 140734161055120 140734161054616 4459404 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/27896/statm: 28944 28171 445 1167 0 27725 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 115776
[startup+162.3 s]
/proc/loadavg: 2.06 1.94 1.95 4/176 27898
/proc/meminfo: memFree=26922176/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=142400 CPUtime=162.2 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 34963 0 0 0 15117 1103 0 0 20 0 1 0 285413378 145817600 34827 33554432000 4194304 8973514 140734161055120 140734161054616 4447250 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/27896/statm: 35600 34827 445 1167 0 34381 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 142400
[startup+222.3 s]
/proc/loadavg: 2.02 1.94 1.95 4/177 27899
/proc/meminfo: memFree=26961092/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=103488 CPUtime=222.19 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 34963 0 0 0 20582 1637 0 0 20 0 1 0 285413378 105971712 25099 33554432000 4194304 8973514 140734161055120 140734161054616 4424580 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/27896/statm: 25872 25099 445 1167 0 24653 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 103488
[startup+282.3 s]
/proc/loadavg: 2.00 1.95 1.95 4/177 27899
/proc/meminfo: memFree=26950736/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=129088 CPUtime=282.18 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 41152 0 0 0 26014 2204 0 0 20 0 1 0 285413378 132186112 31288 33554432000 4194304 8973514 140734161055120 140734161054384 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/27896/statm: 32272 31288 445 1167 0 31053 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 129088
[startup+342.3 s]
/proc/loadavg: 2.00 1.96 1.95 4/177 27899
/proc/meminfo: memFree=26871220/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=153664 CPUtime=342.16 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 47475 0 0 0 31599 2617 0 0 20 0 1 0 285413378 157351936 37598 33554432000 4194304 8973514 140734161055120 140734161054384 6576154 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/27896/statm: 38416 37598 445 1167 0 37197 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 153664
[startup+402.3 s]
/proc/loadavg: 2.10 2.00 1.97 4/178 27902
/proc/meminfo: memFree=26852624/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=183360 CPUtime=402.15 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 54944 0 0 0 37198 3017 0 0 20 0 1 0 285413378 187760640 45067 33554432000 4194304 8973514 140734161055120 140734161054384 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 45840 45067 445 1167 0 44621 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 183360
[startup+462.3 s]
/proc/loadavg: 2.03 2.00 1.97 4/177 27902
/proc/meminfo: memFree=26851820/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=183360 CPUtime=462.14 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 54947 0 0 0 43181 3033 0 0 20 0 1 0 285413378 187760640 45067 33554432000 4194304 8973514 140734161055120 140734161054384 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 45840 45067 445 1167 0 44621 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 183360
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.97 4/177 27903
/proc/meminfo: memFree=26870752/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=140352 CPUtime=522.1 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 57017 0 0 0 49160 3050 0 0 20 0 1 0 285413378 143720448 34315 33554432000 4194304 8973514 140734161055120 140734161054384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 35088 34315 445 1167 0 33869 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 140352
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 4/177 27903
/proc/meminfo: memFree=26871956/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=123968 CPUtime=582.1 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 57017 0 0 0 55142 3068 0 0 20 0 1 0 285413378 126943232 30219 33554432000 4194304 8973514 140734161055120 140734161054616 4427744 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 30992 30219 445 1167 0 29773 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 123968
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.07 2.03 1.98 4/177 27904
/proc/meminfo: memFree=26920980/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=91200 CPUtime=882.03 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 95942 0 0 0 85035 3168 0 0 20 0 1 0 285413378 93388800 22027 33554432000 4194304 8973514 140734161055120 140734161054616 4209198 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 22800 22027 445 1167 0 21581 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 91200
[startup+942.3 s]
/proc/loadavg: 2.02 2.02 1.98 4/177 27904
/proc/meminfo: memFree=26857152/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=129088 CPUtime=942.03 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 112070 0 0 0 91012 3191 0 0 20 0 1 0 285413378 132186112 31499 33554432000 4194304 8973514 140734161055120 140734161054616 4209442 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 32272 31499 445 1167 0 31053 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 129088
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.98 4/178 27907
/proc/meminfo: memFree=26899368/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=107584 CPUtime=1002.02 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 117706 0 0 0 96992 3210 0 0 20 0 1 0 285413378 110166016 26123 33554432000 4194304 8973514 140734161055120 140734161054616 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 26896 26123 445 1167 0 25677 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 107584
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.98 4/177 27907
/proc/meminfo: memFree=26886020/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=87104 CPUtime=1062.01 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 122058 0 0 0 102969 3232 0 0 20 0 1 0 285413378 89194496 21003 33554432000 4194304 8973514 140734161055120 140734161054616 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 21776 21003 445 1167 0 20557 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 87104
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/177 27908
/proc/meminfo: memFree=26850916/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=122944 CPUtime=1121.99 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 133328 0 0 0 108945 3254 0 0 20 0 1 0 285413378 125894656 29963 33554432000 4194304 8973514 140734161055120 140734161054616 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 30736 29963 445 1167 0 29517 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 122944
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/177 27908
/proc/meminfo: memFree=26885860/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=87104 CPUtime=1181.98 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 138451 0 0 0 114925 3273 0 0 20 0 1 0 285413378 89194496 21003 33554432000 4194304 8973514 140734161055120 140734161054384 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 21776 21003 445 1167 0 20557 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 87104
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/177 27908
/proc/meminfo: memFree=26843944/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=136256 CPUtime=1241.96 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 151303 0 0 0 120903 3293 0 0 20 0 1 0 285413378 139526144 33083 33554432000 4194304 8973514 140734161055120 140734161054616 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 34064 33083 445 1167 0 32845 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 136256
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/177 27908
/proc/meminfo: memFree=26870592/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=107584 CPUtime=1301.96 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 164060 0 0 0 126883 3313 0 0 20 0 1 0 285413378 110166016 26123 33554432000 4194304 8973514 140734161055120 140734161054384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 26896 26123 445 1167 0 25677 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 107584
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/177 27908
/proc/meminfo: memFree=26850384/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=140352 CPUtime=1361.94 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 178908 0 0 0 132859 3335 0 0 20 0 1 0 285413378 143720448 34315 33554432000 4194304 8973514 140734161055120 140734161054616 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 35088 34315 445 1167 0 33869 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 140352
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 4/177 27909
/proc/meminfo: memFree=26824492/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=175168 CPUtime=1421.92 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 187589 0 0 0 138838 3354 0 0 20 0 1 0 285413378 179372032 42980 33554432000 4194304 8973514 140734161055120 140734161054616 7681396 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 43792 42980 445 1167 0 42573 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 175168
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/177 27909
/proc/meminfo: memFree=26815100/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=184384 CPUtime=1481.91 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 189940 0 0 0 144817 3374 0 0 20 0 1 0 285413378 188809216 45323 33554432000 4194304 8973514 140734161055120 140734161054616 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 46096 45323 445 1167 0 44877 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 184384
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/177 27909
/proc/meminfo: memFree=26797184/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=201792 CPUtime=1541.89 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 198900 0 0 0 150796 3393 0 0 20 0 1 0 285413378 206635008 49675 33554432000 4194304 8973514 140734161055120 140734161054616 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 50448 49675 445 1167 0 49229 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 201792
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 27912
/proc/meminfo: memFree=26813396/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=185408 CPUtime=1601.88 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 198907 0 0 0 156778 3410 0 0 20 0 1 0 285413378 189857792 45579 33554432000 4194304 8973514 140734161055120 140734161054616 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 46352 45579 445 1167 0 45133 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 185408
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/177 27912
/proc/meminfo: memFree=26811668/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=188480 CPUtime=1661.87 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 199491 0 0 0 162759 3428 0 0 20 0 1 0 285413378 193003520 46163 33554432000 4194304 8973514 140734161055120 140734161054616 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 47120 46163 445 1167 0 45901 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 188480
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/177 27913
/proc/meminfo: memFree=26826244/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=174144 CPUtime=1721.86 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 203515 0 0 0 168739 3447 0 0 20 0 1 0 285413378 178323456 42763 33554432000 4194304 8973514 140734161055120 140734161054384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 43536 42763 445 1167 0 42317 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 174144
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/176 27913
/proc/meminfo: memFree=26831336/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=179264 CPUtime=1781.86 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 204612 0 0 0 174719 3467 0 0 20 0 1 0 285413378 183566336 43860 33554432000 4194304 8973514 140734161055120 140734161054616 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 44816 43860 445 1167 0 43597 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 179264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.98 2/176 27915
/proc/meminfo: memFree=26951164/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=196672 CPUtime=1800.05 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 209109 0 0 0 176533 3472 0 0 20 0 1 0 285413378 201392128 48357 33554432000 4194304 8973514 140734161055120 140734161054384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 49168 48357 445 1167 0 47949 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 196672
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.98 2/176 27915
/proc/meminfo: memFree=26951164/32873844 swapFree=6088/6088
[pid=27896] ppid=27892 vsize=196672 CPUtime=1800.05 cores=0,2,4,6
/proc/27896/stat : 27896 (toysat) R 27892 27896 27853 0 -1 4202496 209109 0 0 0 176533 3472 0 0 20 0 1 0 285413378 201392128 48357 33554432000 4194304 8973514 140734161055120 140734161054384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/27896/statm: 49168 48357 445 1167 0 47949 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 196672
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.08
CPU user time (s): 1765.34
CPU system time (s): 34.7357
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 220224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1765.34
system time used= 34.7357
maximum resident set size= 217132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209109
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= 170
involuntary context switches= 2203
runsolver used 3.21051 second user time and 9.56555 second system time
The end