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-3707156-1338150460/watcher-3707156-1338150460 -o /tmp/evaluation-result-3707156-1338150460/solver-3707156-1338150460 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707156-1338150460.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: 2.03 2.01 2.00 3/176 23831
/proc/meminfo: memFree=27138340/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 804 0 0 0 0 0 0 0 20 0 1 0 281174590 6356992 725 33554432000 4194304 8973514 140736096961008 140737420587400 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 1552 725 412 1167 0 333 0
[startup+0.071115 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 23831
/proc/meminfo: memFree=27138340/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=11328 CPUtime=0.06 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 1950 0 0 0 6 0 0 0 20 0 1 0 281174590 11599872 1871 33554432000 4194304 8973514 140736096961008 140737420587400 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 2832 1871 416 1167 0 1613 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11328
[startup+0.100293 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 23831
/proc/meminfo: memFree=27138340/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=13376 CPUtime=0.09 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 2407 0 0 0 9 0 0 0 20 0 1 0 281174590 13697024 2328 33554432000 4194304 8973514 140736096961008 140737420587400 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 3344 2328 416 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300265 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 23831
/proc/meminfo: memFree=27138340/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=26688 CPUtime=0.29 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 5938 0 0 0 28 1 0 0 20 0 1 0 281174590 27328512 5859 33554432000 4194304 8973514 140736096961008 140737420587400 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 6672 5859 416 1167 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26688
[startup+0.70027 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 23831
/proc/meminfo: memFree=27138340/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=51264 CPUtime=0.69 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 12081 0 0 0 67 2 0 0 20 0 1 0 281174590 52494336 12002 33554432000 4194304 8973514 140736096961008 140737420587400 4209325 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 13072 12012 416 1167 0 11853 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51264
[startup+1.50027 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 23832
/proc/meminfo: memFree=27071364/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=92224 CPUtime=1.49 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 22324 0 0 0 145 4 0 0 20 0 1 0 281174590 94437376 22245 33554432000 4194304 8973514 140736096961008 140736096960504 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 23056 22245 418 1167 0 21837 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92224
[startup+3.10027 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23832
/proc/meminfo: memFree=27021640/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=206912 CPUtime=3.09 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 50996 0 0 0 299 10 0 0 20 0 1 0 281174590 211877888 50917 33554432000 4194304 8973514 140736096961008 140736096960504 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 51728 50917 418 1167 0 50509 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 206912
[startup+6.30026 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 23832
/proc/meminfo: memFree=26762796/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=378944 CPUtime=6.29 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 94004 0 0 0 609 20 0 0 20 0 1 0 281174590 388038656 93925 33554432000 4194304 8973514 140736096961008 140736096960504 7937344 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 94736 93925 418 1167 0 93517 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 378944
[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23833
/proc/meminfo: memFree=26960460/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=181312 CPUtime=12.69 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 146500 0 0 0 1237 32 0 0 20 0 1 0 281174590 185663488 44533 33554432000 4194304 8973514 140736096961008 140736096960504 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 45328 44533 428 1167 0 44109 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 181312
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23833
/proc/meminfo: memFree=26960204/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=181312 CPUtime=25.48 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 146522 0 0 0 2512 36 0 0 20 0 1 0 281174590 185663488 44550 33554432000 4194304 8973514 140736096961008 140736096960504 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 45328 44550 445 1167 0 44109 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 181312
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23833
/proc/meminfo: memFree=26960296/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=181312 CPUtime=51.06 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 146538 0 0 0 5063 43 0 0 20 0 1 0 281174590 185663488 44550 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 45328 44550 445 1167 0 44109 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 181312
[startup+102.306 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 23834
/proc/meminfo: memFree=26954256/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=188480 CPUtime=102.22 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 148230 0 0 0 10159 63 0 0 20 0 1 0 281174590 193003520 46202 33554432000 4194304 8973514 140736096961008 140736096960272 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 47120 46202 445 1167 0 45901 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 188480
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 23837
/proc/meminfo: memFree=26940756/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=201792 CPUtime=162.19 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 151652 0 0 0 16131 88 0 0 20 0 1 0 281174590 206635008 49605 33554432000 4194304 8973514 140736096961008 140736096960272 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 50448 49605 445 1167 0 49229 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 201792
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 23837
/proc/meminfo: memFree=26932580/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=209984 CPUtime=222.18 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 153688 0 0 0 22110 108 0 0 20 0 1 0 281174590 215023616 51641 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 52496 51641 445 1167 0 51277 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 209984
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23837
/proc/meminfo: memFree=26923336/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=218176 CPUtime=282.16 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 155702 0 0 0 28086 130 0 0 20 0 1 0 281174590 223412224 53654 33554432000 4194304 8973514 140736096961008 140736096960272 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 54544 53654 445 1167 0 53325 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 218176
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 23838
/proc/meminfo: memFree=26917988/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=224320 CPUtime=342.16 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 157144 0 0 0 34065 151 0 0 20 0 1 0 281174590 229703680 55093 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 56080 55093 445 1167 0 54861 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 224320
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23838
/proc/meminfo: memFree=26909308/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=232512 CPUtime=402.15 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 159386 0 0 0 40046 169 0 0 20 0 1 0 281174590 238092288 57335 33554432000 4194304 8973514 140736096961008 140736096960272 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 58128 57335 445 1167 0 56909 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 232512
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23838
/proc/meminfo: memFree=26899064/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=242752 CPUtime=462.14 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 161853 0 0 0 46026 188 0 0 20 0 1 0 281174590 248578048 59800 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 60688 59800 445 1167 0 59469 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 242752
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23838
/proc/meminfo: memFree=26889316/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=250944 CPUtime=522.12 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 163859 0 0 0 52007 205 0 0 20 0 1 0 281174590 256966656 61803 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 62736 61803 445 1167 0 61517 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 250944
[startup+582.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 23877
/proc/meminfo: memFree=26537612/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=255040 CPUtime=582.11 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 164936 0 0 0 57989 222 0 0 20 0 1 0 281174590 261160960 62880 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 63760 62880 445 1167 0 62541 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 255040
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 23881
/proc/meminfo: memFree=26519408/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=262208 CPUtime=822.08 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 166805 0 0 0 81913 295 0 0 20 0 1 0 281174590 268500992 64747 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 65552 64747 445 1167 0 64333 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 262208
[startup+882.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 23881
/proc/meminfo: memFree=26511128/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=262208 CPUtime=882.07 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 166832 0 0 0 87895 312 0 0 20 0 1 0 281174590 268500992 64774 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 65552 64774 445 1167 0 64333 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 262208
[startup+942.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 23882
/proc/meminfo: memFree=26505048/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=265280 CPUtime=942.06 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 167409 0 0 0 93876 330 0 0 20 0 1 0 281174590 271646720 65351 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 66320 65351 445 1167 0 65101 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 265280
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23882
/proc/meminfo: memFree=26494012/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=267328 CPUtime=1002.05 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 168112 0 0 0 99856 349 0 0 20 0 1 0 281174590 273743872 66054 33554432000 4194304 8973514 140736096961008 140736096960272 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 66832 66054 445 1167 0 65613 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 267328
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23882
/proc/meminfo: memFree=26492636/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=268352 CPUtime=1062.04 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 168195 0 0 0 105838 366 0 0 20 0 1 0 281174590 274792448 66132 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 67088 66132 445 1167 0 65869 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 268352
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23882
/proc/meminfo: memFree=26487800/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=268352 CPUtime=1122.03 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 168373 0 0 0 111820 383 0 0 20 0 1 0 281174590 274792448 66310 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 67088 66310 445 1167 0 65869 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 268352
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23882
/proc/meminfo: memFree=26483832/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=268352 CPUtime=1182.02 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 168373 0 0 0 117801 401 0 0 20 0 1 0 281174590 274792448 66310 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 67088 66310 445 1167 0 65869 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 268352
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23883
/proc/meminfo: memFree=26477880/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=271424 CPUtime=1242.01 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 169067 0 0 0 123785 416 0 0 20 0 1 0 281174590 277938176 67004 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 67856 67004 445 1167 0 66637 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 271424
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23883
/proc/meminfo: memFree=26475200/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=273472 CPUtime=1302 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 169486 0 0 0 129767 433 0 0 20 0 1 0 281174590 280035328 67423 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 68368 67423 445 1167 0 67149 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 273472
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23886
/proc/meminfo: memFree=26474188/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=273472 CPUtime=1361.99 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 169653 0 0 0 135748 451 0 0 20 0 1 0 281174590 280035328 67590 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 68368 67590 445 1167 0 67149 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 273472
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23886
/proc/meminfo: memFree=26468368/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=274496 CPUtime=1421.98 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 169890 0 0 0 141732 466 0 0 20 0 1 0 281174590 281083904 67827 33554432000 4194304 8973514 140736096961008 140736096960272 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 68624 67827 445 1167 0 67405 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 274496
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23886
/proc/meminfo: memFree=26468120/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=275520 CPUtime=1481.97 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 169949 0 0 0 147714 483 0 0 20 0 1 0 281174590 282132480 67886 33554432000 4194304 8973514 140736096961008 140736096960504 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 68880 67886 445 1167 0 67661 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 275520
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23887
/proc/meminfo: memFree=26463216/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=275520 CPUtime=1541.96 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 170165 0 0 0 153696 500 0 0 20 0 1 0 281174590 282132480 68102 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 68880 68102 445 1167 0 67661 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 275520
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23887
/proc/meminfo: memFree=26462100/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=277568 CPUtime=1601.96 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 170461 0 0 0 159680 516 0 0 20 0 1 0 281174590 284229632 68398 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 69392 68398 445 1167 0 68173 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 277568
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23887
/proc/meminfo: memFree=26460240/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=277568 CPUtime=1661.94 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 170677 0 0 0 165658 536 0 0 20 0 1 0 281174590 284229632 68614 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 69392 68614 445 1167 0 68173 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 277568
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23887
/proc/meminfo: memFree=26460240/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=277568 CPUtime=1721.94 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 170677 0 0 0 171641 553 0 0 20 0 1 0 281174590 284229632 68614 33554432000 4194304 8973514 140736096961008 140736096960504 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 69392 68614 445 1167 0 68173 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 277568
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23887
/proc/meminfo: memFree=26455516/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=279616 CPUtime=1781.93 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 170965 0 0 0 177622 571 0 0 20 0 1 0 281174590 286326784 68902 33554432000 4194304 8973514 140736096961008 140736096960272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 69904 68902 445 1167 0 68685 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 279616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23887
/proc/meminfo: memFree=26455764/32873844 swapFree=6088/6088
[pid=23831] ppid=23829 vsize=279616 CPUtime=1800.03 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23829 23831 21557 0 -1 4202496 170965 0 0 0 179427 576 0 0 20 0 1 0 281174590 286326784 68902 33554432000 4194304 8973514 140736096961008 140736096960272 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 69904 68902 445 1167 0 68685 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 279616
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1794.28
CPU system time (s): 5.76412
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 588864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.28
system time used= 5.76412
maximum resident set size= 585680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170965
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= 99
involuntary context switches= 2092
runsolver used 3.00954 second user time and 8.48771 second system time
The end