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-3706107-1338155936/watcher-3706107-1338155936 -o /tmp/evaluation-result-3706107-1338155936/solver-3706107-1338155936 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706107-1338155936.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: 1.92 1.98 1.99 3/176 17518
/proc/meminfo: memFree=27035644/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 741 0 0 0 0 0 0 0 20 0 1 0 281720448 6356992 662 33554432000 4194304 8973514 140735153596672 140733283746040 5781973 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 1552 662 415 1167 0 333 0
[startup+0.080229 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 17518
/proc/meminfo: memFree=27035644/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=11328 CPUtime=0.07 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 2098 0 0 0 7 0 0 0 20 0 1 0 281720448 11599872 2019 33554432000 4194304 8973514 140735153596672 140733283746040 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 2832 2019 417 1167 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11328
[startup+0.100309 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 17518
/proc/meminfo: memFree=27035644/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 2110 0 0 0 9 0 0 0 20 0 1 0 281720448 12648448 2032 33554432000 4194304 8973514 140735153596672 140733283746040 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 3088 2036 417 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300284 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 17518
/proc/meminfo: memFree=27035644/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=23616 CPUtime=0.29 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 5203 0 0 0 28 1 0 0 20 0 1 0 281720448 24182784 5124 33554432000 4194304 8973514 140735153596672 140735153596168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 5904 5124 444 1167 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23616
[startup+0.700282 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 17518
/proc/meminfo: memFree=27035644/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=23616 CPUtime=0.69 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 5203 0 0 0 68 1 0 0 20 0 1 0 281720448 24182784 5124 33554432000 4194304 8973514 140735153596672 140735153596168 4213713 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 5904 5124 444 1167 0 4685 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23616
[startup+1.5003 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 17519
/proc/meminfo: memFree=27016184/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=23616 CPUtime=1.49 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 5203 0 0 0 148 1 0 0 20 0 1 0 281720448 24182784 5124 33554432000 4194304 8973514 140735153596672 140735153596168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 5904 5124 444 1167 0 4685 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23616
[startup+3.1003 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 17519
/proc/meminfo: memFree=27014548/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=27712 CPUtime=3.08 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 6227 0 0 0 307 1 0 0 20 0 1 0 281720448 28377088 6148 33554432000 4194304 8973514 140735153596672 140735153596168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 6928 6148 444 1167 0 5709 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27712
[startup+6.30029 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 17519
/proc/meminfo: memFree=27006752/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=35904 CPUtime=6.29 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 8275 0 0 0 626 3 0 0 20 0 1 0 281720448 36765696 8196 33554432000 4194304 8973514 140735153596672 140735153596168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 8976 8196 444 1167 0 7757 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35904
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 17519
/proc/meminfo: memFree=26988936/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=52288 CPUtime=12.69 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 12371 0 0 0 1263 6 0 0 20 0 1 0 281720448 53542912 12292 33554432000 4194304 8973514 140735153596672 140735153596168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 13072 12292 444 1167 0 11853 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52288
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 17519
/proc/meminfo: memFree=26962312/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=75840 CPUtime=25.48 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 18261 0 0 0 2536 12 0 0 20 0 1 0 281720448 77660160 18182 33554432000 4194304 8973514 140735153596672 140735153596168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 18960 18182 445 1167 0 17741 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 75840
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 17519
/proc/meminfo: memFree=26947040/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=89152 CPUtime=51.08 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 21589 0 0 0 5088 20 0 0 20 0 1 0 281720448 91291648 21510 33554432000 4194304 8973514 140735153596672 140735153594624 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 22288 21510 445 1167 0 21069 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89152
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 17522
/proc/meminfo: memFree=26908536/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=119872 CPUtime=102.24 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 29312 0 0 0 10187 37 0 0 20 0 1 0 281720448 122748928 29195 33554432000 4194304 8973514 140735153596672 140735153596168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 29968 29195 445 1167 0 28749 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 119872
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 17545
/proc/meminfo: memFree=26923208/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=99392 CPUtime=162.22 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 29577 0 0 0 16167 55 0 0 20 0 1 0 281720448 101777408 24075 33554432000 4194304 8973514 140735153596672 140735153596168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 24848 24075 445 1167 0 23629 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 99392
[startup+222.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/177 17585
/proc/meminfo: memFree=27359348/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=99392 CPUtime=222.21 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 30601 0 0 0 22145 76 0 0 20 0 1 0 281720448 101777408 24075 33554432000 4194304 8973514 140735153596672 140735153596168 4424744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 24848 24075 445 1167 0 23629 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 99392
[startup+282.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/177 17585
/proc/meminfo: memFree=27279076/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=98368 CPUtime=282.2 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 32395 0 0 0 28123 97 0 0 20 0 1 0 281720448 100728832 23819 33554432000 4194304 8973514 140735153596672 140735153596168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 24592 23819 445 1167 0 23373 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 98368
[startup+342.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/177 17585
/proc/meminfo: memFree=27220392/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=138304 CPUtime=342.18 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 42379 0 0 0 34103 115 0 0 20 0 1 0 281720448 141623296 33803 33554432000 4194304 8973514 140735153596672 140735153596168 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 34576 33803 445 1167 0 33357 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 138304
[startup+402.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/177 17585
/proc/meminfo: memFree=27243128/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=158784 CPUtime=402.16 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 47413 0 0 0 40083 133 0 0 20 0 1 0 281720448 162594816 38817 33554432000 4194304 8973514 140735153596672 140735153595936 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 39696 38817 445 1167 0 38477 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 158784
[startup+462.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/177 17585
/proc/meminfo: memFree=27223812/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=188480 CPUtime=462.15 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 54956 0 0 0 46070 145 0 0 20 0 1 0 281720448 193003520 46347 33554432000 4194304 8973514 140735153596672 140735153596168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 47120 46347 445 1167 0 45901 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 188480
[startup+522.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/177 17586
/proc/meminfo: memFree=27223752/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=200768 CPUtime=522.14 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 58028 0 0 0 52058 156 0 0 20 0 1 0 281720448 205586432 49419 33554432000 4194304 8973514 140735153596672 140735153596168 4208846 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 50192 49419 445 1167 0 48973 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 200768
[startup+582.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/177 17586
/proc/meminfo: memFree=27300268/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=119872 CPUtime=582.13 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 58031 0 0 0 58036 177 0 0 20 0 1 0 281720448 122748928 29195 33554432000 4194304 8973514 140735153596672 140735153596168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 29968 29195 445 1167 0 28749 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 119872
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 17590
/proc/meminfo: memFree=27320472/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=85056 CPUtime=882.05 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 100838 0 0 0 87917 288 0 0 20 0 1 0 281720448 87097344 20256 33554432000 4194304 8973514 140735153596672 140735153596168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 21264 20256 445 1167 0 20045 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 85056
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17590
/proc/meminfo: memFree=27335088/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=95296 CPUtime=942.04 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 110430 0 0 0 93894 310 0 0 20 0 1 0 281720448 97583104 22927 33554432000 4194304 8973514 140735153596672 140735153595936 6535501 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 23824 22927 445 1167 0 22605 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 95296
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17590
/proc/meminfo: memFree=27305964/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=105536 CPUtime=1002.03 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 117993 0 0 0 99870 333 0 0 20 0 1 0 281720448 108068864 25364 33554432000 4194304 8973514 140735153596672 140735153596168 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 26384 25364 445 1167 0 25165 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 105536
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17590
/proc/meminfo: memFree=27271384/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=91200 CPUtime=1062.02 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 126697 0 0 0 105848 354 0 0 20 0 1 0 281720448 93388800 22027 33554432000 4194304 8973514 140735153596672 140735153595936 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 22800 22027 445 1167 0 21581 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 91200
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17591
/proc/meminfo: memFree=27298376/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=98368 CPUtime=1122 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 128492 0 0 0 111825 375 0 0 20 0 1 0 281720448 100728832 23819 33554432000 4194304 8973514 140735153596672 140735153596168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 24592 23819 445 1167 0 23373 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 98368
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17591
/proc/meminfo: memFree=27314208/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=91200 CPUtime=1181.99 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 132590 0 0 0 117802 397 0 0 20 0 1 0 281720448 93388800 22027 33554432000 4194304 8973514 140735153596672 140735153596168 4462235 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 22800 22027 445 1167 0 21581 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 91200
[startup+1242.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/177 17591
/proc/meminfo: memFree=27298116/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=103488 CPUtime=1241.97 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 135927 0 0 0 123778 419 0 0 20 0 1 0 281720448 105971712 25099 33554432000 4194304 8973514 140735153596672 140735153595936 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 25872 25099 445 1167 0 24653 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 103488
[startup+1302.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 17594
/proc/meminfo: memFree=27314972/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=91200 CPUtime=1301.97 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 140535 0 0 0 129760 437 0 0 20 0 1 0 281720448 93388800 22027 33554432000 4194304 8973514 140735153596672 140735153595936 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 22800 22027 445 1167 0 21581 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 91200
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 17594
/proc/meminfo: memFree=27302464/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=84032 CPUtime=1361.96 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 140792 0 0 0 135735 461 0 0 20 0 1 0 281720448 86048768 20235 33554432000 4194304 8973514 140735153596672 140735153596168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 21008 20235 445 1167 0 19789 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 84032
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17595
/proc/meminfo: memFree=27303512/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=103488 CPUtime=1421.95 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 152070 0 0 0 141707 488 0 0 20 0 1 0 281720448 105971712 25099 33554432000 4194304 8973514 140735153596672 140735153595936 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 25872 25099 445 1167 0 24653 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 103488
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17595
/proc/meminfo: memFree=27269972/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=111680 CPUtime=1481.93 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 160527 0 0 0 147679 514 0 0 20 0 1 0 281720448 114360320 27147 33554432000 4194304 8973514 140735153596672 140735153595936 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 27920 27147 445 1167 0 26701 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 111680
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17595
/proc/meminfo: memFree=27281900/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=110656 CPUtime=1541.91 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 165557 0 0 0 153650 541 0 0 20 0 1 0 281720448 113311744 26790 33554432000 4194304 8973514 140735153596672 140735153578688 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 27664 26790 445 1167 0 26445 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 110656
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17595
/proc/meminfo: memFree=27263356/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=129088 CPUtime=1601.9 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 170266 0 0 0 159623 567 0 0 20 0 1 0 281720448 132186112 31499 33554432000 4194304 8973514 140735153596672 140735153595936 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 32272 31499 445 1167 0 31053 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 129088
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17595
/proc/meminfo: memFree=27288168/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=111680 CPUtime=1661.89 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 171037 0 0 0 165597 592 0 0 20 0 1 0 281720448 114360320 27147 33554432000 4194304 8973514 140735153596672 140735153596168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 27920 27147 445 1167 0 26701 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 111680
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17596
/proc/meminfo: memFree=27290040/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=115776 CPUtime=1721.89 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 172061 0 0 0 171570 619 0 0 20 0 1 0 281720448 118554624 28171 33554432000 4194304 8973514 140735153596672 140735153595936 4213862 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 28944 28171 445 1167 0 27725 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 115776
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17596
/proc/meminfo: memFree=27281148/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=122944 CPUtime=1781.88 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 179487 0 0 0 177545 643 0 0 20 0 1 0 281720448 125894656 29963 33554432000 4194304 8973514 140735153596672 140735153595936 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 30736 29963 445 1167 0 29517 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 122944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17596
/proc/meminfo: memFree=27281340/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=122944 CPUtime=1800.08 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 179487 0 0 0 179358 650 0 0 20 0 1 0 281720448 125894656 29963 33554432000 4194304 8973514 140735153596672 140735153596168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 30736 29963 445 1167 0 29517 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 122944
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 3/177 17596
/proc/meminfo: memFree=27281340/32873648 swapFree=6848/6848
[pid=17518] ppid=17516 vsize=122944 CPUtime=1800.08 cores=1,3,5,7
/proc/17518/stat : 17518 (toysat) R 17516 17518 14927 0 -1 4202496 179487 0 0 0 179358 650 0 0 20 0 1 0 281720448 125894656 29963 33554432000 4194304 8973514 140735153596672 140735153596168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17518/statm: 30736 29963 445 1167 0 29517 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 122944
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1793.58
CPU system time (s): 6.50901
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 200768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.58
system time used= 6.50901
maximum resident set size= 197676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179487
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= 205
involuntary context switches= 1866
runsolver used 3.3115 second user time and 9.23559 second system time
The end