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-3706095-1338199140/watcher-3706095-1338199140 -o /tmp/evaluation-result-3706095-1338199140/solver-3706095-1338199140 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706095-1338199140.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.00 2.00 2.00 3/174 20999
/proc/meminfo: memFree=31235456/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 786 0 0 0 0 0 0 0 20 0 1 0 286042466 6356992 707 33554432000 4194304 8973514 140737444611776 140736539765992 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20999/statm: 1552 707 415 1167 0 333 0
[startup+0.0797261 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 20999
/proc/meminfo: memFree=31235456/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=11328 CPUtime=0.06 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 1937 0 0 0 6 0 0 0 20 0 1 0 286042466 11599872 1858 33554432000 4194304 8973514 140737444611776 140737444611272 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20999/statm: 2832 1858 416 1167 0 1613 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11328
[startup+0.100239 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 20999
/proc/meminfo: memFree=31235456/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 2157 0 0 0 8 1 0 0 20 0 1 0 286042466 12648448 2078 33554432000 4194304 8973514 140737444611776 140737444611272 4209325 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20999/statm: 3088 2083 417 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300213 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 20999
/proc/meminfo: memFree=31235456/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=22592 CPUtime=0.28 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 4916 0 0 0 26 2 0 0 20 0 1 0 286042466 23134208 4837 33554432000 4194304 8973514 140737444611776 140737444610616 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20999/statm: 5648 4837 418 1167 0 4429 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22592
[startup+0.700233 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 20999
/proc/meminfo: memFree=31235456/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=45120 CPUtime=0.69 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 10558 0 0 0 62 7 0 0 20 0 1 0 286042466 46202880 10479 33554432000 4194304 8973514 140737444611776 140737444610616 4204359 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20999/statm: 11280 10479 422 1167 0 10061 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45120
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21000
/proc/meminfo: memFree=31140216/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=63552 CPUtime=1.48 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 15188 0 0 0 134 14 0 0 20 0 1 0 286042466 65077248 15109 33554432000 4194304 8973514 140737444611776 140737444610616 4357013 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20999/statm: 15888 15109 444 1167 0 14669 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 63552
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21000
/proc/meminfo: memFree=31135076/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=62528 CPUtime=3.09 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 15188 0 0 0 280 29 0 0 20 0 1 0 286042466 64028672 14853 33554432000 4194304 8973514 140737444611776 140737444611272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 15632 14853 444 1167 0 14413 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 62528
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21000
/proc/meminfo: memFree=31134936/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=62528 CPUtime=6.29 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 15189 0 0 0 599 30 0 0 20 0 1 0 286042466 64028672 14854 33554432000 4194304 8973514 140737444611776 140737444611272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 15632 14854 444 1167 0 14413 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62528
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21000
/proc/meminfo: memFree=31129312/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=63552 CPUtime=12.69 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 15445 0 0 0 1238 31 0 0 20 0 1 0 286042466 65077248 15110 33554432000 4194304 8973514 140737444611776 140737444609792 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 15888 15110 444 1167 0 14669 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63552
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21000
/proc/meminfo: memFree=31099676/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=75840 CPUtime=25.48 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 18433 0 0 0 2515 33 0 0 20 0 1 0 286042466 77660160 18098 33554432000 4194304 8973514 140737444611776 140737444611272 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 18960 18098 444 1167 0 17741 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 75840
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21000
/proc/meminfo: memFree=31040620/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=103488 CPUtime=51.08 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 25429 0 0 0 5062 46 0 0 20 0 1 0 286042466 105971712 25094 33554432000 4194304 8973514 140737444611776 140737444611272 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 25872 25094 444 1167 0 24653 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 103488
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21003
/proc/meminfo: memFree=30926160/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=163904 CPUtime=102.27 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 40542 0 0 0 10173 54 0 0 20 0 1 0 286042466 167837696 40198 33554432000 4194304 8973514 140737444611776 140737444611272 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 40976 40198 444 1167 0 39757 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 163904
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21026
/proc/meminfo: memFree=30820300/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=220224 CPUtime=162.22 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 54663 0 0 0 16156 66 0 0 20 0 1 0 286042466 225509376 54279 33554432000 4194304 8973514 140737444611776 140737444611272 4424679 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 55056 54279 444 1167 0 53837 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 220224
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21026
/proc/meminfo: memFree=30719400/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=273472 CPUtime=222.17 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 67929 0 0 0 22140 77 0 0 20 0 1 0 286042466 280035328 67509 33554432000 4194304 8973514 140737444611776 140737444611040 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 68368 67509 444 1167 0 67149 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 273472
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21027
/proc/meminfo: memFree=30689252/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=303168 CPUtime=282.14 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 75463 0 0 0 28126 88 0 0 20 0 1 0 286042466 310444032 75016 33554432000 4194304 8973514 140737444611776 140737444611272 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 75792 75016 445 1167 0 74573 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 303168
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21027
/proc/meminfo: memFree=30689004/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=303168 CPUtime=342.12 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 75463 0 0 0 34115 97 0 0 20 0 1 0 286042466 310444032 75016 33554432000 4194304 8973514 140737444611776 140737444611272 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 75792 75016 445 1167 0 74573 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 303168
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21027
/proc/meminfo: memFree=30651188/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=303168 CPUtime=402.11 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 75463 0 0 0 40105 106 0 0 20 0 1 0 286042466 310444032 75016 33554432000 4194304 8973514 140737444611776 140737444611040 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 75792 75016 445 1167 0 74573 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 303168
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21027
/proc/meminfo: memFree=30617364/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=325696 CPUtime=462.11 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 81095 0 0 0 46097 114 0 0 20 0 1 0 286042466 333512704 80648 33554432000 4194304 8973514 140737444611776 140737444611040 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 81424 80648 445 1167 0 80205 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 325696
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21027
/proc/meminfo: memFree=30617040/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=325696 CPUtime=522.1 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 81095 0 0 0 52088 122 0 0 20 0 1 0 286042466 333512704 80648 33554432000 4194304 8973514 140737444611776 140737444611272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 81424 80648 445 1167 0 80205 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 325696
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21028
/proc/meminfo: memFree=30617164/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=325696 CPUtime=582.09 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 81095 0 0 0 58076 133 0 0 20 0 1 0 286042466 333512704 80648 33554432000 4194304 8973514 140737444611776 140737444611040 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 81424 80648 445 1167 0 80205 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 325696
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21032
/proc/meminfo: memFree=30522120/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=385088 CPUtime=882.03 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 95962 0 0 0 88029 174 0 0 20 0 1 0 286042466 394330112 95496 33554432000 4194304 8973514 140737444611776 140737444611040 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 96272 95496 445 1167 0 95053 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 385088
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21032
/proc/meminfo: memFree=30522208/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=385088 CPUtime=942.01 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 95962 0 0 0 94020 181 0 0 20 0 1 0 286042466 394330112 95496 33554432000 4194304 8973514 140737444611776 140737444611040 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 96272 95496 445 1167 0 95053 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 385088
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 21032
/proc/meminfo: memFree=30522208/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=385088 CPUtime=1002.01 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 95962 0 0 0 100013 188 0 0 20 0 1 0 286042466 394330112 95496 33554432000 4194304 8973514 140737444611776 140737444611040 6571993 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 96272 95496 445 1167 0 95053 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 385088
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 21032
/proc/meminfo: memFree=30489472/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=404544 CPUtime=1062 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 100730 0 0 0 106004 196 0 0 20 0 1 0 286042466 414253056 100264 33554432000 4194304 8973514 140737444611776 140737444611272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 101136 100264 445 1167 0 99917 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 404544
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21032
/proc/meminfo: memFree=30461820/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=431168 CPUtime=1121.98 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 107238 0 0 0 111993 205 0 0 20 0 1 0 286042466 441516032 106772 33554432000 4194304 8973514 140737444611776 140737444611040 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 107792 106772 445 1167 0 106573 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 431168
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21033
/proc/meminfo: memFree=30436968/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=454720 CPUtime=1181.97 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 113388 0 0 0 117983 214 0 0 20 0 1 0 286042466 465633280 112904 33554432000 4194304 8973514 140737444611776 140737444611040 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 113680 112904 445 1167 0 112461 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 454720
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21033
/proc/meminfo: memFree=30415348/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=476224 CPUtime=1241.95 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 118699 0 0 0 123974 221 0 0 20 0 1 0 286042466 487653376 118206 33554432000 4194304 8973514 140737444611776 140737444611040 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 119056 118206 445 1167 0 117837 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 476224
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21036
/proc/meminfo: memFree=30414968/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=476224 CPUtime=1301.94 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 118773 0 0 0 129966 228 0 0 20 0 1 0 286042466 487653376 118280 33554432000 4194304 8973514 140737444611776 140737444611272 4424998 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 119056 118280 445 1167 0 117837 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 476224
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21036
/proc/meminfo: memFree=30415100/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=476224 CPUtime=1361.93 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 118773 0 0 0 135958 235 0 0 20 0 1 0 286042466 487653376 118280 33554432000 4194304 8973514 140737444611776 140737444611040 4209520 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 119056 118280 445 1167 0 117837 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 476224
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 21036
/proc/meminfo: memFree=30410016/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=476224 CPUtime=1421.93 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 118773 0 0 0 141950 243 0 0 20 0 1 0 286042466 487653376 118280 33554432000 4194304 8973514 140737444611776 140737444610880 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 119056 118280 445 1167 0 117837 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 476224
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 21037
/proc/meminfo: memFree=30409996/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=476224 CPUtime=1481.92 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 118773 0 0 0 147942 250 0 0 20 0 1 0 286042466 487653376 118280 33554432000 4194304 8973514 140737444611776 140737444611040 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 119056 118280 445 1167 0 117837 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 476224
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 21037
/proc/meminfo: memFree=30410120/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=476224 CPUtime=1541.9 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 118773 0 0 0 153936 254 0 0 20 0 1 0 286042466 487653376 118280 33554432000 4194304 8973514 140737444611776 140737444611272 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 119056 118280 445 1167 0 117837 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 476224
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 21037
/proc/meminfo: memFree=30479596/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=406592 CPUtime=1601.9 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 118773 0 0 0 159927 263 0 0 20 0 1 0 286042466 416350208 100872 33554432000 4194304 8973514 140737444611776 140737444611272 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 101648 100872 445 1167 0 100429 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 406592
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 21037
/proc/meminfo: memFree=30496156/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=390208 CPUtime=1661.89 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 118773 0 0 0 165916 273 0 0 20 0 1 0 286042466 399572992 96776 33554432000 4194304 8973514 140737444611776 140737444611040 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 97552 96776 445 1167 0 96333 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 390208
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21037
/proc/meminfo: memFree=30495956/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=390208 CPUtime=1721.87 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 118776 0 0 0 171906 281 0 0 20 0 1 0 286042466 399572992 96776 33554432000 4194304 8973514 140737444611776 140737444611272 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 97552 96776 445 1167 0 96333 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 390208
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 21037
/proc/meminfo: memFree=30470420/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=390208 CPUtime=1781.86 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 118776 0 0 0 177897 289 0 0 20 0 1 0 286042466 399572992 96776 33554432000 4194304 8973514 140737444611776 140737444611040 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 97552 96776 445 1167 0 96333 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 390208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 2/173 21039
/proc/meminfo: memFree=30854664/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=390208 CPUtime=1800.07 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 118776 0 0 0 179716 291 0 0 20 0 1 0 286042466 399572992 96776 33554432000 4194304 8973514 140737444611776 140737444611040 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 97552 96776 445 1167 0 96333 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 390208
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 2.00 2/173 21039
/proc/meminfo: memFree=30854664/32873844 swapFree=6088/6088
[pid=20999] ppid=20997 vsize=390208 CPUtime=1800.07 cores=0,2,4,6
/proc/20999/stat : 20999 (toysat) R 20997 20999 20536 0 -1 4202496 118776 0 0 0 179716 291 0 0 20 0 1 0 286042466 399572992 96776 33554432000 4194304 8973514 140737444611776 140737444611040 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20999/statm: 97552 96776 445 1167 0 96333 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 390208
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1797.16
CPU system time (s): 2.92056
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 476224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.16
system time used= 2.92056
maximum resident set size= 473120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118776
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= 164
involuntary context switches= 2176
runsolver used 3.3115 second user time and 8.19375 second system time
The end