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-3490515-1307756512/watcher-3490515-1307756512 -o /tmp/evaluation-result-3490515-1307756512/solver-3490515-1307756512 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490515-1307756512.opb --verbosity=0 --format=opb --randomseed=2066098901
running on 4 cores: 1,3,5,7
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: 3.10 3.03 3.01 4/178 19137
/proc/meminfo: memFree=31572900/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=7572 CPUtime=0 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 416 0 0 0 0 0 0 0 25 0 1 0 887250065 7753728 369 33554432000 4194304 6720400 140737012163600 18446744073709551615 5885600 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 1893 370 230 617 0 1267 0
[startup+0.0531689 s]
/proc/loadavg: 3.10 3.03 3.01 4/178 19137
/proc/meminfo: memFree=31572900/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=12064 CPUtime=0.05 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 1530 0 0 0 5 0 0 0 25 0 1 0 887250065 12353536 1483 33554432000 4194304 6720400 140737012163600 18446744073709551615 5315120 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 3016 1484 230 617 0 2390 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12064
[startup+0.10016 s]
/proc/loadavg: 3.10 3.03 3.01 4/178 19137
/proc/meminfo: memFree=31572900/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=16328 CPUtime=0.09 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 2580 0 0 0 9 0 0 0 25 0 1 0 887250065 16719872 2533 33554432000 4194304 6720400 140737012163600 18446744073709551615 5260446 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 4082 2534 230 617 0 3456 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16328
[startup+0.300126 s]
/proc/loadavg: 3.10 3.03 3.01 4/178 19137
/proc/meminfo: memFree=31572900/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=34576 CPUtime=0.29 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 7050 0 0 0 29 0 0 0 25 0 1 0 887250065 35405824 7003 33554432000 4194304 6720400 140737012163600 18446744073709551615 6068346 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 8644 7004 230 617 0 8018 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34576
[startup+0.701054 s]
/proc/loadavg: 3.10 3.03 3.01 4/178 19137
/proc/meminfo: memFree=31572900/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=69976 CPUtime=0.69 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 15953 0 0 0 67 2 0 0 25 0 1 0 887250065 71655424 15702 33554432000 4194304 6720400 140737012163600 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 17494 15702 230 617 0 16868 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69976
[startup+1.50091 s]
/proc/loadavg: 3.10 3.03 3.01 4/179 19138
/proc/meminfo: memFree=31485384/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=140232 CPUtime=1.49 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 33483 0 0 0 145 4 0 0 25 0 1 0 887250065 143597568 32826 33554432000 4194304 6720400 140737012163600 18446744073709551615 5408475 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 35058 32827 230 617 0 34432 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 140232
[startup+3.10063 s]
/proc/loadavg: 3.09 3.03 3.01 4/179 19138
/proc/meminfo: memFree=31391516/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=275408 CPUtime=3.09 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 67739 0 0 0 299 10 0 0 25 0 1 0 887250065 282017792 66266 33554432000 4194304 6720400 140737012163600 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 68852 66267 230 617 0 68226 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 275408
[startup+6.30106 s]
/proc/loadavg: 3.09 3.03 3.01 4/179 19138
/proc/meminfo: memFree=30955212/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=914912 CPUtime=6.3 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 228740 0 0 0 600 30 0 0 25 0 1 0 887250065 936869888 223292 33554432000 4194304 6720400 140737012163600 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 228728 223295 245 617 0 228102 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 914912
[startup+12.701 s]
/proc/loadavg: 3.08 3.03 3.01 4/179 19139
/proc/meminfo: memFree=30620296/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=976888 CPUtime=12.69 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243409 0 0 0 1237 32 0 0 25 0 1 0 887250065 1000333312 237953 33554432000 4194304 6720400 140737012163600 18446744073709551615 4805636 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 244222 237953 263 617 0 243596 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 976888
[startup+25.5006 s]
/proc/loadavg: 3.06 3.03 3.01 4/179 19139
/proc/meminfo: memFree=30620684/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=976888 CPUtime=25.49 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243430 0 0 0 2517 32 0 0 25 0 1 0 887250065 1000333312 237970 33554432000 4194304 6720400 140737012163600 18446744073709551615 4432221 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 244222 237970 264 617 0 243596 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 976888
[startup+51.1011 s]
/proc/loadavg: 3.04 3.02 3.00 4/179 19140
/proc/meminfo: memFree=30620444/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=976888 CPUtime=51.09 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243472 0 0 0 5077 32 0 0 25 0 1 0 887250065 1000333312 238008 33554432000 4194304 6720400 140737012163600 18446744073709551615 4608646 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 244222 238008 264 617 0 243596 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 976888
[startup+102.306 s]
/proc/loadavg: 3.02 3.02 3.00 4/179 19141
/proc/meminfo: memFree=30620272/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=102.3 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243497 0 0 0 10198 32 0 0 25 0 1 0 887250065 995872768 237945 33554432000 4194304 6720400 140737012163600 18446744073709551615 5763875 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 243133 237945 264 617 0 242507 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 972532
[startup+162.3 s]
/proc/loadavg: 3.00 3.01 3.00 4/179 19143
/proc/meminfo: memFree=30620100/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=162.29 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243497 0 0 0 16197 32 0 0 25 0 1 0 887250065 995872768 237945 33554432000 4194304 6720400 140737012163600 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 243133 237945 264 617 0 242507 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 972532
[startup+222.301 s]
/proc/loadavg: 3.00 3.01 3.00 4/179 19183
/proc/meminfo: memFree=30387772/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=222.29 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243498 0 0 0 22197 32 0 0 25 0 1 0 887250065 995872768 237946 33554432000 4194304 6720400 140737012163600 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19137/statm: 243133 237946 264 617 0 242507 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 972532
[startup+282.301 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19185
/proc/meminfo: memFree=30387276/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=282.29 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243498 0 0 0 28197 32 0 0 25 0 1 0 887250065 995872768 237946 33554432000 4194304 6720400 140737012163600 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19137/statm: 243133 237946 264 617 0 242507 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 972532
[startup+342.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19186
/proc/meminfo: memFree=30387364/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=342.29 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243504 0 0 0 34197 32 0 0 25 0 1 0 887250065 995872768 237952 33554432000 4194304 6720400 140737012163600 18446744073709551615 4803417 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19137/statm: 243133 237952 264 617 0 242507 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 972532
[startup+402.301 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19188
/proc/meminfo: memFree=30387312/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=402.29 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243505 0 0 0 40197 32 0 0 25 0 1 0 887250065 995872768 237953 33554432000 4194304 6720400 140737012163600 18446744073709551615 4718166 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19137/statm: 243133 237953 264 617 0 242507 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 972532
[startup+462.301 s]
/proc/loadavg: 3.04 3.01 3.00 4/179 19190
/proc/meminfo: memFree=30387392/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=462.3 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243527 0 0 0 46198 32 0 0 25 0 1 0 887250065 995872768 237975 33554432000 4194304 6720400 140737012163600 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19137/statm: 243133 237975 264 617 0 242507 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 972532
[startup+522.3 s]
/proc/loadavg: 3.01 3.01 3.00 4/179 19191
/proc/meminfo: memFree=30387472/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=522.3 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243530 0 0 0 52198 32 0 0 25 0 1 0 887250065 995872768 237978 33554432000 4194304 6720400 140737012163600 18446744073709551615 4806507 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19137/statm: 243133 237978 264 617 0 242507 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 972532
[startup+582.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19193
/proc/meminfo: memFree=30387048/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=582.3 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243622 0 0 0 58198 32 0 0 25 0 1 0 887250065 995872768 238070 33554432000 4194304 6720400 140737012163600 18446744073709551615 4592989 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19137/statm: 243133 238070 264 617 0 242507 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 972532
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19199
/proc/meminfo: memFree=30386632/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=822.31 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243677 0 0 0 82199 32 0 0 25 0 1 0 887250065 995872768 238117 33554432000 4194304 6720400 140737012163600 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19137/statm: 243133 238117 264 617 0 242507 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 972532
[startup+882.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19201
/proc/meminfo: memFree=30386460/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=882.31 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243681 0 0 0 88199 32 0 0 25 0 1 0 887250065 995872768 238121 33554432000 4194304 6720400 140737012163600 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19137/statm: 243133 238121 264 617 0 242507 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 972532
[startup+942.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19202
/proc/meminfo: memFree=30386416/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=942.31 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243684 0 0 0 94199 32 0 0 25 0 1 0 887250065 995872768 238124 33554432000 4194304 6720400 140737012163600 18446744073709551615 4805640 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19137/statm: 243133 238124 264 617 0 242507 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 972532
[startup+1002.3 s]
/proc/loadavg: 3.06 3.01 3.00 4/179 19204
/proc/meminfo: memFree=30386368/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=1002.31 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243687 0 0 0 100199 32 0 0 25 0 1 0 887250065 995872768 238127 33554432000 4194304 6720400 140737012163600 18446744073709551615 4803351 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19137/statm: 243133 238127 264 617 0 242507 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 972532
[startup+1062.3 s]
/proc/loadavg: 3.02 3.01 3.00 4/179 19206
/proc/meminfo: memFree=30386588/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=1062.31 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243691 0 0 0 106199 32 0 0 25 0 1 0 887250065 995872768 238131 33554432000 4194304 6720400 140737012163600 18446744073709551615 4630264 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19137/statm: 243133 238131 264 617 0 242507 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 972532
[startup+1122.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19207
/proc/meminfo: memFree=30386056/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=1122.31 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243764 0 0 0 112199 32 0 0 25 0 1 0 887250065 995872768 238204 33554432000 4194304 6720400 140737012163600 18446744073709551615 4630240 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19137/statm: 243133 238204 264 617 0 242507 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 972532
[startup+1182.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19218
/proc/meminfo: memFree=30385856/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=1182.31 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243764 0 0 0 118199 32 0 0 25 0 1 0 887250065 995872768 238204 33554432000 4194304 6720400 140737012163600 18446744073709551615 4608583 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 243133 238204 264 617 0 242507 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 972532
[startup+1242.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19685
/proc/meminfo: memFree=30385016/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=1242.31 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243764 0 0 0 124199 32 0 0 25 0 1 0 887250065 995872768 238204 33554432000 4194304 6720400 140737012163600 18446744073709551615 4630637 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 243133 238204 264 617 0 242507 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 972532
[startup+1302.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19687
/proc/meminfo: memFree=30385216/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=1302.32 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243764 0 0 0 130200 32 0 0 25 0 1 0 887250065 995872768 238204 33554432000 4194304 6720400 140737012163600 18446744073709551615 4806125 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 243133 238204 264 617 0 242507 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 972532
[startup+1362.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19692
/proc/meminfo: memFree=30385912/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=1362.31 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243764 0 0 0 136199 32 0 0 25 0 1 0 887250065 995872768 238204 33554432000 4194304 6720400 140737012163600 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 243133 238204 264 617 0 242507 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 972532
[startup+1422.31 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19693
/proc/meminfo: memFree=30385656/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=1422.32 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243764 0 0 0 142200 32 0 0 25 0 1 0 887250065 995872768 238204 33554432000 4194304 6720400 140737012163600 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 243133 238204 264 617 0 242507 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 972532
[startup+1482.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19695
/proc/meminfo: memFree=30385740/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=1482.31 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243764 0 0 0 148199 32 0 0 25 0 1 0 887250065 995872768 238204 33554432000 4194304 6720400 140737012163600 18446744073709551615 4718494 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 243133 238204 264 617 0 242507 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 972532
[startup+1542.3 s]
/proc/loadavg: 3.08 3.02 3.01 4/179 19696
/proc/meminfo: memFree=30385936/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=1542.31 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243764 0 0 0 154199 32 0 0 25 0 1 0 887250065 995872768 238204 33554432000 4194304 6720400 140737012163600 18446744073709551615 4819876 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 243133 238204 264 617 0 242507 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 972532
[startup+1602.3 s]
/proc/loadavg: 3.03 3.01 3.00 4/179 19698
/proc/meminfo: memFree=30385760/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=1602.31 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243764 0 0 0 160199 32 0 0 25 0 1 0 887250065 995872768 238204 33554432000 4194304 6720400 140737012163600 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 243133 238204 264 617 0 242507 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 972532
[startup+1662.3 s]
/proc/loadavg: 3.01 3.00 3.00 4/179 19700
/proc/meminfo: memFree=30385732/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=1662.31 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243764 0 0 0 166199 32 0 0 25 0 1 0 887250065 995872768 238204 33554432000 4194304 6720400 140737012163600 18446744073709551615 4806244 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 243133 238204 264 617 0 242507 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 972532
[startup+1722.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19701
/proc/meminfo: memFree=30385808/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=1722.31 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243764 0 0 0 172199 32 0 0 25 0 1 0 887250065 995872768 238204 33554432000 4194304 6720400 140737012163600 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 243133 238204 264 617 0 242507 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 972532
[startup+1782.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19703
/proc/meminfo: memFree=30385268/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=1782.31 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243764 0 0 0 178199 32 0 0 25 0 1 0 887250065 995872768 238204 33554432000 4194304 6720400 140737012163600 18446744073709551615 4820121 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 243133 238204 264 617 0 242507 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 972532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 19703
/proc/meminfo: memFree=30385248/32950928 swapFree=67048868/67111528
[pid=19137] ppid=19135 vsize=972532 CPUtime=1800.02 cores=1,3,5,7
/proc/19137/stat : 19137 (minisatid) R 19135 19137 17848 0 -1 4202496 243764 0 0 0 179970 32 0 0 25 0 1 0 887250065 995872768 238204 33554432000 4194304 6720400 140737012163600 18446744073709551615 4608780 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19137/statm: 243133 238204 264 617 0 242507 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 972532
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.04
CPU time (s): 1800.06
CPU user time (s): 1799.7
CPU system time (s): 0.354946
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 976888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.354946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243771
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= 3132
runsolver used 2.80757 second user time and 5.95309 second system time
The end