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-3491307-1307786921/watcher-3491307-1307786921 -o /tmp/evaluation-result-3491307-1307786921/solver-3491307-1307786921 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491307-1307786921.opb --verbosity=0 --format=opb --randomseed=170045117
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: 1.86 1.97 1.92 3/177 23125
/proc/meminfo: memFree=31634632/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=11804 CPUtime=0 cores=1,3,5,7
/proc/23125/stat : 23125 (runsolver) S 23123 23125 22776 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 890292611 12087296 50 33554432000 4194304 5436572 140735046928256 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 7 0 0 0
/proc/23125/statm: 2951 50 31 304 0 2643 0
[startup+0.0699339 s]
/proc/loadavg: 1.86 1.97 1.92 3/177 23125
/proc/meminfo: memFree=31634632/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=13268 CPUtime=0.04 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 1782 0 0 0 4 0 0 0 25 0 1 0 890292611 13586432 1734 33554432000 4194304 6720400 140735191041504 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 3317 1736 230 617 0 2691 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13268
[startup+0.100934 s]
/proc/loadavg: 1.86 1.97 1.92 3/177 23125
/proc/meminfo: memFree=31634632/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=16824 CPUtime=0.07 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 2696 0 0 0 7 0 0 0 25 0 1 0 890292611 17227776 2648 33554432000 4194304 6720400 140735191041504 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 4206 2649 230 617 0 3580 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16824
[startup+0.30089 s]
/proc/loadavg: 1.86 1.97 1.92 3/177 23125
/proc/meminfo: memFree=31634632/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=35652 CPUtime=0.27 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 7324 0 0 0 26 1 0 0 25 0 1 0 890292611 36507648 7243 33554432000 4194304 6720400 140735191041504 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 8913 7244 230 617 0 8287 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 35652
[startup+0.700816 s]
/proc/loadavg: 1.86 1.97 1.92 3/177 23125
/proc/meminfo: memFree=31634632/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=69004 CPUtime=0.67 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 15788 0 0 0 65 2 0 0 25 0 1 0 890292611 70660096 15520 33554432000 4194304 6720400 140735191041504 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 17251 15520 230 617 0 16625 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 69004
[startup+1.50067 s]
/proc/loadavg: 1.86 1.97 1.92 3/178 23126
/proc/meminfo: memFree=31559380/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=176596 CPUtime=1.47 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 43059 0 0 0 142 5 0 0 25 0 1 0 890292611 180834304 41798 33554432000 4194304 6720400 140735191041504 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 44149 41800 243 617 0 43523 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 176596
[startup+3.10038 s]
/proc/loadavg: 1.86 1.97 1.92 3/178 23126
/proc/meminfo: memFree=31377592/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=3.07 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65563 0 0 0 299 8 0 0 25 0 1 0 890292611 268861440 64301 33554432000 4194304 6720400 140735191041504 18446744073709551615 4434121 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64301 263 617 0 65014 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 262560
[startup+6.30079 s]
/proc/loadavg: 1.87 1.97 1.92 3/178 23126
/proc/meminfo: memFree=31376772/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=6.27 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65591 0 0 0 619 8 0 0 25 0 1 0 890292611 268861440 64329 33554432000 4194304 6720400 140735191041504 18446744073709551615 4819913 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64329 264 617 0 65014 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 262560
[startup+12.7006 s]
/proc/loadavg: 1.88 1.97 1.92 3/178 23126
/proc/meminfo: memFree=31376924/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=12.67 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65592 0 0 0 1259 8 0 0 25 0 1 0 890292611 268861440 64330 33554432000 4194304 6720400 140735191041504 18446744073709551615 5718334 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64330 264 617 0 65014 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 262560
[startup+25.5003 s]
/proc/loadavg: 1.90 1.97 1.92 3/178 23126
/proc/meminfo: memFree=31377684/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=25.47 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65592 0 0 0 2539 8 0 0 25 0 1 0 890292611 268861440 64330 33554432000 4194304 6720400 140735191041504 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64330 264 617 0 65014 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 262560
[startup+51.1006 s]
/proc/loadavg: 1.94 1.97 1.92 3/178 23127
/proc/meminfo: memFree=31377796/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=51.07 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65592 0 0 0 5099 8 0 0 25 0 1 0 890292611 268861440 64330 33554432000 4194304 6720400 140735191041504 18446744073709551615 4616552 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64330 264 617 0 65014 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 262560
[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.92 3/178 23128
/proc/meminfo: memFree=31377268/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=102.28 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65592 0 0 0 10220 8 0 0 25 0 1 0 890292611 268861440 64330 33554432000 4194304 6720400 140735191041504 18446744073709551615 4806511 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64330 264 617 0 65014 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 262560
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.92 3/178 23130
/proc/meminfo: memFree=31376860/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=162.27 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65592 0 0 0 16219 8 0 0 25 0 1 0 890292611 268861440 64330 33554432000 4194304 6720400 140735191041504 18446744073709551615 4616633 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64330 264 617 0 65014 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 262560
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.92 3/178 23131
/proc/meminfo: memFree=31377068/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=222.28 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65593 0 0 0 22220 8 0 0 25 0 1 0 890292611 268861440 64331 33554432000 4194304 6720400 140735191041504 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64331 264 617 0 65014 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 262560
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.92 3/178 23133
/proc/meminfo: memFree=31376780/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=282.28 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65593 0 0 0 28220 8 0 0 25 0 1 0 890292611 268861440 64331 33554432000 4194304 6720400 140735191041504 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64331 264 617 0 65014 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 262560
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.92 3/178 23135
/proc/meminfo: memFree=31376620/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=342.28 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65593 0 0 0 34220 8 0 0 25 0 1 0 890292611 268861440 64331 33554432000 4194304 6720400 140735191041504 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64331 264 617 0 65014 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 262560
[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.92 3/178 23136
/proc/meminfo: memFree=31376464/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=402.28 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65594 0 0 0 40220 8 0 0 25 0 1 0 890292611 268861440 64332 33554432000 4194304 6720400 140735191041504 18446744073709551615 4803090 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64332 264 617 0 65014 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 262560
[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.92 3/178 23138
/proc/meminfo: memFree=31376540/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=462.28 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65595 0 0 0 46220 8 0 0 25 0 1 0 890292611 268861440 64333 33554432000 4194304 6720400 140735191041504 18446744073709551615 4438826 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64333 264 617 0 65014 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 262560
[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.92 3/178 23139
/proc/meminfo: memFree=31376140/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=522.28 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65695 0 0 0 52220 8 0 0 25 0 1 0 890292611 268861440 64422 33554432000 4194304 6720400 140735191041504 18446744073709551615 4718494 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64422 264 617 0 65014 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 262560
[startup+582.301 s]
/proc/loadavg: 2.05 1.99 1.93 3/178 23141
/proc/meminfo: memFree=31376216/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=582.29 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65740 0 0 0 58221 8 0 0 25 0 1 0 890292611 268861440 64463 33554432000 4194304 6720400 140735191041504 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64463 264 617 0 65014 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 262560
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/178 23147
/proc/meminfo: memFree=31375832/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=822.29 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65740 0 0 0 82221 8 0 0 25 0 1 0 890292611 268861440 64463 33554432000 4194304 6720400 140735191041504 18446744073709551615 4592534 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64463 264 617 0 65014 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 262560
[startup+882.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/178 23149
/proc/meminfo: memFree=31375916/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=882.29 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65741 0 0 0 88221 8 0 0 25 0 1 0 890292611 268861440 64464 33554432000 4194304 6720400 140735191041504 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64464 264 617 0 65014 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 262560
[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/178 23151
/proc/meminfo: memFree=31375632/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=942.3 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65745 0 0 0 94222 8 0 0 25 0 1 0 890292611 268861440 64468 33554432000 4194304 6720400 140735191041504 18446744073709551615 5807035 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64468 264 617 0 65014 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 262560
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/178 23152
/proc/meminfo: memFree=31375716/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=1002.3 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65767 0 0 0 100222 8 0 0 25 0 1 0 890292611 268861440 64484 33554432000 4194304 6720400 140735191041504 18446744073709551615 5722259 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64484 264 617 0 65014 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 262560
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/178 23154
/proc/meminfo: memFree=31375680/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=1062.3 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65768 0 0 0 106222 8 0 0 25 0 1 0 890292611 268861440 64485 33554432000 4194304 6720400 140735191041504 18446744073709551615 4718542 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64485 264 617 0 65014 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 262560
[startup+1122.3 s]
/proc/loadavg: 2.08 2.00 1.93 3/178 23155
/proc/meminfo: memFree=31375644/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=1122.3 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65768 0 0 0 112222 8 0 0 25 0 1 0 890292611 268861440 64485 33554432000 4194304 6720400 140735191041504 18446744073709551615 4432346 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64485 264 617 0 65014 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 262560
[startup+1182.3 s]
/proc/loadavg: 2.03 2.00 1.93 3/178 23157
/proc/meminfo: memFree=31375608/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=1182.3 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65768 0 0 0 118222 8 0 0 25 0 1 0 890292611 268861440 64485 33554432000 4194304 6720400 140735191041504 18446744073709551615 4806125 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64485 264 617 0 65014 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 262560
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 23159
/proc/meminfo: memFree=31375452/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=1242.31 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65768 0 0 0 124223 8 0 0 25 0 1 0 890292611 268861440 64485 33554432000 4194304 6720400 140735191041504 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64485 264 617 0 65014 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 262560
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23160
/proc/meminfo: memFree=31375528/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=1302.31 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65768 0 0 0 130223 8 0 0 25 0 1 0 890292611 268861440 64485 33554432000 4194304 6720400 140735191041504 18446744073709551615 4718494 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64485 264 617 0 65014 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 262560
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23162
/proc/meminfo: memFree=31375624/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=1362.31 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65768 0 0 0 136223 8 0 0 25 0 1 0 890292611 268861440 64485 33554432000 4194304 6720400 140735191041504 18446744073709551615 4803297 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64485 264 617 0 65014 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 262560
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23163
/proc/meminfo: memFree=31375348/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=1422.32 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65769 0 0 0 142224 8 0 0 25 0 1 0 890292611 268861440 64486 33554432000 4194304 6720400 140735191041504 18446744073709551615 4806507 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64486 264 617 0 65014 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 262560
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23165
/proc/meminfo: memFree=31375548/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=1482.31 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65769 0 0 0 148223 8 0 0 25 0 1 0 890292611 268861440 64486 33554432000 4194304 6720400 140735191041504 18446744073709551615 4803206 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64486 264 617 0 65014 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 262560
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23167
/proc/meminfo: memFree=31375636/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=1542.31 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65773 0 0 0 154223 8 0 0 25 0 1 0 890292611 268861440 64489 33554432000 4194304 6720400 140735191041504 18446744073709551615 4803317 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64489 264 617 0 65014 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 262560
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23168
/proc/meminfo: memFree=31375596/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=1602.32 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65776 0 0 0 160224 8 0 0 25 0 1 0 890292611 268861440 64492 33554432000 4194304 6720400 140735191041504 18446744073709551615 4718494 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64492 264 617 0 65014 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 262560
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23170
/proc/meminfo: memFree=31375560/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=1662.32 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65777 0 0 0 166224 8 0 0 25 0 1 0 890292611 268861440 64493 33554432000 4194304 6720400 140735191041504 18446744073709551615 4608988 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64493 264 617 0 65014 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 262560
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23171
/proc/meminfo: memFree=31375400/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=1722.32 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65777 0 0 0 172224 8 0 0 25 0 1 0 890292611 268861440 64493 33554432000 4194304 6720400 140735191041504 18446744073709551615 4616494 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64493 264 617 0 65014 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 262560
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23173
/proc/meminfo: memFree=31375220/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=1782.32 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65777 0 0 0 178224 8 0 0 25 0 1 0 890292611 268861440 64493 33554432000 4194304 6720400 140735191041504 18446744073709551615 4806507 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64493 264 617 0 65014 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 262560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23213
/proc/meminfo: memFree=31539796/32951124 swapFree=67052968/67111528
[pid=23125] ppid=23123 vsize=262560 CPUtime=1800.03 cores=1,3,5,7
/proc/23125/stat : 23125 (minisatid) R 23123 23125 22776 0 -1 4202496 65777 0 0 0 179995 8 0 0 25 0 1 0 890292611 268861440 64493 33554432000 4194304 6720400 140735191041504 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/23125/statm: 65640 64493 264 617 0 65014 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 262560
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.02
CPU time (s): 1800.05
CPU user time (s): 1799.95
CPU system time (s): 0.094985
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 266916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.094985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65784
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= 3
involuntary context switches= 6704
runsolver used 2.6056 second user time and 5.96609 second system time
The end