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-3490995-1307753373/watcher-3490995-1307753373 -o /tmp/evaluation-result-3490995-1307753373/solver-3490995-1307753373 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490995-1307753373.opb --verbosity=0 --format=opb --randomseed=1469042423
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.91 1.96 1.83 3/177 20424
/proc/meminfo: memFree=31451024/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=7760 CPUtime=0 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 453 0 0 0 0 0 0 0 25 0 1 0 886935090 7946240 406 33554432000 4194304 6720400 140735736091408 18446744073709551615 4619237 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1940 406 230 617 0 1314 0
[startup+0.0974621 s]
/proc/loadavg: 1.91 1.96 1.83 3/177 20424
/proc/meminfo: memFree=31451024/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=9496 CPUtime=0.09 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 908 0 0 0 9 0 0 0 25 0 1 0 886935090 9723904 860 33554432000 4194304 6720400 140735736091408 18446744073709551615 4608972 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 2374 860 262 617 0 1748 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9496
[startup+0.100462 s]
/proc/loadavg: 1.91 1.96 1.83 3/177 20424
/proc/meminfo: memFree=31451024/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=9496 CPUtime=0.09 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 908 0 0 0 9 0 0 0 25 0 1 0 886935090 9723904 860 33554432000 4194304 6720400 140735736091408 18446744073709551615 4718173 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 2374 860 262 617 0 1748 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9496
[startup+0.300433 s]
/proc/loadavg: 1.91 1.96 1.83 3/177 20424
/proc/meminfo: memFree=31451024/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=9496 CPUtime=0.29 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 938 0 0 0 29 0 0 0 25 0 1 0 886935090 9723904 888 33554432000 4194304 6720400 140735736091408 18446744073709551615 4608544 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 2374 888 262 617 0 1748 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9496
[startup+0.700352 s]
/proc/loadavg: 1.91 1.96 1.83 3/177 20424
/proc/meminfo: memFree=31451024/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=9648 CPUtime=0.69 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 959 0 0 0 69 0 0 0 25 0 1 0 886935090 9879552 904 33554432000 4194304 6720400 140735736091408 18446744073709551615 4719568 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 2412 904 263 617 0 1786 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9648
[startup+1.50018 s]
/proc/loadavg: 1.91 1.96 1.83 3/178 20425
/proc/meminfo: memFree=31448672/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=9648 CPUtime=1.49 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1009 0 0 0 149 0 0 0 25 0 1 0 886935090 9879552 948 33554432000 4194304 6720400 140735736091408 18446744073709551615 4592424 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 2412 948 264 617 0 1786 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9648
[startup+3.10092 s]
/proc/loadavg: 1.91 1.96 1.83 3/178 20425
/proc/meminfo: memFree=31447928/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=6348 CPUtime=3.09 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1312 0 0 0 309 0 0 0 25 0 1 0 886935090 6500352 1116 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630240 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1587 1116 264 617 0 961 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6348
[startup+6.30033 s]
/proc/loadavg: 1.92 1.96 1.83 3/178 20425
/proc/meminfo: memFree=31447060/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=6348 CPUtime=6.29 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1312 0 0 0 629 0 0 0 25 0 1 0 886935090 6500352 1116 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630356 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1587 1116 264 617 0 961 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6348
[startup+12.7002 s]
/proc/loadavg: 1.93 1.96 1.83 3/178 20425
/proc/meminfo: memFree=31447024/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=6348 CPUtime=12.69 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1312 0 0 0 1269 0 0 0 25 0 1 0 886935090 6500352 1116 33554432000 4194304 6720400 140735736091408 18446744073709551615 4621615 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1587 1116 264 617 0 961 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6348
[startup+25.5008 s]
/proc/loadavg: 1.94 1.96 1.83 3/178 20426
/proc/meminfo: memFree=31440200/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=6348 CPUtime=25.5 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1313 0 0 0 2550 0 0 0 25 0 1 0 886935090 6500352 1117 33554432000 4194304 6720400 140735736091408 18446744073709551615 4621627 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1587 1117 264 617 0 961 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 6348
[startup+51.1012 s]
/proc/loadavg: 1.96 1.97 1.83 3/178 20426
/proc/meminfo: memFree=31438680/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=6348 CPUtime=51.1 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1318 0 0 0 5110 0 0 0 25 0 1 0 886935090 6500352 1120 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630624 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1587 1120 264 617 0 961 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 6348
[startup+102.306 s]
/proc/loadavg: 1.98 1.97 1.84 3/178 20428
/proc/meminfo: memFree=31437788/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=6496 CPUtime=102.3 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1326 0 0 0 10230 0 0 0 25 0 1 0 886935090 6651904 1128 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630240 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1624 1128 264 617 0 998 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 6496
[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.84 3/178 20429
/proc/meminfo: memFree=31436640/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=6496 CPUtime=162.3 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1335 0 0 0 16230 0 0 0 25 0 1 0 886935090 6651904 1137 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630277 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1624 1137 264 617 0 998 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 6496
[startup+222.301 s]
/proc/loadavg: 2.03 1.99 1.85 3/178 20431
/proc/meminfo: memFree=31435616/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=6496 CPUtime=222.3 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1341 0 0 0 22230 0 0 0 25 0 1 0 886935090 6651904 1143 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630277 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1624 1143 264 617 0 998 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 6496
[startup+282.301 s]
/proc/loadavg: 2.01 1.99 1.86 3/178 20432
/proc/meminfo: memFree=31434964/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=6496 CPUtime=282.3 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1349 0 0 0 28230 0 0 0 25 0 1 0 886935090 6651904 1150 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630453 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1624 1150 264 617 0 998 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 6496
[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.86 3/178 20434
/proc/meminfo: memFree=31433324/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=6496 CPUtime=342.3 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1352 0 0 0 34230 0 0 0 25 0 1 0 886935090 6651904 1152 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630721 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1624 1152 264 617 0 998 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 6496
[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.87 3/178 20436
/proc/meminfo: memFree=31425856/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=6496 CPUtime=402.31 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1370 0 0 0 40231 0 0 0 25 0 1 0 886935090 6651904 1170 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630252 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1624 1170 264 617 0 998 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 6496
[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.88 3/178 20437
/proc/meminfo: memFree=31425824/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=6496 CPUtime=462.31 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1374 0 0 0 46231 0 0 0 25 0 1 0 886935090 6651904 1173 33554432000 4194304 6720400 140735736091408 18446744073709551615 4621615 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1624 1173 264 617 0 998 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 6496
[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.88 4/178 20439
/proc/meminfo: memFree=31425796/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=6496 CPUtime=522.31 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1375 0 0 0 52231 0 0 0 25 0 1 0 886935090 6651904 1174 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630733 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1624 1174 264 617 0 998 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 6496
[startup+582.3 s]
/proc/loadavg: 2.06 2.00 1.89 3/178 20440
/proc/meminfo: memFree=31425636/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=6496 CPUtime=582.31 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1375 0 0 0 58231 0 0 0 25 0 1 0 886935090 6651904 1174 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630274 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1624 1174 264 617 0 998 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 6496
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 20456
/proc/meminfo: memFree=31410504/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=6736 CPUtime=822.32 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1447 0 0 0 82232 0 0 0 25 0 1 0 886935090 6897664 1244 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630733 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1684 1244 264 617 0 1058 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 6736
[startup+882.3 s]
/proc/loadavg: 2.08 2.02 1.92 3/178 20457
/proc/meminfo: memFree=31410604/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=6736 CPUtime=882.32 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1447 0 0 0 88232 0 0 0 25 0 1 0 886935090 6897664 1244 33554432000 4194304 6720400 140735736091408 18446744073709551615 4621568 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1684 1244 264 617 0 1058 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 6736
[startup+942.301 s]
/proc/loadavg: 2.03 2.01 1.92 3/178 20462
/proc/meminfo: memFree=31410844/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=7364 CPUtime=942.32 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1460 0 0 0 94232 0 0 0 25 0 1 0 886935090 7540736 1256 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630721 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1841 1256 264 617 0 1215 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 7364
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 20464
/proc/meminfo: memFree=31410692/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=7364 CPUtime=1002.32 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1461 0 0 0 100232 0 0 0 25 0 1 0 886935090 7540736 1257 33554432000 4194304 6720400 140735736091408 18446744073709551615 4621583 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1841 1257 264 617 0 1215 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 7364
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 20465
/proc/meminfo: memFree=31410668/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=7364 CPUtime=1062.33 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1462 0 0 0 106233 0 0 0 25 0 1 0 886935090 7540736 1258 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630240 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1841 1258 264 617 0 1215 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 7364
[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 1.92 3/178 20467
/proc/meminfo: memFree=31410520/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=7364 CPUtime=1122.33 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1462 0 0 0 112233 0 0 0 25 0 1 0 886935090 7540736 1258 33554432000 4194304 6720400 140735736091408 18446744073709551615 4621637 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1841 1258 264 617 0 1215 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 7364
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/178 20468
/proc/meminfo: memFree=31410252/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=7364 CPUtime=1182.33 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1467 0 0 0 118233 0 0 0 25 0 1 0 886935090 7540736 1263 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630721 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1841 1263 264 617 0 1215 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 7364
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 20470
/proc/meminfo: memFree=31410100/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=7364 CPUtime=1242.33 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1468 0 0 0 124233 0 0 0 25 0 1 0 886935090 7540736 1264 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630759 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1841 1264 264 617 0 1215 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 7364
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 20625
/proc/meminfo: memFree=31485968/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=7364 CPUtime=1302.34 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1469 0 0 0 130234 0 0 0 25 0 1 0 886935090 7540736 1265 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630371 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1841 1265 264 617 0 1215 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 7364
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 20626
/proc/meminfo: memFree=31457980/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=7364 CPUtime=1362.33 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1470 0 0 0 136233 0 0 0 25 0 1 0 886935090 7540736 1266 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630733 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1841 1266 264 617 0 1215 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 7364
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 20628
/proc/meminfo: memFree=31456468/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=7364 CPUtime=1422.34 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1474 0 0 0 142234 0 0 0 25 0 1 0 886935090 7540736 1270 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630649 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1841 1270 264 617 0 1215 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 7364
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 20629
/proc/meminfo: memFree=31442800/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=7364 CPUtime=1482.34 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1474 0 0 0 148234 0 0 0 25 0 1 0 886935090 7540736 1270 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630365 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1841 1270 264 617 0 1215 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 7364
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 20631
/proc/meminfo: memFree=31424544/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=7364 CPUtime=1542.34 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1474 0 0 0 154234 0 0 0 25 0 1 0 886935090 7540736 1270 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630277 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1841 1270 264 617 0 1215 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 7364
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 20633
/proc/meminfo: memFree=31424016/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=7604 CPUtime=1602.34 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1597 0 0 0 160234 0 0 0 25 0 1 0 886935090 7786496 1393 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630499 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1901 1393 264 617 0 1275 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 7604
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 20634
/proc/meminfo: memFree=31419288/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=7604 CPUtime=1662.34 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1598 0 0 0 166234 0 0 0 25 0 1 0 886935090 7786496 1394 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630277 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 1901 1394 264 617 0 1275 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 7604
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 20636
/proc/meminfo: memFree=31417152/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=10032 CPUtime=1722.34 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 1925 0 0 0 172234 0 0 0 25 0 1 0 886935090 10272768 1719 33554432000 4194304 6720400 140735736091408 18446744073709551615 4630649 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 2508 1719 264 617 0 1882 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 10032
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 20637
/proc/meminfo: memFree=31379676/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=47536 CPUtime=1782.34 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 18638 0 0 0 178232 2 0 0 25 0 1 0 886935090 48676864 11032 33554432000 4194304 6720400 140735736091408 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 11884 11032 264 617 0 11258 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 47536
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 20638
/proc/meminfo: memFree=31378920/32951124 swapFree=67076880/67111528
[pid=20424] ppid=20422 vsize=47536 CPUtime=1800.04 cores=0,2,4,6
/proc/20424/stat : 20424 (minisatid) R 20422 20424 17771 0 -1 4202496 21594 0 0 0 180002 2 0 0 25 0 1 0 886935090 48676864 11088 33554432000 4194304 6720400 140735736091408 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/20424/statm: 11884 11088 264 617 0 11258 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 47536
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.06
CPU user time (s): 1800.03
CPU system time (s): 0.031995
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 47536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21601
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= 2756
runsolver used 2.73958 second user time and 5.45017 second system time
The end