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-3706491-1338245149/watcher-3706491-1338245149 -o /tmp/evaluation-result-3706491-1338245149/solver-3706491-1338245149 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706491-1338245149.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.00 2.00 1.96 3/176 27535
/proc/meminfo: memFree=30910424/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 823 0 0 0 0 0 0 0 20 0 1 0 290641020 7405568 744 33554432000 4194304 8973514 140737208813088 140737208812584 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 1808 744 411 1167 0 589 0
[startup+0.0867951 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 27535
/proc/meminfo: memFree=30910424/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=11328 CPUtime=0.08 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 2009 0 0 0 8 0 0 0 20 0 1 0 290641020 11599872 1930 33554432000 4194304 8973514 140737208813088 140737208812584 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 2832 1930 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11328
[startup+0.100273 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 27535
/proc/meminfo: memFree=30910424/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=11328 CPUtime=0.09 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 2101 0 0 0 9 0 0 0 20 0 1 0 290641020 11599872 2022 33554432000 4194304 8973514 140737208813088 140737208812584 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 2832 2022 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328
[startup+0.300267 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 27535
/proc/meminfo: memFree=30910424/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=22592 CPUtime=0.29 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 4917 0 0 0 28 1 0 0 20 0 1 0 290641020 23134208 4838 33554432000 4194304 8973514 140737208813088 140737208812584 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 5648 4838 418 1167 0 4429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22592
[startup+0.700268 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 27535
/proc/meminfo: memFree=30910424/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=45120 CPUtime=0.69 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 10549 0 0 0 67 2 0 0 20 0 1 0 290641020 46202880 10470 33554432000 4194304 8973514 140737208813088 140737208812584 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 11280 10470 418 1167 0 10061 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45120
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 27536
/proc/meminfo: memFree=30787912/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=98368 CPUtime=1.49 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 23861 0 0 0 144 5 0 0 20 0 1 0 290641020 100728832 23782 33554432000 4194304 8973514 140737208813088 140737208812352 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 24592 23782 418 1167 0 23373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98368
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 27536
/proc/meminfo: memFree=30727888/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=220224 CPUtime=3.09 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 54325 0 0 0 300 9 0 0 20 0 1 0 290641020 225509376 54246 33554432000 4194304 8973514 140737208813088 140737208796184 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 55056 54246 418 1167 0 53837 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 220224
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 27536
/proc/meminfo: memFree=30475788/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=479296 CPUtime=6.29 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 119114 0 0 0 609 20 0 0 20 0 1 0 290641020 490799104 119035 33554432000 4194304 8973514 140737208813088 140737208812584 4491556 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 119824 119035 433 1167 0 118605 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 479296
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 27536
/proc/meminfo: memFree=30291960/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=557120 CPUtime=12.69 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 138571 0 0 0 1244 25 0 0 20 0 1 0 290641020 570490880 138492 33554432000 4194304 8973514 140737208813088 140737208812584 5372265 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 139280 138492 434 1167 0 138061 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 557120
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 27536
/proc/meminfo: memFree=30288348/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=557120 CPUtime=25.49 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 138584 0 0 0 2522 27 0 0 20 0 1 0 290641020 570490880 138505 33554432000 4194304 8973514 140737208813088 140737208812352 4435852 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 139280 138505 447 1167 0 138061 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 557120
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 27536
/proc/meminfo: memFree=30277156/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=557120 CPUtime=51.08 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 138584 0 0 0 5080 28 0 0 20 0 1 0 290641020 570490880 138505 33554432000 4194304 8973514 140737208813088 140737208795072 6571953 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 139280 138505 447 1167 0 138061 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 557120
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 27536
/proc/meminfo: memFree=30202692/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=587840 CPUtime=102.25 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 146300 0 0 0 10183 42 0 0 20 0 1 0 290641020 601948160 146195 33554432000 4194304 8973514 140737208813088 140737208812584 4415376 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 146960 146195 457 1167 0 145741 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 587840
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 27536
/proc/meminfo: memFree=30154608/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=593984 CPUtime=162.23 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 147858 0 0 0 16160 63 0 0 20 0 1 0 290641020 608239616 147731 33554432000 4194304 8973514 140737208813088 140737208812584 7660392 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 148496 147731 457 1167 0 147277 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 593984
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 27536
/proc/meminfo: memFree=30120288/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=593984 CPUtime=222.2 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 147882 0 0 0 22136 84 0 0 20 0 1 0 290641020 608239616 147731 33554432000 4194304 8973514 140737208813088 140737208812584 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 148496 147731 457 1167 0 147277 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 593984
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 27540
/proc/meminfo: memFree=30081496/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=593984 CPUtime=282.17 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 147902 0 0 0 28116 101 0 0 20 0 1 0 290641020 608239616 147731 33554432000 4194304 8973514 140737208813088 140737208812584 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 148496 147731 457 1167 0 147277 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 593984
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 27540
/proc/meminfo: memFree=30047928/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=596032 CPUtime=342.17 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 148421 0 0 0 34097 120 0 0 20 0 1 0 290641020 610336768 148243 33554432000 4194304 8973514 140737208813088 140737208811008 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 149008 148243 457 1167 0 147789 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 596032
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 27540
/proc/meminfo: memFree=30023280/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=596032 CPUtime=402.13 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 148438 0 0 0 40072 141 0 0 20 0 1 0 290641020 610336768 148243 33554432000 4194304 8973514 140737208813088 140737208812584 4434700 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 149008 148243 457 1167 0 147789 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 596032
[startup+462.306 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 27540
/proc/meminfo: memFree=29995464/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=597056 CPUtime=462.12 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 148708 0 0 0 46055 157 0 0 20 0 1 0 290641020 611385344 148499 33554432000 4194304 8973514 140737208813088 140737208812352 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 149264 148499 457 1167 0 148045 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 597056
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 27540
/proc/meminfo: memFree=29968744/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=597056 CPUtime=522.1 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 148708 0 0 0 52032 178 0 0 20 0 1 0 290641020 611385344 148499 33554432000 4194304 8973514 140737208813088 140737208812584 4213641 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 149264 148499 457 1167 0 148045 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 597056
[startup+582.3 s]
/proc/loadavg: 2.06 2.01 1.96 3/177 27541
/proc/meminfo: memFree=29945088/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=598080 CPUtime=582.09 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 148964 0 0 0 58011 198 0 0 20 0 1 0 290641020 612433920 148755 33554432000 4194304 8973514 140737208813088 140737208812584 7732321 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 149520 148755 457 1167 0 148301 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 598080
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 27545
/proc/meminfo: memFree=29850528/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=882.05 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 87926 279 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208812584 4415372 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 600128
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 27568
/proc/meminfo: memFree=29814692/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=942.04 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 93910 294 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208812352 7670227 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 600128
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 27568
/proc/meminfo: memFree=29785064/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=1002.03 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 99895 308 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208812352 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 600128
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 27568
/proc/meminfo: memFree=29785060/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=1062.02 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 105878 324 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208811072 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 600128
[startup+1122.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 27568
/proc/meminfo: memFree=29785060/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=1122.02 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 111865 337 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208812352 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 600128
[startup+1182.3 s]
/proc/loadavg: 2.13 2.03 1.99 3/177 27569
/proc/meminfo: memFree=29756168/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=1182 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 117850 350 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208812584 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 600128
[startup+1242.3 s]
/proc/loadavg: 2.05 2.02 1.99 3/177 27569
/proc/meminfo: memFree=29739056/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=1241.99 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 123833 366 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208812584 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 600128
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/177 27569
/proc/meminfo: memFree=29696280/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=1301.98 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 129818 380 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208812584 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 600128
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 27569
/proc/meminfo: memFree=29664564/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=1361.97 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 135802 395 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208812352 4208818 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 600128
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 27569
/proc/meminfo: memFree=29632724/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=1421.97 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 141786 411 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208811072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 600128
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 27573
/proc/meminfo: memFree=29594436/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=1481.95 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 147768 427 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208811072 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 600128
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 27573
/proc/meminfo: memFree=29594940/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=1541.95 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 153755 440 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208811008 7716764 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 600128
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 27573
/proc/meminfo: memFree=29594940/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=1601.94 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 159738 456 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208812584 4206120 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 600128
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 27573
/proc/meminfo: memFree=29595560/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=1661.94 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 165723 471 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208811008 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 600128
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 27573
/proc/meminfo: memFree=29579192/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=1721.92 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 171707 485 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208812584 4208823 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 600128
[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 27574
/proc/meminfo: memFree=29549556/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=1781.92 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 177693 499 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208812584 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 600128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.99 2/176 27575
/proc/meminfo: memFree=30326568/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=1800.02 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 179498 504 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208812584 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 600128
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 1.99 2/176 27575
/proc/meminfo: memFree=30326568/32873844 swapFree=7372/7372
[pid=27535] ppid=27533 vsize=600128 CPUtime=1800.02 cores=0,2,4,6
/proc/27535/stat : 27535 (toysat) R 27533 27535 25529 0 -1 4202496 149476 0 0 0 179498 504 0 0 20 0 1 0 290641020 614531072 149267 33554432000 4194304 8973514 140737208813088 140737208812584 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27535/statm: 150032 149267 457 1167 0 148813 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 600128
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1794.98
CPU system time (s): 5.04223
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 600128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.98
system time used= 5.04223
maximum resident set size= 597068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149476
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= 133
involuntary context switches= 1894
runsolver used 3.42148 second user time and 8.84266 second system time
The end