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-3724665-1338640593/watcher-3724665-1338640593 -o /tmp/evaluation-result-3724665-1338640593/solver-3724665-1338640593 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724665-1338640593.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.92 1.99 1.99 3/176 31523
/proc/meminfo: memFree=29143596/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 825 0 0 0 0 0 0 0 20 0 1 0 330183723 6373376 745 33554432000 4194304 8989770 140733960065360 140733250062456 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 1556 746 425 1171 0 333 0
[startup+0.100566 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 31523
/proc/meminfo: memFree=29143596/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=11344 CPUtime=0.09 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 2108 0 0 0 9 0 0 0 20 0 1 0 330183723 11616256 2028 33554432000 4194304 8989770 140733960065360 140733250062456 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 2836 2028 425 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344
[startup+0.200323 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 31523
/proc/meminfo: memFree=29143596/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=16464 CPUtime=0.19 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 3388 0 0 0 19 0 0 0 20 0 1 0 330183723 16859136 3308 33554432000 4194304 8989770 140733960065360 140733250062456 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 4116 3308 425 1171 0 2893 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16464
[startup+0.300416 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 31523
/proc/meminfo: memFree=29143596/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=21584 CPUtime=0.29 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 4673 0 0 0 28 1 0 0 20 0 1 0 330183723 22102016 4593 33554432000 4194304 8989770 140733960065360 140733250062456 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 5396 4593 430 1171 0 4173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21584
[startup+0.700299 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 31523
/proc/meminfo: memFree=29143596/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=41040 CPUtime=0.69 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 9537 0 0 0 67 2 0 0 20 0 1 0 330183723 42024960 9457 33554432000 4194304 8989770 140733960065360 140733960064624 7857787 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 10260 9457 430 1171 0 9037 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41040
[startup+1.50032 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 31524
/proc/meminfo: memFree=29064740/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=119888 CPUtime=1.49 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 29271 0 0 0 144 5 0 0 20 0 1 0 330183723 122765312 29191 33554432000 4194304 8989770 140733960065360 140733960064856 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 29972 29191 446 1171 0 28749 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 119888
[startup+3.10026 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 31524
/proc/meminfo: memFree=29028400/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=119888 CPUtime=3.09 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 29272 0 0 0 302 7 0 0 20 0 1 0 330183723 122765312 29192 33554432000 4194304 8989770 140733960065360 140733960064624 4494288 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 29972 29192 447 1171 0 28749 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119888
[startup+6.30026 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 31524
/proc/meminfo: memFree=29017248/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=131152 CPUtime=6.29 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 32088 0 0 0 621 8 0 0 20 0 1 0 330183723 134299648 32008 33554432000 4194304 8989770 140733960065360 140733960063360 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 32788 32008 447 1171 0 31565 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 131152
[startup+12.7003 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 31524
/proc/meminfo: memFree=29016652/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=131152 CPUtime=12.69 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 32088 0 0 0 1258 11 0 0 20 0 1 0 330183723 134299648 32008 33554432000 4194304 8989770 140733960065360 140733960064624 4457900 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 32788 32008 447 1171 0 31565 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 131152
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 31524
/proc/meminfo: memFree=29016900/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=131152 CPUtime=25.49 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 32093 0 0 0 2532 17 0 0 20 0 1 0 330183723 134299648 32008 33554432000 4194304 8989770 140733960065360 140733960064856 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 32788 32008 447 1171 0 31565 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 131152
[startup+51.1004 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 31524
/proc/meminfo: memFree=29017116/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=131152 CPUtime=51.07 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 32098 0 0 0 5082 25 0 0 20 0 1 0 330183723 134299648 32008 33554432000 4194304 8989770 140733960065360 140733960064856 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 32788 32008 447 1171 0 31565 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 131152
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 31524
/proc/meminfo: memFree=29015304/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=131152 CPUtime=102.26 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 32115 0 0 0 10186 40 0 0 20 0 1 0 330183723 134299648 32008 33554432000 4194304 8989770 140733960065360 140733960064856 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 32788 32008 447 1171 0 31565 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 131152
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 31524
/proc/meminfo: memFree=29014684/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=131152 CPUtime=162.25 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 32115 0 0 0 16160 65 0 0 20 0 1 0 330183723 134299648 32008 33554432000 4194304 8989770 140733960065360 140733960064856 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 32788 32008 447 1171 0 31565 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 131152
[startup+222.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 31528
/proc/meminfo: memFree=29015296/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=131152 CPUtime=222.25 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 32115 0 0 0 22134 91 0 0 20 0 1 0 330183723 134299648 32008 33554432000 4194304 8989770 140733960065360 140733960064856 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 32788 32008 447 1171 0 31565 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 131152
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 31528
/proc/meminfo: memFree=29014372/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=131152 CPUtime=282.23 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 32115 0 0 0 28107 116 0 0 20 0 1 0 330183723 134299648 32008 33554432000 4194304 8989770 140733960065360 140733960064856 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 32788 32008 447 1171 0 31565 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 131152
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 31528
/proc/meminfo: memFree=28991060/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=156752 CPUtime=342.22 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 38294 0 0 0 34079 143 0 0 20 0 1 0 330183723 160514048 38187 33554432000 4194304 8989770 140733960065360 140733960063296 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 39188 38187 462 1171 0 37965 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 156752
[startup+402.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 31528
/proc/meminfo: memFree=28961980/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=183376 CPUtime=402.22 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 45186 0 0 0 40043 179 0 0 20 0 1 0 330183723 187777024 45079 33554432000 4194304 8989770 140733960065360 140733960064624 4209220 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 45844 45079 462 1171 0 44621 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 183376
[startup+462.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 31528
/proc/meminfo: memFree=28950888/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=193616 CPUtime=462.2 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 47767 0 0 0 46012 208 0 0 20 0 1 0 330183723 198262784 47639 33554432000 4194304 8989770 140733960065360 140733960064856 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 48404 47639 462 1171 0 47181 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 193616
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31529
/proc/meminfo: memFree=28941464/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=202832 CPUtime=522.19 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 50071 0 0 0 51983 236 0 0 20 0 1 0 330183723 207699968 49943 33554432000 4194304 8989770 140733960065360 140733960064856 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 50708 49943 462 1171 0 49485 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 202832
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31529
/proc/meminfo: memFree=28933388/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=210000 CPUtime=582.17 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 51869 0 0 0 57948 269 0 0 20 0 1 0 330183723 215040000 51735 33554432000 4194304 8989770 140733960065360 140733960063296 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 52500 51735 462 1171 0 51277 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 210000
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31533
/proc/meminfo: memFree=28909808/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=231504 CPUtime=882.13 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 57252 0 0 0 87796 417 0 0 20 0 1 0 330183723 237060096 57111 33554432000 4194304 8989770 140733960065360 140733960064856 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 57876 57111 462 1171 0 56653 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 231504
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31533
/proc/meminfo: memFree=28904712/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=235600 CPUtime=942.12 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 58276 0 0 0 93762 450 0 0 20 0 1 0 330183723 241254400 58135 33554432000 4194304 8989770 140733960065360 140733960064856 7732153 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 58900 58135 462 1171 0 57677 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 235600
[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 31533
/proc/meminfo: memFree=28900620/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=239696 CPUtime=1002.1 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 59300 0 0 0 99733 477 0 0 20 0 1 0 330183723 245448704 59159 33554432000 4194304 8989770 140733960065360 140733960064856 4209212 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 59924 59159 462 1171 0 58701 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 239696
[startup+1062.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31533
/proc/meminfo: memFree=28896528/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=243792 CPUtime=1062.09 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 60324 0 0 0 105706 503 0 0 20 0 1 0 330183723 249643008 60183 33554432000 4194304 8989770 140733960065360 140733960064856 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 60948 60183 462 1171 0 59725 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 243792
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31534
/proc/meminfo: memFree=28878484/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=262224 CPUtime=1122.09 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 64815 0 0 0 111676 533 0 0 20 0 1 0 330183723 268517376 64672 33554432000 4194304 8989770 140733960065360 140733960064624 4445192 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 65556 64672 462 1171 0 64333 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 262224
[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 31534
/proc/meminfo: memFree=28868680/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=271440 CPUtime=1182.07 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 67238 0 0 0 117656 551 0 0 20 0 1 0 330183723 277954560 67095 33554432000 4194304 8989770 140733960065360 140733960064856 4204320 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 67860 67095 462 1171 0 66637 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 271440
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31534
/proc/meminfo: memFree=28868680/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=271440 CPUtime=1242.07 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 67238 0 0 0 123639 568 0 0 20 0 1 0 330183723 277954560 67095 33554432000 4194304 8989770 140733960065360 140733960064624 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 67860 67095 462 1171 0 66637 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 271440
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31534
/proc/meminfo: memFree=28868528/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=271440 CPUtime=1302.06 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 67249 0 0 0 129620 586 0 0 20 0 1 0 330183723 277954560 67095 33554432000 4194304 8989770 140733960065360 140733960064624 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 67860 67095 462 1171 0 66637 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 271440
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31534
/proc/meminfo: memFree=28867660/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=271440 CPUtime=1362.04 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 67249 0 0 0 135602 602 0 0 20 0 1 0 330183723 277954560 67095 33554432000 4194304 8989770 140733960065360 140733960064624 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 67860 67095 462 1171 0 66637 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 271440
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31537
/proc/meminfo: memFree=28866280/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=271440 CPUtime=1422.04 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 67249 0 0 0 141583 621 0 0 20 0 1 0 330183723 277954560 67095 33554432000 4194304 8989770 140733960065360 140733960064856 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 67860 67095 462 1171 0 66637 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 271440
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 31561
/proc/meminfo: memFree=28866040/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=271440 CPUtime=1482.02 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 67249 0 0 0 147564 638 0 0 20 0 1 0 330183723 277954560 67095 33554432000 4194304 8989770 140733960065360 140733960064624 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 67860 67095 462 1171 0 66637 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 271440
[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31561
/proc/meminfo: memFree=28865364/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=271440 CPUtime=1542.02 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 67249 0 0 0 153544 658 0 0 20 0 1 0 330183723 277954560 67095 33554432000 4194304 8989770 140733960065360 140733960064624 6833541 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 67860 67095 462 1171 0 66637 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 271440
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31561
/proc/meminfo: memFree=28865364/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=271440 CPUtime=1602.01 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 67249 0 0 0 159523 678 0 0 20 0 1 0 330183723 277954560 67095 33554432000 4194304 8989770 140733960065360 140733960064624 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 67860 67095 462 1171 0 66637 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 271440
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31561
/proc/meminfo: memFree=28865364/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=271440 CPUtime=1662 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 67249 0 0 0 165502 698 0 0 20 0 1 0 330183723 277954560 67095 33554432000 4194304 8989770 140733960065360 140733960064856 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 67860 67095 462 1171 0 66637 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 271440
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31561
/proc/meminfo: memFree=28865612/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=271440 CPUtime=1721.99 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 67249 0 0 0 171482 717 0 0 20 0 1 0 330183723 277954560 67095 33554432000 4194304 8989770 140733960065360 140733960064464 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 67860 67095 462 1171 0 66637 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 271440
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31562
/proc/meminfo: memFree=28864124/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=271440 CPUtime=1781.98 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 67249 0 0 0 177463 735 0 0 20 0 1 0 330183723 277954560 67095 33554432000 4194304 8989770 140733960065360 140733960064464 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 67860 67095 462 1171 0 66637 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 271440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/174 31667
/proc/meminfo: memFree=28889564/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=271440 CPUtime=1800.08 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 67249 0 0 0 179267 741 0 0 20 0 1 0 330183723 277954560 67095 33554432000 4194304 8989770 140733960065360 140733960064624 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 67860 67095 462 1171 0 66637 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 271440
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.01 2.00 2.00 3/174 31667
/proc/meminfo: memFree=28889564/32873844 swapFree=7644/7644
[pid=31523] ppid=31521 vsize=271440 CPUtime=1800.08 cores=1,3,5,7
/proc/31523/stat : 31523 (toysat) R 31521 31523 30509 0 -1 4202496 67249 0 0 0 179267 741 0 0 20 0 1 0 330183723 277954560 67095 33554432000 4194304 8989770 140733960065360 140733960064624 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/31523/statm: 67860 67095 462 1171 0 66637 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 271440
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1792.68
CPU system time (s): 7.41887
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 271440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.68
system time used= 7.41887
maximum resident set size= 268380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67249
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= 77
involuntary context switches= 1854
runsolver used 3.9624 second user time and 9.39357 second system time
The end