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-3706034-1338145953/watcher-3706034-1338145953 -o /tmp/evaluation-result-3706034-1338145953/solver-3706034-1338145953 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706034-1338145953.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: 1.93 1.99 1.99 2/176 6748
/proc/meminfo: memFree=22178756/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 795 0 0 0 0 0 0 0 20 0 1 0 280720306 6356992 717 33554432000 4194304 8973514 140733487671600 140734366573736 4591537 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6748/statm: 1552 717 416 1167 0 333 0
[startup+0.0941909 s]
/proc/loadavg: 1.93 1.99 1.99 2/176 6748
/proc/meminfo: memFree=22178756/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=11328 CPUtime=0.08 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 2097 0 0 0 8 0 0 0 20 0 1 0 280720306 11599872 2019 33554432000 4194304 8973514 140733487671600 140734366573736 4209272 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6748/statm: 2832 2019 417 1167 0 1613 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11328
[startup+0.100295 s]
/proc/loadavg: 1.93 1.99 1.99 2/176 6748
/proc/meminfo: memFree=22178756/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=13376 CPUtime=0.09 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 2501 0 0 0 9 0 0 0 20 0 1 0 280720306 13697024 2423 33554432000 4194304 8973514 140733487671600 140734366573736 5776460 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6748/statm: 3344 2423 417 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300272 s]
/proc/loadavg: 1.93 1.99 1.99 2/176 6748
/proc/meminfo: memFree=22178756/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=25664 CPUtime=0.29 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 5681 0 0 0 28 1 0 0 20 0 1 0 280720306 26279936 5603 33554432000 4194304 8973514 140733487671600 140734366573736 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6748/statm: 6416 5603 417 1167 0 5197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25664
[startup+0.700277 s]
/proc/loadavg: 1.93 1.99 1.99 2/176 6748
/proc/meminfo: memFree=22178756/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=44096 CPUtime=0.69 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 10290 0 0 0 67 2 0 0 20 0 1 0 280720306 45154304 10212 33554432000 4194304 8973514 140733487671600 140733487671096 4204363 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6748/statm: 11024 10212 418 1167 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44096
[startup+1.50027 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 6749
/proc/meminfo: memFree=22109036/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=103488 CPUtime=1.49 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 25138 0 0 0 144 5 0 0 20 0 1 0 280720306 105971712 25060 33554432000 4194304 8973514 140733487671600 140733487670864 4610898 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6748/statm: 25872 25060 418 1167 0 24653 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 103488
[startup+3.10027 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 6749
/proc/meminfo: memFree=22043812/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=188480 CPUtime=3.09 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 46386 0 0 0 299 10 0 0 20 0 1 0 280720306 193003520 46308 33554432000 4194304 8973514 140733487671600 140733487670864 7692352 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6748/statm: 47120 46308 418 1167 0 45901 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 188480
[startup+6.30028 s]
/proc/loadavg: 2.10 2.02 2.01 3/177 6749
/proc/meminfo: memFree=21837584/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=346176 CPUtime=6.28 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 85810 0 0 0 611 17 0 0 20 0 1 0 280720306 354484224 85732 33554432000 4194304 8973514 140733487671600 140733487671096 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6748/statm: 86544 85732 418 1167 0 85325 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 346176
[startup+12.7003 s]
/proc/loadavg: 2.09 2.02 2.00 3/177 6749
/proc/meminfo: memFree=21332788/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=849984 CPUtime=12.69 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 211762 0 0 0 1230 39 0 0 20 0 1 0 280720306 870383616 211684 33554432000 4194304 8973514 140733487671600 140733487671096 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6748/statm: 212496 211684 418 1167 0 211277 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 849984
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 6749
/proc/meminfo: memFree=20642456/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=1539136 CPUtime=25.49 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 384067 0 0 0 2475 74 0 0 20 0 1 0 280720306 1576075264 383989 33554432000 4194304 8973514 140733487671600 140733487671096 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 384784 383989 429 1167 0 383565 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1539136
[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 6750
/proc/meminfo: memFree=20422696/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=1758272 CPUtime=51.08 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 453716 0 0 0 5020 88 0 0 20 0 1 0 280720306 1800470528 438790 33554432000 4194304 8973514 140733487671600 140733487671096 4208870 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 439568 438790 446 1167 0 438349 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1758272
[startup+102.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 6750
/proc/meminfo: memFree=20429932/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=1750080 CPUtime=102.27 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 453716 0 0 0 10131 96 0 0 20 0 1 0 280720306 1792081920 436742 33554432000 4194304 8973514 140733487671600 140733487671096 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 437520 436742 446 1167 0 436301 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1750080
[startup+162.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 6750
/proc/meminfo: memFree=20434672/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=1745984 CPUtime=162.27 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 453716 0 0 0 16122 105 0 0 20 0 1 0 280720306 1787887616 435718 33554432000 4194304 8973514 140733487671600 140733487671096 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 436496 435718 446 1167 0 435277 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1745984
[startup+222.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/177 6750
/proc/meminfo: memFree=20434700/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=1745984 CPUtime=222.25 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 453716 0 0 0 22111 114 0 0 20 0 1 0 280720306 1787887616 435718 33554432000 4194304 8973514 140733487671600 140733487671096 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 436496 435718 446 1167 0 435277 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1745984
[startup+282.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/177 6750
/proc/meminfo: memFree=20434976/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=1745984 CPUtime=282.24 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 453716 0 0 0 28100 124 0 0 20 0 1 0 280720306 1787887616 435718 33554432000 4194304 8973514 140733487671600 140733487670864 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 436496 435718 446 1167 0 435277 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1745984
[startup+342.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/177 6750
/proc/meminfo: memFree=20434756/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=1745984 CPUtime=342.24 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 453716 0 0 0 34089 135 0 0 20 0 1 0 280720306 1787887616 435718 33554432000 4194304 8973514 140733487671600 140733487671096 4441929 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 436496 435718 446 1167 0 435277 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1745984
[startup+402.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 6751
/proc/meminfo: memFree=20434536/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=1745984 CPUtime=402.22 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 453716 0 0 0 40077 145 0 0 20 0 1 0 280720306 1787887616 435718 33554432000 4194304 8973514 140733487671600 140733487671096 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 436496 435718 446 1167 0 435277 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1745984
[startup+462.307 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 6754
/proc/meminfo: memFree=20434680/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=1745984 CPUtime=462.22 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 453716 0 0 0 46062 160 0 0 20 0 1 0 280720306 1787887616 435718 33554432000 4194304 8973514 140733487671600 140733487669568 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 436496 435718 446 1167 0 435277 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1745984
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 6754
/proc/meminfo: memFree=20434344/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=1745984 CPUtime=522.21 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 453716 0 0 0 52052 169 0 0 20 0 1 0 280720306 1787887616 435718 33554432000 4194304 8973514 140733487671600 140733487671096 7672539 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 436496 435718 446 1167 0 435277 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1745984
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 6754
/proc/meminfo: memFree=20434620/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=1745984 CPUtime=582.2 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 453716 0 0 0 58041 179 0 0 20 0 1 0 280720306 1787887616 435718 33554432000 4194304 8973514 140733487671600 140733487671096 4204292 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 436496 435718 446 1167 0 435277 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1745984
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6755
/proc/meminfo: memFree=20369384/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=1812544 CPUtime=822.16 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 470116 0 0 0 82006 210 0 0 20 0 1 0 280720306 1856045056 452118 33554432000 4194304 8973514 140733487671600 140733487670864 4441929 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 453136 452118 446 1167 0 451917 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 1812544
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6755
/proc/meminfo: memFree=20330476/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=1851456 CPUtime=882.15 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 479893 0 0 0 87997 218 0 0 20 0 1 0 280720306 1895890944 461895 33554432000 4194304 8973514 140733487671600 140733487671096 4526608 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 462864 461895 446 1167 0 461645 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 1851456
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6755
/proc/meminfo: memFree=20302852/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=1878080 CPUtime=942.14 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 486740 0 0 0 93988 226 0 0 20 0 1 0 280720306 1923153920 468742 33554432000 4194304 8973514 140733487671600 140733487671096 4427291 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 469520 468742 446 1167 0 468301 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1878080
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 6795
/proc/meminfo: memFree=29071724/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=1910848 CPUtime=1002.14 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 494936 0 0 0 99979 235 0 0 20 0 1 0 280720306 1956708352 476934 33554432000 4194304 8973514 140733487671600 140733487670864 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 477712 476934 446 1167 0 476493 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 1910848
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 6798
/proc/meminfo: memFree=29037096/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=1951808 CPUtime=1062.1 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 505205 0 0 0 105966 244 0 0 20 0 1 0 280720306 1998651392 487174 33554432000 4194304 8973514 140733487671600 140733487670864 4427744 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 487952 487174 446 1167 0 486733 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1951808
[startup+1122.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 6798
/proc/meminfo: memFree=29001544/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=1987648 CPUtime=1122.09 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 513936 0 0 0 111957 252 0 0 20 0 1 0 280720306 2035351552 495893 33554432000 4194304 8973514 140733487671600 140733487671096 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 496912 495893 446 1167 0 495693 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1987648
[startup+1182.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 6836
/proc/meminfo: memFree=28953468/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=2019392 CPUtime=1182.07 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 522131 0 0 0 117943 264 0 0 20 0 1 0 280720306 2067857408 504070 33554432000 4194304 8973514 140733487671600 140733487670864 4209313 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 504848 504070 446 1167 0 503629 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 2019392
[startup+1242.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 6836
/proc/meminfo: memFree=28899680/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=2040896 CPUtime=1242.05 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 527324 0 0 0 123932 273 0 0 20 0 1 0 280720306 2089877504 509241 33554432000 4194304 8973514 140733487671600 140733487671096 4441212 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 510224 509241 446 1167 0 509005 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 2040896
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 6837
/proc/meminfo: memFree=28817620/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=2063424 CPUtime=1302.02 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 533045 0 0 0 129922 280 0 0 20 0 1 0 280720306 2112946176 514944 33554432000 4194304 8973514 140733487671600 140733487671096 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 515856 514944 446 1167 0 514637 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 2063424
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 6837
/proc/meminfo: memFree=28747960/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=2090048 CPUtime=1362 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 539746 0 0 0 135911 289 0 0 20 0 1 0 280720306 2140209152 521617 33554432000 4194304 8973514 140733487671600 140733487670864 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 522512 521617 446 1167 0 521293 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 2090048
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 6837
/proc/meminfo: memFree=28683508/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=2115648 CPUtime=1421.97 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 546114 0 0 0 141900 297 0 0 20 0 1 0 280720306 2166423552 527966 33554432000 4194304 8973514 140733487671600 140733487670864 4441196 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 528912 527966 446 1167 0 527693 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 2115648
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6837
/proc/meminfo: memFree=28603308/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=2162752 CPUtime=1481.95 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 557956 0 0 0 147889 306 0 0 20 0 1 0 280720306 2214658048 539795 33554432000 4194304 8973514 140733487671600 140733487671096 4204368 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 540688 539795 446 1167 0 539469 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 2162752
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6837
/proc/meminfo: memFree=28527572/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=2203712 CPUtime=1541.93 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 568146 0 0 0 153879 314 0 0 20 0 1 0 280720306 2256601088 549958 33554432000 4194304 8973514 140733487671600 140733487671096 4213787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 550928 549958 446 1167 0 549709 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 2203712
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6838
/proc/meminfo: memFree=28453696/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=2246720 CPUtime=1601.92 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 578974 0 0 0 159869 323 0 0 20 0 1 0 280720306 2300641280 560780 33554432000 4194304 8973514 140733487671600 140733487669568 7672543 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 561680 560780 446 1167 0 560461 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 2246720
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6841
/proc/meminfo: memFree=28383904/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=2282560 CPUtime=1661.91 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 587951 0 0 0 165859 332 0 0 20 0 1 0 280720306 2337341440 569750 33554432000 4194304 8973514 140733487671600 140733487671096 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 570640 569750 446 1167 0 569421 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 2282560
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6841
/proc/meminfo: memFree=28311648/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=2326592 CPUtime=1721.88 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 599092 0 0 0 171847 341 0 0 20 0 1 0 280720306 2382430208 580870 33554432000 4194304 8973514 140733487671600 140733487653568 4441393 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 581648 580870 446 1167 0 580429 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 2326592
[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6841
/proc/meminfo: memFree=28249428/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=2367552 CPUtime=1781.88 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 609155 0 0 0 177838 350 0 0 20 0 1 0 280720306 2424373248 590914 33554432000 4194304 8973514 140733487671600 140733487671096 4424828 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 591888 590914 446 1167 0 590669 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 2367552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6841
/proc/meminfo: memFree=28231788/32873844 swapFree=7112/7112
[pid=6748] ppid=6746 vsize=2376768 CPUtime=1800.07 cores=0,2,4,6
/proc/6748/stat : 6748 (toysat) R 6746 6748 4109 0 -1 4202496 611555 0 0 0 179655 352 0 0 20 0 1 0 280720306 2433810432 593314 33554432000 4194304 8973514 140733487671600 140733487670864 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6748/statm: 594192 593314 446 1167 0 592973 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2376768
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.57
CPU time (s): 1800.15
CPU user time (s): 1796.56
CPU system time (s): 3.59045
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 2376768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.56
system time used= 3.59045
maximum resident set size= 2373256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 611555
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= 246
involuntary context switches= 1871
runsolver used 4.27035 second user time and 8.47471 second system time
The end