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-3490535-1307772067/watcher-3490535-1307772067 -o /tmp/evaluation-result-3490535-1307772067/solver-3490535-1307772067 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490535-1307772067.opb --verbosity=0 --format=opb --randomseed=1123356865
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 1/175 16889
/proc/meminfo: memFree=31869168/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=7712 CPUtime=0 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 450 0 0 0 0 0 0 0 25 0 1 0 869622150 7897088 402 33554432000 4194304 6720400 140733963142240 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16889/statm: 1928 402 232 617 0 1302 0
[startup+0.0361931 s]
/proc/loadavg: 2.00 2.00 2.00 1/175 16889
/proc/meminfo: memFree=31869168/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=10400 CPUtime=0.03 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 1123 0 0 0 3 0 0 0 25 0 1 0 869622150 10649600 1075 33554432000 4194304 6720400 140733963142240 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16889/statm: 2600 1076 232 617 0 1974 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10400
[startup+0.101194 s]
/proc/loadavg: 2.00 2.00 2.00 1/175 16889
/proc/meminfo: memFree=31869168/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=16032 CPUtime=0.1 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 2531 0 0 0 10 0 0 0 25 0 1 0 869622150 16416768 2483 33554432000 4194304 6720400 140733963142240 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16889/statm: 4008 2483 232 617 0 3382 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16032
[startup+0.301158 s]
/proc/loadavg: 2.00 2.00 2.00 1/175 16889
/proc/meminfo: memFree=31869168/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=36148 CPUtime=0.29 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 7645 0 0 0 29 0 0 0 25 0 1 0 869622150 37015552 7370 33554432000 4194304 6720400 140733963142240 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16889/statm: 9037 7372 245 617 0 8411 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36148
[startup+0.701081 s]
/proc/loadavg: 2.00 2.00 2.00 1/175 16889
/proc/meminfo: memFree=31869168/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=87952 CPUtime=0.69 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 20698 0 0 0 67 2 0 0 25 0 1 0 869622150 90062848 20423 33554432000 4194304 6720400 140733963142240 18446744073709551615 4805835 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16889/statm: 21988 20423 257 617 0 21362 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87952
[startup+1.50094 s]
/proc/loadavg: 1.92 1.98 1.99 2/176 16890
/proc/meminfo: memFree=31788204/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=87952 CPUtime=1.49 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 20721 0 0 0 147 2 0 0 25 0 1 0 869622150 90062848 20444 33554432000 4194304 6720400 140733963142240 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16889/statm: 21988 20444 257 617 0 21362 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87952
[startup+3.10063 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 16928
/proc/meminfo: memFree=31755168/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=102812 CPUtime=3.09 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 25075 0 0 0 307 2 0 0 25 0 1 0 869622150 105279488 24792 33554432000 4194304 6720400 140733963142240 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16889/statm: 25703 24792 265 617 0 25077 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102812
[startup+6.30104 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 16928
/proc/meminfo: memFree=31660092/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=137844 CPUtime=6.29 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 51386 0 0 0 624 5 0 0 25 0 1 0 869622150 141152256 33939 33554432000 4194304 6720400 140733963142240 18446744073709551615 4805779 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16889/statm: 34461 33939 265 617 0 33835 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 137844
[startup+12.7009 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 16929
/proc/meminfo: memFree=31544280/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=187164 CPUtime=12.69 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 96947 0 0 0 1257 12 0 0 25 0 1 0 869622150 191655936 45427 33554432000 4194304 6720400 140733963142240 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16889/statm: 46791 45427 265 617 0 46165 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 187164
[startup+25.5005 s]
/proc/loadavg: 1.94 1.98 1.99 3/178 16929
/proc/meminfo: memFree=31499396/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=187164 CPUtime=25.49 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 194396 0 0 0 2523 26 0 0 25 0 1 0 869622150 191655936 46101 33554432000 4194304 6720400 140733963142240 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/16889/statm: 46791 46101 265 617 0 46165 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 187164
[startup+51.1008 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 16930
/proc/meminfo: memFree=31420960/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=253600 CPUtime=51.09 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 366484 0 0 0 5059 50 0 0 25 0 1 0 869622150 259686400 56031 33554432000 4194304 6720400 140733963142240 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 63400 56031 265 617 0 62774 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 253600
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 16931
/proc/meminfo: memFree=31420936/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=253600 CPUtime=102.3 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 684845 0 0 0 10132 98 0 0 25 0 1 0 869622150 259686400 57015 33554432000 4194304 6720400 140733963142240 18446744073709551615 4820080 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 63400 57015 265 617 0 62774 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 253600
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16933
/proc/meminfo: memFree=31413228/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=253600 CPUtime=162.29 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 1021002 0 0 0 16082 147 0 0 25 0 1 0 869622150 259686400 61473 33554432000 4194304 6720400 140733963142240 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 63400 61473 265 617 0 62774 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 253600
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16934
/proc/meminfo: memFree=31383204/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=259876 CPUtime=222.3 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 1325165 0 0 0 22038 192 0 0 25 0 1 0 869622150 266113024 57966 33554432000 4194304 6720400 140733963142240 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 64969 57966 265 617 0 64343 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 259876
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16936
/proc/meminfo: memFree=31394584/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=318748 CPUtime=282.3 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 1732623 0 0 0 27974 256 0 0 25 0 1 0 869622150 326397952 68318 33554432000 4194304 6720400 140733963142240 18446744073709551615 4805779 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 79687 68318 265 617 0 79061 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 318748
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16937
/proc/meminfo: memFree=31360708/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=271756 CPUtime=342.3 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 2074619 0 0 0 33920 310 0 0 25 0 1 0 869622150 278278144 60416 33554432000 4194304 6720400 140733963142240 18446744073709551615 4805649 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 67939 60416 265 617 0 67313 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 271756
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16939
/proc/meminfo: memFree=31391440/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=281208 CPUtime=402.3 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 2401763 0 0 0 39871 359 0 0 25 0 1 0 869622150 287956992 61831 33554432000 4194304 6720400 140733963142240 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 70302 61831 265 617 0 69676 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 281208
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16941
/proc/meminfo: memFree=31360540/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=254560 CPUtime=462.31 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 2719733 0 0 0 45821 410 0 0 25 0 1 0 869622150 260669440 59377 33554432000 4194304 6720400 140733963142240 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 63640 59377 265 617 0 63014 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 254560
[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16942
/proc/meminfo: memFree=31321712/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=286636 CPUtime=522.3 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 3071704 0 0 0 51766 464 0 0 25 0 1 0 869622150 293515264 69856 33554432000 4194304 6720400 140733963142240 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 71659 69856 265 617 0 71033 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 286636
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16944
/proc/meminfo: memFree=31311876/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=292548 CPUtime=582.3 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 3499523 0 0 0 57698 532 0 0 25 0 1 0 869622150 299569152 66374 33554432000 4194304 6720400 140733963142240 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 73137 66374 265 617 0 72511 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 292548
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16950
/proc/meminfo: memFree=31244080/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=286192 CPUtime=822.32 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 4702695 0 0 0 81511 721 0 0 25 0 1 0 869622150 293060608 66277 33554432000 4194304 6720400 140733963142240 18446744073709551615 4817149 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 71548 66278 265 617 0 70922 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 286192
[startup+882.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16952
/proc/meminfo: memFree=31222468/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=369468 CPUtime=882.32 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 5019481 0 0 0 87464 768 0 0 25 0 1 0 869622150 378335232 79424 33554432000 4194304 6720400 140733963142240 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 92367 79425 265 617 0 91741 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 369468
[startup+942.3 s]
/proc/loadavg: 2.10 2.01 2.00 3/178 16953
/proc/meminfo: memFree=31311724/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=370988 CPUtime=942.31 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 5285576 0 0 0 93421 810 0 0 25 0 1 0 869622150 379891712 77683 33554432000 4194304 6720400 140733963142240 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 92747 77683 265 617 0 92121 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 370988
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 16955
/proc/meminfo: memFree=31297068/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=352764 CPUtime=1002.32 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 5578786 0 0 0 99375 857 0 0 25 0 1 0 869622150 361230336 81983 33554432000 4194304 6720400 140733963142240 18446744073709551615 4816966 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 88191 81984 265 617 0 87565 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 352764
[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 16957
/proc/meminfo: memFree=31263692/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=356176 CPUtime=1062.33 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 5855676 0 0 0 105335 898 0 0 25 0 1 0 869622150 364724224 78569 33554432000 4194304 6720400 140733963142240 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 89044 78569 265 617 0 88418 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 356176
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16958
/proc/meminfo: memFree=31232176/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=407212 CPUtime=1122.33 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 6221239 0 0 0 111282 951 0 0 25 0 1 0 869622150 416985088 90723 33554432000 4194304 6720400 140733963142240 18446744073709551615 4816948 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 101803 90723 265 617 0 101177 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 407212
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16960
/proc/meminfo: memFree=31211064/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=326304 CPUtime=1182.32 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 6646817 0 0 0 117216 1016 0 0 25 0 1 0 869622150 334135296 74760 33554432000 4194304 6720400 140733963142240 18446744073709551615 4805760 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 81576 74760 265 617 0 80950 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 326304
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16961
/proc/meminfo: memFree=31244896/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=357124 CPUtime=1242.33 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 6994007 0 0 0 123163 1070 0 0 25 0 1 0 869622150 365694976 80313 33554432000 4194304 6720400 140733963142240 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 89281 80313 265 617 0 88655 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 357124
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16963
/proc/meminfo: memFree=31305644/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=329340 CPUtime=1302.33 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 7214235 0 0 0 129129 1104 0 0 25 0 1 0 869622150 337244160 78373 33554432000 4194304 6720400 140733963142240 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 82335 78373 265 617 0 81709 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 329340
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16965
/proc/meminfo: memFree=31195632/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=282296 CPUtime=1362.33 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 7478432 0 0 0 135083 1150 0 0 25 0 1 0 869622150 289071104 67412 33554432000 4194304 6720400 140733963142240 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 70574 67412 265 617 0 69948 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 282296
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16966
/proc/meminfo: memFree=31215580/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=414988 CPUtime=1422.34 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 7690283 0 0 0 141050 1184 0 0 25 0 1 0 869622150 424947712 91180 33554432000 4194304 6720400 140733963142240 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 103747 91180 265 617 0 103121 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 414988
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 16971
/proc/meminfo: memFree=31255664/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=366988 CPUtime=1482.34 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 7920614 0 0 0 147012 1222 0 0 25 0 1 0 869622150 375795712 84892 33554432000 4194304 6720400 140733963142240 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 91747 84893 265 617 0 91121 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 366988
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16972
/proc/meminfo: memFree=31230076/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=418592 CPUtime=1542.34 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 8211340 0 0 0 152968 1266 0 0 25 0 1 0 869622150 428638208 89262 33554432000 4194304 6720400 140733963142240 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 104648 89263 265 617 0 104022 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 418592
[startup+1602.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/178 16974
/proc/meminfo: memFree=31263912/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=339960 CPUtime=1602.34 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 8429375 0 0 0 158933 1301 0 0 25 0 1 0 869622150 348119040 79910 33554432000 4194304 6720400 140733963142240 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 84990 79910 265 617 0 84364 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 339960
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 16976
/proc/meminfo: memFree=31227932/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=389740 CPUtime=1662.35 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 8679433 0 0 0 164894 1341 0 0 25 0 1 0 869622150 399093760 84680 33554432000 4194304 6720400 140733963142240 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 97435 84680 265 617 0 96809 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 389740
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16977
/proc/meminfo: memFree=31223568/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=389740 CPUtime=1722.34 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 8894189 0 0 0 170858 1376 0 0 25 0 1 0 869622150 399093760 84720 33554432000 4194304 6720400 140733963142240 18446744073709551615 4811672 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 97435 84720 265 617 0 96809 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 389740
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16979
/proc/meminfo: memFree=31220444/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=389740 CPUtime=1782.34 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 9104193 0 0 0 176825 1409 0 0 25 0 1 0 869622150 399093760 83472 33554432000 4194304 6720400 140733963142240 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 97435 83472 265 617 0 96809 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 389740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16979
/proc/meminfo: memFree=31193652/32951124 swapFree=67053960/67111528
[pid=16889] ppid=16887 vsize=439828 CPUtime=1800.05 cores=0,2,4,6
/proc/16889/stat : 16889 (minisatid) R 16887 16889 15536 0 -1 4202496 9198486 0 0 0 178581 1424 0 0 25 0 1 0 869622150 450383872 96115 33554432000 4194304 6720400 140733963142240 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/16889/statm: 109957 96115 265 617 0 109331 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 439828
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.08
CPU user time (s): 1785.81
CPU system time (s): 14.2638
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 459568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.81
system time used= 14.2638
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9198491
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= 6183
runsolver used 3.00554 second user time and 5.71813 second system time
The end