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-3490746-1307772748/watcher-3490746-1307772748 -o /tmp/evaluation-result-3490746-1307772748/solver-3490746-1307772748 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490746-1307772748.opb --verbosity=0 --format=opb --randomseed=239639185
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19985
/proc/meminfo: memFree=30602312/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=7608 CPUtime=0 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 423 0 0 0 0 0 0 0 25 0 1 0 888872740 7790592 375 33554432000 4194304 6720400 140734089506592 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 1902 375 231 617 0 1276 0
[startup+0.10079 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19985
/proc/meminfo: memFree=30602312/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=15160 CPUtime=0.09 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 2302 0 0 0 9 0 0 0 25 0 1 0 888872740 15523840 2254 33554432000 4194304 6720400 140734089506592 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 3790 2255 231 617 0 3164 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15160
[startup+0.200777 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19985
/proc/meminfo: memFree=30602312/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=22712 CPUtime=0.19 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 4212 0 0 0 19 0 0 0 25 0 1 0 888872740 23257088 4164 33554432000 4194304 6720400 140734089506592 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 5678 4164 231 617 0 5052 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22712
[startup+0.300757 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19985
/proc/meminfo: memFree=30602312/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=30392 CPUtime=0.29 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 6113 0 0 0 29 0 0 0 25 0 1 0 888872740 31121408 6065 33554432000 4194304 6720400 140734089506592 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 7598 6066 231 617 0 6972 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30392
[startup+0.700684 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19985
/proc/meminfo: memFree=30602312/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=89848 CPUtime=0.68 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 21163 0 0 0 66 2 0 0 25 0 1 0 888872740 92004352 20634 33554432000 4194304 6720400 140734089506592 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 22462 20638 245 617 0 21836 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 89848
[startup+1.5005 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 19986
/proc/meminfo: memFree=30481664/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=117700 CPUtime=1.49 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 28049 0 0 0 146 3 0 0 25 0 1 0 888872740 120524800 27520 33554432000 4194304 6720400 140734089506592 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 29425 27520 257 617 0 28799 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117700
[startup+3.10024 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 19986
/proc/meminfo: memFree=30554576/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=117700 CPUtime=3.09 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 28071 0 0 0 306 3 0 0 25 0 1 0 888872740 120524800 27542 33554432000 4194304 6720400 140734089506592 18446744073709551615 4805734 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 29425 27542 257 617 0 28799 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 117700
[startup+6.30067 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 19986
/proc/meminfo: memFree=30467836/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=133088 CPUtime=6.29 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 41343 0 0 0 625 4 0 0 25 0 1 0 888872740 136282112 32557 33554432000 4194304 6720400 140734089506592 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 33272 32557 266 617 0 32646 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 133088
[startup+12.7005 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 19987
/proc/meminfo: memFree=30445760/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=199552 CPUtime=12.69 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 74260 0 0 0 1260 9 0 0 25 0 1 0 888872740 204341248 41855 33554432000 4194304 6720400 140734089506592 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 49888 41855 266 617 0 49262 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 199552
[startup+25.5012 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 19987
/proc/meminfo: memFree=30497956/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=176972 CPUtime=25.49 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 152209 0 0 0 2529 20 0 0 25 0 1 0 888872740 181219328 42251 33554432000 4194304 6720400 140734089506592 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 44243 42251 266 617 0 43617 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 176972
[startup+51.1006 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 19988
/proc/meminfo: memFree=30427368/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=188444 CPUtime=51.09 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 318787 0 0 0 5063 46 0 0 25 0 1 0 888872740 192966656 44481 33554432000 4194304 6720400 140734089506592 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 47111 44481 266 617 0 46485 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 188444
[startup+102.301 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 19989
/proc/meminfo: memFree=30406844/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=242340 CPUtime=102.3 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 635306 0 0 0 10135 95 0 0 25 0 1 0 888872740 248156160 56117 33554432000 4194304 6720400 140734089506592 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 60585 56117 266 617 0 59959 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 242340
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19991
/proc/meminfo: memFree=30343068/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=269776 CPUtime=162.29 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 1010537 0 0 0 16080 149 0 0 25 0 1 0 888872740 276250624 62760 33554432000 4194304 6720400 140734089506592 18446744073709551615 4816969 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 67444 62761 266 617 0 66818 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 269776
[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19992
/proc/meminfo: memFree=30316740/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=342116 CPUtime=222.3 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 1336844 0 0 0 22032 198 0 0 25 0 1 0 888872740 350326784 76226 33554432000 4194304 6720400 140734089506592 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 85529 76226 266 617 0 84903 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 342116
[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19994
/proc/meminfo: memFree=30308748/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=268128 CPUtime=282.3 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 1646529 0 0 0 27988 242 0 0 25 0 1 0 888872740 274563072 63229 33554432000 4194304 6720400 140734089506592 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 67032 63229 266 617 0 66406 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 268128
[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19995
/proc/meminfo: memFree=30327912/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=317280 CPUtime=342.3 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 2064105 0 0 0 33926 304 0 0 25 0 1 0 888872740 324894720 74166 33554432000 4194304 6720400 140734089506592 18446744073709551615 4617051 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 79320 74166 266 617 0 78694 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 317280
[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 20036
/proc/meminfo: memFree=30328896/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=370844 CPUtime=402.3 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 2363906 0 0 0 39882 348 0 0 25 0 1 0 888872740 379744256 82285 33554432000 4194304 6720400 140734089506592 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 92711 82286 266 617 0 92085 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 370844
[startup+462.301 s]
/proc/loadavg: 2.04 2.00 2.00 3/178 20038
/proc/meminfo: memFree=30244748/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=329036 CPUtime=462.3 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 2674736 0 0 0 45833 397 0 0 25 0 1 0 888872740 336932864 71165 33554432000 4194304 6720400 140734089506592 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 82259 71165 266 617 0 81633 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 329036
[startup+522.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 20039
/proc/meminfo: memFree=30245204/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=381464 CPUtime=522.31 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 3000772 0 0 0 51787 444 0 0 25 0 1 0 888872740 390619136 80978 33554432000 4194304 6720400 140734089506592 18446744073709551615 4802227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 95366 80979 266 617 0 94740 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 381464
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20041
/proc/meminfo: memFree=30148580/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=337444 CPUtime=582.3 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 3301039 0 0 0 57742 488 0 0 25 0 1 0 888872740 345542656 73360 33554432000 4194304 6720400 140734089506592 18446744073709551615 4816987 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 84361 73361 266 617 0 83735 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 337444
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20049
/proc/meminfo: memFree=30138368/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=403620 CPUtime=882.32 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 5027909 0 0 0 87495 737 0 0 25 0 1 0 888872740 413306880 92434 33554432000 4194304 6720400 140734089506592 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 100905 92434 266 617 0 100279 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 403620
[startup+942.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 20050
/proc/meminfo: memFree=30165112/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=408268 CPUtime=942.32 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 5308535 0 0 0 93455 777 0 0 25 0 1 0 888872740 418066432 86924 33554432000 4194304 6720400 140734089506592 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 102067 86924 266 617 0 101441 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 408268
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20052
/proc/meminfo: memFree=30162592/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=361780 CPUtime=1002.32 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 5600015 0 0 0 99410 822 0 0 25 0 1 0 888872740 370462720 81587 33554432000 4194304 6720400 140734089506592 18446744073709551615 4592903 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 90445 81587 266 617 0 89819 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 361780
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20053
/proc/meminfo: memFree=30039412/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=495344 CPUtime=1062.32 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 5932519 0 0 0 105360 872 0 0 25 0 1 0 888872740 507232256 99051 33554432000 4194304 6720400 140734089506592 18446744073709551615 4816980 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 123836 99052 266 617 0 123210 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 495344
[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 20055
/proc/meminfo: memFree=30093436/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=416516 CPUtime=1122.33 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 6196844 0 0 0 111320 913 0 0 25 0 1 0 888872740 426512384 88991 33554432000 4194304 6720400 140734089506592 18446744073709551615 4802230 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 104129 88991 266 617 0 103503 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 416516
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 20057
/proc/meminfo: memFree=30092276/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=370032 CPUtime=1182.32 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 6459654 0 0 0 117281 951 0 0 25 0 1 0 888872740 378912768 82196 33554432000 4194304 6720400 140734089506592 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 92508 82196 266 617 0 91882 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 370032
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 20058
/proc/meminfo: memFree=30080324/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=421824 CPUtime=1242.33 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 6766501 0 0 0 123235 998 0 0 25 0 1 0 888872740 431947776 91347 33554432000 4194304 6720400 140734089506592 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 105456 91347 266 617 0 104830 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 421824
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20060
/proc/meminfo: memFree=30053500/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=424008 CPUtime=1302.32 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 7034732 0 0 0 129192 1040 0 0 25 0 1 0 888872740 434184192 99867 33554432000 4194304 6720400 140734089506592 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 106002 99867 266 617 0 105376 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 424008
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20062
/proc/meminfo: memFree=30047504/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=377616 CPUtime=1362.33 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 7306756 0 0 0 135149 1084 0 0 25 0 1 0 888872740 386678784 84702 33554432000 4194304 6720400 140734089506592 18446744073709551615 4805667 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 94404 84702 266 617 0 93778 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 377616
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20063
/proc/meminfo: memFree=30126820/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=378092 CPUtime=1422.34 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 7692039 0 0 0 141091 1143 0 0 25 0 1 0 888872740 387166208 85537 33554432000 4194304 6720400 140734089506592 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 94523 85537 266 617 0 93897 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 378092
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 20065
/proc/meminfo: memFree=30031920/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=428748 CPUtime=1482.33 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 8117841 0 0 0 147023 1210 0 0 25 0 1 0 888872740 439037952 96934 33554432000 4194304 6720400 140734089506592 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 107187 96934 266 617 0 106561 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 428748
[startup+1542.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20066
/proc/meminfo: memFree=29988344/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=510324 CPUtime=1542.34 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 8558627 0 0 0 152956 1278 0 0 25 0 1 0 888872740 522571776 102943 33554432000 4194304 6720400 140734089506592 18446744073709551615 4820064 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 127581 102943 266 617 0 126955 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 510324
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 20068
/proc/meminfo: memFree=30137472/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=380936 CPUtime=1602.34 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 8825017 0 0 0 158914 1320 0 0 25 0 1 0 888872740 390078464 88208 33554432000 4194304 6720400 140734089506592 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 95234 88209 266 617 0 94608 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 380936
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20070
/proc/meminfo: memFree=30061168/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=431780 CPUtime=1662.34 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 9079701 0 0 0 164878 1356 0 0 25 0 1 0 888872740 442142720 100015 33554432000 4194304 6720400 140734089506592 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 107945 100015 266 617 0 107319 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 431780
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 20071
/proc/meminfo: memFree=30073648/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=432920 CPUtime=1722.33 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 9351629 0 0 0 170835 1398 0 0 25 0 1 0 888872740 443310080 95554 33554432000 4194304 6720400 140734089506592 18446744073709551615 4591639 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 108230 95554 266 617 0 107604 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 432920
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20073
/proc/meminfo: memFree=30050188/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=436144 CPUtime=1782.34 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 9594212 0 0 0 176799 1435 0 0 25 0 1 0 888872740 446611456 99635 33554432000 4194304 6720400 140734089506592 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 109036 99635 266 617 0 108410 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 436144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 20073
/proc/meminfo: memFree=30025008/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=436524 CPUtime=1800.04 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 9659455 0 0 0 178559 1445 0 0 25 0 1 0 888872740 447000576 97558 33554432000 4194304 6720400 140734089506592 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 109131 97558 266 617 0 108505 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 436524
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 20073
/proc/meminfo: memFree=30025008/32951124 swapFree=67051744/67111528
[pid=19985] ppid=19983 vsize=436524 CPUtime=1800.04 cores=0,2,4,6
/proc/19985/stat : 19985 (minisatid) R 19983 19985 18867 0 -1 4202496 9659455 0 0 0 178559 1445 0 0 25 0 1 0 888872740 447000576 97558 33554432000 4194304 6720400 140734089506592 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19985/statm: 109131 97558 266 617 0 108505 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 436524
Child status: 10
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1785.6
CPU system time (s): 14.4758
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 566852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.6
system time used= 14.4758
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9659460
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= 20766
runsolver used 2.72059 second user time and 5.47617 second system time
The end