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-3725634-1338640313/watcher-3725634-1338640313 -o /tmp/evaluation-result-3725634-1338640313/solver-3725634-1338640313 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725634-1338640313.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 20219
/proc/meminfo: memFree=28164632/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 330156776 6373376 728 33554432000 4194304 8989770 140736620566112 140733833269912 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20219/statm: 1556 728 428 1171 0 333 0
[startup+0.0597259 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 20219
/proc/meminfo: memFree=28164632/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=10320 CPUtime=0.05 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 1761 0 0 0 5 0 0 0 20 0 1 0 330156776 10567680 1682 33554432000 4194304 8989770 140736620566112 140733833269912 7739597 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20219/statm: 2580 1682 430 1171 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10320
[startup+0.100229 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 20219
/proc/meminfo: memFree=28164632/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 2321 0 0 0 9 0 0 0 20 0 1 0 330156776 12664832 2242 33554432000 4194304 8989770 140736620566112 140733833269912 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20219/statm: 3092 2248 430 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300229 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 20219
/proc/meminfo: memFree=28164632/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=25680 CPUtime=0.29 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 5698 0 0 0 28 1 0 0 20 0 1 0 330156776 26296320 5619 33554432000 4194304 8989770 140736620566112 140733833269912 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20219/statm: 6420 5619 431 1171 0 5197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25680
[startup+0.700234 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 20219
/proc/meminfo: memFree=28164632/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=61520 CPUtime=0.69 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 14672 0 0 0 66 3 0 0 20 0 1 0 330156776 62996480 14593 33554432000 4194304 8989770 140736620566112 140736620565376 4204685 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20219/statm: 15380 14593 442 1171 0 14157 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61520
[startup+1.50023 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 20220
/proc/meminfo: memFree=28068400/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=145488 CPUtime=1.49 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 35515 0 0 0 144 5 0 0 20 0 1 0 330156776 148979712 35436 33554432000 4194304 8989770 140736620566112 140736620564952 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20219/statm: 36372 35436 460 1171 0 35149 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 145488
[startup+3.10023 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 20220
/proc/meminfo: memFree=28012336/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=157776 CPUtime=3.09 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 38757 0 0 0 303 6 0 0 20 0 1 0 330156776 161562624 38678 33554432000 4194304 8989770 140736620566112 140736620565376 4437616 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20219/statm: 39444 38678 460 1171 0 38221 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 157776
[startup+6.30023 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 20221
/proc/meminfo: memFree=28009972/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=158800 CPUtime=6.29 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 39013 0 0 0 622 7 0 0 20 0 1 0 330156776 162611200 38934 33554432000 4194304 8989770 140736620566112 140736620565376 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20219/statm: 39700 38934 460 1171 0 38477 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 158800
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 20221
/proc/meminfo: memFree=28006788/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=161872 CPUtime=12.68 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 39781 0 0 0 1261 7 0 0 20 0 1 0 330156776 165756928 39702 33554432000 4194304 8989770 140736620566112 140736620548096 7688048 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/20219/statm: 40468 39702 460 1171 0 39245 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 161872
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 20221
/proc/meminfo: memFree=28003828/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=164944 CPUtime=25.48 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 40549 0 0 0 2538 10 0 0 20 0 1 0 330156776 168902656 40470 33554432000 4194304 8989770 140736620566112 140736620565608 4209598 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 41236 40470 460 1171 0 40013 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 164944
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20221
/proc/meminfo: memFree=28000976/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=169040 CPUtime=51.07 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 41573 0 0 0 5095 12 0 0 20 0 1 0 330156776 173096960 41494 33554432000 4194304 8989770 140736620566112 140736620565376 4437508 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 42260 41494 460 1171 0 41037 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 169040
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20221
/proc/meminfo: memFree=27977176/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=191568 CPUtime=102.27 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 47216 0 0 0 10209 18 0 0 20 0 1 0 330156776 196165632 47137 33554432000 4194304 8989770 140736620566112 140736620565608 4209136 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 47892 47137 471 1171 0 46669 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 191568
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20221
/proc/meminfo: memFree=27968800/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=197712 CPUtime=162.26 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 48752 0 0 0 16202 24 0 0 20 0 1 0 330156776 202457088 48673 33554432000 4194304 8989770 140736620566112 140736620565608 4208870 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 49428 48673 471 1171 0 48205 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 197712
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20221
/proc/meminfo: memFree=27965428/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=198736 CPUtime=222.24 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 49019 0 0 0 22194 30 0 0 20 0 1 0 330156776 203505664 48934 33554432000 4194304 8989770 140736620566112 140736620565608 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 49684 48934 471 1171 0 48461 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 198736
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20261
/proc/meminfo: memFree=28254380/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=200784 CPUtime=282.22 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 49544 0 0 0 28185 37 0 0 20 0 1 0 330156776 205602816 49446 33554432000 4194304 8989770 140736620566112 140736620565608 4209212 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 50196 49446 471 1171 0 48973 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 200784
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20261
/proc/meminfo: memFree=28218664/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=200784 CPUtime=342.22 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 49544 0 0 0 34178 44 0 0 20 0 1 0 330156776 205602816 49446 33554432000 4194304 8989770 140736620566112 140736620565376 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 50196 49446 471 1171 0 48973 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 200784
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20261
/proc/meminfo: memFree=28166088/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=216144 CPUtime=402.21 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 53384 0 0 0 40169 52 0 0 20 0 1 0 330156776 221331456 53286 33554432000 4194304 8989770 140736620566112 140736620565376 4209212 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 54036 53286 471 1171 0 52813 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 216144
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 20261
/proc/meminfo: memFree=28145984/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=219216 CPUtime=462.2 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 54155 0 0 0 46159 61 0 0 20 0 1 0 330156776 224477184 54054 33554432000 4194304 8989770 140736620566112 140736620565376 4209551 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 54804 54054 471 1171 0 53581 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 219216
[startup+522.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/176 20264
/proc/meminfo: memFree=28118660/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=228432 CPUtime=522.2 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 56459 0 0 0 52152 68 0 0 20 0 1 0 330156776 233914368 56358 33554432000 4194304 8989770 140736620566112 140736620564032 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 57108 56358 471 1171 0 55885 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 228432
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/175 20265
/proc/meminfo: memFree=28111804/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=232528 CPUtime=582.18 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 57483 0 0 0 58144 74 0 0 20 0 1 0 330156776 238108672 57382 33554432000 4194304 8989770 140736620566112 140736620564032 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 58132 57382 471 1171 0 56909 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 232528
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20265
/proc/meminfo: memFree=28066240/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=245840 CPUtime=822.15 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 60814 0 0 0 82108 107 0 0 20 0 1 0 330156776 251740160 60710 33554432000 4194304 8989770 140736620566112 140736620565608 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 61460 60710 471 1171 0 60237 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 245840
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20266
/proc/meminfo: memFree=28034744/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=265296 CPUtime=882.14 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 65678 0 0 0 88097 117 0 0 20 0 1 0 330156776 271663104 65574 33554432000 4194304 8989770 140736620566112 140736620565608 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 66324 65574 471 1171 0 65101 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 265296
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20266
/proc/meminfo: memFree=28017632/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=276560 CPUtime=942.12 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 68494 0 0 0 94087 125 0 0 20 0 1 0 330156776 283197440 68390 33554432000 4194304 8989770 140736620566112 140736620564032 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 69140 68390 471 1171 0 67917 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 276560
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20266
/proc/meminfo: memFree=28017600/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=276560 CPUtime=1002.11 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 68500 0 0 0 100078 133 0 0 20 0 1 0 330156776 283197440 68390 33554432000 4194304 8989770 140736620566112 140736620565376 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 69140 68390 471 1171 0 67917 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 276560
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20266
/proc/meminfo: memFree=28009416/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=284752 CPUtime=1062.1 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 70548 0 0 0 106067 143 0 0 20 0 1 0 330156776 291586048 70438 33554432000 4194304 8989770 140736620566112 140736620565608 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 71188 70438 471 1171 0 69965 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 284752
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20269
/proc/meminfo: memFree=27997360/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=297040 CPUtime=1122.1 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 73620 0 0 0 112058 152 0 0 20 0 1 0 330156776 304168960 73510 33554432000 4194304 8989770 140736620566112 140736620565376 4204638 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 74260 73510 471 1171 0 73037 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 297040
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20270
/proc/meminfo: memFree=27994392/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=300112 CPUtime=1182.09 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 74388 0 0 0 118048 161 0 0 20 0 1 0 330156776 307314688 74278 33554432000 4194304 8989770 140736620566112 140736620565608 4209309 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 75028 74278 471 1171 0 73805 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 300112
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20270
/proc/meminfo: memFree=27981868/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=309328 CPUtime=1242.08 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 76692 0 0 0 124039 169 0 0 20 0 1 0 330156776 316751872 76582 33554432000 4194304 8989770 140736620566112 140736620565376 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 77332 76582 471 1171 0 76109 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 309328
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20270
/proc/meminfo: memFree=27974148/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=309328 CPUtime=1302.08 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 76701 0 0 0 130029 179 0 0 20 0 1 0 330156776 316751872 76582 33554432000 4194304 8989770 140736620566112 140736620564032 4204292 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 77332 76582 471 1171 0 76109 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 309328
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20270
/proc/meminfo: memFree=27965592/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=312400 CPUtime=1362.05 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 77469 0 0 0 136017 188 0 0 20 0 1 0 330156776 319897600 77350 33554432000 4194304 8989770 140736620566112 140736620565376 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 78100 77350 471 1171 0 76877 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 312400
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20270
/proc/meminfo: memFree=27944364/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=324688 CPUtime=1422.06 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 80541 0 0 0 142007 199 0 0 20 0 1 0 330156776 332480512 80422 33554432000 4194304 8989770 140736620566112 140736620565608 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 81172 80422 471 1171 0 79949 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 324688
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20271
/proc/meminfo: memFree=27924152/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=336976 CPUtime=1482.04 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 83613 0 0 0 147995 209 0 0 20 0 1 0 330156776 345063424 83494 33554432000 4194304 8989770 140736620566112 140736620565376 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 84244 83494 471 1171 0 83021 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 336976
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20271
/proc/meminfo: memFree=27906792/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=348240 CPUtime=1542.03 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 86429 0 0 0 153988 215 0 0 20 0 1 0 330156776 356597760 86310 33554432000 4194304 8989770 140736620566112 140736620565608 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 87060 86310 471 1171 0 85837 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 348240
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20271
/proc/meminfo: memFree=27893028/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=355408 CPUtime=1602.02 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 88221 0 0 0 159977 225 0 0 20 0 1 0 330156776 363937792 88102 33554432000 4194304 8989770 140736620566112 140736620565608 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 88852 88102 471 1171 0 87629 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 355408
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20271
/proc/meminfo: memFree=27881452/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=360528 CPUtime=1662.01 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 89506 0 0 0 165969 232 0 0 20 0 1 0 330156776 369180672 89382 33554432000 4194304 8989770 140736620566112 140736620565376 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 90132 89382 471 1171 0 88909 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 360528
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20274
/proc/meminfo: memFree=27872268/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=363600 CPUtime=1721.99 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 90274 0 0 0 171961 238 0 0 20 0 1 0 330156776 372326400 90150 33554432000 4194304 8989770 140736620566112 140736620565376 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 90900 90150 471 1171 0 89677 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 363600
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 20298
/proc/meminfo: memFree=27860832/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=367696 CPUtime=1781.99 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 91298 0 0 0 177953 246 0 0 20 0 1 0 330156776 376520704 91174 33554432000 4194304 8989770 140736620566112 140736620563904 4379056 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 91924 91174 471 1171 0 90701 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 367696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 20298
/proc/meminfo: memFree=27859260/32873852 swapFree=7624/7624
[pid=20219] ppid=20217 vsize=367696 CPUtime=1800.09 cores=0,2,4,6
/proc/20219/stat : 20219 (toysat) R 20217 20219 19474 0 -1 4202496 91298 0 0 0 179761 248 0 0 20 0 1 0 330156776 376520704 91174 33554432000 4194304 8989770 140736620566112 140736620565376 4209212 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/20219/statm: 91924 91174 471 1171 0 90701 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 367696
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.11
CPU user time (s): 1797.62
CPU system time (s): 2.48862
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 367696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.62
system time used= 2.48862
maximum resident set size= 364696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91298
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= 53
involuntary context switches= 1940
runsolver used 3.43148 second user time and 8.70468 second system time
The end