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-3706355-1338150549/watcher-3706355-1338150549 -o /tmp/evaluation-result-3706355-1338150549/solver-3706355-1338150549 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706355-1338150549.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.98 1.99 3/176 22803
/proc/meminfo: memFree=30271340/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 798 0 0 0 0 0 0 0 20 0 1 0 281179319 6356992 719 33554432000 4194304 8973514 140733583340576 140733583340072 7937344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 1552 719 417 1167 0 333 0
[startup+0.060255 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 22803
/proc/meminfo: memFree=30271340/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=10304 CPUtime=0.05 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 1686 0 0 0 5 0 0 0 20 0 1 0 281179319 10551296 1607 33554432000 4194304 8973514 140733583340576 140733583340072 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 2576 1614 418 1167 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10304
[startup+0.100305 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 22803
/proc/meminfo: memFree=30271340/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 2268 0 0 0 9 0 0 0 20 0 1 0 281179319 12648448 2189 33554432000 4194304 8973514 140733583340576 140733583340072 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 3088 2189 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300321 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 22803
/proc/meminfo: memFree=30271340/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=27712 CPUtime=0.29 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 6047 0 0 0 28 1 0 0 20 0 1 0 281179319 28377088 5968 33554432000 4194304 8973514 140733583340576 140733583340072 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 6928 5968 418 1167 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27712
[startup+0.700288 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 22803
/proc/meminfo: memFree=30271340/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=47168 CPUtime=0.69 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 11061 0 0 0 67 2 0 0 20 0 1 0 281179319 48300032 10982 33554432000 4194304 8973514 140733583340576 140733583339840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 11792 10982 418 1167 0 10573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47168
[startup+1.50031 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 22804
/proc/meminfo: memFree=30213920/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=111680 CPUtime=1.49 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 27189 0 0 0 145 4 0 0 20 0 1 0 281179319 114360320 27110 33554432000 4194304 8973514 140733583340576 140733583340072 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 27920 27110 418 1167 0 26701 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 111680
[startup+3.10031 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 22804
/proc/meminfo: memFree=30124244/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=206912 CPUtime=3.09 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 50997 0 0 0 299 10 0 0 20 0 1 0 281179319 211877888 50918 33554432000 4194304 8973514 140733583340576 140733583339840 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 51728 50918 418 1167 0 50509 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 206912
[startup+6.30033 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 22804
/proc/meminfo: memFree=29918900/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=356416 CPUtime=6.28 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 88408 0 0 0 611 17 0 0 20 0 1 0 281179319 364969984 88329 33554432000 4194304 8973514 140733583340576 140733583323672 4204672 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 89104 88329 447 1167 0 87885 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 356416
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 22805
/proc/meminfo: memFree=29917676/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=357440 CPUtime=12.69 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 88674 0 0 0 1250 19 0 0 20 0 1 0 281179319 366018560 88595 33554432000 4194304 8973514 140733583340576 140733583339840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 89360 88595 457 1167 0 88141 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 357440
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 22805
/proc/meminfo: memFree=29916072/32873844 swapFree=7392/7392
[pid=22803] ppid=22801 vsize=357440 CPUtime=25.49 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 88674 0 0 0 2527 22 0 0 20 0 1 0 281179319 366018560 88595 33554432000 4194304 8973514 140733583340576 140733583340072 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 89360 88595 457 1167 0 88141 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 357440
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 22805
/proc/meminfo: memFree=29915204/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=357440 CPUtime=51.08 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 88674 0 0 0 5080 28 0 0 20 0 1 0 281179319 366018560 88595 33554432000 4194304 8973514 140733583340576 140733583338496 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 89360 88595 457 1167 0 88141 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 357440
[startup+102.307 s]
/proc/loadavg: 2.05 2.00 2.00 3/178 22808
/proc/meminfo: memFree=29911848/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=357440 CPUtime=102.28 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 88674 0 0 0 10185 43 0 0 20 0 1 0 281179319 366018560 88595 33554432000 4194304 8973514 140733583340576 140733583338496 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 89360 88595 457 1167 0 88141 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 357440
[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 22808
/proc/meminfo: memFree=29907608/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=357440 CPUtime=162.26 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 88675 0 0 0 16167 59 0 0 20 0 1 0 281179319 366018560 88595 33554432000 4194304 8973514 140733583340576 140733583338560 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 89360 88595 457 1167 0 88141 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 357440
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 22808
/proc/meminfo: memFree=29885316/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=371776 CPUtime=222.24 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 92286 0 0 0 22147 77 0 0 20 0 1 0 281179319 380698624 92179 33554432000 4194304 8973514 140733583340576 140733583340072 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 92944 92179 457 1167 0 91725 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 371776
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22808
/proc/meminfo: memFree=29862900/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=389184 CPUtime=282.23 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 96645 0 0 0 28130 93 0 0 20 0 1 0 281179319 398524416 96531 33554432000 4194304 8973514 140733583340576 140733583340072 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 97296 96531 457 1167 0 96077 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 389184
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22809
/proc/meminfo: memFree=29836020/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=409664 CPUtime=342.21 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 101785 0 0 0 34113 108 0 0 20 0 1 0 281179319 419495936 101651 33554432000 4194304 8973514 140733583340576 140733583339840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 102416 101651 457 1167 0 101197 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 409664
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22849
/proc/meminfo: memFree=29905208/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=429120 CPUtime=402.2 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 106653 0 0 0 40097 123 0 0 20 0 1 0 281179319 439418880 106515 33554432000 4194304 8973514 140733583340576 140733583340072 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 107280 106515 457 1167 0 106061 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 429120
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22849
/proc/meminfo: memFree=29889248/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=444480 CPUtime=462.18 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 110493 0 0 0 46084 134 0 0 20 0 1 0 281179319 455147520 110355 33554432000 4194304 8973514 140733583340576 140733583340072 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 111120 110355 457 1167 0 109901 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 444480
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22849
/proc/meminfo: memFree=29876444/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=458816 CPUtime=522.18 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 114077 0 0 0 52074 144 0 0 20 0 1 0 281179319 469827584 113939 33554432000 4194304 8973514 140733583340576 140733583340072 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 114704 113939 457 1167 0 113485 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 458816
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22849
/proc/meminfo: memFree=29862184/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=472128 CPUtime=582.17 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 117405 0 0 0 58063 154 0 0 20 0 1 0 281179319 483459072 117267 33554432000 4194304 8973514 140733583340576 140733583340072 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 118032 117267 457 1167 0 116813 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 472128
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 22853
/proc/meminfo: memFree=29814916/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=519232 CPUtime=822.12 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 129192 0 0 0 82021 191 0 0 20 0 1 0 281179319 531693568 129043 33554432000 4194304 8973514 140733583340576 140733583340072 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 129808 129043 457 1167 0 128589 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 519232
[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22853
/proc/meminfo: memFree=29803508/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=530496 CPUtime=882.11 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 132008 0 0 0 88010 201 0 0 20 0 1 0 281179319 543227904 131859 33554432000 4194304 8973514 140733583340576 140733583340072 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 132624 131859 457 1167 0 131405 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 530496
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22854
/proc/meminfo: memFree=29791356/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=542784 CPUtime=942.1 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 135080 0 0 0 94000 210 0 0 20 0 1 0 281179319 555810816 134931 33554432000 4194304 8973514 140733583340576 140733583338496 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 135696 134931 457 1167 0 134477 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 542784
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22854
/proc/meminfo: memFree=29782304/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=552000 CPUtime=1002.09 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 137384 0 0 0 99988 221 0 0 20 0 1 0 281179319 565248000 137235 33554432000 4194304 8973514 140733583340576 140733583340072 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 138000 137235 457 1167 0 136781 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 552000
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22854
/proc/meminfo: memFree=29771888/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=562240 CPUtime=1062.08 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 139944 0 0 0 105978 230 0 0 20 0 1 0 281179319 575733760 139795 33554432000 4194304 8973514 140733583340576 140733583340072 4209340 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 140560 139795 457 1167 0 139341 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 562240
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22854
/proc/meminfo: memFree=29758744/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=575552 CPUtime=1122.07 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 143272 0 0 0 111968 239 0 0 20 0 1 0 281179319 589365248 143123 33554432000 4194304 8973514 140733583340576 140733583338496 4441393 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 143888 143123 457 1167 0 142669 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 575552
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22854
/proc/meminfo: memFree=29747336/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=584768 CPUtime=1182.07 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 145576 0 0 0 117958 249 0 0 20 0 1 0 281179319 598802432 145427 33554432000 4194304 8973514 140733583340576 140733583338496 4441393 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 146192 145427 457 1167 0 144973 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 584768
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22855
/proc/meminfo: memFree=29654944/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=593984 CPUtime=1242.05 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 147886 0 0 0 123949 256 0 0 20 0 1 0 281179319 608239616 147731 33554432000 4194304 8973514 140733583340576 140733583340072 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 148496 147731 457 1167 0 147277 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 593984
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22858
/proc/meminfo: memFree=29643272/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=604224 CPUtime=1302.05 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 150446 0 0 0 129939 266 0 0 20 0 1 0 281179319 618725376 150291 33554432000 4194304 8973514 140733583340576 140733583339840 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 151056 150291 457 1167 0 149837 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 604224
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22858
/proc/meminfo: memFree=29634200/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=613440 CPUtime=1362.04 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 152750 0 0 0 135932 272 0 0 20 0 1 0 281179319 628162560 152595 33554432000 4194304 8973514 140733583340576 140733583340072 4427928 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 153360 152595 457 1167 0 152141 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 613440
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22858
/proc/meminfo: memFree=29624968/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=623680 CPUtime=1422.03 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 155310 0 0 0 141923 280 0 0 20 0 1 0 281179319 638648320 155155 33554432000 4194304 8973514 140733583340576 140733583340072 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 155920 155155 457 1167 0 154701 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 623680
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22858
/proc/meminfo: memFree=29614676/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=632896 CPUtime=1482.02 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 157614 0 0 0 147913 289 0 0 20 0 1 0 281179319 648085504 157459 33554432000 4194304 8973514 140733583340576 140733583338496 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 158224 157459 457 1167 0 157005 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 632896
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22858
/proc/meminfo: memFree=29605632/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=642112 CPUtime=1542.01 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 159918 0 0 0 153903 298 0 0 20 0 1 0 281179319 657522688 159763 33554432000 4194304 8973514 140733583340576 140733583340072 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 160528 159763 457 1167 0 159309 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 642112
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22859
/proc/meminfo: memFree=29596448/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=651328 CPUtime=1602 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 162222 0 0 0 159893 307 0 0 20 0 1 0 281179319 666959872 162067 33554432000 4194304 8973514 140733583340576 140733583340072 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 162832 162067 457 1167 0 161613 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 651328
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22859
/proc/meminfo: memFree=29587396/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=660544 CPUtime=1661.99 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 164526 0 0 0 165885 314 0 0 20 0 1 0 281179319 676397056 164371 33554432000 4194304 8973514 140733583340576 140733583340072 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 165136 164371 457 1167 0 163917 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 660544
[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 22859
/proc/meminfo: memFree=29576980/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=670784 CPUtime=1721.98 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 167086 0 0 0 171876 322 0 0 20 0 1 0 281179319 686882816 166931 33554432000 4194304 8973514 140733583340576 140733583339840 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 167696 166931 457 1167 0 166477 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 670784
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22859
/proc/meminfo: memFree=29568444/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=678976 CPUtime=1781.97 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 169135 0 0 0 177865 332 0 0 20 0 1 0 281179319 695271424 168979 33554432000 4194304 8973514 140733583340576 140733583340072 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 169744 168979 457 1167 0 168525 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 678976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22859
/proc/meminfo: memFree=29565436/32873844 swapFree=7388/7388
[pid=22803] ppid=22801 vsize=682048 CPUtime=1800.07 cores=1,3,5,7
/proc/22803/stat : 22803 (toysat) R 22801 22803 20110 0 -1 4202496 169903 0 0 0 179672 335 0 0 20 0 1 0 281179319 698417152 169747 33554432000 4194304 8973514 140733583340576 140733583340072 4209278 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22803/statm: 170512 169747 457 1167 0 169293 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 682048
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): 1796.73
CPU system time (s): 3.36049
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 682048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.73
system time used= 3.36049
maximum resident set size= 678988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169903
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= 79
involuntary context switches= 1852
runsolver used 3.15152 second user time and 10.7724 second system time
The end