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-3490674-1307763838/watcher-3490674-1307763838 -o /tmp/evaluation-result-3490674-1307763838/solver-3490674-1307763838 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490674-1307763838.opb --verbosity=0 --format=opb --randomseed=1382764227
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.90 1.97 1.99 2/174 11664
/proc/meminfo: memFree=31830116/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=7448 CPUtime=0 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 394 0 0 0 0 0 0 0 25 0 1 0 887984164 7626752 346 33554432000 4194304 6720400 140734040526096 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 1862 346 232 617 0 1236 0
[startup+0.0336359 s]
/proc/loadavg: 1.90 1.97 1.99 2/174 11664
/proc/meminfo: memFree=31830116/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=10600 CPUtime=0.03 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 1209 0 0 0 3 0 0 0 25 0 1 0 887984164 10854400 1161 33554432000 4194304 6720400 140734040526096 18446744073709551615 4803111 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 2650 1161 257 617 0 2024 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10600
[startup+0.10065 s]
/proc/loadavg: 1.90 1.97 1.99 2/174 11664
/proc/meminfo: memFree=31830116/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=10600 CPUtime=0.09 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 1529 0 0 0 9 0 0 0 25 0 1 0 887984164 10854400 1480 33554432000 4194304 6720400 140734040526096 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 2650 1480 265 617 0 2024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10600
[startup+0.30061 s]
/proc/loadavg: 1.90 1.97 1.99 2/174 11664
/proc/meminfo: memFree=31830116/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=13444 CPUtime=0.29 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 2480 0 0 0 29 0 0 0 25 0 1 0 887984164 13766656 2421 33554432000 4194304 6720400 140734040526096 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 3361 2421 265 617 0 2735 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13444
[startup+0.700529 s]
/proc/loadavg: 1.90 1.97 1.99 2/174 11664
/proc/meminfo: memFree=31830116/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=25044 CPUtime=0.69 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 4449 0 0 0 69 0 0 0 25 0 1 0 887984164 25645056 4377 33554432000 4194304 6720400 140734040526096 18446744073709551615 4803216 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 6261 4377 266 617 0 5635 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25044
[startup+1.50039 s]
/proc/loadavg: 1.91 1.97 1.99 3/175 11665
/proc/meminfo: memFree=31777680/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=18008 CPUtime=1.49 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 8802 0 0 0 148 1 0 0 25 0 1 0 887984164 18440192 3766 33554432000 4194304 6720400 140734040526096 18446744073709551615 4811706 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 4502 3767 266 617 0 3876 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18008
[startup+3.10109 s]
/proc/loadavg: 1.91 1.97 1.99 3/175 11665
/proc/meminfo: memFree=31805208/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=44040 CPUtime=3.09 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 18486 0 0 0 307 2 0 0 25 0 1 0 887984164 45096960 6517 33554432000 4194304 6720400 140734040526096 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 11010 6517 266 617 0 10384 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44040
[startup+6.30052 s]
/proc/loadavg: 1.92 1.97 1.99 3/175 11665
/proc/meminfo: memFree=31787432/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=112216 CPUtime=6.29 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 31975 0 0 0 626 3 0 0 25 0 1 0 887984164 114909184 19971 33554432000 4194304 6720400 140734040526096 18446744073709551615 4431801 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 28054 19971 266 617 0 27428 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 112216
[startup+12.7003 s]
/proc/loadavg: 1.92 1.97 1.99 3/175 11665
/proc/meminfo: memFree=31782696/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=62896 CPUtime=12.69 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 32525 0 0 0 1266 3 0 0 25 0 1 0 887984164 64405504 11793 33554432000 4194304 6720400 140734040526096 18446744073709551615 4715097 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 15724 11793 266 617 0 15098 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62896
[startup+25.501 s]
/proc/loadavg: 1.93 1.97 1.99 3/175 11666
/proc/meminfo: memFree=31782780/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=62896 CPUtime=25.49 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 97921 0 0 0 2538 11 0 0 25 0 1 0 887984164 64405504 11793 33554432000 4194304 6720400 140734040526096 18446744073709551615 4802230 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 15724 11793 266 617 0 15098 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62896
[startup+51.1004 s]
/proc/loadavg: 1.96 1.97 1.99 3/175 11666
/proc/meminfo: memFree=31716852/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=112216 CPUtime=51.09 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 230207 0 0 0 5080 29 0 0 25 0 1 0 887984164 114909184 22178 33554432000 4194304 6720400 140734040526096 18446744073709551615 4815428 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 28054 22178 266 617 0 27428 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 112216
[startup+102.306 s]
/proc/loadavg: 2.04 1.99 1.99 3/175 11668
/proc/meminfo: memFree=31690784/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=112216 CPUtime=102.3 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 485642 0 0 0 10165 65 0 0 25 0 1 0 887984164 114909184 22458 33554432000 4194304 6720400 140734040526096 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 28054 22458 266 617 0 27428 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 112216
[startup+162.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/175 11669
/proc/meminfo: memFree=31698680/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=79592 CPUtime=162.29 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 786894 0 0 0 16123 106 0 0 25 0 1 0 887984164 81502208 19471 33554432000 4194304 6720400 140734040526096 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 19898 19471 266 617 0 19272 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 79592
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/175 11671
/proc/meminfo: memFree=31711536/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=128912 CPUtime=222.3 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 1083765 0 0 0 22082 148 0 0 25 0 1 0 887984164 132005888 30220 33554432000 4194304 6720400 140734040526096 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 32228 30220 266 617 0 31602 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 128912
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/175 11673
/proc/meminfo: memFree=31741516/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=128912 CPUtime=282.3 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 1359839 0 0 0 28041 189 0 0 25 0 1 0 887984164 132005888 30298 33554432000 4194304 6720400 140734040526096 18446744073709551615 4617057 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 32228 30298 266 617 0 31602 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 128912
[startup+342.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/175 11674
/proc/meminfo: memFree=31648860/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=159732 CPUtime=342.3 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 1642085 0 0 0 33999 231 0 0 25 0 1 0 887984164 163565568 33281 33554432000 4194304 6720400 140734040526096 18446744073709551615 4613358 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 39933 33281 266 617 0 39307 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 159732
[startup+402.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 11676
/proc/meminfo: memFree=31624776/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=159732 CPUtime=402.3 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 1902008 0 0 0 39958 272 0 0 25 0 1 0 887984164 163565568 32973 33554432000 4194304 6720400 140734040526096 18446744073709551615 4622187 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 39933 32973 266 617 0 39307 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 159732
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11677
/proc/meminfo: memFree=31621644/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=159732 CPUtime=462.31 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 2154973 0 0 0 45919 312 0 0 25 0 1 0 887984164 163565568 37458 33554432000 4194304 6720400 140734040526096 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 39933 37458 266 617 0 39307 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 159732
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11679
/proc/meminfo: memFree=31650744/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=128912 CPUtime=522.31 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 2416233 0 0 0 51878 353 0 0 25 0 1 0 887984164 132005888 27711 33554432000 4194304 6720400 140734040526096 18446744073709551615 4816944 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 32228 27711 266 617 0 31602 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 128912
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11681
/proc/meminfo: memFree=31598124/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=159732 CPUtime=582.31 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 2684191 0 0 0 57839 392 0 0 25 0 1 0 887984164 163565568 33671 33554432000 4194304 6720400 140734040526096 18446744073709551615 4715097 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 39933 33671 266 617 0 39307 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 159732
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11687
/proc/meminfo: memFree=31626128/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=86692 CPUtime=822.32 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 3729754 0 0 0 81694 538 0 0 25 0 1 0 887984164 88772608 21248 33554432000 4194304 6720400 140734040526096 18446744073709551615 4811645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 21673 21248 266 617 0 21047 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 86692
[startup+882.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 11689
/proc/meminfo: memFree=31610472/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=136012 CPUtime=882.32 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 4024874 0 0 0 87653 579 0 0 25 0 1 0 887984164 139276288 32216 33554432000 4194304 6720400 140734040526096 18446744073709551615 4817456 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 34003 32216 266 617 0 33377 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 136012
[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 11690
/proc/meminfo: memFree=31644036/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=136012 CPUtime=942.32 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 4309513 0 0 0 93611 621 0 0 25 0 1 0 887984164 139276288 30141 33554432000 4194304 6720400 140734040526096 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 34003 30141 266 617 0 33377 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 136012
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11692
/proc/meminfo: memFree=31594776/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=110136 CPUtime=1002.32 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 4582433 0 0 0 99573 659 0 0 25 0 1 0 887984164 112779264 27109 33554432000 4194304 6720400 140734040526096 18446744073709551615 5722431 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 27534 27109 266 617 0 26908 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 110136
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11702
/proc/meminfo: memFree=31688740/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=110136 CPUtime=1062.32 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 4856963 0 0 0 105532 700 0 0 25 0 1 0 887984164 112779264 27109 33554432000 4194304 6720400 140734040526096 18446744073709551615 4714888 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 27534 27109 266 617 0 26908 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 110136
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11704
/proc/meminfo: memFree=31648284/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=159456 CPUtime=1122.32 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 5133665 0 0 0 111492 740 0 0 25 0 1 0 887984164 163282944 35043 33554432000 4194304 6720400 140734040526096 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 39864 35043 266 617 0 39238 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 159456
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11706
/proc/meminfo: memFree=31643784/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=159456 CPUtime=1182.33 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 5402822 0 0 0 117452 781 0 0 25 0 1 0 887984164 163282944 37873 33554432000 4194304 6720400 140734040526096 18446744073709551615 4802230 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 39864 37873 266 617 0 39238 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 159456
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11710
/proc/meminfo: memFree=31541884/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=190276 CPUtime=1242.33 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 5679682 0 0 0 123410 823 0 0 25 0 1 0 887984164 194842624 43822 33554432000 4194304 6720400 140734040526096 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 47569 43822 266 617 0 46943 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 190276
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11712
/proc/meminfo: memFree=31516052/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=190276 CPUtime=1302.34 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 5948533 0 0 0 129369 865 0 0 25 0 1 0 887984164 194842624 43890 33554432000 4194304 6720400 140734040526096 18446744073709551615 4437277 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 47569 43890 266 617 0 46943 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 190276
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11713
/proc/meminfo: memFree=31551988/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=190276 CPUtime=1362.33 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 6212068 0 0 0 135326 907 0 0 25 0 1 0 887984164 194842624 41046 33554432000 4194304 6720400 140734040526096 18446744073709551615 4812690 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 47569 41046 266 617 0 46943 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 190276
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11715
/proc/meminfo: memFree=31562124/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=240364 CPUtime=1422.34 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 6482424 0 0 0 141285 949 0 0 25 0 1 0 887984164 246132736 51304 33554432000 4194304 6720400 140734040526096 18446744073709551615 4616696 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 60091 51304 266 617 0 59465 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 240364
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11717
/proc/meminfo: memFree=31541496/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=240364 CPUtime=1482.34 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 6748650 0 0 0 147242 992 0 0 25 0 1 0 887984164 246132736 47719 33554432000 4194304 6720400 140734040526096 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 60091 47719 266 617 0 59465 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 240364
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11718
/proc/meminfo: memFree=31561076/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=159456 CPUtime=1542.34 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 7012347 0 0 0 153200 1034 0 0 25 0 1 0 887984164 163282944 35104 33554432000 4194304 6720400 140734040526096 18446744073709551615 5551804 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 39864 35104 266 617 0 39238 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 159456
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11720
/proc/meminfo: memFree=31511080/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=110136 CPUtime=1602.34 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 7266945 0 0 0 159157 1077 0 0 25 0 1 0 887984164 112779264 27109 33554432000 4194304 6720400 140734040526096 18446744073709551615 4820024 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 27534 27109 266 617 0 26908 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 110136
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11721
/proc/meminfo: memFree=31610880/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=190276 CPUtime=1662.34 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 7510219 0 0 0 165122 1112 0 0 25 0 1 0 887984164 194842624 39858 33554432000 4194304 6720400 140734040526096 18446744073709551615 4432348 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 47569 39858 266 617 0 46943 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 190276
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11762
/proc/meminfo: memFree=31721792/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=159456 CPUtime=1722.34 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 7761030 0 0 0 171083 1151 0 0 25 0 1 0 887984164 163282944 38384 33554432000 4194304 6720400 140734040526096 18446744073709551615 5724397 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 39864 38385 266 617 0 39238 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 159456
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11764
/proc/meminfo: memFree=31621376/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=110136 CPUtime=1782.34 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 8017220 0 0 0 177045 1189 0 0 25 0 1 0 887984164 112779264 27109 33554432000 4194304 6720400 140734040526096 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 27534 27109 266 617 0 26908 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 110136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11764
/proc/meminfo: memFree=31632528/32951124 swapFree=67060628/67111528
[pid=11664] ppid=11662 vsize=240364 CPUtime=1800.05 cores=0,2,4,6
/proc/11664/stat : 11664 (minisatid) R 11662 11664 8673 0 -1 4202496 8096142 0 0 0 178806 1199 0 0 25 0 1 0 887984164 246132736 52021 33554432000 4194304 6720400 140734040526096 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11664/statm: 60091 52021 266 617 0 59465 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 240364
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.07
CPU user time (s): 1788.06
CPU system time (s): 12.0052
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 240364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.06
system time used= 12.0052
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8096149
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= 4
involuntary context switches= 3330
runsolver used 2.68959 second user time and 5.52016 second system time
The end