runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3465227-1307388892/watcher-3465227-1307388892 -o /tmp/evaluation-result-3465227-1307388892/solver-3465227-1307388892 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3465227-1307388892.opb --verbosity=0 --format=opb
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
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 2/511 26329
/proc/meminfo: memFree=16462332/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=3780 CPUtime=0.01 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 597 0 0 0 1 0 0 0 25 0 1 0 831305287 3870720 540 33554432000 4194304 6539028 140736687710528 18446744073709551615 4698508 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 945 540 261 573 0 363 0
[startup+0.050393 s]
/proc/loadavg: 2.02 2.03 2.00 2/511 26329
/proc/meminfo: memFree=16462332/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=3780 CPUtime=0.04 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 621 0 0 0 4 0 0 0 25 0 1 0 831305287 3870720 564 33554432000 4194304 6539028 140736687710528 18446744073709551615 4702616 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 945 564 268 573 0 363 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3780
[startup+0.100426 s]
/proc/loadavg: 2.02 2.03 2.00 2/511 26329
/proc/meminfo: memFree=16462332/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=3780 CPUtime=0.09 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 628 0 0 0 9 0 0 0 25 0 1 0 831305287 3870720 571 33554432000 4194304 6539028 140736687710528 18446744073709551615 4704259 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 945 571 268 573 0 363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3780
[startup+0.300396 s]
/proc/loadavg: 2.02 2.03 2.00 2/511 26329
/proc/meminfo: memFree=16462332/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=3780 CPUtime=0.29 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 629 0 0 0 29 0 0 0 25 0 1 0 831305287 3870720 572 33554432000 4194304 6539028 140736687710528 18446744073709551615 4713360 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 945 572 269 573 0 363 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3780
[startup+0.70032 s]
/proc/loadavg: 2.02 2.03 2.00 2/511 26329
/proc/meminfo: memFree=16462332/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=3780 CPUtime=0.69 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 631 0 0 0 69 0 0 0 25 0 1 0 831305287 3870720 574 33554432000 4194304 6539028 140736687710528 18446744073709551615 4704200 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 945 574 269 573 0 363 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3780
[startup+1.50018 s]
/proc/loadavg: 2.02 2.03 2.00 5/512 26330
/proc/meminfo: memFree=16476584/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=3780 CPUtime=1.49 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 633 0 0 0 149 0 0 0 25 0 1 0 831305287 3870720 576 33554432000 4194304 6539028 140736687710528 18446744073709551615 4282131 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 945 576 271 573 0 363 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3780
[startup+3.10089 s]
/proc/loadavg: 2.02 2.03 2.00 5/512 26330
/proc/meminfo: memFree=16445460/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=3780 CPUtime=3.09 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 638 0 0 0 309 0 0 0 25 0 1 0 831305287 3870720 581 33554432000 4194304 6539028 140736687710528 18446744073709551615 4702530 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 945 581 271 573 0 363 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3780
[startup+6.30034 s]
/proc/loadavg: 2.02 2.03 2.00 5/512 26330
/proc/meminfo: memFree=16453724/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=3780 CPUtime=6.29 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 645 0 0 0 629 0 0 0 25 0 1 0 831305287 3870720 588 33554432000 4194304 6539028 140736687710528 18446744073709551615 4718147 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 945 588 271 573 0 363 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3780
[startup+12.7002 s]
/proc/loadavg: 2.02 2.03 2.00 5/512 26330
/proc/meminfo: memFree=16450268/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=3780 CPUtime=12.69 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 645 0 0 0 1269 0 0 0 25 0 1 0 831305287 3870720 588 33554432000 4194304 6539028 140736687710528 18446744073709551615 4701979 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 945 588 271 573 0 363 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3780
[startup+25.501 s]
/proc/loadavg: 2.01 2.02 2.00 4/512 26330
/proc/meminfo: memFree=16507792/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=3780 CPUtime=25.5 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 646 0 0 0 2550 0 0 0 25 0 1 0 831305287 3870720 589 33554432000 4194304 6539028 140736687710528 18446744073709551615 4617555 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 945 589 271 573 0 363 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 3780
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.00 5/512 26331
/proc/meminfo: memFree=16466052/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=3924 CPUtime=51.1 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 687 0 0 0 5110 0 0 0 25 0 1 0 831305287 4018176 630 33554432000 4194304 6539028 140736687710528 18446744073709551615 4716055 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 981 630 271 573 0 399 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 3924
[startup+102.318 s]
/proc/loadavg: 2.16 2.05 2.01 5/512 26332
/proc/meminfo: memFree=16423504/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=3924 CPUtime=102.31 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 691 0 0 0 10231 0 0 0 25 0 1 0 831305287 4018176 634 33554432000 4194304 6539028 140736687710528 18446744073709551615 5643488 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 981 634 271 573 0 399 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 3924
[startup+162.301 s]
/proc/loadavg: 2.13 2.05 2.01 5/512 26334
/proc/meminfo: memFree=16432776/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4084 CPUtime=162.3 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 732 0 0 0 16230 0 0 0 25 0 1 0 831305287 4182016 675 33554432000 4194304 6539028 140736687710528 18446744073709551615 4498754 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1021 675 271 573 0 439 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 4084
[startup+222.3 s]
/proc/loadavg: 2.18 2.08 2.02 5/512 26336
/proc/meminfo: memFree=16424584/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4084 CPUtime=222.3 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 732 0 0 0 22230 0 0 0 25 0 1 0 831305287 4182016 675 33554432000 4194304 6539028 140736687710528 18446744073709551615 4704168 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1021 675 271 573 0 439 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 4084
[startup+282.301 s]
/proc/loadavg: 2.13 2.07 2.01 4/512 26337
/proc/meminfo: memFree=16427668/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4084 CPUtime=282.3 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 732 0 0 0 28230 0 0 0 25 0 1 0 831305287 4182016 675 33554432000 4194304 6539028 140736687710528 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1021 675 271 573 0 439 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 4084
[startup+342.3 s]
/proc/loadavg: 2.04 2.06 2.01 5/512 26339
/proc/meminfo: memFree=16433100/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4084 CPUtime=342.3 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 733 0 0 0 34230 0 0 0 25 0 1 0 831305287 4182016 676 33554432000 4194304 6539028 140736687710528 18446744073709551615 4698598 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1021 676 271 573 0 439 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 4084
[startup+402.301 s]
/proc/loadavg: 2.01 2.05 2.00 5/512 26340
/proc/meminfo: memFree=16418452/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4084 CPUtime=402.3 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 733 0 0 0 40230 0 0 0 25 0 1 0 831305287 4182016 676 33554432000 4194304 6539028 140736687710528 18446744073709551615 5440710 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1021 676 271 573 0 439 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 4084
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 5/512 26342
/proc/meminfo: memFree=16476716/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4084 CPUtime=462.3 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 733 0 0 0 46230 0 0 0 25 0 1 0 831305287 4182016 676 33554432000 4194304 6539028 140736687710528 18446744073709551615 4616906 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1021 676 271 573 0 439 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 4084
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 5/512 26344
/proc/meminfo: memFree=16400440/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4584 CPUtime=522.31 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 751 0 0 0 52231 0 0 0 25 0 1 0 831305287 4694016 694 33554432000 4194304 6539028 140736687710528 18446744073709551615 4282567 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1146 694 271 573 0 564 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 4584
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 5/512 26345
/proc/meminfo: memFree=16413180/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4584 CPUtime=582.3 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 751 0 0 0 58230 0 0 0 25 0 1 0 831305287 4694016 694 33554432000 4194304 6539028 140736687710528 18446744073709551615 5624989 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1146 694 271 573 0 564 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 4584
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.05 2.03 2.00 5/512 26352
/proc/meminfo: memFree=16432960/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4584 CPUtime=822.31 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 815 0 0 0 82231 0 0 0 25 0 1 0 831305287 4694016 757 33554432000 4194304 6539028 140736687710528 18446744073709551615 5648426 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1146 757 271 573 0 564 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 4584
[startup+882.3 s]
/proc/loadavg: 2.05 2.03 2.00 5/512 26353
/proc/meminfo: memFree=16401328/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4976 CPUtime=882.31 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 875 0 0 0 88231 0 0 0 25 0 1 0 831305287 5095424 815 33554432000 4194304 6539028 140736687710528 18446744073709551615 5649646 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1244 815 271 573 0 662 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 4976
[startup+942.301 s]
/proc/loadavg: 2.02 2.02 2.00 5/512 26355
/proc/meminfo: memFree=16409112/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4976 CPUtime=942.31 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 875 0 0 0 94231 0 0 0 25 0 1 0 831305287 5095424 815 33554432000 4194304 6539028 140736687710528 18446744073709551615 4503212 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1244 815 271 573 0 662 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 4976
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 5/512 26356
/proc/meminfo: memFree=16434628/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4976 CPUtime=1002.31 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 875 0 0 0 100231 0 0 0 25 0 1 0 831305287 5095424 815 33554432000 4194304 6539028 140736687710528 18446744073709551615 4702783 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1244 815 271 573 0 662 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 4976
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/512 26358
/proc/meminfo: memFree=16408320/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4976 CPUtime=1062.31 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 875 0 0 0 106231 0 0 0 25 0 1 0 831305287 5095424 815 33554432000 4194304 6539028 140736687710528 18446744073709551615 4704168 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1244 815 271 573 0 662 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 4976
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/512 26360
/proc/meminfo: memFree=16439044/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4976 CPUtime=1122.31 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 875 0 0 0 112231 0 0 0 25 0 1 0 831305287 5095424 815 33554432000 4194304 6539028 140736687710528 18446744073709551615 4282537 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1244 815 271 573 0 662 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 4976
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 5/512 26361
/proc/meminfo: memFree=16433188/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4976 CPUtime=1182.32 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 875 0 0 0 118231 1 0 0 25 0 1 0 831305287 5095424 815 33554432000 4194304 6539028 140736687710528 18446744073709551615 4718147 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1244 815 271 573 0 662 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 4976
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 5/512 26363
/proc/meminfo: memFree=16389280/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4976 CPUtime=1242.32 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 875 0 0 0 124231 1 0 0 25 0 1 0 831305287 5095424 815 33554432000 4194304 6539028 140736687710528 18446744073709551615 4282120 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1244 815 271 573 0 662 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 4976
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 5/512 26364
/proc/meminfo: memFree=16351808/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4976 CPUtime=1302.34 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 875 0 0 0 130233 1 0 0 25 0 1 0 831305287 5095424 815 33554432000 4194304 6539028 140736687710528 18446744073709551615 4478480 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1244 815 271 573 0 662 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 4976
[startup+1362.3 s]
/proc/loadavg: 2.11 2.04 2.01 5/512 26366
/proc/meminfo: memFree=16405476/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4976 CPUtime=1362.32 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 875 0 0 0 136231 1 0 0 25 0 1 0 831305287 5095424 815 33554432000 4194304 6539028 140736687710528 18446744073709551615 4701992 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1244 815 271 573 0 662 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 4976
[startup+1422.32 s]
/proc/loadavg: 2.08 2.04 2.01 5/512 26368
/proc/meminfo: memFree=16409548/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4976 CPUtime=1422.34 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 875 0 0 0 142233 1 0 0 25 0 1 0 831305287 5095424 815 33554432000 4194304 6539028 140736687710528 18446744073709551615 4494456 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1244 815 271 573 0 662 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 4976
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 5/512 26369
/proc/meminfo: memFree=16383236/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4976 CPUtime=1482.33 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 875 0 0 0 148232 1 0 0 25 0 1 0 831305287 5095424 815 33554432000 4194304 6539028 140736687710528 18446744073709551615 4490731 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1244 815 271 573 0 662 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 4976
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/512 26426
/proc/meminfo: memFree=16565220/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4976 CPUtime=1542.33 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 875 0 0 0 154232 1 0 0 25 0 1 0 831305287 5095424 815 33554432000 4194304 6539028 140736687710528 18446744073709551615 4282506 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1244 815 271 573 0 662 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 4976
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 26436
/proc/meminfo: memFree=16560908/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4976 CPUtime=1602.33 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 875 0 0 0 160232 1 0 0 25 0 1 0 831305287 5095424 815 33554432000 4194304 6539028 140736687710528 18446744073709551615 4502871 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1244 815 271 573 0 662 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 4976
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 26438
/proc/meminfo: memFree=16560248/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4976 CPUtime=1662.33 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 931 0 0 0 166232 1 0 0 25 0 1 0 831305287 5095424 870 33554432000 4194304 6539028 140736687710528 18446744073709551615 4625042 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1244 870 271 573 0 662 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 4976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 26440
/proc/meminfo: memFree=16560108/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4976 CPUtime=1722.33 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 931 0 0 0 172232 1 0 0 25 0 1 0 831305287 5095424 870 33554432000 4194304 6539028 140736687710528 18446744073709551615 4698646 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1244 870 271 573 0 662 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 4976
[startup+1782.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/512 26441
/proc/meminfo: memFree=16559224/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4976 CPUtime=1782.34 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 931 0 0 0 178232 2 0 0 25 0 1 0 831305287 5095424 870 33554432000 4194304 6539028 140736687710528 18446744073709551615 4704185 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1244 870 271 573 0 662 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 4976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.10 2.03 2.01 3/512 26442
/proc/meminfo: memFree=16559336/32951124 swapFree=67111204/67111528
[pid=26329] ppid=26327 vsize=4976 CPUtime=1800.05 cores=0,2,4,6
/proc/26329/stat : 26329 (minisatid) R 26327 26329 25652 0 -1 4202496 931 0 0 0 180003 2 0 0 25 0 1 0 831305287 5095424 870 33554432000 4194304 6539028 140736687710528 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/26329/statm: 1244 870 271 573 0 662 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 4976
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.06
CPU user time (s): 1800.04
CPU system time (s): 0.021996
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 4976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 934
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= 4066
runsolver used 9.53355 second user time and 19.1881 second system time
The end