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-3706343-1338141565/watcher-3706343-1338141565 -o /tmp/evaluation-result-3706343-1338141565/solver-3706343-1338141565 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706343-1338141565.opb
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: 2.00 2.00 2.00 3/178 17116
/proc/meminfo: memFree=30933968/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 853 0 0 0 0 0 0 0 20 0 1 0 280281273 7405568 774 33554432000 4194304 8973514 140736425145568 140736917696664 4209325 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 1808 774 412 1167 0 589 0
[startup+0.0511351 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17116
/proc/meminfo: memFree=30933968/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=10304 CPUtime=0.04 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 1617 0 0 0 4 0 0 0 20 0 1 0 280281273 10551296 1538 33554432000 4194304 8973514 140736425145568 140736425145064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 2576 1538 417 1167 0 1357 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10304
[startup+0.100272 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17116
/proc/meminfo: memFree=30933968/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 2452 0 0 0 9 0 0 0 20 0 1 0 280281273 13697024 2373 33554432000 4194304 8973514 140736425145568 140736425145064 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 3344 2373 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300282 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17116
/proc/meminfo: memFree=30933968/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=24640 CPUtime=0.29 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 5429 0 0 0 28 1 0 0 20 0 1 0 280281273 25231360 5350 33554432000 4194304 8973514 140736425145568 140736425145064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 6160 5350 418 1167 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24640
[startup+0.700302 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17116
/proc/meminfo: memFree=30933968/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=47168 CPUtime=0.69 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 11083 0 0 0 67 2 0 0 20 0 1 0 280281273 48300032 11004 33554432000 4194304 8973514 140736425145568 140736425145064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 11792 11004 434 1167 0 10573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47168
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17117
/proc/meminfo: memFree=30891808/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=47168 CPUtime=1.49 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 11083 0 0 0 147 2 0 0 20 0 1 0 280281273 48300032 11004 33554432000 4194304 8973514 140736425145568 140736425145064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 11792 11004 434 1167 0 10573 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47168
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17117
/proc/meminfo: memFree=30889924/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=47168 CPUtime=3.09 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 11094 0 0 0 306 3 0 0 20 0 1 0 280281273 48300032 11015 33554432000 4194304 8973514 140736425145568 140736425144672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 11792 11015 445 1167 0 10573 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47168
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17117
/proc/meminfo: memFree=30889924/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=48192 CPUtime=6.29 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 11362 0 0 0 626 3 0 0 20 0 1 0 280281273 49348608 11283 33554432000 4194304 8973514 140736425145568 140736425145064 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 12048 11283 457 1167 0 10829 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48192
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17117
/proc/meminfo: memFree=30884508/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=48192 CPUtime=12.69 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 11362 0 0 0 1264 5 0 0 20 0 1 0 280281273 49348608 11283 33554432000 4194304 8973514 140736425145568 140736425144832 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 12048 11283 457 1167 0 10829 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48192
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17117
/proc/meminfo: memFree=30882896/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=48192 CPUtime=25.49 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 11362 0 0 0 2539 10 0 0 20 0 1 0 280281273 49348608 11283 33554432000 4194304 8973514 140736425145568 140736425144832 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 12048 11283 457 1167 0 10829 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48192
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17120
/proc/meminfo: memFree=30880160/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=49216 CPUtime=51.08 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 11618 0 0 0 5089 19 0 0 20 0 1 0 280281273 50397184 11539 33554432000 4194304 8973514 140736425145568 140736425145064 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 12304 11539 457 1167 0 11085 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49216
[startup+102.307 s]
/proc/loadavg: 1.94 1.98 1.99 3/180 17183
/proc/meminfo: memFree=31310972/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=50240 CPUtime=102.27 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 11878 0 0 0 10195 32 0 0 20 0 1 0 280281273 51445760 11800 33554432000 4194304 8973514 140736425145568 140736425145064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 12560 11800 457 1167 0 11341 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 50240
[startup+162.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 17183
/proc/meminfo: memFree=31304864/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=51264 CPUtime=162.26 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 12139 0 0 0 16174 52 0 0 20 0 1 0 280281273 52494336 12056 33554432000 4194304 8973514 140736425145568 140736425145064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 12816 12056 457 1167 0 11597 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 51264
[startup+222.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 17183
/proc/meminfo: memFree=31292392/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=56384 CPUtime=222.25 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 13419 0 0 0 22153 72 0 0 20 0 1 0 280281273 57737216 13336 33554432000 4194304 8973514 140736425145568 140736425144832 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 14096 13336 457 1167 0 12877 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 56384
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17183
/proc/meminfo: memFree=31287304/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=58432 CPUtime=282.23 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 13933 0 0 0 28132 91 0 0 20 0 1 0 280281273 59834368 13848 33554432000 4194304 8973514 140736425145568 140736425144832 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 14608 13848 457 1167 0 13389 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 58432
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17183
/proc/meminfo: memFree=31284072/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=60480 CPUtime=342.23 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 14445 0 0 0 34115 108 0 0 20 0 1 0 280281273 61931520 14360 33554432000 4194304 8973514 140736425145568 140736425143552 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 15120 14360 457 1167 0 13901 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 60480
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17184
/proc/meminfo: memFree=31281468/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=62528 CPUtime=402.22 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 14957 0 0 0 40093 129 0 0 20 0 1 0 280281273 64028672 14872 33554432000 4194304 8973514 140736425145568 140736425145064 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 15632 14872 457 1167 0 14413 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 62528
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17184
/proc/meminfo: memFree=31279044/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=64576 CPUtime=462.2 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 15471 0 0 0 46072 148 0 0 20 0 1 0 280281273 66125824 15384 33554432000 4194304 8973514 140736425145568 140736425145064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 16144 15384 457 1167 0 14925 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 64576
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17184
/proc/meminfo: memFree=31274080/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=68672 CPUtime=522.2 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 16495 0 0 0 52052 168 0 0 20 0 1 0 280281273 70320128 16408 33554432000 4194304 8973514 140736425145568 140736425145064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 17168 16408 457 1167 0 15949 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 68672
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17184
/proc/meminfo: memFree=31266020/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=76864 CPUtime=582.19 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 18543 0 0 0 58030 189 0 0 20 0 1 0 280281273 78708736 18456 33554432000 4194304 8973514 140736425145568 140736425143488 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 19216 18456 457 1167 0 17997 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 76864
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17188
/proc/meminfo: memFree=31247332/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=92224 CPUtime=882.14 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 22386 0 0 0 87914 300 0 0 20 0 1 0 280281273 94437376 22296 33554432000 4194304 8973514 140736425145568 140736425144832 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 23056 22296 457 1167 0 21837 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 92224
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17188
/proc/meminfo: memFree=31247144/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=92224 CPUtime=942.14 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 22386 0 0 0 93890 324 0 0 20 0 1 0 280281273 94437376 22296 33554432000 4194304 8973514 140736425145568 140736425145064 4213733 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 23056 22296 457 1167 0 21837 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 92224
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17188
/proc/meminfo: memFree=31244980/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=92224 CPUtime=1002.12 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 22386 0 0 0 99868 344 0 0 20 0 1 0 280281273 94437376 22296 33554432000 4194304 8973514 140736425145568 140736425143488 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 23056 22296 457 1167 0 21837 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 92224
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17189
/proc/meminfo: memFree=31243980/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=93248 CPUtime=1062.12 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 22642 0 0 0 105849 363 0 0 20 0 1 0 280281273 95485952 22552 33554432000 4194304 8973514 140736425145568 140736425144832 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 23312 22552 457 1167 0 22093 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 93248
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17189
/proc/meminfo: memFree=31242120/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=93248 CPUtime=1122.1 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 22642 0 0 0 111829 381 0 0 20 0 1 0 280281273 95485952 22552 33554432000 4194304 8973514 140736425145568 140736425144832 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 23312 22552 457 1167 0 22093 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 93248
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 17189
/proc/meminfo: memFree=31239944/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=94272 CPUtime=1182.1 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 22898 0 0 0 117807 403 0 0 20 0 1 0 280281273 96534528 22808 33554432000 4194304 8973514 140736425145568 140736425144832 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 23568 22808 457 1167 0 22349 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 94272
[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/180 17192
/proc/meminfo: memFree=31238276/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=94272 CPUtime=1242.09 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 22898 0 0 0 123784 425 0 0 20 0 1 0 280281273 96534528 22808 33554432000 4194304 8973514 140736425145568 140736425145064 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 23568 22808 457 1167 0 22349 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 94272
[startup+1302.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 17192
/proc/meminfo: memFree=31237216/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=95296 CPUtime=1302.08 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 23154 0 0 0 129762 446 0 0 20 0 1 0 280281273 97583104 23064 33554432000 4194304 8973514 140736425145568 140736425145064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 23824 23064 457 1167 0 22605 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 95296
[startup+1362.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/179 17193
/proc/meminfo: memFree=31234236/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=98368 CPUtime=1362.07 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 23922 0 0 0 135737 470 0 0 20 0 1 0 280281273 100728832 23832 33554432000 4194304 8973514 140736425145568 140736425145064 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 24592 23832 457 1167 0 23373 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 98368
[startup+1422.31 s]
/proc/loadavg: 2.10 2.06 2.01 3/179 17193
/proc/meminfo: memFree=31228160/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=102464 CPUtime=1422.07 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 24946 0 0 0 141716 491 0 0 20 0 1 0 280281273 104923136 24856 33554432000 4194304 8973514 140736425145568 140736425144832 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 25616 24856 457 1167 0 24397 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 102464
[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 17193
/proc/meminfo: memFree=31224992/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=105536 CPUtime=1482.05 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 25717 0 0 0 147693 512 0 0 20 0 1 0 280281273 108068864 25624 33554432000 4194304 8973514 140736425145568 140736425145064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 26384 25624 457 1167 0 25165 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 105536
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 17193
/proc/meminfo: memFree=31224556/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=106560 CPUtime=1542.04 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 25973 0 0 0 153671 533 0 0 20 0 1 0 280281273 109117440 25880 33554432000 4194304 8973514 140736425145568 140736425145064 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 26640 25880 457 1167 0 25421 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 106560
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 17193
/proc/meminfo: memFree=31224368/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=106560 CPUtime=1602.03 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 25973 0 0 0 159649 554 0 0 20 0 1 0 280281273 109117440 25880 33554432000 4194304 8973514 140736425145568 140736425145064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 26640 25880 457 1167 0 25421 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 106560
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 17194
/proc/meminfo: memFree=31222508/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=107584 CPUtime=1662.02 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 26229 0 0 0 165625 577 0 0 20 0 1 0 280281273 110166016 26136 33554432000 4194304 8973514 140736425145568 140736425145064 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 26896 26136 457 1167 0 25677 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 107584
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 17194
/proc/meminfo: memFree=31222508/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=107584 CPUtime=1722.01 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 26229 0 0 0 171603 598 0 0 20 0 1 0 280281273 110166016 26136 33554432000 4194304 8973514 140736425145568 140736425144832 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 26896 26136 457 1167 0 25677 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 107584
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 17194
/proc/meminfo: memFree=31221144/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=107584 CPUtime=1782.01 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 26229 0 0 0 177582 619 0 0 20 0 1 0 280281273 110166016 26136 33554432000 4194304 8973514 140736425145568 140736425144832 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 26896 26136 457 1167 0 25677 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 107584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 17194
/proc/meminfo: memFree=31221020/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=107584 CPUtime=1800.01 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 26229 0 0 0 179376 625 0 0 20 0 1 0 280281273 110166016 26136 33554432000 4194304 8973514 140736425145568 140736425145064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 26896 26136 457 1167 0 25677 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 107584
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 17194
/proc/meminfo: memFree=31221020/32873844 swapFree=7616/7616
[pid=17116] ppid=17114 vsize=107584 CPUtime=1800.01 cores=1,3,5,7
/proc/17116/stat : 17116 (toysat) R 17114 17116 15420 0 -1 4202496 26229 0 0 0 179376 625 0 0 20 0 1 0 280281273 110166016 26136 33554432000 4194304 8973514 140736425145568 140736425145064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17116/statm: 26896 26136 457 1167 0 25677 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 107584
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1793.77
CPU system time (s): 6.25105
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 107584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.77
system time used= 6.25105
maximum resident set size= 104544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26229
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= 22
involuntary context switches= 1853
runsolver used 3.14352 second user time and 10.9233 second system time
The end