runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3490581-1307766480/watcher-3490581-1307766480 -o /tmp/evaluation-result-3490581-1307766480/solver-3490581-1307766480 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490581-1307766480.opb --verbosity=0 --format=opb --randomseed=530589803
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.92 1.98 1.99 2/175 16949
/proc/meminfo: memFree=31524516/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=7864 CPUtime=0 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 490 0 0 0 0 0 0 0 25 0 1 0 888246652 8052736 443 33554432000 4194304 6720400 140735161079040 18446744073709551615 5257475 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 1966 443 231 617 0 1340 0
[startup+0.0718559 s]
/proc/loadavg: 1.92 1.98 1.99 2/175 16949
/proc/meminfo: memFree=31524516/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=12856 CPUtime=0.06 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 1727 0 0 0 6 0 0 0 25 0 1 0 888246652 13164544 1680 33554432000 4194304 6720400 140735161079040 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 3214 1681 231 617 0 2588 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12856
[startup+0.100852 s]
/proc/loadavg: 1.92 1.98 1.99 2/175 16949
/proc/meminfo: memFree=31524516/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=15484 CPUtime=0.09 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 2430 0 0 0 9 0 0 0 25 0 1 0 888246652 15855616 2347 33554432000 4194304 6720400 140735161079040 18446744073709551615 4411848 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 3871 2347 246 617 0 3245 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15484
[startup+0.300819 s]
/proc/loadavg: 1.92 1.98 1.99 2/175 16949
/proc/meminfo: memFree=31524516/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=17048 CPUtime=0.29 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 2968 0 0 0 29 0 0 0 25 0 1 0 888246652 17457152 2803 33554432000 4194304 6720400 140735161079040 18446744073709551615 4592642 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 4262 2803 263 617 0 3636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17048
[startup+0.700774 s]
/proc/loadavg: 1.92 1.98 1.99 2/175 16949
/proc/meminfo: memFree=31524516/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=20208 CPUtime=0.69 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 4300 0 0 0 69 0 0 0 25 0 1 0 888246652 20692992 4135 33554432000 4194304 6720400 140735161079040 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 5052 4135 265 617 0 4426 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20208
[startup+1.50062 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 16950
/proc/meminfo: memFree=31504072/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=32076 CPUtime=1.49 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 7533 0 0 0 149 0 0 0 25 0 1 0 888246652 32845824 7366 33554432000 4194304 6720400 140735161079040 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 8019 7366 265 617 0 7393 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32076
[startup+3.23883 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 16950
/proc/meminfo: memFree=31487580/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=62984 CPUtime=3.26 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 13808 0 0 0 324 2 0 0 25 0 1 0 888246652 64495616 13638 33554432000 4194304 6720400 140735161079040 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 15746 13788 266 617 0 15120 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 62984
[startup+6.3008 s]
/proc/loadavg: 2.09 2.02 2.01 3/176 16950
/proc/meminfo: memFree=31387380/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=144160 CPUtime=6.29 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 23542 0 0 0 626 3 0 0 25 0 1 0 888246652 147619840 23356 33554432000 4194304 6720400 140735161079040 18446744073709551615 4595122 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 36040 23356 266 617 0 35414 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 144160
[startup+12.7067 s]
/proc/loadavg: 2.08 2.02 2.00 3/176 16950
/proc/meminfo: memFree=31256328/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=226380 CPUtime=12.7 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 47473 0 0 0 1262 8 0 0 25 0 1 0 888246652 231813120 47255 33554432000 4194304 6720400 140735161079040 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 56595 47255 266 617 0 55969 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 226380
[startup+25.5005 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 16950
/proc/meminfo: memFree=31331976/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=227052 CPUtime=25.49 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 97775 0 0 0 2532 17 0 0 25 0 1 0 888246652 232501248 42588 33554432000 4194304 6720400 140735161079040 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 56763 42588 266 617 0 56137 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 227052
[startup+51.1011 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 16950
/proc/meminfo: memFree=31236472/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=234964 CPUtime=51.1 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 199438 0 0 0 5074 36 0 0 25 0 1 0 888246652 240603136 54370 33554432000 4194304 6720400 140735161079040 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 58741 54370 266 617 0 58115 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 234964
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 16952
/proc/meminfo: memFree=31160080/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=375180 CPUtime=102.29 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 395874 0 0 0 10159 70 0 0 25 0 1 0 888246652 384184320 75661 33554432000 4194304 6720400 140735161079040 18446744073709551615 4820061 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 93795 75661 266 617 0 93169 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 375180
[startup+162.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16954
/proc/meminfo: memFree=31229256/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=375180 CPUtime=162.3 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 622129 0 0 0 16118 112 0 0 25 0 1 0 888246652 384184320 62421 33554432000 4194304 6720400 140735161079040 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 93795 62421 266 617 0 93169 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 375180
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16956
/proc/meminfo: memFree=31424156/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=80976 CPUtime=222.3 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 849331 0 0 0 22074 156 0 0 25 0 1 0 888246652 82919424 18324 33554432000 4194304 6720400 140735161079040 18446744073709551615 4811672 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 20244 18324 266 617 0 19618 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 80976
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17033
/proc/meminfo: memFree=31388328/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=248344 CPUtime=282.29 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 1078984 0 0 0 28035 194 0 0 25 0 1 0 888246652 254304256 59451 33554432000 4194304 6720400 140735161079040 18446744073709551615 4611728 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 62086 59451 266 617 0 61460 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 248344
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17035
/proc/meminfo: memFree=31367856/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=48224 CPUtime=342.29 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 1307836 0 0 0 33992 237 0 0 25 0 1 0 888246652 49381376 10898 33554432000 4194304 6720400 140735161079040 18446744073709551615 4816948 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 12056 10899 266 617 0 11430 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 48224
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17037
/proc/meminfo: memFree=31543556/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=86048 CPUtime=402.29 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 1529504 0 0 0 39958 271 0 0 25 0 1 0 888246652 88113152 19699 33554432000 4194304 6720400 140735161079040 18446744073709551615 4610399 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 21512 19699 266 617 0 20886 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 86048
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17039
/proc/meminfo: memFree=31293672/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=424820 CPUtime=462.3 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 1770010 0 0 0 45920 310 0 0 25 0 1 0 888246652 435015680 83529 33554432000 4194304 6720400 140735161079040 18446744073709551615 4610484 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 106205 83529 266 617 0 105579 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 424820
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17041
/proc/meminfo: memFree=31553436/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=80944 CPUtime=522.3 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 1995970 0 0 0 51880 350 0 0 25 0 1 0 888246652 82886656 15442 33554432000 4194304 6720400 140735161079040 18446744073709551615 4811984 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 20236 15442 266 617 0 19610 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 80944
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17041
/proc/meminfo: memFree=31399536/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=294108 CPUtime=582.3 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 2231188 0 0 0 57841 389 0 0 25 0 1 0 888246652 301166592 55716 33554432000 4194304 6720400 140735161079040 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 73527 55716 266 617 0 72901 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 294108
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17049
/proc/meminfo: memFree=31030676/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=641292 CPUtime=882.3 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 3362907 0 0 0 87655 575 0 0 25 0 1 0 888246652 656683008 146551 33554432000 4194304 6720400 140735161079040 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 160323 146551 266 617 0 159697 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 641292
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17051
/proc/meminfo: memFree=31211696/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=426368 CPUtime=942.31 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 3591061 0 0 0 93618 613 0 0 25 0 1 0 888246652 436600832 99421 33554432000 4194304 6720400 140735161079040 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 106592 99422 266 617 0 105966 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 426368
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17053
/proc/meminfo: memFree=31380800/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=294108 CPUtime=1002.31 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 3815921 0 0 0 99575 656 0 0 25 0 1 0 888246652 301166592 59077 33554432000 4194304 6720400 140735161079040 18446744073709551615 4811984 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 73527 59078 266 617 0 72901 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 294108
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17055
/proc/meminfo: memFree=30993764/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=641292 CPUtime=1062.3 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 4043910 0 0 0 105535 695 0 0 25 0 1 0 888246652 656683008 154108 33554432000 4194304 6720400 140735161079040 18446744073709551615 4714382 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 160323 154108 266 617 0 159697 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 641292
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17057
/proc/meminfo: memFree=31188300/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=641292 CPUtime=1122.31 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 4267550 0 0 0 111496 735 0 0 25 0 1 0 888246652 656683008 107692 33554432000 4194304 6720400 140735161079040 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 160323 107692 266 617 0 159697 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 641292
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17057
/proc/meminfo: memFree=31434408/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=212720 CPUtime=1182.31 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 4488096 0 0 0 117457 774 0 0 25 0 1 0 888246652 217825280 44515 33554432000 4194304 6720400 140735161079040 18446744073709551615 4811648 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 53180 44515 266 617 0 52554 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 212720
[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 17059
/proc/meminfo: memFree=31141496/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=641292 CPUtime=1242.31 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 4718492 0 0 0 123417 814 0 0 25 0 1 0 888246652 656683008 119972 33554432000 4194304 6720400 140735161079040 18446744073709551615 4820082 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 160323 119972 266 617 0 159697 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 641292
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 17061
/proc/meminfo: memFree=31430024/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=231564 CPUtime=1302.31 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 4942133 0 0 0 129380 851 0 0 25 0 1 0 888246652 237121536 45697 33554432000 4194304 6720400 140735161079040 18446744073709551615 4714370 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 57891 45697 266 617 0 57265 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 231564
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 17063
/proc/meminfo: memFree=31167736/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=660136 CPUtime=1362.32 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 5159070 0 0 0 135345 887 0 0 25 0 1 0 888246652 675979264 109460 33554432000 4194304 6720400 140735161079040 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 165034 109460 266 617 0 164408 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 660136
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17065
/proc/meminfo: memFree=31467184/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=181476 CPUtime=1422.31 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 5383945 0 0 0 141308 923 0 0 25 0 1 0 888246652 185831424 35170 33554432000 4194304 6720400 140735161079040 18446744073709551615 4816944 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 45369 35171 266 617 0 44743 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 181476
[startup+1482.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17065
/proc/meminfo: memFree=31149844/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=660136 CPUtime=1482.32 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 5616555 0 0 0 147272 960 0 0 25 0 1 0 888246652 675979264 112422 33554432000 4194304 6720400 140735161079040 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 165034 112422 266 617 0 164408 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 660136
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17067
/proc/meminfo: memFree=31431164/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=231564 CPUtime=1542.32 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 5855322 0 0 0 153228 1004 0 0 25 0 1 0 888246652 237121536 44503 33554432000 4194304 6720400 140735161079040 18446744073709551615 4595154 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 57891 44503 266 617 0 57265 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 231564
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17069
/proc/meminfo: memFree=31138864/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=663788 CPUtime=1602.32 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 6097182 0 0 0 159189 1043 0 0 25 0 1 0 888246652 679718912 115443 33554432000 4194304 6720400 140735161079040 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 165947 115443 266 617 0 165321 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 663788
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17071
/proc/meminfo: memFree=30895168/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=1013036 CPUtime=1662.32 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 6330497 0 0 0 165148 1084 0 0 25 0 1 0 888246652 1037348864 178532 33554432000 4194304 6720400 140735161079040 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 253259 178532 266 617 0 252633 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 1013036
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 17073
/proc/meminfo: memFree=31325184/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=316604 CPUtime=1722.32 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 6557309 0 0 0 171109 1123 0 0 25 0 1 0 888246652 324202496 69379 33554432000 4194304 6720400 140735161079040 18446744073709551615 4816944 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 79151 69379 266 617 0 78525 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 316604
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 17073
/proc/meminfo: memFree=31100108/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=663788 CPUtime=1782.32 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 6782787 0 0 0 177072 1160 0 0 25 0 1 0 888246652 679718912 127879 33554432000 4194304 6720400 140735161079040 18446744073709551615 4595080 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 165947 127879 266 617 0 165321 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 663788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.08 2.02 2.00 3/176 17075
/proc/meminfo: memFree=31494288/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=104988 CPUtime=1800.02 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 6848164 0 0 0 178831 1171 0 0 25 0 1 0 888246652 107507712 25799 33554432000 4194304 6720400 140735161079040 18446744073709551615 4812816 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 26247 25799 266 617 0 25621 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 104988
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.08 2.02 2.00 3/176 17075
/proc/meminfo: memFree=31494288/32951132 swapFree=67052544/67111528
[pid=16949] ppid=16947 vsize=104988 CPUtime=1800.02 cores=0,2,4,6
/proc/16949/stat : 16949 (minisatid) R 16947 16949 16337 0 -1 4202496 6848164 0 0 0 178831 1171 0 0 25 0 1 0 888246652 107507712 25799 33554432000 4194304 6720400 140735161079040 18446744073709551615 4812816 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16949/statm: 26247 25799 266 617 0 25621 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 104988
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.04
CPU user time (s): 1788.32
CPU system time (s): 11.7232
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1013036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.32
system time used= 11.7232
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6848169
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= 5
involuntary context switches= 2820
runsolver used 2.90456 second user time and 6.21805 second system time
The end