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-3706982-1338124808/watcher-3706982-1338124808 -o /tmp/evaluation-result-3706982-1338124808/solver-3706982-1338124808 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706982-1338124808.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.90 1.97 1.99 3/177 13712
/proc/meminfo: memFree=28859232/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 805 0 0 0 0 0 0 0 20 0 1 0 278606769 6356992 727 33554432000 4194304 8973514 140734426964032 140737247966824 4209325 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13712/statm: 1552 730 412 1167 0 333 0
[startup+0.0352689 s]
/proc/loadavg: 1.90 1.97 1.99 3/177 13712
/proc/meminfo: memFree=28859232/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=8256 CPUtime=0.03 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 1271 0 0 0 3 0 0 0 20 0 1 0 278606769 8454144 1193 33554432000 4194304 8973514 140734426964032 140734426963528 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13712/statm: 2064 1193 417 1167 0 845 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8256
[startup+0.100223 s]
/proc/loadavg: 1.90 1.97 1.99 3/177 13712
/proc/meminfo: memFree=28859232/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 2355 0 0 0 9 0 0 0 20 0 1 0 278606769 12648448 2277 33554432000 4194304 8973514 140734426964032 140734426963528 4209168 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13712/statm: 3088 2277 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300268 s]
/proc/loadavg: 1.90 1.97 1.99 3/177 13712
/proc/meminfo: memFree=28859232/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=26688 CPUtime=0.28 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 5939 0 0 0 27 1 0 0 20 0 1 0 278606769 27328512 5861 33554432000 4194304 8973514 140734426964032 140734426963296 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13712/statm: 6672 5861 418 1167 0 5453 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 26688
[startup+0.700283 s]
/proc/loadavg: 1.90 1.97 1.99 3/177 13712
/proc/meminfo: memFree=28859232/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=52288 CPUtime=0.69 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 12356 0 0 0 67 2 0 0 20 0 1 0 278606769 53542912 12278 33554432000 4194304 8973514 140734426964032 140734426963296 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13712/statm: 13072 12278 429 1167 0 11853 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52288
[startup+1.50018 s]
/proc/loadavg: 1.90 1.97 1.99 3/178 13713
/proc/meminfo: memFree=28811896/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=52288 CPUtime=1.48 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 12357 0 0 0 146 2 0 0 20 0 1 0 278606769 53542912 12279 33554432000 4194304 8973514 140734426964032 140734426963528 4448101 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13712/statm: 13072 12279 430 1167 0 11853 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 52288
[startup+3.10017 s]
/proc/loadavg: 1.90 1.97 1.99 3/178 13713
/proc/meminfo: memFree=28811260/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=52288 CPUtime=3.09 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 12357 0 0 0 305 4 0 0 20 0 1 0 278606769 53542912 12279 33554432000 4194304 8973514 140734426964032 140734426963296 5371952 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13712/statm: 13072 12279 430 1167 0 11853 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52288
[startup+6.3003 s]
/proc/loadavg: 1.91 1.97 1.99 3/178 13713
/proc/meminfo: memFree=28805284/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=58432 CPUtime=6.28 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 13919 0 0 0 624 4 0 0 20 0 1 0 278606769 59834368 13841 33554432000 4194304 8973514 140734426964032 140734426963528 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13712/statm: 14608 13841 456 1167 0 13389 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 58432
[startup+12.7003 s]
/proc/loadavg: 1.91 1.97 1.99 3/178 13713
/proc/meminfo: memFree=28805332/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=58432 CPUtime=12.68 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 13919 0 0 0 1263 5 0 0 20 0 1 0 278606769 59834368 13841 33554432000 4194304 8973514 140734426964032 140734426963528 4424788 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13712/statm: 14608 13841 456 1167 0 13389 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 58432
[startup+25.5003 s]
/proc/loadavg: 1.93 1.97 1.99 3/178 13713
/proc/meminfo: memFree=28801788/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=61504 CPUtime=25.48 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 14693 0 0 0 2540 8 0 0 20 0 1 0 278606769 62980096 14614 33554432000 4194304 8973514 140734426964032 140734426963528 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13712/statm: 15376 14614 456 1167 0 14157 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 61504
[startup+51.1003 s]
/proc/loadavg: 1.95 1.97 1.99 3/178 13713
/proc/meminfo: memFree=28794756/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=68672 CPUtime=51.07 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 16493 0 0 0 5095 12 0 0 20 0 1 0 278606769 70320128 16406 33554432000 4194304 8973514 140734426964032 140734426963296 4204592 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 17168 16406 456 1167 0 15949 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 68672
[startup+102.306 s]
/proc/loadavg: 1.98 1.97 1.99 3/177 13713
/proc/meminfo: memFree=28783520/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=79936 CPUtime=102.27 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 19309 0 0 0 10206 21 0 0 20 0 1 0 278606769 81854464 19222 33554432000 4194304 8973514 140734426964032 140734426963296 4427744 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 19984 19222 456 1167 0 18765 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 79936
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 13713
/proc/meminfo: memFree=28770752/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=93248 CPUtime=162.25 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 22642 0 0 0 16194 31 0 0 20 0 1 0 278606769 95485952 22550 33554432000 4194304 8973514 140734426964032 140734426961984 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 23312 22550 456 1167 0 22093 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 93248
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 13713
/proc/meminfo: memFree=28756680/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=106560 CPUtime=222.24 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 25973 0 0 0 22183 41 0 0 20 0 1 0 278606769 109117440 25878 33554432000 4194304 8973514 140734426964032 140734426963296 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 26640 25878 456 1167 0 25421 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 106560
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 13713
/proc/meminfo: memFree=28742092/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=121920 CPUtime=282.22 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 29822 0 0 0 28171 51 0 0 20 0 1 0 278606769 124846080 29718 33554432000 4194304 8973514 140734426964032 140734426963296 4208870 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 30480 29718 456 1167 0 29261 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 121920
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 13714
/proc/meminfo: memFree=28722260/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=140352 CPUtime=342.21 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 34436 0 0 0 34159 62 0 0 20 0 1 0 278606769 143720448 34326 33554432000 4194304 8973514 140734426964032 140734426963296 7716760 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 35088 34326 456 1167 0 33869 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 140352
[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 13715
/proc/meminfo: memFree=28709680/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=153664 CPUtime=402.2 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 37770 0 0 0 40148 72 0 0 20 0 1 0 278606769 157351936 37654 33554432000 4194304 8973514 140734426964032 140734426963528 4208870 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 38416 37654 456 1167 0 37197 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 153664
[startup+462.3 s]
/proc/loadavg: 2.04 1.99 1.99 3/177 13715
/proc/meminfo: memFree=28693604/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=169024 CPUtime=462.18 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 41612 0 0 0 46137 81 0 0 20 0 1 0 278606769 173080576 41494 33554432000 4194304 8973514 140734426964032 140734426963528 4209439 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 42256 41494 456 1167 0 41037 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 169024
[startup+522.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/177 13715
/proc/meminfo: memFree=28679060/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=183360 CPUtime=522.17 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 45196 0 0 0 52124 93 0 0 20 0 1 0 278606769 187760640 45078 33554432000 4194304 8973514 140734426964032 140734426963528 4204261 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 45840 45078 456 1167 0 44621 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 183360
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 13715
/proc/meminfo: memFree=28658832/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=202816 CPUtime=582.16 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 50061 0 0 0 58113 103 0 0 20 0 1 0 278606769 207683584 49943 33554432000 4194304 8973514 140734426964032 140734426963528 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 50704 49943 457 1167 0 49485 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 202816
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 13719
/proc/meminfo: memFree=28646252/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=215104 CPUtime=822.13 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 53133 0 0 0 82071 142 0 0 20 0 1 0 278606769 220266496 53015 33554432000 4194304 8973514 140734426964032 140734426963296 4204292 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 53776 53015 457 1167 0 52557 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 215104
[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 13719
/proc/meminfo: memFree=28629608/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=230464 CPUtime=882.11 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 56983 0 0 0 88060 151 0 0 20 0 1 0 278606769 235995136 56855 33554432000 4194304 8973514 140734426964032 140734426963528 4209629 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 57616 56855 457 1167 0 56397 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 230464
[startup+942.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 13720
/proc/meminfo: memFree=28623248/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=237632 CPUtime=942.11 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 58775 0 0 0 94048 163 0 0 20 0 1 0 278606769 243335168 58647 33554432000 4194304 8973514 140734426964032 140734426963528 4204359 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 59408 58647 457 1167 0 58189 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 237632
[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 13720
/proc/meminfo: memFree=28625680/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=234560 CPUtime=1002.1 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 62871 0 0 0 100037 173 0 0 20 0 1 0 278606769 240189440 57879 33554432000 4194304 8973514 140734426964032 140734426963528 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 58640 57879 457 1167 0 57421 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 234560
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13720
/proc/meminfo: memFree=28630180/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=230464 CPUtime=1062.09 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 62873 0 0 0 106025 184 0 0 20 0 1 0 278606769 235995136 56855 33554432000 4194304 8973514 140734426964032 140734426961984 7680186 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 57616 56855 457 1167 0 56397 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 230464
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13720
/proc/meminfo: memFree=28628824/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=230464 CPUtime=1122.07 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 62873 0 0 0 112014 193 0 0 20 0 1 0 278606769 235995136 56855 33554432000 4194304 8973514 140734426964032 140734426963528 4208879 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 57616 56855 457 1167 0 56397 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 230464
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13720
/proc/meminfo: memFree=28629072/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=230464 CPUtime=1182.07 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 62873 0 0 0 118005 202 0 0 20 0 1 0 278606769 235995136 56855 33554432000 4194304 8973514 140734426964032 140734426961984 4206120 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 57616 56855 457 1167 0 56397 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 230464
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13724
/proc/meminfo: memFree=28628948/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=230464 CPUtime=1242.06 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 62873 0 0 0 123994 212 0 0 20 0 1 0 278606769 235995136 56855 33554432000 4194304 8973514 140734426964032 140734426963296 4379612 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 57616 56855 457 1167 0 56397 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 230464
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13762
/proc/meminfo: memFree=28435344/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=241728 CPUtime=1302.06 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 65689 0 0 0 129984 222 0 0 20 0 1 0 278606769 247529472 59671 33554432000 4194304 8973514 140734426964032 140734426963296 6571896 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 60432 59671 457 1167 0 59213 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 241728
[startup+1362.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 13762
/proc/meminfo: memFree=28425452/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=250944 CPUtime=1362.04 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 67996 0 0 0 135971 233 0 0 20 0 1 0 278606769 256966656 61975 33554432000 4194304 8973514 140734426964032 140734426963296 4447476 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 62736 61975 457 1167 0 61517 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 250944
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13762
/proc/meminfo: memFree=28411860/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=265280 CPUtime=1422.04 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 71580 0 0 0 141962 242 0 0 20 0 1 0 278606769 271646720 65559 33554432000 4194304 8973514 140734426964032 140734426963296 4494676 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 66320 65559 457 1167 0 65101 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 265280
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13762
/proc/meminfo: memFree=28411480/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=265280 CPUtime=1482.02 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 71580 0 0 0 147951 251 0 0 20 0 1 0 278606769 271646720 65559 33554432000 4194304 8973514 140734426964032 140734426963296 4209429 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 66320 65559 457 1167 0 65101 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 265280
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13763
/proc/meminfo: memFree=28411980/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=265280 CPUtime=1542.01 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 71580 0 0 0 153941 260 0 0 20 0 1 0 278606769 271646720 65559 33554432000 4194304 8973514 140734426964032 140734426963528 4209220 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 66320 65559 457 1167 0 65101 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 265280
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13763
/proc/meminfo: memFree=28411980/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=265280 CPUtime=1602 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 71580 0 0 0 159930 270 0 0 20 0 1 0 278606769 271646720 65559 33554432000 4194304 8973514 140734426964032 140734426961984 7937344 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 66320 65559 457 1167 0 65101 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 265280
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 13763
/proc/meminfo: memFree=28412104/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=265280 CPUtime=1662 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 71580 0 0 0 165919 281 0 0 20 0 1 0 278606769 271646720 65559 33554432000 4194304 8973514 140734426964032 140734426963296 4208846 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 66320 65559 457 1167 0 65101 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 265280
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13763
/proc/meminfo: memFree=28411732/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=265280 CPUtime=1721.98 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 71580 0 0 0 171907 291 0 0 20 0 1 0 278606769 271646720 65559 33554432000 4194304 8973514 140734426964032 140734426963296 4209212 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 66320 65559 457 1167 0 65101 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 265280
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13763
/proc/meminfo: memFree=28398340/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=278592 CPUtime=1781.98 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 74908 0 0 0 177895 303 0 0 20 0 1 0 278606769 285278208 68887 33554432000 4194304 8973514 140734426964032 140734426961984 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 69648 68887 457 1167 0 68429 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 278592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13766
/proc/meminfo: memFree=28393332/32873648 swapFree=7372/7372
[pid=13712] ppid=13710 vsize=283712 CPUtime=1800.08 cores=1,3,5,7
/proc/13712/stat : 13712 (toysat) R 13710 13712 12124 0 -1 4202496 76188 0 0 0 179702 306 0 0 20 0 1 0 278606769 290521088 70167 33554432000 4194304 8973514 140734426964032 140734426963528 6748623 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13712/statm: 70928 70167 457 1167 0 69709 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 283712
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.09
CPU user time (s): 1797.03
CPU system time (s): 3.06453
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 283712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.03
system time used= 3.06453
maximum resident set size= 280668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76188
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= 63
involuntary context switches= 1929
runsolver used 3.31949 second user time and 9.32558 second system time
The end