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-3706129-1338188468/watcher-3706129-1338188468 -o /tmp/evaluation-result-3706129-1338188468/solver-3706129-1338188468 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706129-1338188468.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: 0.92 0.99 1.21 3/179 21329
/proc/meminfo: memFree=31354204/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 763 0 0 0 0 0 0 0 20 0 1 0 284971628 6356992 684 33554432000 4194304 8973514 140734111311088 140734466337240 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 1552 684 415 1167 0 333 0
[startup+0.0994551 s]
/proc/loadavg: 0.92 0.99 1.21 3/179 21329
/proc/meminfo: memFree=31354204/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=11328 CPUtime=0.09 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 2101 0 0 0 9 0 0 0 20 0 1 0 284971628 11599872 2022 33554432000 4194304 8973514 140734111311088 140734466337240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 2832 2022 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328
[startup+0.100274 s]
/proc/loadavg: 0.92 0.99 1.21 3/179 21329
/proc/meminfo: memFree=31354204/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=11328 CPUtime=0.09 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 2101 0 0 0 9 0 0 0 20 0 1 0 284971628 11599872 2022 33554432000 4194304 8973514 140734111311088 140734466337240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 2832 2022 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328
[startup+0.300278 s]
/proc/loadavg: 0.92 0.99 1.21 3/179 21329
/proc/meminfo: memFree=31354204/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=21568 CPUtime=0.29 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 4693 0 0 0 28 1 0 0 20 0 1 0 284971628 22085632 4614 33554432000 4194304 8973514 140734111311088 140734466337240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 5392 4614 444 1167 0 4173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21568
[startup+0.70028 s]
/proc/loadavg: 0.92 0.99 1.21 3/179 21329
/proc/meminfo: memFree=31354204/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=21568 CPUtime=0.69 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 4693 0 0 0 68 1 0 0 20 0 1 0 284971628 22085632 4614 33554432000 4194304 8973514 140734111311088 140734111310584 4356350 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 5392 4614 444 1167 0 4173 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21568
[startup+1.50023 s]
/proc/loadavg: 0.92 0.99 1.21 3/180 21330
/proc/meminfo: memFree=31325660/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=24640 CPUtime=1.49 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 5227 0 0 0 147 2 0 0 20 0 1 0 284971628 25231360 5148 33554432000 4194304 8973514 140734111311088 140734111310584 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 6160 5148 444 1167 0 4941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24640
[startup+3.10026 s]
/proc/loadavg: 0.92 0.99 1.21 3/180 21330
/proc/meminfo: memFree=31319444/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=27712 CPUtime=3.08 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 6229 0 0 0 306 2 0 0 20 0 1 0 284971628 28377088 6150 33554432000 4194304 8973514 140734111311088 140734111310584 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 6928 6150 444 1167 0 5709 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27712
[startup+6.30028 s]
/proc/loadavg: 1.01 1.01 1.21 3/180 21330
/proc/meminfo: memFree=31299108/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=36928 CPUtime=6.28 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 8374 0 0 0 625 3 0 0 20 0 1 0 284971628 37814272 8295 33554432000 4194304 8973514 140734111311088 140734111310584 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 9232 8295 444 1167 0 8013 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36928
[startup+12.7002 s]
/proc/loadavg: 1.09 1.03 1.21 3/180 21330
/proc/meminfo: memFree=31262392/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=54336 CPUtime=12.69 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 12818 0 0 0 1263 6 0 0 20 0 1 0 284971628 55640064 12739 33554432000 4194304 8973514 140734111311088 140734111310584 4390306 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 13584 12739 444 1167 0 12365 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54336
[startup+25.5003 s]
/proc/loadavg: 1.29 1.07 1.22 3/180 21330
/proc/meminfo: memFree=31222580/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=68672 CPUtime=25.48 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 16470 0 0 0 2538 10 0 0 20 0 1 0 284971628 70320128 16391 33554432000 4194304 8973514 140734111311088 140734111310352 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 17168 16391 445 1167 0 15949 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 68672
[startup+51.1003 s]
/proc/loadavg: 1.53 1.15 1.24 3/179 21330
/proc/meminfo: memFree=31195528/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=83008 CPUtime=51.08 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 20054 0 0 0 5090 18 0 0 20 0 1 0 284971628 85000192 19975 33554432000 4194304 8973514 140734111311088 140734111310352 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 20752 19975 445 1167 0 19533 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83008
[startup+102.307 s]
/proc/loadavg: 1.79 1.28 1.28 3/179 21331
/proc/meminfo: memFree=31140824/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=103488 CPUtime=102.24 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 26490 0 0 0 10188 36 0 0 20 0 1 0 284971628 105971712 25095 33554432000 4194304 8973514 140734111311088 140734111310584 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 25872 25095 445 1167 0 24653 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 103488
[startup+162.3 s]
/proc/loadavg: 1.96 1.42 1.33 3/179 21331
/proc/meminfo: memFree=31115572/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=138304 CPUtime=162.23 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 35201 0 0 0 16165 58 0 0 20 0 1 0 284971628 141623296 33799 33554432000 4194304 8973514 140734111311088 140734111310584 6571949 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 34576 33799 445 1167 0 33357 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 138304
[startup+222.3 s]
/proc/loadavg: 1.98 1.52 1.37 3/178 21331
/proc/meminfo: memFree=31082788/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=144448 CPUtime=222.22 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 42625 0 0 0 22144 78 0 0 20 0 1 0 284971628 147914752 35335 33554432000 4194304 8973514 140734111311088 140734111309056 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 36112 35335 445 1167 0 34893 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 144448
[startup+282.3 s]
/proc/loadavg: 2.12 1.65 1.42 3/179 21332
/proc/meminfo: memFree=31095052/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=97344 CPUtime=282.21 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 42628 0 0 0 28120 101 0 0 20 0 1 0 284971628 99680256 23559 33554432000 4194304 8973514 140734111311088 140734111310584 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 24336 23559 445 1167 0 23117 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 97344
[startup+342.3 s]
/proc/loadavg: 2.04 1.71 1.46 3/179 21332
/proc/meminfo: memFree=31078480/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=114752 CPUtime=342.19 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 46839 0 0 0 34094 125 0 0 20 0 1 0 284971628 117506048 27770 33554432000 4194304 8973514 140734111311088 140734111310352 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 28688 27770 445 1167 0 27469 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 114752
[startup+402.3 s]
/proc/loadavg: 2.01 1.76 1.49 3/179 21333
/proc/meminfo: memFree=31131292/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=131136 CPUtime=402.19 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 51076 0 0 0 40077 142 0 0 20 0 1 0 284971628 134283264 32007 33554432000 4194304 8973514 140734111311088 140734111310584 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 32784 32007 445 1167 0 31565 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 131136
[startup+462.3 s]
/proc/loadavg: 2.00 1.80 1.51 3/179 21333
/proc/meminfo: memFree=31092264/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=139328 CPUtime=462.17 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 53052 0 0 0 46059 158 0 0 20 0 1 0 284971628 142671872 33974 33554432000 4194304 8973514 140734111311088 140734111310584 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 34832 33974 445 1167 0 33613 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 139328
[startup+522.3 s]
/proc/loadavg: 2.00 1.84 1.54 3/179 21333
/proc/meminfo: memFree=31061640/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=132160 CPUtime=522.17 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 53645 0 0 0 52041 176 0 0 20 0 1 0 284971628 135331840 32263 33554432000 4194304 8973514 140734111311088 140734111310352 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 33040 32263 445 1167 0 31821 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 132160
[startup+582.3 s]
/proc/loadavg: 2.04 1.88 1.57 3/180 21336
/proc/meminfo: memFree=31027520/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=132160 CPUtime=582.15 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 53647 0 0 0 58021 194 0 0 20 0 1 0 284971628 135331840 32263 33554432000 4194304 8973514 140734111311088 140734111310352 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 33040 32263 445 1167 0 31821 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 132160
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.94 1.66 3/179 21337
/proc/meminfo: memFree=31109240/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=140352 CPUtime=822.11 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 61591 0 0 0 81943 268 0 0 20 0 1 0 284971628 143720448 34311 33554432000 4194304 8973514 140734111311088 140734111310352 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 35088 34311 445 1167 0 33869 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 140352
[startup+882.3 s]
/proc/loadavg: 2.00 1.95 1.68 3/179 21337
/proc/meminfo: memFree=31099308/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=140352 CPUtime=882.11 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 61591 0 0 0 87925 286 0 0 20 0 1 0 284971628 143720448 34311 33554432000 4194304 8973514 140734111311088 140734111310584 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 35088 34311 445 1167 0 33869 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 140352
[startup+942.3 s]
/proc/loadavg: 2.00 1.96 1.70 3/179 21337
/proc/meminfo: memFree=31064516/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=153664 CPUtime=942.09 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 64696 0 0 0 93907 302 0 0 20 0 1 0 284971628 157351936 37414 33554432000 4194304 8973514 140734111311088 140734111310584 6570437 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 38416 37414 445 1167 0 37197 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 153664
[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.72 3/179 21338
/proc/meminfo: memFree=31040056/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=170048 CPUtime=1002.08 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 68925 0 0 0 99890 318 0 0 20 0 1 0 284971628 174129152 41643 33554432000 4194304 8973514 140734111311088 140734111310352 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 42512 41643 445 1167 0 41293 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 170048
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.73 3/179 21338
/proc/meminfo: memFree=31071304/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=164928 CPUtime=1062.07 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 69022 0 0 0 105872 335 0 0 20 0 1 0 284971628 168886272 40455 33554432000 4194304 8973514 140734111311088 140734111310352 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 41232 40455 445 1167 0 40013 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 164928
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/179 21338
/proc/meminfo: memFree=31105392/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=164928 CPUtime=1122.07 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 69022 0 0 0 111855 352 0 0 20 0 1 0 284971628 168886272 40455 33554432000 4194304 8973514 140734111311088 140734111310352 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 41232 40455 445 1167 0 40013 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 164928
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/180 21341
/proc/meminfo: memFree=31115244/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=164928 CPUtime=1182.06 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 69022 0 0 0 117840 366 0 0 20 0 1 0 284971628 168886272 40455 33554432000 4194304 8973514 140734111311088 140734111310584 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 41232 40455 445 1167 0 40013 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 164928
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.77 3/179 21341
/proc/meminfo: memFree=31149876/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=132160 CPUtime=1242.04 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 69022 0 0 0 123821 383 0 0 20 0 1 0 284971628 135331840 32263 33554432000 4194304 8973514 140734111311088 140734111310584 6576120 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 33040 32263 445 1167 0 31821 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 132160
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.78 3/179 21342
/proc/meminfo: memFree=31147272/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=132160 CPUtime=1302.04 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 69022 0 0 0 129803 401 0 0 20 0 1 0 284971628 135331840 32263 33554432000 4194304 8973514 140734111311088 140734111310584 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 33040 32263 445 1167 0 31821 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 132160
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.79 3/179 21342
/proc/meminfo: memFree=31110736/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=147520 CPUtime=1362.03 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 72672 0 0 0 135783 420 0 0 20 0 1 0 284971628 151060480 35913 33554432000 4194304 8973514 140734111311088 140734111310584 7670230 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 36880 35913 445 1167 0 35661 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 147520
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.80 3/179 21342
/proc/meminfo: memFree=31079072/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=162880 CPUtime=1422.02 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 76501 0 0 0 141765 437 0 0 20 0 1 0 284971628 166789120 39734 33554432000 4194304 8973514 140734111311088 140734111310352 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 40720 39734 445 1167 0 39501 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 162880
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.81 3/179 21342
/proc/meminfo: memFree=31094864/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=175168 CPUtime=1482.01 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 79782 0 0 0 147749 452 0 0 20 0 1 0 284971628 179372032 43015 33554432000 4194304 8973514 140734111311088 140734111310352 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 43792 43015 445 1167 0 42573 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 175168
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.82 3/179 21342
/proc/meminfo: memFree=31092928/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=160832 CPUtime=1542 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 80813 0 0 0 153730 470 0 0 20 0 1 0 284971628 164691968 39431 33554432000 4194304 8973514 140734111311088 140734111310584 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 40208 39431 445 1167 0 38989 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 160832
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/179 21343
/proc/meminfo: memFree=31088376/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=160832 CPUtime=1601.98 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 80813 0 0 0 159710 488 0 0 20 0 1 0 284971628 164691968 39431 33554432000 4194304 8973514 140734111311088 140734111310352 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 40208 39431 445 1167 0 38989 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 160832
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/179 21343
/proc/meminfo: memFree=31155040/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=120896 CPUtime=1661.98 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 80813 0 0 0 165694 504 0 0 20 0 1 0 284971628 123797504 29447 33554432000 4194304 8973514 140734111311088 140734111310584 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 30224 29447 445 1167 0 29005 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 120896
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/179 21343
/proc/meminfo: memFree=31180272/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=88128 CPUtime=1721.97 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 80813 0 0 0 171673 524 0 0 20 0 1 0 284971628 90243072 21255 33554432000 4194304 8973514 140734111311088 140734111310352 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 22032 21255 445 1167 0 20813 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 88128
[startup+1782.3 s]
/proc/loadavg: 2.05 1.99 1.85 3/180 21346
/proc/meminfo: memFree=31178828/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=88128 CPUtime=1781.96 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 87286 0 0 0 177651 545 0 0 20 0 1 0 284971628 90243072 21255 33554432000 4194304 8973514 140734111311088 140734111310584 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 22032 21255 445 1167 0 20813 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 88128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 1.99 1.85 2/178 21347
/proc/meminfo: memFree=31277440/32873844 swapFree=7616/7616
[pid=21329] ppid=21327 vsize=87104 CPUtime=1800.06 cores=1,3,5,7
/proc/21329/stat : 21329 (toysat) R 21327 21329 21285 0 -1 4202496 91894 0 0 0 179454 552 0 0 20 0 1 0 284971628 89194496 20999 33554432000 4194304 8973514 140734111311088 140734111310584 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21329/statm: 21776 20999 445 1167 0 20557 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 87104
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.08
CPU user time (s): 1794.54
CPU system time (s): 5.53216
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 179264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.54
system time used= 5.53216
maximum resident set size= 176156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91894
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= 90
involuntary context switches= 1847
runsolver used 3.81242 second user time and 9.1756 second system time
The end