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-3707248-1338134432/watcher-3707248-1338134432 -o /tmp/evaluation-result-3707248-1338134432/solver-3707248-1338134432 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707248-1338134432.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.91 1.97 1.99 3/177 15836
/proc/meminfo: memFree=27282072/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 789 0 0 0 0 0 0 0 20 0 1 0 279570083 6356992 710 33554432000 4194304 8973514 140734564328272 140734044256904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 1552 710 415 1167 0 333 0
[startup+0.0353331 s]
/proc/loadavg: 1.91 1.97 1.99 3/177 15836
/proc/meminfo: memFree=27282072/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=8256 CPUtime=0.03 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 1273 0 0 0 3 0 0 0 20 0 1 0 279570083 8454144 1194 33554432000 4194304 8973514 140734564328272 140734044256904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 2064 1194 416 1167 0 845 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8256
[startup+0.100265 s]
/proc/loadavg: 1.91 1.97 1.99 3/177 15836
/proc/meminfo: memFree=27282072/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=15424 CPUtime=0.09 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 3154 0 0 0 9 0 0 0 20 0 1 0 279570083 15794176 3075 33554432000 4194304 8973514 140734564328272 140734044256904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 3856 3075 446 1167 0 2637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15424
[startup+0.300291 s]
/proc/loadavg: 1.91 1.97 1.99 3/177 15836
/proc/meminfo: memFree=27282072/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=19520 CPUtime=0.29 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 4178 0 0 0 29 0 0 0 20 0 1 0 279570083 19988480 4099 33554432000 4194304 8973514 140734564328272 140734044256904 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 4880 4099 446 1167 0 3661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19520
[startup+0.700297 s]
/proc/loadavg: 1.91 1.97 1.99 3/177 15836
/proc/meminfo: memFree=27282072/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=20544 CPUtime=0.69 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 4444 0 0 0 69 0 0 0 20 0 1 0 279570083 21037056 4365 33554432000 4194304 8973514 140734564328272 140734044256904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 5136 4365 456 1167 0 3917 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20544
[startup+1.5003 s]
/proc/loadavg: 1.91 1.97 1.99 3/178 15837
/proc/meminfo: memFree=27265060/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=21568 CPUtime=1.48 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 4700 0 0 0 148 0 0 0 20 0 1 0 279570083 22085632 4621 33554432000 4194304 8973514 140734564328272 140734564327536 4204256 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 5392 4621 456 1167 0 4173 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21568
[startup+3.10024 s]
/proc/loadavg: 1.91 1.97 1.99 3/178 15837
/proc/meminfo: memFree=27263796/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=25664 CPUtime=3.09 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 5583 0 0 0 308 1 0 0 20 0 1 0 279570083 26279936 5504 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 6416 5504 456 1167 0 5197 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25664
[startup+6.30027 s]
/proc/loadavg: 2.08 2.00 2.00 3/178 15837
/proc/meminfo: memFree=27255404/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=32832 CPUtime=6.29 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 7516 0 0 0 626 3 0 0 20 0 1 0 279570083 33619968 7437 33554432000 4194304 8973514 140734564328272 140734564327768 4204320 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 8208 7437 456 1167 0 6989 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32832
[startup+12.7003 s]
/proc/loadavg: 2.07 2.00 2.00 3/178 15837
/proc/meminfo: memFree=27241800/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=45120 CPUtime=12.68 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 10362 0 0 0 1263 5 0 0 20 0 1 0 279570083 46202880 10283 33554432000 4194304 8973514 140734564328272 140734564327768 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 11280 10283 456 1167 0 10061 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45120
[startup+25.5003 s]
/proc/loadavg: 2.05 2.00 2.00 3/178 15837
/proc/meminfo: memFree=27222952/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=64576 CPUtime=25.48 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 15457 0 0 0 2539 9 0 0 20 0 1 0 279570083 66125824 15378 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 16144 15378 457 1167 0 14925 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64576
[startup+51.1003 s]
/proc/loadavg: 2.03 2.00 2.00 3/178 15860
/proc/meminfo: memFree=27190344/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=95296 CPUtime=51.08 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 23393 0 0 0 5089 19 0 0 20 0 1 0 279570083 97583104 23058 33554432000 4194304 8973514 140734564328272 140734564327536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 23824 23058 457 1167 0 22605 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 95296
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 15860
/proc/meminfo: memFree=27172816/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=107584 CPUtime=102.27 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 36193 0 0 0 10190 37 0 0 20 0 1 0 279570083 110166016 26130 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 26896 26130 457 1167 0 25677 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 107584
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15860
/proc/meminfo: memFree=27140356/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=132160 CPUtime=162.26 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 44385 0 0 0 16171 55 0 0 20 0 1 0 279570083 135331840 32274 33554432000 4194304 8973514 140734564328272 140734564327768 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 33040 32274 457 1167 0 31821 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 132160
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15860
/proc/meminfo: memFree=27127076/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=136256 CPUtime=222.25 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 49766 0 0 0 22148 77 0 0 20 0 1 0 279570083 139526144 33298 33554432000 4194304 8973514 140734564328272 140734564327536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 34064 33298 457 1167 0 32845 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 136256
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15860
/proc/meminfo: memFree=27098660/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=152640 CPUtime=282.23 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 57971 0 0 0 28127 96 0 0 20 0 1 0 279570083 156303360 37394 33554432000 4194304 8973514 140734564328272 140734564327768 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 38160 37394 457 1167 0 36941 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 152640
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15861
/proc/meminfo: memFree=27107080/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=135232 CPUtime=342.21 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 63104 0 0 0 34107 114 0 0 20 0 1 0 279570083 138477568 33042 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 33808 33042 457 1167 0 32589 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 135232
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15861
/proc/meminfo: memFree=27096724/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=132160 CPUtime=402.2 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 67968 0 0 0 40087 133 0 0 20 0 1 0 279570083 135331840 32274 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 33040 32274 457 1167 0 31821 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 132160
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15861
/proc/meminfo: memFree=27068912/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=148544 CPUtime=462.2 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 78976 0 0 0 46065 155 0 0 20 0 1 0 279570083 152109056 36370 33554432000 4194304 8973514 140734564328272 140734564327536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 37136 36370 457 1167 0 35917 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 148544
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15861
/proc/meminfo: memFree=27063320/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=142400 CPUtime=522.18 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 90496 0 0 0 52042 176 0 0 20 0 1 0 279570083 145817600 34834 33554432000 4194304 8973514 140734564328272 140734564327536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 35600 34834 457 1167 0 34381 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 142400
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15864
/proc/meminfo: memFree=27050944/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=139328 CPUtime=582.18 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 101505 0 0 0 58020 198 0 0 20 0 1 0 279570083 142671872 34066 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 34832 34066 457 1167 0 33613 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 139328
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15865
/proc/meminfo: memFree=26952112/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=180288 CPUtime=822.12 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 134565 0 0 0 81935 277 0 0 20 0 1 0 279570083 184614912 44306 33554432000 4194304 8973514 140734564328272 140734564327536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 45072 44306 457 1167 0 43853 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 180288
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15865
/proc/meminfo: memFree=26948032/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=184384 CPUtime=882.11 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 145573 0 0 0 87914 297 0 0 20 0 1 0 279570083 188809216 45330 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 46096 45330 457 1167 0 44877 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 184384
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15866
/proc/meminfo: memFree=26930672/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=201792 CPUtime=942.1 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 149925 0 0 0 93896 314 0 0 20 0 1 0 279570083 206635008 49682 33554432000 4194304 8973514 140734564328272 140734564326208 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 50448 49682 457 1167 0 49229 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 201792
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15866
/proc/meminfo: memFree=26926348/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=205888 CPUtime=1002.08 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 152997 0 0 0 99876 332 0 0 20 0 1 0 279570083 210829312 50706 33554432000 4194304 8973514 140734564328272 140734564327536 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 51472 50706 457 1167 0 50253 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 205888
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15866
/proc/meminfo: memFree=26966424/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=160832 CPUtime=1062.07 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 155317 0 0 0 105856 351 0 0 20 0 1 0 279570083 164691968 39442 33554432000 4194304 8973514 140734564328272 140734564327536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 40208 39442 457 1167 0 38989 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 160832
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15866
/proc/meminfo: memFree=26937824/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=190528 CPUtime=1122.05 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 162760 0 0 0 111837 368 0 0 20 0 1 0 279570083 195100672 46866 33554432000 4194304 8973514 140734564328272 140734564326208 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 47632 46866 457 1167 0 46413 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 190528
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15869
/proc/meminfo: memFree=26935624/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=193600 CPUtime=1182.03 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 164552 0 0 0 117818 385 0 0 20 0 1 0 279570083 198246400 47634 33554432000 4194304 8973514 140734564328272 140734564327768 4208833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 48400 47634 457 1167 0 47181 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 193600
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15870
/proc/meminfo: memFree=26926276/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=202816 CPUtime=1242.03 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 166856 0 0 0 123799 404 0 0 20 0 1 0 279570083 207683584 49938 33554432000 4194304 8973514 140734564328272 140734564327536 4209429 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 50704 49938 457 1167 0 49485 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 202816
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15870
/proc/meminfo: memFree=26943212/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=185408 CPUtime=1302.03 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 176840 0 0 0 129775 428 0 0 20 0 1 0 279570083 189857792 45586 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 46352 45586 457 1167 0 45133 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 185408
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15870
/proc/meminfo: memFree=26940692/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=188480 CPUtime=1362.01 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 179912 0 0 0 135753 448 0 0 20 0 1 0 279570083 193003520 46354 33554432000 4194304 8973514 140734564328272 140734564327768 7692555 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 47120 46354 457 1167 0 45901 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 188480
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15870
/proc/meminfo: memFree=26915368/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=214080 CPUtime=1422 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 187592 0 0 0 141731 469 0 0 20 0 1 0 279570083 219217920 52754 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 53520 52754 457 1167 0 52301 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 214080
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15870
/proc/meminfo: memFree=26919536/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=209984 CPUtime=1482 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 190152 0 0 0 147712 488 0 0 20 0 1 0 279570083 215023616 51730 33554432000 4194304 8973514 140734564328272 140734564327768 4427084 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 52496 51730 457 1167 0 51277 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 209984
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 15871
/proc/meminfo: memFree=26917948/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=204864 CPUtime=1541.97 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 192213 0 0 0 153693 504 0 0 20 0 1 0 279570083 209780736 50450 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 51216 50450 457 1167 0 49997 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 204864
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 15871
/proc/meminfo: memFree=26894744/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=222272 CPUtime=1601.96 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 197849 0 0 0 159673 523 0 0 20 0 1 0 279570083 227606528 54802 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 55568 54802 457 1167 0 54349 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 222272
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15871
/proc/meminfo: memFree=26878100/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=226368 CPUtime=1661.94 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 199385 0 0 0 165654 540 0 0 20 0 1 0 279570083 231800832 55826 33554432000 4194304 8973514 140734564328272 140734564327536 4427632 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 56592 55826 457 1167 0 55373 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 226368
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15948
/proc/meminfo: memFree=27369844/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=214080 CPUtime=1721.94 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 199385 0 0 0 171635 559 0 0 20 0 1 0 279570083 219217920 52754 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 53520 52754 457 1167 0 52301 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 214080
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15951
/proc/meminfo: memFree=27336812/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=209984 CPUtime=1781.93 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 205017 0 0 0 177615 578 0 0 20 0 1 0 279570083 215023616 51730 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 52496 51730 457 1167 0 51277 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 209984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15951
/proc/meminfo: memFree=27337036/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=209984 CPUtime=1800.04 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 205021 0 0 0 179420 584 0 0 20 0 1 0 279570083 215023616 51730 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 52496 51730 457 1167 0 51277 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 209984
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1794.2
CPU system time (s): 5.84611
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 236608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.2
system time used= 5.84611
maximum resident set size= 233544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205021
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= 127
involuntary context switches= 1846
runsolver used 3.42948 second user time and 9.25559 second system time
The end