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-3724649-1338640611/watcher-3724649-1338640611 -o /tmp/evaluation-result-3724649-1338640611/solver-3724649-1338640611 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724649-1338640611.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.99 2.00 2.00 3/176 15637
/proc/meminfo: memFree=31762156/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 819 0 0 0 0 0 0 0 20 0 1 0 330189617 6373376 739 33554432000 4194304 8989770 140737234404448 140736678608456 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 1556 739 424 1171 0 333 0
[startup+0.1066 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 15637
/proc/meminfo: memFree=31762156/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=11344 CPUtime=0.1 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 2109 0 0 0 10 0 0 0 20 0 1 0 330189617 11616256 2029 33554432000 4194304 8989770 140737234404448 140736678608456 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2836 2029 425 1171 0 1613 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11344
[startup+0.200333 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 15637
/proc/meminfo: memFree=31762156/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=16464 CPUtime=0.19 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 3393 0 0 0 19 0 0 0 20 0 1 0 330189617 16859136 3313 33554432000 4194304 8989770 140737234404448 140736678608456 7857787 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 4116 3313 429 1171 0 2893 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16464
[startup+0.300356 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 15637
/proc/meminfo: memFree=31762156/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=23632 CPUtime=0.28 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 5186 0 0 0 28 0 0 0 20 0 1 0 330189617 24199168 5106 33554432000 4194304 8989770 140737234404448 140736678608456 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 5908 5106 430 1171 0 4685 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23632
[startup+0.700327 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 15637
/proc/meminfo: memFree=31762156/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=45136 CPUtime=0.69 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 10568 0 0 0 67 2 0 0 20 0 1 0 330189617 46219264 10488 33554432000 4194304 8989770 140737234404448 140737234403944 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 11284 10488 436 1171 0 10061 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45136
[startup+1.50031 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 15638
/proc/meminfo: memFree=31673976/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=100432 CPUtime=1.49 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 24409 0 0 0 145 4 0 0 20 0 1 0 330189617 102842368 24329 33554432000 4194304 8989770 140737234404448 140737234403944 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 25108 24329 447 1171 0 23885 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100432
[startup+3.1003 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 15638
/proc/meminfo: memFree=31672728/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=105552 CPUtime=3.09 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 25644 0 0 0 304 5 0 0 20 0 1 0 330189617 108085248 25564 33554432000 4194304 8989770 140737234404448 140737234403944 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 26388 25564 447 1171 0 25165 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 105552
[startup+6.30024 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 15638
/proc/meminfo: memFree=31662808/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=106576 CPUtime=6.29 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 25945 0 0 0 623 6 0 0 20 0 1 0 330189617 109133824 25865 33554432000 4194304 8989770 140737234404448 140737234403944 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 26644 25865 447 1171 0 25421 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 106576
[startup+12.7003 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 15638
/proc/meminfo: memFree=31668100/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=106576 CPUtime=12.69 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 25945 0 0 0 1260 9 0 0 20 0 1 0 330189617 109133824 25865 33554432000 4194304 8989770 140737234404448 140737234403944 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 26644 25865 447 1171 0 25421 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 106576
[startup+25.5003 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 15638
/proc/meminfo: memFree=31658412/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=106576 CPUtime=25.49 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 25945 0 0 0 2537 12 0 0 20 0 1 0 330189617 109133824 25865 33554432000 4194304 8989770 140737234404448 140737234403944 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 26644 25865 447 1171 0 25421 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 106576
[startup+51.1004 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 15638
/proc/meminfo: memFree=31664088/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=106576 CPUtime=51.08 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 25949 0 0 0 5088 20 0 0 20 0 1 0 330189617 109133824 25870 33554432000 4194304 8989770 140737234404448 140737234403944 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 26644 25870 447 1171 0 25421 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 106576
[startup+102.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 15639
/proc/meminfo: memFree=31659492/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=106576 CPUtime=102.27 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 25964 0 0 0 10189 38 0 0 20 0 1 0 330189617 109133824 25870 33554432000 4194304 8989770 140737234404448 140737234403944 5383254 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 26644 25870 447 1171 0 25421 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 106576
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15639
/proc/meminfo: memFree=31660092/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=106576 CPUtime=162.26 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 25964 0 0 0 16167 59 0 0 20 0 1 0 330189617 109133824 25870 33554432000 4194304 8989770 140737234404448 140737234403944 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 26644 25870 447 1171 0 25421 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 106576
[startup+222.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 15642
/proc/meminfo: memFree=31628188/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=134224 CPUtime=222.25 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 32891 0 0 0 22135 90 0 0 20 0 1 0 330189617 137445376 32797 33554432000 4194304 8989770 140737234404448 140737234403944 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 33556 32797 462 1171 0 32333 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 134224
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15642
/proc/meminfo: memFree=31568568/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=200784 CPUtime=282.24 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 49419 0 0 0 28094 130 0 0 20 0 1 0 330189617 205602816 49325 33554432000 4194304 8989770 140737234404448 140737234403944 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 50196 49325 462 1171 0 48973 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 200784
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15643
/proc/meminfo: memFree=31507844/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=261200 CPUtime=342.21 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 64683 0 0 0 34061 160 0 0 20 0 1 0 330189617 267468800 64552 33554432000 4194304 8989770 140737234404448 140737234403944 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 65300 64552 473 1171 0 64077 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 261200
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15644
/proc/meminfo: memFree=31488292/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=402.18 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 40041 177 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234402368 4209357 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 275536
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15644
/proc/meminfo: memFree=31490928/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=462.18 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 46025 193 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403944 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 275536
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15644
/proc/meminfo: memFree=31494848/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=522.17 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 52009 208 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403712 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 275536
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15644
/proc/meminfo: memFree=31494236/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=582.16 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 57992 224 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234402368 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 275536
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15686
/proc/meminfo: memFree=31352460/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=882.12 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 87917 295 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403712 7688479 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 275536
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15686
/proc/meminfo: memFree=31352944/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=942.1 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 93900 310 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403944 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 275536
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15687
/proc/meminfo: memFree=31350092/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=1002.09 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 99884 325 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403712 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 275536
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15687
/proc/meminfo: memFree=31349844/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=1062.09 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 105870 339 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234402368 4208850 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 275536
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 15687
/proc/meminfo: memFree=31347240/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=1122.08 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 111853 355 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403944 4204605 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 275536
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15687
/proc/meminfo: memFree=31344816/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=1182.07 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 117836 371 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403712 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 275536
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 15687
/proc/meminfo: memFree=31341776/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=1242.06 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 123817 389 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403944 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 275536
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15688
/proc/meminfo: memFree=31341404/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=1302.05 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 129804 401 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403712 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 275536
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 15688
/proc/meminfo: memFree=31338180/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=1362.04 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 135789 415 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403712 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 275536
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 15691
/proc/meminfo: memFree=31338048/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=1422.04 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 141773 431 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403944 4426060 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 275536
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15714
/proc/meminfo: memFree=31338228/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=1482.02 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 147753 449 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403944 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 275536
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15714
/proc/meminfo: memFree=31337120/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=1542.02 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 153738 464 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403944 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 275536
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 15715
/proc/meminfo: memFree=31334888/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=1602 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 159723 477 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403712 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 275536
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 15715
/proc/meminfo: memFree=31335012/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=1661.99 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 165709 490 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403712 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 275536
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 15715
/proc/meminfo: memFree=31332160/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=1721.99 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 171693 506 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403944 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 275536
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15715
/proc/meminfo: memFree=31328744/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=1781.98 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 177676 522 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234402432 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 275536
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15715
/proc/meminfo: memFree=31328556/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=1800.08 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 179482 526 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403944 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 275536
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15715
/proc/meminfo: memFree=31328556/32873844 swapFree=8656/8656
[pid=15637] ppid=15635 vsize=275536 CPUtime=1800.08 cores=1,3,5,7
/proc/15637/stat : 15637 (toysat) R 15635 15637 14738 0 -1 4202496 68277 0 0 0 179482 526 0 0 20 0 1 0 330189617 282148864 68136 33554432000 4194304 8989770 140737234404448 140737234403944 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 68884 68136 473 1171 0 67661 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 275536
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1794.82
CPU system time (s): 5.2702
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 275536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.82
system time used= 5.2702
maximum resident set size= 272544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68277
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= 69
involuntary context switches= 1857
runsolver used 3.64145 second user time and 10.2734 second system time
The end