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-3491114-1307764678/watcher-3491114-1307764678 -o /tmp/evaluation-result-3491114-1307764678/solver-3491114-1307764678 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491114-1307764678.opb --verbosity=0 --format=opb --randomseed=171814263 

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: 2.00 2.00 2.00 3/175 16811
/proc/meminfo: memFree=31339108/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=8112 CPUtime=0 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 526 0 0 0 0 0 0 0 25 0 1 0 888066425 8306688 479 33554432000 4194304 6720400 140734333662784 18446744073709551615 5885696 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 2028 479 232 617 0 1402 0

[startup+0.0931839 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 16811
/proc/meminfo: memFree=31339108/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=9816 CPUtime=0.09 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 1156 0 0 0 9 0 0 0 25 0 1 0 888066425 10051584 1088 33554432000 4194304 6720400 140734333662784 18446744073709551615 5722808 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 2454 1088 257 617 0 1828 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9816

[startup+0.100188 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 16811
/proc/meminfo: memFree=31339108/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=9816 CPUtime=0.09 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 1191 0 0 0 9 0 0 0 25 0 1 0 888066425 10051584 1123 33554432000 4194304 6720400 140734333662784 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 2454 1123 257 617 0 1828 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9816

[startup+0.300149 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 16811
/proc/meminfo: memFree=31339108/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=9816 CPUtime=0.29 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 1962 0 0 0 29 0 0 0 25 0 1 0 888066425 10051584 1893 33554432000 4194304 6720400 140734333662784 18446744073709551615 4819089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 2454 1893 265 617 0 1828 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9816

[startup+0.70108 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 16811
/proc/meminfo: memFree=31339108/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=16956 CPUtime=0.69 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 3461 0 0 0 69 0 0 0 25 0 1 0 888066425 17362944 3391 33554432000 4194304 6720400 140734333662784 18446744073709551615 5718101 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 4239 3391 265 617 0 3613 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16956

[startup+1.50097 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16812
/proc/meminfo: memFree=31301932/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=35928 CPUtime=1.49 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 6208 0 0 0 148 1 0 0 25 0 1 0 888066425 36790272 6134 33554432000 4194304 6720400 140734333662784 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 8982 6134 265 617 0 8356 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35928

[startup+3.11266 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16812
/proc/meminfo: memFree=31264728/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=55004 CPUtime=3.11 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 11752 0 0 0 309 2 0 0 25 0 1 0 888066425 56324096 11661 33554432000 4194304 6720400 140734333662784 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 13751 11778 266 617 0 13125 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 55004

[startup+6.30115 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16812
/proc/meminfo: memFree=31132672/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=136124 CPUtime=6.29 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 21832 0 0 0 626 3 0 0 25 0 1 0 888066425 139390976 21721 33554432000 4194304 6720400 140734333662784 18446744073709551615 4432346 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 34031 21721 266 617 0 33405 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 136124

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16812
/proc/meminfo: memFree=31014144/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=86364 CPUtime=12.69 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 44818 0 0 0 1260 9 0 0 25 0 1 0 888066425 88436736 14727 33554432000 4194304 6720400 140734333662784 18446744073709551615 4811624 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 21591 14727 266 617 0 20965 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86364

[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16812
/proc/meminfo: memFree=31179808/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=86988 CPUtime=25.49 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 91263 0 0 0 2533 16 0 0 25 0 1 0 888066425 89075712 18411 33554432000 4194304 6720400 140734333662784 18446744073709551615 4816987 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 21747 18411 266 617 0 21121 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86988

[startup+51.1064 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16812
/proc/meminfo: memFree=31402748/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=88636 CPUtime=51.09 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 179945 0 0 0 5078 31 0 0 25 0 1 0 888066425 90763264 19217 33554432000 4194304 6720400 140734333662784 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 22159 19217 266 617 0 21533 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 88636

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16814
/proc/meminfo: memFree=31191948/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=60024 CPUtime=102.29 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 361739 0 0 0 10166 63 0 0 25 0 1 0 888066425 61464576 13325 33554432000 4194304 6720400 140734333662784 18446744073709551615 4811706 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 15006 13326 266 617 0 14380 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 60024

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16816
/proc/meminfo: memFree=31089996/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=92712 CPUtime=162.29 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 558798 0 0 0 16132 97 0 0 25 0 1 0 888066425 94937088 17557 33554432000 4194304 6720400 140734333662784 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 23178 17557 266 617 0 22552 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 92712

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16827
/proc/meminfo: memFree=30983728/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=226364 CPUtime=222.29 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 758426 0 0 0 22100 129 0 0 25 0 1 0 888066425 231796736 36091 33554432000 4194304 6720400 140734333662784 18446744073709551615 4432296 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 56591 36091 266 617 0 55965 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 226364

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16866
/proc/meminfo: memFree=31514860/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=97036 CPUtime=282.29 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 950781 0 0 0 28068 161 0 0 25 0 1 0 888066425 99364864 20706 33554432000 4194304 6720400 140734333662784 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 24259 20706 266 617 0 23633 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 97036

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16868
/proc/meminfo: memFree=31417632/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=148544 CPUtime=342.29 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 1134552 0 0 0 34039 190 0 0 25 0 1 0 888066425 152109056 31624 33554432000 4194304 6720400 140734333662784 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 37136 31624 266 617 0 36510 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 148544

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16870
/proc/meminfo: memFree=31409060/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=149928 CPUtime=402.3 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 1318893 0 0 0 40009 221 0 0 25 0 1 0 888066425 153526272 33553 33554432000 4194304 6720400 140734333662784 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 37482 33553 266 617 0 36856 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 149928

[startup+462.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 16872
/proc/meminfo: memFree=31416988/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=233648 CPUtime=462.29 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 1506935 0 0 0 45974 255 0 0 25 0 1 0 888066425 239255552 41940 33554432000 4194304 6720400 140734333662784 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 58412 41940 266 617 0 57786 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 233648

[startup+522.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 16876
/proc/meminfo: memFree=31423044/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=235320 CPUtime=522.3 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 1691182 0 0 0 51944 286 0 0 25 0 1 0 888066425 240967680 39102 33554432000 4194304 6720400 140734333662784 18446744073709551615 4434050 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 58830 39103 266 617 0 58204 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 235320

[startup+582.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 16877
/proc/meminfo: memFree=31481084/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=105464 CPUtime=582.3 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 1870662 0 0 0 57910 320 0 0 25 0 1 0 888066425 107995136 25269 33554432000 4194304 6720400 140734333662784 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 26366 25269 266 617 0 25740 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 105464

[startup+642.307 s]

################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16885
/proc/meminfo: memFree=31369160/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=243372 CPUtime=822.3 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 2573727 0 0 0 81780 450 0 0 25 0 1 0 888066425 249212928 49000 33554432000 4194304 6720400 140734333662784 18446744073709551615 5722287 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 60843 49000 266 617 0 60217 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 243372

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16885
/proc/meminfo: memFree=31377204/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=244736 CPUtime=882.3 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 2746449 0 0 0 87747 483 0 0 25 0 1 0 888066425 250609664 45275 33554432000 4194304 6720400 140734333662784 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 61184 45275 266 617 0 60558 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 244736

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16887
/proc/meminfo: memFree=31310484/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=246080 CPUtime=942.3 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 2928578 0 0 0 93713 517 0 0 25 0 1 0 888066425 251985920 50522 33554432000 4194304 6720400 140734333662784 18446744073709551615 4819066 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 61520 50522 266 617 0 60894 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 246080

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16889
/proc/meminfo: memFree=31295720/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=247568 CPUtime=1002.3 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 3102726 0 0 0 99682 548 0 0 25 0 1 0 888066425 253509632 53479 33554432000 4194304 6720400 140734333662784 18446744073709551615 4811652 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 61892 53479 266 617 0 61266 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 247568

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16891
/proc/meminfo: memFree=31360064/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=248740 CPUtime=1062.31 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 3280675 0 0 0 105648 583 0 0 25 0 1 0 888066425 254709760 51847 33554432000 4194304 6720400 140734333662784 18446744073709551615 4811648 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 62185 51847 266 617 0 61559 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 248740

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16893
/proc/meminfo: memFree=31437048/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=168752 CPUtime=1122.3 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 3461818 0 0 0 111615 615 0 0 25 0 1 0 888066425 172802048 31038 33554432000 4194304 6720400 140734333662784 18446744073709551615 4438790 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 42188 31038 266 617 0 41562 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 168752

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 16893
/proc/meminfo: memFree=31298020/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=251720 CPUtime=1182.31 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 3616073 0 0 0 117588 643 0 0 25 0 1 0 888066425 257761280 56843 33554432000 4194304 6720400 140734333662784 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 62930 56843 266 617 0 62304 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 251720

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 16895
/proc/meminfo: memFree=31364348/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=252812 CPUtime=1242.3 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 3795324 0 0 0 123555 675 0 0 25 0 1 0 888066425 258879488 41791 33554432000 4194304 6720400 140734333662784 18446744073709551615 4437277 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 63203 41791 266 617 0 62577 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 252812

[startup+1302.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16897
/proc/meminfo: memFree=31445560/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=91776 CPUtime=1302.31 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 3977144 0 0 0 129521 710 0 0 25 0 1 0 888066425 93978624 20253 33554432000 4194304 6720400 140734333662784 18446744073709551615 4812464 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 22944 20253 266 617 0 22318 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 91776

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16899
/proc/meminfo: memFree=31279872/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=255340 CPUtime=1362.31 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 4160634 0 0 0 135489 742 0 0 25 0 1 0 888066425 261468160 52585 33554432000 4194304 6720400 140734333662784 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 63835 52585 266 617 0 63209 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 255340

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16901
/proc/meminfo: memFree=31119780/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=388716 CPUtime=1422.3 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 4344831 0 0 0 141458 772 0 0 25 0 1 0 888066425 398045184 81154 33554432000 4194304 6720400 140734333662784 18446744073709551615 4616691 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 97179 81154 266 617 0 96553 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 388716

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16901
/proc/meminfo: memFree=31319896/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=257508 CPUtime=1482.3 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 4528146 0 0 0 147423 807 0 0 25 0 1 0 888066425 263688192 43747 33554432000 4194304 6720400 140734333662784 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 64377 43747 266 617 0 63751 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 257508

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16903
/proc/meminfo: memFree=31445736/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=96388 CPUtime=1542.31 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 4710442 0 0 0 153390 841 0 0 25 0 1 0 888066425 98701312 20718 33554432000 4194304 6720400 140734333662784 18446744073709551615 4714456 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 24097 20718 266 617 0 23471 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 96388

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16905
/proc/meminfo: memFree=31260716/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=259736 CPUtime=1602.31 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 4874193 0 0 0 159360 871 0 0 25 0 1 0 888066425 265969664 50569 33554432000 4194304 6720400 140734333662784 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 64934 50569 266 617 0 64308 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 259736

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 16907
/proc/meminfo: memFree=31214804/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=392812 CPUtime=1662.31 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 5032833 0 0 0 165331 900 0 0 25 0 1 0 888066425 402239488 69267 33554432000 4194304 6720400 140734333662784 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 98203 69267 266 617 0 97577 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 392812

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 16909
/proc/meminfo: memFree=31254852/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=393568 CPUtime=1722.31 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 5192217 0 0 0 171301 930 0 0 25 0 1 0 888066425 403013632 69668 33554432000 4194304 6720400 140734333662784 18446744073709551615 4803111 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 98392 69668 266 617 0 97766 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 393568

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16909
/proc/meminfo: memFree=31174736/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=394700 CPUtime=1782.31 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 5351488 0 0 0 177271 960 0 0 25 0 1 0 888066425 404172800 77783 33554432000 4194304 6720400 140734333662784 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 98675 77784 266 617 0 98049 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 394700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16911
/proc/meminfo: memFree=31229784/32951132 swapFree=67052544/67111528
[pid=16811] ppid=16809 vsize=262624 CPUtime=1800.02 cores=0,2,4,6
/proc/16811/stat : 16811 (minisatid) R 16809 16811 16337 0 -1 4202496 5401175 0 0 0 179033 969 0 0 25 0 1 0 888066425 268926976 54820 33554432000 4194304 6720400 140734333662784 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/16811/statm: 65656 54820 266 617 0 65030 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 262624

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.04
CPU user time (s): 1790.33
CPU system time (s): 9.70252
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 425052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.33
system time used= 9.70252
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5401181
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= 1183

runsolver used 2.86656 second user time and 6.08707 second system time

The end