Trace number 3481858

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
borg pb-opt-11.04.03? (MO) 147.17 149.57

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
MD5SUM77b4ba393aa7b9b6b0fcb1b4220a12a4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1043
Best CPU time to get the best result obtained on this benchmark1797.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1036
Optimality of the best value was proved NO
Number of variables1969
Total number of constraints4000
Number of constraints which are clauses4000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1969
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1969
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1969
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.52/4.49	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.52/4.49	c INFO: solving HOME/instance-3481858-1307576442.opb
0.55/4.51	c INFO: parsing took 0.02 s
0.55/4.55	c INFO: features took 0.03 CPU seconds
0.55/4.59	c INFO: running scip-2.0.1-spx@0 for 45 with 1799 remaining (b = 0.49)
51.20/55.06	c INFO: running sat4j-pb-v20101225@0 for 45 with 1749 remaining (b = 0.35)
99.15/101.73	c INFO: running scip-2.0.1-clp@0 for 45 with 1701 remaining (b = 0.05)
146.92/149.31	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1654 remaining (b = 0.02)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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-3481858-1307576442/watcher-3481858-1307576442 -o /tmp/evaluation-result-3481858-1307576442/solver-3481858-1307576442 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481858-1307576442.opb -seed 232262532 -budget 1800 

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: 0.15 0.03 0.01 4/385 26415
/proc/meminfo: memFree=23932172/32951124 swapFree=49244124/67111528
[pid=26413] ppid=26410 vsize=14252 CPUtime=0 cores=0,2,4,6
/proc/26413/stat : 26413 (python) D 26410 26413 26377 0 -1 4194304 191 0 3 0 0 0 0 0 18 0 1 0 869248021 14594048 130 33554432000 4194304 5683644 140734096667904 18446744073709551615 5398816 0 0 4096 0 18446744071562234166 0 0 17 4 0 0 0
/proc/26413/statm: 3563 130 102 364 0 50 0

[startup+0.021291 s]
/proc/loadavg: 0.15 0.03 0.01 4/385 26415
/proc/meminfo: memFree=23932172/32951124 swapFree=49244124/67111528
[pid=26413] ppid=26410 vsize=14252 CPUtime=0 cores=0,2,4,6
/proc/26413/stat : 26413 (python) D 26410 26413 26377 0 -1 4194304 193 0 4 0 0 0 0 0 18 0 1 0 869248021 14594048 133 33554432000 4194304 5683644 140734096667904 18446744073709551615 5051632 0 0 4096 0 18446744071562234166 0 0 17 4 0 0 0
/proc/26413/statm: 3563 133 105 364 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14252

[startup+0.100315 s]
/proc/loadavg: 0.15 0.03 0.01 4/385 26415
/proc/meminfo: memFree=23932172/32951124 swapFree=49244124/67111528
[pid=26413] ppid=26410 vsize=16400 CPUtime=0.01 cores=0,2,4,6
/proc/26413/stat : 26413 (python) D 26410 26413 26377 0 -1 4202496 1108 0 7 0 1 0 0 0 17 0 1 0 869248021 16793600 984 33554432000 4194304 5683644 140734096667904 18446744073709551615 218370957056 0 0 16781312 2 18446744071562234166 0 0 17 4 0 0 2
/proc/26413/statm: 4100 984 408 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400

[startup+0.300237 s]
/proc/loadavg: 0.15 0.03 0.01 4/385 26415
/proc/meminfo: memFree=23932172/32951124 swapFree=49244124/67111528
[pid=26413] ppid=26410 vsize=27372 CPUtime=0.04 cores=0,2,4,6
/proc/26413/stat : 26413 (python) S 26410 26413 26377 0 -1 4202496 1341 0 11 0 3 1 0 0 16 0 1 0 869248021 28028928 1198 33554432000 4194304 5683644 140734096667904 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 3
/proc/26413/statm: 6843 1198 440 364 0 730 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 27372

[startup+0.70118 s]
/proc/loadavg: 0.15 0.03 0.01 4/385 26415
/proc/meminfo: memFree=23932172/32951124 swapFree=49244124/67111528
[pid=26413] ppid=26410 vsize=50304 CPUtime=0.07 cores=0,2,4,6
/proc/26413/stat : 26413 (python) R 26410 26413 26377 0 -1 4202496 1987 0 17 0 5 2 0 0 16 0 1 0 869248021 51511296 1764 33554432000 4194304 5683644 140734096667904 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 6
/proc/26413/statm: 12576 1764 480 364 0 1276 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 50304

[startup+1.50111 s]
/proc/loadavg: 0.15 0.03 0.01 3/387 26417
/proc/meminfo: memFree=23911164/32951124 swapFree=49244124/67111528
[pid=26413] ppid=26410 vsize=108856 CPUtime=0.14 cores=0,2,4,6
/proc/26413/stat : 26413 (python) D 26410 26413 26377 0 -1 4202496 4281 919 33 9 10 4 0 0 15 0 1 0 869248021 111468544 2836 33554432000 4194304 5683644 140734096667904 18446744073709551615 218370957056 0 0 16781312 2 18446744071562234166 0 0 17 4 0 0 15
/proc/26413/statm: 27214 2836 877 364 0 1910 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 108856

[startup+3.10073 s]
/proc/loadavg: 0.15 0.03 0.01 2/387 26425
/proc/meminfo: memFree=23894824/32951124 swapFree=49244124/67111528
[pid=26413] ppid=26410 vsize=154348 CPUtime=0.29 cores=0,2,4,6
/proc/26413/stat : 26413 (python) D 26410 26413 26377 0 -1 4202496 5663 919 53 9 19 10 0 0 16 0 1 0 869248021 158052352 4053 33554432000 4194304 5683644 140734096667904 18446744073709551615 218366033639 0 0 16781312 2 18446744071562234166 0 0 17 4 0 0 49
/proc/26413/statm: 38587 4053 1083 364 0 3228 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 154348
heavy processes:

[startup+6.30117 s]
/proc/loadavg: 0.30 0.06 0.02 4/393 26431
/proc/meminfo: memFree=23777812/32951124 swapFree=49244124/67111528
[pid=26413] ppid=26410 vsize=293856 CPUtime=0.63 cores=0,2,4,6
/proc/26413/stat : 26413 (python) S 26410 26413 26377 0 -1 4202496 9706 919 112 9 45 18 0 0 18 0 2 0 869248021 300908544 7319 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 88
/proc/26413/statm: 73464 7319 1870 364 0 8351 0
[pid=26427] ppid=26413 vsize=283612 CPUtime=0 cores=0,2,4,6
/proc/26427/stat : 26427 (python) S 26413 26413 26377 0 -1 4202560 778 0 0 0 0 0 0 0 15 0 1 0 869248481 290418688 5799 33554432000 4194304 5683644 140734096667904 18446744073709551615 218370977295 0 0 16781312 33554946 1308534680911347712 0 0 17 0 0 0 0
/proc/26427/statm: 70903 5799 352 364 0 5790 0
[pid=26430] ppid=26427 vsize=49072 CPUtime=1.69 cores=0,2,4,6
/proc/26430/stat : 26430 (scip-2.0.1.linu) R 26427 26430 26430 0 -1 4202496 10594 0 0 0 166 3 0 0 19 0 1 0 869248481 50249728 9890 33554432000 4194304 13684479 140734756543344 18446744073709551615 4542401 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/26430/statm: 12268 9890 778 2317 0 9946 0
[pid=26413/tid=26429] ppid=26410 vsize=293856 CPUtime=0 cores=0,2,4,6
/proc/26413/task/26429/stat : 26429 (python) S 26410 26413 26377 0 -1 4202560 30 919 0 9 0 0 0 0 18 0 2 0 869248481 300908544 7319 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382780849 0 0 16781312 33554434 18446604447764925120 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 626540
heavy processes:

[startup+12.701 s]
/proc/loadavg: 0.44 0.10 0.03 4/393 26431
/proc/meminfo: memFree=23665116/32951124 swapFree=49244124/67111528
[pid=26413] ppid=26410 vsize=293856 CPUtime=0.63 cores=0,2,4,6
/proc/26413/stat : 26413 (python) S 26410 26413 26377 0 -1 4202496 9706 919 112 9 45 18 0 0 18 0 2 0 869248021 300908544 7319 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 88
/proc/26413/statm: 73464 7319 1870 364 0 8351 0
[pid=26427] ppid=26413 vsize=283612 CPUtime=0.03 cores=0,2,4,6
/proc/26427/stat : 26427 (python) S 26413 26413 26377 0 -1 4202560 928 0 0 0 1 2 0 0 15 0 1 0 869248481 290418688 5824 33554432000 4194304 5683644 140734096667904 18446744073709551615 218370977295 0 0 16781312 33554946 500952066143813632 0 0 17 0 0 0 0
/proc/26427/statm: 70903 5824 376 364 0 5790 0
[pid=26430] ppid=26427 vsize=107544 CPUtime=8.09 cores=0,2,4,6
/proc/26430/stat : 26430 (scip-2.0.1.linu) R 26427 26430 26430 0 -1 4202496 25298 0 0 0 800 9 0 0 20 0 1 0 869248481 110125056 24456 33554432000 4194304 13684479 140734756543344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/26430/statm: 26886 24456 775 2317 0 24564 0
[pid=26413/tid=26429] ppid=26410 vsize=293856 CPUtime=0 cores=0,2,4,6
/proc/26413/task/26429/stat : 26429 (python) S 26410 26413 26377 0 -1 4202560 30 919 0 9 0 0 0 0 18 0 2 0 869248481 300908544 7319 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382780849 0 0 16781312 33554434 18446604447764925120 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.75
Current children cumulated vsize (KiB) 685012
heavy processes:

[startup+25.5008 s]
/proc/loadavg: 0.94 0.22 0.07 4/393 26431
/proc/meminfo: memFree=23631900/32951124 swapFree=49244124/67111528
[pid=26413] ppid=26410 vsize=293856 CPUtime=0.63 cores=0,2,4,6
/proc/26413/stat : 26413 (python) S 26410 26413 26377 0 -1 4202496 9706 919 112 9 45 18 0 0 18 0 2 0 869248021 300908544 7319 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 88
/proc/26413/statm: 73464 7319 1870 364 0 8351 0
[pid=26427] ppid=26413 vsize=283612 CPUtime=0.06 cores=0,2,4,6
/proc/26427/stat : 26427 (python) S 26413 26413 26377 0 -1 4202560 935 0 0 0 3 3 0 0 15 0 1 0 869248481 290418688 5825 33554432000 4194304 5683644 140734096667904 18446744073709551615 218370977295 0 0 16781312 33554946 72114768642583415 0 0 17 0 0 0 0
/proc/26427/statm: 70903 5825 376 364 0 5790 0
[pid=26430] ppid=26427 vsize=112804 CPUtime=20.89 cores=0,2,4,6
/proc/26430/stat : 26430 (scip-2.0.1.linu) R 26427 26430 26430 0 -1 4202496 26672 0 0 0 2071 18 0 0 25 0 1 0 869248481 115511296 25824 33554432000 4194304 13684479 140734756543344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/26430/statm: 28201 25824 793 2317 0 25879 0
[pid=26413/tid=26429] ppid=26410 vsize=293856 CPUtime=0 cores=0,2,4,6
/proc/26413/task/26429/stat : 26429 (python) S 26410 26413 26377 0 -1 4202560 30 919 0 9 0 0 0 0 18 0 2 0 869248481 300908544 7319 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382780849 0 0 16781312 33554434 18446604447764925120 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.58
Current children cumulated vsize (KiB) 690272

[startup+51.1013 s]
/proc/loadavg: 1.30 0.36 0.12 4/393 26432
/proc/meminfo: memFree=23630292/32951124 swapFree=49244124/67111528
[pid=26413] ppid=26410 vsize=293856 CPUtime=0.63 cores=0,2,4,6
/proc/26413/stat : 26413 (python) S 26410 26413 26377 0 -1 4202496 9706 919 112 9 45 18 0 0 18 0 2 0 869248021 300908544 7319 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 88
/proc/26413/statm: 73464 7319 1870 364 0 8351 0
[pid=26427] ppid=26413 vsize=283612 CPUtime=0.16 cores=0,2,4,6
/proc/26427/stat : 26427 (python) S 26413 26413 26377 0 -1 4202560 946 0 0 0 8 8 0 0 15 0 1 0 869248481 290418688 5825 33554432000 4194304 5683644 140734096667904 18446744073709551615 218370977295 0 0 16781312 33554946 72114768642583415 0 0 17 0 0 0 0
/proc/26427/statm: 70903 5825 376 364 0 5790 0
[pid=26430] ppid=26427 vsize=112804 CPUtime=46.5 cores=0,2,4,6
/proc/26430/stat : 26430 (scip-2.0.1.linu) R 26427 26430 26430 0 -1 4202496 26687 0 0 0 4615 35 0 0 25 0 1 0 869248481 115511296 25839 33554432000 4194304 13684479 140734756543344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/26430/statm: 28201 25839 795 2317 0 25879 0
[pid=26413/tid=26429] ppid=26410 vsize=293856 CPUtime=0 cores=0,2,4,6
/proc/26413/task/26429/stat : 26429 (python) S 26410 26413 26377 0 -1 4202560 30 919 0 9 0 0 0 0 18 0 2 0 869248481 300908544 7319 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382780849 0 0 16781312 33554434 18446604447764925120 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.29
Current children cumulated vsize (KiB) 690272

[startup+102.316 s]
/proc/loadavg: 1.74 0.63 0.22 4/445 26485
/proc/meminfo: memFree=23173640/32951124 swapFree=49244124/67111528
[pid=26413] ppid=26410 vsize=314644 CPUtime=0.68 cores=0,2,4,6
/proc/26413/stat : 26413 (python) S 26410 26413 26377 0 -1 4202496 11520 919 112 9 50 18 0 0 20 0 4 0 869248021 322195456 7385 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 88
/proc/26413/statm: 78661 7385 1875 364 0 13542 0
[pid=26427] ppid=26413 vsize=293856 CPUtime=0.18 cores=0,2,4,6
/proc/26427/stat : 26427 (python) S 26413 26413 26377 0 -1 4202560 1108 0 0 0 9 9 0 0 16 0 2 0 869248481 300908544 5861 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/26427/statm: 73464 5861 407 364 0 8351 0
[pid=26430] ppid=26427 vsize=112804 CPUtime=50.43 cores=0,2,4,6
/proc/26430/stat : 26430 (scip-2.0.1.linu) T 26427 26430 26430 0 -1 4202496 26693 0 0 0 5006 37 0 0 25 0 1 0 869248481 115511296 25845 33554432000 4194304 13684479 140734756543344 18446744073709551615 7401065 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/26430/statm: 28201 25845 798 2317 0 25879 0
[pid=26427/tid=26455] ppid=26413 vsize=293856 CPUtime=0 cores=0,2,4,6
/proc/26427/task/26455/stat : 26455 (python) S 26413 26413 26377 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869253525 300908544 5861 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382780849 0 0 16781312 33554946 18446604441573077184 0 0 -1 0 0 0 0
[pid=26456] ppid=26413 vsize=294372 CPUtime=0.17 cores=0,2,4,6
/proc/26456/stat : 26456 (python) S 26413 26413 26377 0 -1 4202560 1170 0 0 0 9 8 0 0 16 0 2 0 869253528 301436928 5979 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/26456/statm: 73593 5979 403 364 0 8477 0
[pid=26458] ppid=26456 vsize=8537796 CPUtime=47.72 cores=0,2,4,6
/proc/26458/stat : 26458 (java) T 26456 26458 26458 0 -1 4202496 55643 0 1 0 4762 10 0 0 18 0 19 0 869253528 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26458/statm: 2134449 48456 2254 9 0 2125190 0
[pid=26458/tid=26459] ppid=26456 vsize=8537796 CPUtime=46.18 cores=0,2,4,6
/proc/26458/task/26459/stat : 26459 (java) T 26456 26458 26458 0 -1 4202560 14809 0 1 0 4616 2 0 0 25 0 19 0 869253529 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 46912505741076 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=26458/tid=26460] ppid=26456 vsize=8537796 CPUtime=0.03 cores=0,2,4,6
/proc/26458/task/26460/stat : 26460 (java) T 26456 26458 26458 0 -1 4202560 3710 0 0 0 3 0 0 0 15 0 19 0 869253530 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26458/tid=26461] ppid=26456 vsize=8537796 CPUtime=0.03 cores=0,2,4,6
/proc/26458/task/26461/stat : 26461 (java) T 26456 26458 26458 0 -1 4202560 2110 0 0 0 3 0 0 0 15 0 19 0 869253530 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=26458/tid=26462] ppid=26456 vsize=8537796 CPUtime=0.04 cores=0,2,4,6
/proc/26458/task/26462/stat : 26462 (java) T 26456 26458 26458 0 -1 4202560 2648 0 0 0 4 0 0 0 15 0 19 0 869253530 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=26458/tid=26463] ppid=26456 vsize=8537796 CPUtime=0.02 cores=0,2,4,6
/proc/26458/task/26463/stat : 26463 (java) T 26456 26458 26458 0 -1 4202560 1868 0 0 0 2 0 0 0 15 0 19 0 869253530 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26458/tid=26464] ppid=26456 vsize=8537796 CPUtime=0.03 cores=0,2,4,6
/proc/26458/task/26464/stat : 26464 (java) T 26456 26458 26458 0 -1 4202560 1920 0 0 0 3 0 0 0 15 0 19 0 869253530 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26458/tid=26465] ppid=26456 vsize=8537796 CPUtime=0.03 cores=0,2,4,6
/proc/26458/task/26465/stat : 26465 (java) T 26456 26458 26458 0 -1 4202560 806 0 0 0 3 0 0 0 15 0 19 0 869253530 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=26458/tid=26466] ppid=26456 vsize=8537796 CPUtime=0.05 cores=0,2,4,6
/proc/26458/task/26466/stat : 26466 (java) T 26456 26458 26458 0 -1 4202560 6204 0 0 0 4 1 0 0 15 0 19 0 869253530 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26458/tid=26467] ppid=26456 vsize=8537796 CPUtime=0.06 cores=0,2,4,6
/proc/26458/task/26467/stat : 26467 (java) T 26456 26458 26458 0 -1 4202560 7110 0 0 0 5 1 0 0 15 0 19 0 869253530 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26458/tid=26468] ppid=26456 vsize=8537796 CPUtime=0.28 cores=0,2,4,6
/proc/26458/task/26468/stat : 26468 (java) T 26456 26458 26458 0 -1 4202560 8421 0 0 0 27 1 0 0 15 0 19 0 869253531 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773760 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=26458/tid=26469] ppid=26456 vsize=8537796 CPUtime=0 cores=0,2,4,6
/proc/26458/task/26469/stat : 26469 (java) T 26456 26458 26458 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869253531 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26458/tid=26470] ppid=26456 vsize=8537796 CPUtime=0 cores=0,2,4,6
/proc/26458/task/26470/stat : 26470 (java) T 26456 26458 26458 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869253531 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26458/tid=26471] ppid=26456 vsize=8537796 CPUtime=0 cores=0,2,4,6
/proc/26458/task/26471/stat : 26471 (java) T 26456 26458 26458 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869253533 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26458/tid=26472] ppid=26456 vsize=8537796 CPUtime=0.44 cores=0,2,4,6

################
# More data... #
################

[pid=26491/tid=26497] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26497/stat : 26497 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869262955 8804458496 5760 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 6 0 0 0
[pid=26491/tid=26498] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26498/stat : 26498 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869262955 8804458496 5760 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 6 0 0 0
[pid=26491/tid=26499] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26499/stat : 26499 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869262955 8804458496 5761 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 6 0 0 0
[pid=26491/tid=26500] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26500/stat : 26500 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869262955 8804458496 5761 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 6 0 0 0
[pid=26491/tid=26501] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26501/stat : 26501 (java) S 26489 26491 26491 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869262956 8804458496 5761 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773760 0 0 0 16800975 18446604460286075264 0 0 -1 4 0 0 0
[pid=26491/tid=26502] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26502/stat : 26502 (java) S 26489 26491 26491 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869262956 8804458496 5761 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 4 0 0 0
[pid=26491/tid=26503] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26503/stat : 26503 (java) S 26489 26491 26491 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869262956 8804458496 5762 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 4 0 0 0
[pid=26491/tid=26504] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26504/stat : 26504 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869262959 8804458496 5763 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382780849 0 4 0 16800975 18446604460286075264 0 0 -1 4 0 0 0
[pid=26491/tid=26505] ppid=26489 vsize=8598104 CPUtime=0.02 cores=0,2,4,6
/proc/26491/task/26505/stat : 26505 (java) R 26489 26491 26491 0 -1 4202560 358 0 0 0 2 0 0 0 24 0 18 0 869262959 8804458496 5768 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 47923283720256 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26491/tid=26506] ppid=26489 vsize=8598104 CPUtime=0.05 cores=0,2,4,6
/proc/26491/task/26506/stat : 26506 (java) R 26489 26491 26491 0 -1 4202560 1036 0 0 0 5 0 0 0 25 0 18 0 869262959 8804458496 5770 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 47923285745480 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26491/tid=26507] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26507/stat : 26507 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869262959 8804458496 5771 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 4 0 0 0
[pid=26491/tid=26508] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26508/stat : 26508 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869262959 8804458496 5772 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773760 0 4 0 16800975 18446604460286075264 0 0 -1 0 0 0 0
[pid=26413/tid=26429] ppid=26410 vsize=325340 CPUtime=0 cores=0,2,4,6
/proc/26413/task/26429/stat : 26429 (python) S 26410 26413 26377 0 -1 4202560 30 919 0 9 0 0 0 0 18 0 5 0 869248481 333148160 7501 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382780849 0 0 16781312 33554434 18446604447764925120 0 0 -1 0 0 0 0
[pid=26413/tid=26457] ppid=26410 vsize=325340 CPUtime=0 cores=0,2,4,6
/proc/26413/task/26457/stat : 26457 (python) S 26410 26413 26377 0 -1 4202560 28 919 0 9 0 0 0 0 20 0 5 0 869253528 333148160 7501 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382780849 0 0 16781312 33554434 18446604447764925120 0 0 -1 0 0 0 0
[pid=26413/tid=26480] ppid=26410 vsize=325340 CPUtime=0 cores=0,2,4,6
/proc/26413/task/26480/stat : 26480 (python) S 26410 26413 26377 0 -1 4202560 21 919 0 9 0 0 0 0 20 0 5 0 869258195 333148160 7501 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382780849 0 0 16781312 33554434 18446604447764925120 0 0 -1 0 0 0 0
[pid=26413/tid=26490] ppid=26410 vsize=325340 CPUtime=0 cores=0,2,4,6
/proc/26413/task/26490/stat : 26490 (python) S 26410 26413 26377 0 -1 4202560 29 919 0 9 0 0 0 0 20 0 5 0 869262953 333148160 7501 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382780849 0 0 16781312 33554434 18446604447764925120 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 147.17
Current children cumulated vsize (KiB) 18914696

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+149.502 s]
/proc/loadavg: 1.89 0.84 0.31 4/467 26509
/proc/meminfo: memFree=22985188/32951124 swapFree=49244124/67111528
[pid=26413] ppid=26410 vsize=325340 CPUtime=0.71 cores=0,2,4,6
/proc/26413/stat : 26413 (python) S 26410 26413 26377 0 -1 4202496 12403 919 112 9 53 18 0 0 20 0 5 0 869248021 333148160 7501 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 88
/proc/26413/statm: 81335 7501 1877 364 0 16213 0
[pid=26427] ppid=26413 vsize=293856 CPUtime=0.18 cores=0,2,4,6
/proc/26427/stat : 26427 (python) S 26413 26413 26377 0 -1 4202560 1108 0 0 0 9 9 0 0 16 0 2 0 869248481 300908544 5861 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/26427/statm: 73464 5861 407 364 0 8351 0
[pid=26430] ppid=26427 vsize=112804 CPUtime=50.43 cores=0,2,4,6
/proc/26430/stat : 26430 (scip-2.0.1.linu) T 26427 26430 26430 0 -1 4202496 26693 0 0 0 5006 37 0 0 25 0 1 0 869248481 115511296 25845 33554432000 4194304 13684479 140734756543344 18446744073709551615 7401065 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/26430/statm: 28201 25845 798 2317 0 25879 0
[pid=26427/tid=26455] ppid=26413 vsize=293856 CPUtime=0 cores=0,2,4,6
/proc/26427/task/26455/stat : 26455 (python) S 26413 26413 26377 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869253525 300908544 5861 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382780849 0 0 16781312 33554946 18446604441573077184 0 0 -1 0 0 0 0
[pid=26456] ppid=26413 vsize=294372 CPUtime=0.17 cores=0,2,4,6
/proc/26456/stat : 26456 (python) S 26413 26413 26377 0 -1 4202560 1170 0 0 0 9 8 0 0 16 0 2 0 869253528 301436928 5979 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/26456/statm: 73593 5979 403 364 0 8477 0
[pid=26458] ppid=26456 vsize=8537796 CPUtime=47.72 cores=0,2,4,6
/proc/26458/stat : 26458 (java) T 26456 26458 26458 0 -1 4202496 55643 0 1 0 4762 10 0 0 18 0 19 0 869253528 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26458/statm: 2134449 48456 2254 9 0 2125190 0
[pid=26458/tid=26459] ppid=26456 vsize=8537796 CPUtime=46.18 cores=0,2,4,6
/proc/26458/task/26459/stat : 26459 (java) T 26456 26458 26458 0 -1 4202560 14809 0 1 0 4616 2 0 0 25 0 19 0 869253529 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 46912505741076 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=26458/tid=26460] ppid=26456 vsize=8537796 CPUtime=0.03 cores=0,2,4,6
/proc/26458/task/26460/stat : 26460 (java) T 26456 26458 26458 0 -1 4202560 3710 0 0 0 3 0 0 0 15 0 19 0 869253530 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26458/tid=26461] ppid=26456 vsize=8537796 CPUtime=0.03 cores=0,2,4,6
/proc/26458/task/26461/stat : 26461 (java) T 26456 26458 26458 0 -1 4202560 2110 0 0 0 3 0 0 0 15 0 19 0 869253530 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=26458/tid=26462] ppid=26456 vsize=8537796 CPUtime=0.04 cores=0,2,4,6
/proc/26458/task/26462/stat : 26462 (java) T 26456 26458 26458 0 -1 4202560 2648 0 0 0 4 0 0 0 15 0 19 0 869253530 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=26458/tid=26463] ppid=26456 vsize=8537796 CPUtime=0.02 cores=0,2,4,6
/proc/26458/task/26463/stat : 26463 (java) T 26456 26458 26458 0 -1 4202560 1868 0 0 0 2 0 0 0 15 0 19 0 869253530 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26458/tid=26464] ppid=26456 vsize=8537796 CPUtime=0.03 cores=0,2,4,6
/proc/26458/task/26464/stat : 26464 (java) T 26456 26458 26458 0 -1 4202560 1920 0 0 0 3 0 0 0 15 0 19 0 869253530 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26458/tid=26465] ppid=26456 vsize=8537796 CPUtime=0.03 cores=0,2,4,6
/proc/26458/task/26465/stat : 26465 (java) T 26456 26458 26458 0 -1 4202560 806 0 0 0 3 0 0 0 15 0 19 0 869253530 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=26458/tid=26466] ppid=26456 vsize=8537796 CPUtime=0.05 cores=0,2,4,6
/proc/26458/task/26466/stat : 26466 (java) T 26456 26458 26458 0 -1 4202560 6204 0 0 0 4 1 0 0 15 0 19 0 869253530 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26458/tid=26467] ppid=26456 vsize=8537796 CPUtime=0.06 cores=0,2,4,6
/proc/26458/task/26467/stat : 26467 (java) T 26456 26458 26458 0 -1 4202560 7110 0 0 0 5 1 0 0 15 0 19 0 869253530 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26458/tid=26468] ppid=26456 vsize=8537796 CPUtime=0.28 cores=0,2,4,6
/proc/26458/task/26468/stat : 26468 (java) T 26456 26458 26458 0 -1 4202560 8421 0 0 0 27 1 0 0 15 0 19 0 869253531 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773760 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=26458/tid=26469] ppid=26456 vsize=8537796 CPUtime=0 cores=0,2,4,6
/proc/26458/task/26469/stat : 26469 (java) T 26456 26458 26458 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869253531 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26458/tid=26470] ppid=26456 vsize=8537796 CPUtime=0 cores=0,2,4,6
/proc/26458/task/26470/stat : 26470 (java) T 26456 26458 26458 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869253531 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26458/tid=26471] ppid=26456 vsize=8537796 CPUtime=0 cores=0,2,4,6
/proc/26458/task/26471/stat : 26471 (java) T 26456 26458 26458 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869253533 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26458/tid=26472] ppid=26456 vsize=8537796 CPUtime=0.44 cores=0,2,4,6
/proc/26458/task/26472/stat : 26472 (java) T 26456 26458 26458 0 -1 4202560 2559 0 0 0 44 0 0 0 15 0 19 0 869253533 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=26458/tid=26473] ppid=26456 vsize=8537796 CPUtime=0.42 cores=0,2,4,6
/proc/26458/task/26473/stat : 26473 (java) T 26456 26458 26458 0 -1 4202560 2086 0 0 0 42 0 0 0 15 0 19 0 869253533 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=26458/tid=26474] ppid=26456 vsize=8537796 CPUtime=0 cores=0,2,4,6
/proc/26458/task/26474/stat : 26474 (java) T 26456 26458 26458 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869253533 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26458/tid=26475] ppid=26456 vsize=8537796 CPUtime=0 cores=0,2,4,6
/proc/26458/task/26475/stat : 26475 (java) T 26456 26458 26458 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869253533 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=26458/tid=26476] ppid=26456 vsize=8537796 CPUtime=0 cores=0,2,4,6
/proc/26458/task/26476/stat : 26476 (java) T 26456 26458 26458 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869253563 8742703104 48456 33554432000 1073741824 1073778376 140736956577744 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=26456/tid=26478] ppid=26413 vsize=294372 CPUtime=0 cores=0,2,4,6
/proc/26456/task/26478/stat : 26478 (python) S 26413 26413 26377 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869258192 301436928 5979 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382780849 0 0 16781312 33554946 18446604445333668032 0 0 -1 4 0 0 0
[pid=26479] ppid=26413 vsize=304400 CPUtime=0.18 cores=0,2,4,6
/proc/26479/stat : 26479 (python) S 26413 26413 26377 0 -1 4202560 1181 0 0 0 9 9 0 0 16 0 2 0 869258195 311705600 5910 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/26479/statm: 76100 5910 403 364 0 10981 0
[pid=26481] ppid=26479 vsize=132928 CPUtime=47.54 cores=0,2,4,6
/proc/26481/stat : 26481 (scip-2.0.1.linu) T 26479 26481 26481 0 -1 4202496 37439 0 0 0 4739 15 0 0 25 0 1 0 869258196 136118272 30028 33554432000 4194304 15243407 140736353573504 18446744073709551615 8108592 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/26481/statm: 33232 30028 905 2698 0 30527 0
[pid=26479/tid=26488] ppid=26413 vsize=304400 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26488/stat : 26488 (python) S 26413 26413 26377 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869262950 311705600 5910 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382780849 0 0 16781312 33554946 18446604445176662848 0 0 -1 6 0 0 0
[pid=26489] ppid=26413 vsize=315096 CPUtime=0 cores=0,2,4,6
/proc/26489/stat : 26489 (python) S 26413 26413 26377 0 -1 4202560 789 0 0 0 0 0 0 0 18 0 1 0 869262953 322658304 5969 33554432000 4194304 5683644 140734096667904 18446744073709551615 218370977350 0 0 16781312 33554946 4410828097553662210 0 0 17 6 0 0 0
/proc/26489/statm: 78774 5969 349 364 0 13652 0
[pid=26491] ppid=26489 vsize=8598104 CPUtime=0.24 cores=0,2,4,6
/proc/26491/stat : 26491 (java) S 26489 26491 26491 0 -1 4202496 6511 0 1 0 23 1 0 0 20 0 18 0 869262953 8804458496 5782 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26491/statm: 2149526 5782 2165 9 0 2140267 0
[pid=26491/tid=26492] ppid=26489 vsize=8598104 CPUtime=0.15 cores=0,2,4,6
/proc/26491/task/26492/stat : 26492 (java) R 26489 26491 26491 0 -1 4202560 3744 0 1 0 14 1 0 0 18 0 18 0 869262954 8804458496 5760 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 4
[pid=26491/tid=26493] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26493/stat : 26493 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869262955 8804458496 5760 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 4 0 0 0
[pid=26491/tid=26494] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26494/stat : 26494 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869262955 8804458496 5760 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 4 0 0 0
[pid=26491/tid=26495] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26495/stat : 26495 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869262955 8804458496 5760 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 4 0 0 0
[pid=26491/tid=26496] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26496/stat : 26496 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869262955 8804458496 5760 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 6 0 0 0
[pid=26491/tid=26497] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26497/stat : 26497 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869262955 8804458496 5760 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 6 0 0 0
[pid=26491/tid=26498] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26498/stat : 26498 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869262955 8804458496 5760 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 6 0 0 0
[pid=26491/tid=26499] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26499/stat : 26499 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869262955 8804458496 5761 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 6 0 0 0
[pid=26491/tid=26500] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26500/stat : 26500 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869262955 8804458496 5761 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 6 0 0 0
[pid=26491/tid=26501] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26501/stat : 26501 (java) S 26489 26491 26491 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869262956 8804458496 5761 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773760 0 0 0 16800975 18446604460286075264 0 0 -1 4 0 0 0
[pid=26491/tid=26502] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26502/stat : 26502 (java) S 26489 26491 26491 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869262956 8804458496 5761 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 4 0 0 0
[pid=26491/tid=26503] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26503/stat : 26503 (java) S 26489 26491 26491 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869262956 8804458496 5762 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 4 0 0 0
[pid=26491/tid=26504] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26504/stat : 26504 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869262959 8804458496 5763 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382780849 0 4 0 16800975 18446604460286075264 0 0 -1 4 0 0 0
[pid=26491/tid=26505] ppid=26489 vsize=8598104 CPUtime=0.02 cores=0,2,4,6
/proc/26491/task/26505/stat : 26505 (java) R 26489 26491 26491 0 -1 4202560 358 0 0 0 2 0 0 0 24 0 18 0 869262959 8804458496 5768 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 47923283720256 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26491/tid=26506] ppid=26489 vsize=8598104 CPUtime=0.05 cores=0,2,4,6
/proc/26491/task/26506/stat : 26506 (java) R 26489 26491 26491 0 -1 4202560 1036 0 0 0 5 0 0 0 25 0 18 0 869262959 8804458496 5770 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 47923285745480 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26491/tid=26507] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26507/stat : 26507 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869262959 8804458496 5771 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773145 0 4 0 16800975 18446604460286075264 0 0 -1 4 0 0 0
[pid=26491/tid=26508] ppid=26489 vsize=8598104 CPUtime=0 cores=0,2,4,6
/proc/26491/task/26508/stat : 26508 (java) S 26489 26491 26491 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869262959 8804458496 5772 33554432000 1073741824 1073778376 140734628676736 18446744073709551615 218382773760 0 4 0 16800975 18446604460286075264 0 0 -1 0 0 0 0
[pid=26413/tid=26429] ppid=26410 vsize=325340 CPUtime=0 cores=0,2,4,6
/proc/26413/task/26429/stat : 26429 (python) S 26410 26413 26377 0 -1 4202560 30 919 0 9 0 0 0 0 18 0 5 0 869248481 333148160 7501 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382780849 0 0 16781312 33554434 18446604447764925120 0 0 -1 0 0 0 0
[pid=26413/tid=26457] ppid=26410 vsize=325340 CPUtime=0 cores=0,2,4,6
/proc/26413/task/26457/stat : 26457 (python) S 26410 26413 26377 0 -1 4202560 28 919 0 9 0 0 0 0 20 0 5 0 869253528 333148160 7501 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382780849 0 0 16781312 33554434 18446604447764925120 0 0 -1 0 0 0 0
[pid=26413/tid=26480] ppid=26410 vsize=325340 CPUtime=0 cores=0,2,4,6
/proc/26413/task/26480/stat : 26480 (python) S 26410 26413 26377 0 -1 4202560 21 919 0 9 0 0 0 0 20 0 5 0 869258195 333148160 7501 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382780849 0 0 16781312 33554434 18446604447764925120 0 0 -1 0 0 0 0
[pid=26413/tid=26490] ppid=26410 vsize=325340 CPUtime=0 cores=0,2,4,6
/proc/26413/task/26490/stat : 26490 (python) S 26410 26413 26377 0 -1 4202560 29 919 0 9 0 0 0 0 20 0 5 0 869262953 333148160 7501 33554432000 4194304 5683644 140734096667904 18446744073709551615 218382780849 0 0 16781312 33554434 18446604447764925120 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 147.17
Current children cumulated vsize (KiB) 18914696

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26413 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=541917
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=194970
# CPU time returned by wait4() is 0.736887
# while last known CPU time is 147.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 149.57
CPU time (s): 147.17
CPU user time (s): 146.1
CPU system time (s): 1.07
CPU usage (%): 98.3951
Max. virtual memory (cumulated for all children) (KiB): 18914696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.541917
system time used= 0.19497
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13324
page faults= 121
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18723
involuntary context switches= 21

runsolver used 0.678896 second user time and 1.42978 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-09 01:40:43
IDJOB=3481858
IDBENCH=1989
IDSOLVER=1970
FILE ID=node101/3481858-1307576442
RUNJOBID= node101-1307576442-26395
PBS_JOBID= 13547704
Free space on /tmp= 74092 MiB

SOLVER NAME= borg pb-opt-11.04.03
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.opt.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3481858-1307576442/watcher-3481858-1307576442 -o /tmp/evaluation-result-3481858-1307576442/solver-3481858-1307576442 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481858-1307576442.opb -seed 232262532 -budget 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 77b4ba393aa7b9b6b0fcb1b4220a12a4
RANDOM SEED=232262532

node101.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23934800 kB
Buffers:        160224 kB
Cached:         439620 kB
SwapCached:      24660 kB
Active:        8556856 kB
Inactive:       176952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23934800 kB
SwapTotal:    67111528 kB
SwapFree:     49244124 kB
Dirty:          205536 kB
Writeback:           0 kB
AnonPages:     8131736 kB
Mapped:          17272 kB
Slab:           141860 kB
PageTables:      74436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78584384 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73892 MiB
End job on node101 at 2011-06-09 01:43:24