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-3712065-1338181502/watcher-3712065-1338181502 -o /tmp/evaluation-result-3712065-1338181502/solver-3712065-1338181502 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712065-1338181502.wbo
running on 4 cores: 1,3,5,7
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.85 1.97 1.98 3/176 10021
/proc/meminfo: memFree=31369672/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 824 0 0 0 0 0 0 0 20 0 1 0 284274510 6356992 744 33554432000 4194304 8973514 140734502006784 140734029785528 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 1552 744 422 1167 0 333 0
[startup+0.0388069 s]
/proc/loadavg: 1.85 1.97 1.98 3/176 10021
/proc/meminfo: memFree=31369672/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=9280 CPUtime=0.03 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 1401 0 0 0 3 0 0 0 20 0 1 0 284274510 9502720 1321 33554432000 4194304 8973514 140734502006784 140734029785528 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 2320 1321 423 1167 0 1101 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9280
[startup+0.100227 s]
/proc/loadavg: 1.85 1.97 1.98 3/176 10021
/proc/meminfo: memFree=31369672/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=15424 CPUtime=0.09 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 2954 0 0 0 9 0 0 0 20 0 1 0 284274510 15794176 2874 33554432000 4194304 8973514 140734502006784 140734029785528 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 3856 2874 434 1167 0 2637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15424
[startup+0.300242 s]
/proc/loadavg: 1.85 1.97 1.98 3/176 10021
/proc/meminfo: memFree=31369672/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=17472 CPUtime=0.29 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 3680 0 0 0 29 0 0 0 20 0 1 0 284274510 17891328 3600 33554432000 4194304 8973514 140734502006784 140734029785528 7841851 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 4368 3600 456 1167 0 3149 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17472
[startup+0.700213 s]
/proc/loadavg: 1.85 1.97 1.98 3/176 10021
/proc/meminfo: memFree=31369672/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=18496 CPUtime=0.69 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 3936 0 0 0 69 0 0 0 20 0 1 0 284274510 18939904 3856 33554432000 4194304 8973514 140734502006784 140734502006280 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 4624 3856 456 1167 0 3405 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18496
[startup+1.50022 s]
/proc/loadavg: 1.85 1.97 1.98 3/177 10022
/proc/meminfo: memFree=31352620/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=21568 CPUtime=1.49 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 4704 0 0 0 148 1 0 0 20 0 1 0 284274510 22085632 4624 33554432000 4194304 8973514 140734502006784 140734502006280 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 5392 4624 456 1167 0 4173 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21568
[startup+3.10024 s]
/proc/loadavg: 1.85 1.97 1.98 3/177 10022
/proc/meminfo: memFree=31348652/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=23616 CPUtime=3.09 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 5216 0 0 0 307 2 0 0 20 0 1 0 284274510 24182784 5136 33554432000 4194304 8973514 140734502006784 140734502006280 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 5904 5136 456 1167 0 4685 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23616
[startup+6.30024 s]
/proc/loadavg: 1.86 1.97 1.98 3/177 10022
/proc/meminfo: memFree=31340600/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=26688 CPUtime=6.28 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 5984 0 0 0 625 3 0 0 20 0 1 0 284274510 27328512 5904 33554432000 4194304 8973514 140734502006784 140734502006280 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 6672 5904 456 1167 0 5453 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 26688
[startup+12.7002 s]
/proc/loadavg: 1.87 1.97 1.98 3/177 10022
/proc/meminfo: memFree=31325412/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=32832 CPUtime=12.69 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 7292 0 0 0 1262 7 0 0 20 0 1 0 284274510 33619968 7212 33554432000 4194304 8973514 140734502006784 140734502006280 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 8208 7212 456 1167 0 6989 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32832
[startup+25.5002 s]
/proc/loadavg: 1.90 1.97 1.98 3/177 10022
/proc/meminfo: memFree=31303784/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=42048 CPUtime=25.48 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 9835 0 0 0 2536 12 0 0 20 0 1 0 284274510 43057152 9755 33554432000 4194304 8973514 140734502006784 140734502006280 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 10512 9755 467 1167 0 9293 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42048
[startup+51.1003 s]
/proc/loadavg: 1.93 1.97 1.98 3/177 10022
/proc/meminfo: memFree=31261036/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=60480 CPUtime=51.07 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 14374 0 0 0 5082 25 0 0 20 0 1 0 284274510 61931520 14284 33554432000 4194304 8973514 140734502006784 140734502006280 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 15120 14284 467 1167 0 13901 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 60480
[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.98 3/177 10022
/proc/meminfo: memFree=31198500/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=87104 CPUtime=102.26 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 20930 0 0 0 10179 47 0 0 20 0 1 0 284274510 89194496 20831 33554432000 4194304 8973514 140734502006784 140734502006280 7688742 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 21776 20831 467 1167 0 20557 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 87104
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/177 10023
/proc/meminfo: memFree=31154404/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=109632 CPUtime=162.23 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 26568 0 0 0 16157 66 0 0 20 0 1 0 284274510 112263168 26444 33554432000 4194304 8973514 140734502006784 140734502006048 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 27408 26444 467 1167 0 26189 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 109632
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/177 10023
/proc/meminfo: memFree=31187768/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=126016 CPUtime=222.22 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 30707 0 0 0 22140 82 0 0 20 0 1 0 284274510 129040384 30581 33554432000 4194304 8973514 140734502006784 140734502006048 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 31504 30581 467 1167 0 30285 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 126016
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/177 10023
/proc/meminfo: memFree=31139132/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=141376 CPUtime=282.2 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 34494 0 0 0 28125 95 0 0 20 0 1 0 284274510 144769024 34357 33554432000 4194304 8973514 140734502006784 140734502006048 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 35344 34357 467 1167 0 34125 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 141376
[startup+342.3 s]
/proc/loadavg: 2.12 2.00 1.99 3/178 10026
/proc/meminfo: memFree=31104280/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=154688 CPUtime=342.19 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 37863 0 0 0 34112 107 0 0 20 0 1 0 284274510 158400512 37726 33554432000 4194304 8973514 140734502006784 140734502006048 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 38672 37726 467 1167 0 37453 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 154688
[startup+402.3 s]
/proc/loadavg: 2.04 2.00 1.99 3/177 10026
/proc/meminfo: memFree=31068420/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=168000 CPUtime=402.18 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 41144 0 0 0 40099 119 0 0 20 0 1 0 284274510 172032000 40995 33554432000 4194304 8973514 140734502006784 140734502006048 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 42000 40995 467 1167 0 40781 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 168000
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/177 10027
/proc/meminfo: memFree=31046956/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=177216 CPUtime=462.17 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 43452 0 0 0 46085 132 0 0 20 0 1 0 284274510 181469184 43303 33554432000 4194304 8973514 140734502006784 140734502006048 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 44304 43303 467 1167 0 43085 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 177216
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 10027
/proc/meminfo: memFree=31030588/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=188480 CPUtime=522.16 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 46343 0 0 0 52073 143 0 0 20 0 1 0 284274510 193003520 46194 33554432000 4194304 8973514 140734502006784 140734502006048 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 47120 46194 467 1167 0 45901 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 188480
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 10027
/proc/meminfo: memFree=31004708/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=196672 CPUtime=582.14 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 48560 0 0 0 58061 153 0 0 20 0 1 0 284274510 201392128 48411 33554432000 4194304 8973514 140734502006784 140734502006048 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 49168 48411 467 1167 0 47949 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 196672
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 10028
/proc/meminfo: memFree=30951144/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=202816 CPUtime=822.1 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 50111 0 0 0 82012 198 0 0 20 0 1 0 284274510 207683584 49948 33554432000 4194304 8973514 140734502006784 140734502006048 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 50704 49948 468 1167 0 49485 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 202816
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 10028
/proc/meminfo: memFree=30938888/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=212032 CPUtime=882.09 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 52358 0 0 0 88001 208 0 0 20 0 1 0 284274510 217120768 52191 33554432000 4194304 8973514 140734502006784 140734502006048 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 53008 52191 468 1167 0 51789 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 212032
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10031
/proc/meminfo: memFree=30933672/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=217152 CPUtime=942.08 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 53699 0 0 0 93989 219 0 0 20 0 1 0 284274510 222363648 53532 33554432000 4194304 8973514 140734502006784 140734502006048 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 54288 53532 468 1167 0 53069 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 217152
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 10031
/proc/meminfo: memFree=30921528/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=230464 CPUtime=1002.07 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 56820 0 0 0 99978 229 0 0 20 0 1 0 284274510 235995136 56653 33554432000 4194304 8973514 140734502006784 140734502006048 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 57616 56653 468 1167 0 56397 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 230464
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 10032
/proc/meminfo: memFree=30913840/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=237632 CPUtime=1062.06 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 58735 0 0 0 105966 240 0 0 20 0 1 0 284274510 243335168 58568 33554432000 4194304 8973514 140734502006784 140734502006048 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 59408 58568 468 1167 0 58189 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 237632
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 10032
/proc/meminfo: memFree=30906372/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=244800 CPUtime=1122.04 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 60625 0 0 0 111955 249 0 0 20 0 1 0 284274510 250675200 60444 33554432000 4194304 8973514 140734502006784 140734502006048 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 61200 60444 468 1167 0 59981 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 244800
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 10032
/proc/meminfo: memFree=30899852/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=251968 CPUtime=1182.03 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 62183 0 0 0 117945 258 0 0 20 0 1 0 284274510 258015232 62002 33554432000 4194304 8973514 140734502006784 140734502006048 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 62992 62002 468 1167 0 61773 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 251968
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 10032
/proc/meminfo: memFree=30898488/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=251968 CPUtime=1242.03 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 62417 0 0 0 123935 268 0 0 20 0 1 0 284274510 258015232 62236 33554432000 4194304 8973514 140734502006784 140734502006048 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 62992 62236 468 1167 0 61773 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 251968
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10032
/proc/meminfo: memFree=30898984/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=251968 CPUtime=1302.03 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 62417 0 0 0 129925 278 0 0 20 0 1 0 284274510 258015232 62236 33554432000 4194304 8973514 140734502006784 140734502006048 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 62992 62236 468 1167 0 61773 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 251968
[startup+1362.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 10033
/proc/meminfo: memFree=30898736/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=251968 CPUtime=1362.01 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 62417 0 0 0 135914 287 0 0 20 0 1 0 284274510 258015232 62236 33554432000 4194304 8973514 140734502006784 140734502006048 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 62992 62236 468 1167 0 61773 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 251968
[startup+1422.31 s]
/proc/loadavg: 2.10 2.04 2.00 3/177 10033
/proc/meminfo: memFree=30898604/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=251968 CPUtime=1422 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 62417 0 0 0 141904 296 0 0 20 0 1 0 284274510 258015232 62236 33554432000 4194304 8973514 140734502006784 140734502004992 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 62992 62236 468 1167 0 61773 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 251968
[startup+1482.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/177 10033
/proc/meminfo: memFree=30898852/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=251968 CPUtime=1481.99 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 62417 0 0 0 147895 304 0 0 20 0 1 0 284274510 258015232 62236 33554432000 4194304 8973514 140734502006784 140734502006048 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 62992 62236 468 1167 0 61773 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 251968
[startup+1542.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/178 10036
/proc/meminfo: memFree=30894380/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=257088 CPUtime=1541.98 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 63563 0 0 0 153886 312 0 0 20 0 1 0 284274510 263258112 63382 33554432000 4194304 8973514 140734502006784 140734502006048 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 64272 63382 468 1167 0 63053 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 257088
[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 10036
/proc/meminfo: memFree=30887196/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=264256 CPUtime=1601.97 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 65393 0 0 0 159876 321 0 0 20 0 1 0 284274510 270598144 65212 33554432000 4194304 8973514 140734502006784 140734502006048 7681399 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 66064 65212 468 1167 0 64845 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 264256
[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 10037
/proc/meminfo: memFree=30878144/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=271424 CPUtime=1661.96 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 67104 0 0 0 165866 330 0 0 20 0 1 0 284274510 277938176 66923 33554432000 4194304 8973514 140734502006784 140734502006048 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 67856 66923 468 1167 0 66637 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 271424
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/177 10037
/proc/meminfo: memFree=30843456/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=279616 CPUtime=1721.95 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 69289 0 0 0 171857 338 0 0 20 0 1 0 284274510 286326784 69100 33554432000 4194304 8973514 140734502006784 140734502006048 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 69904 69100 468 1167 0 68685 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 279616
[startup+1782.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/177 10037
/proc/meminfo: memFree=30837256/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=284736 CPUtime=1781.94 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 70531 0 0 0 177846 348 0 0 20 0 1 0 284274510 291569664 70342 33554432000 4194304 8973514 140734502006784 140734502006048 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 71184 70342 468 1167 0 69965 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 284736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.07 2.05 2.00 2/175 10038
/proc/meminfo: memFree=31093528/32873844 swapFree=7632/7632
[pid=10021] ppid=10019 vsize=287808 CPUtime=1800.04 cores=1,3,5,7
/proc/10021/stat : 10021 (toysat) R 10019 10021 7805 0 -1 4202496 71185 0 0 0 179655 349 0 0 20 0 1 0 284274510 294715392 70996 33554432000 4194304 8973514 140734502006784 140734502006048 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10021/statm: 71952 70996 468 1167 0 70733 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 287808
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.05
CPU user time (s): 1796.55
CPU system time (s): 3.50047
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 287808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.55
system time used= 3.50047
maximum resident set size= 283984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71185
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= 112
involuntary context switches= 1846
runsolver used 3.23251 second user time and 9.11261 second system time
The end