Trace number 3481666

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) 194 190.39

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
MD5SUMd25f6086317f033c233c4700493f03d1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1800.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20
Optimality of the best value was proved NO
Number of variables6027
Total number of constraints21278
Number of constraints which are clauses21267
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint650
Number of terms in the objective function 650
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 650
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 681
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.34/0.65	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.34/0.65	c INFO: solving HOME/instance-3481666-1307577683.opb
0.44/0.76	c INFO: parsing took 0.11 s
0.64/0.95	c INFO: features took 0.20 CPU seconds
0.64/0.98	c INFO: running scip-2.0.1-spx@0 for 45 with 1799 remaining (b = 0.25)
47.72/47.89	c INFO: running scip-2.0.1-clp@0 for 45 with 1752 remaining (b = 0.06)
94.63/94.57	c INFO: running wbo1.4a@0 for 45 with 1706 remaining (b = 0.03)
144.99/144.60	c INFO: running sat4j-pb-v20101225@0 for 45 with 1656 remaining (b = 0.02)
191.37/189.20	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1610 remaining (b = 0.01)

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-3481666-1307577683/watcher-3481666-1307577683 -o /tmp/evaluation-result-3481666-1307577683/solver-3481666-1307577683 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481666-1307577683.opb -seed 1011501254 -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: 2.26 2.11 1.58 2/750 20680
/proc/meminfo: memFree=21883256/32950928 swapFree=26914392/67111528
[pid=20680] ppid=20678 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/20680/stat : 20680 (python) R 20678 20680 19061 0 -1 4202496 1038 0 0 0 0 0 0 0 17 0 1 0 869365091 16629760 910 33554432000 4194304 5683644 140736885515968 18446744073709551615 254500052740 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/20680/statm: 4060 910 380 364 0 547 0

[startup+0.099538 s]
/proc/loadavg: 2.26 2.11 1.58 2/750 20680
/proc/meminfo: memFree=21883256/32950928 swapFree=26914392/67111528
[pid=20680] ppid=20678 vsize=85620 CPUtime=0.05 cores=0,2,4,6
/proc/20680/stat : 20680 (python) S 20678 20680 19061 0 -1 4202496 2664 0 0 0 4 1 0 0 17 0 1 0 869365091 87674880 2382 33554432000 4194304 5683644 140736885515968 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/20680/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620

[startup+0.100512 s]
/proc/loadavg: 2.26 2.11 1.58 2/750 20680
/proc/meminfo: memFree=21883256/32950928 swapFree=26914392/67111528
[pid=20680] ppid=20678 vsize=85620 CPUtime=0.05 cores=0,2,4,6
/proc/20680/stat : 20680 (python) S 20678 20680 19061 0 -1 4202496 2665 0 0 0 4 1 0 0 17 0 1 0 869365091 87674880 2382 33554432000 4194304 5683644 140736885515968 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/20680/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620

[startup+0.3005 s]
/proc/loadavg: 2.26 2.11 1.58 2/750 20680
/proc/meminfo: memFree=21883256/32950928 swapFree=26914392/67111528
[pid=20680] ppid=20678 vsize=123740 CPUtime=0.16 cores=0,2,4,6
/proc/20680/stat : 20680 (python) S 20678 20680 19061 0 -1 4202496 5357 932 1 0 12 4 0 0 17 0 1 0 869365091 126709760 3744 33554432000 4194304 5683644 140736885515968 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/20680/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740

[startup+0.707439 s]
/proc/loadavg: 2.26 2.11 1.58 2/750 20680
/proc/meminfo: memFree=21883256/32950928 swapFree=26914392/67111528
[pid=20680] ppid=20678 vsize=285268 CPUtime=0.44 cores=0,2,4,6
/proc/20680/stat : 20680 (python) R 20678 20680 19061 0 -1 4202496 9768 932 1 0 35 9 0 0 16 0 1 0 869365091 292114432 7630 33554432000 4194304 5683644 140736885515968 18446744073709551615 5007112 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/20680/statm: 71317 7630 1781 364 0 6210 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 285268

[startup+1.50129 s]
/proc/loadavg: 2.26 2.11 1.58 3/754 20689
/proc/meminfo: memFree=21846380/32950928 swapFree=26914392/67111528
[pid=20680] ppid=20678 vsize=297416 CPUtime=0.72 cores=0,2,4,6
/proc/20680/stat : 20680 (python) S 20678 20680 19061 0 -1 4202496 11133 932 1 0 62 10 0 0 19 0 2 0 869365091 304553984 8193 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/20680/statm: 74354 8193 1870 364 0 9241 0
[pid=20686] ppid=20680 vsize=287172 CPUtime=0 cores=0,2,4,6
/proc/20686/stat : 20686 (python) S 20680 20680 19061 0 -1 4202560 735 0 0 0 0 0 0 0 15 0 1 0 869365189 294064128 6671 33554432000 4194304 5683644 140736885515968 18446744073709551615 254500711951 0 0 16781312 33554946 2136698508378341635 0 0 17 6 0 0 0
/proc/20686/statm: 71793 6671 352 364 0 6680 0
[pid=20689] ppid=20686 vsize=65484 CPUtime=0.5 cores=0,2,4,6
/proc/20689/stat : 20689 (scip-2.0.1.linu) R 20686 20689 20689 0 -1 4202496 15296 0 0 0 46 4 0 0 20 0 1 0 869365189 67055616 13920 33554432000 4194304 13684479 140733430203536 18446744073709551615 5688624 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/20689/statm: 16371 13920 657 2317 0 14049 0
[pid=20680/tid=20688] ppid=20678 vsize=297416 CPUtime=0 cores=0,2,4,6
/proc/20680/task/20688/stat : 20688 (python) S 20678 20680 19061 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 869365189 304553984 8193 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554434 18446604451487543424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 650072

[startup+3.10097 s]
/proc/loadavg: 2.26 2.11 1.58 3/754 20689
/proc/meminfo: memFree=21846380/32950928 swapFree=26914392/67111528
[pid=20680] ppid=20678 vsize=297416 CPUtime=0.72 cores=0,2,4,6
/proc/20680/stat : 20680 (python) S 20678 20680 19061 0 -1 4202496 11133 932 1 0 62 10 0 0 19 0 2 0 869365091 304553984 8193 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/20680/statm: 74354 8193 1870 364 0 9241 0
[pid=20686] ppid=20680 vsize=287172 CPUtime=0 cores=0,2,4,6
/proc/20686/stat : 20686 (python) S 20680 20680 19061 0 -1 4202560 742 0 0 0 0 0 0 0 15 0 1 0 869365189 294064128 6671 33554432000 4194304 5683644 140736885515968 18446744073709551615 254500711951 0 0 16781312 33554946 2136698508378341635 0 0 17 6 0 0 0
/proc/20686/statm: 71793 6671 352 364 0 6680 0
[pid=20689] ppid=20686 vsize=106176 CPUtime=2.1 cores=0,2,4,6
/proc/20689/stat : 20689 (scip-2.0.1.linu) R 20686 20689 20689 0 -1 4202496 25352 0 0 0 203 7 0 0 25 0 1 0 869365189 108724224 23645 33554432000 4194304 13684479 140733430203536 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/20689/statm: 26544 23645 790 2317 0 24222 0
[pid=20680/tid=20688] ppid=20678 vsize=297416 CPUtime=0 cores=0,2,4,6
/proc/20680/task/20688/stat : 20688 (python) S 20678 20680 19061 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 869365189 304553984 8193 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554434 18446604451487543424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 690764

[startup+6.30132 s]
/proc/loadavg: 2.24 2.11 1.59 3/754 20689
/proc/meminfo: memFree=21759992/32950928 swapFree=26914392/67111528
[pid=20680] ppid=20678 vsize=297416 CPUtime=0.72 cores=0,2,4,6
/proc/20680/stat : 20680 (python) S 20678 20680 19061 0 -1 4202496 11133 932 1 0 62 10 0 0 19 0 2 0 869365091 304553984 8193 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/20680/statm: 74354 8193 1870 364 0 9241 0
[pid=20686] ppid=20680 vsize=287172 CPUtime=0.01 cores=0,2,4,6
/proc/20686/stat : 20686 (python) S 20680 20680 19061 0 -1 4202560 900 0 0 0 0 1 0 0 15 0 1 0 869365189 294064128 6695 33554432000 4194304 5683644 140736885515968 18446744073709551615 254500711951 0 0 16781312 33554946 427550997745762304 0 0 17 6 0 0 0
/proc/20686/statm: 71793 6695 376 364 0 6680 0
[pid=20689] ppid=20686 vsize=106176 CPUtime=5.31 cores=0,2,4,6
/proc/20689/stat : 20689 (scip-2.0.1.linu) R 20686 20689 20689 0 -1 4202496 25956 0 0 0 523 8 0 0 18 0 1 0 869365189 108724224 24103 33554432000 4194304 13684479 140733430203536 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/20689/statm: 26544 24103 885 2317 0 24222 0
[pid=20680/tid=20688] ppid=20678 vsize=297416 CPUtime=0 cores=0,2,4,6
/proc/20680/task/20688/stat : 20688 (python) S 20678 20680 19061 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 869365189 304553984 8193 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554434 18446604451487543424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 690764

[startup+12.701 s]
/proc/loadavg: 2.22 2.11 1.59 3/776 20715
/proc/meminfo: memFree=21579000/32950928 swapFree=26914392/67111528
[pid=20680] ppid=20678 vsize=297416 CPUtime=0.72 cores=0,2,4,6
/proc/20680/stat : 20680 (python) S 20678 20680 19061 0 -1 4202496 11133 932 1 0 62 10 0 0 19 0 2 0 869365091 304553984 8193 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/20680/statm: 74354 8193 1870 364 0 9241 0
[pid=20686] ppid=20680 vsize=287172 CPUtime=0.03 cores=0,2,4,6
/proc/20686/stat : 20686 (python) S 20680 20680 19061 0 -1 4202560 904 0 0 0 1 2 0 0 15 0 1 0 869365189 294064128 6695 33554432000 4194304 5683644 140736885515968 18446744073709551615 254500711951 0 0 16781312 33554946 72556772316949265 0 0 17 6 0 0 0
/proc/20686/statm: 71793 6695 376 364 0 6680 0
[pid=20689] ppid=20686 vsize=106176 CPUtime=11.71 cores=0,2,4,6
/proc/20689/stat : 20689 (scip-2.0.1.linu) R 20686 20689 20689 0 -1 4202496 25956 0 0 0 1162 9 0 0 25 0 1 0 869365189 108724224 24103 33554432000 4194304 13684479 140733430203536 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/20689/statm: 26544 24103 885 2317 0 24222 0
[pid=20680/tid=20688] ppid=20678 vsize=297416 CPUtime=0 cores=0,2,4,6
/proc/20680/task/20688/stat : 20688 (python) S 20678 20680 19061 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 869365189 304553984 8193 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554434 18446604451487543424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 690764

[startup+25.5005 s]
/proc/loadavg: 2.17 2.10 1.59 3/776 20715
/proc/meminfo: memFree=21569288/32950928 swapFree=26914392/67111528
[pid=20680] ppid=20678 vsize=297416 CPUtime=0.72 cores=0,2,4,6
/proc/20680/stat : 20680 (python) S 20678 20680 19061 0 -1 4202496 11133 932 1 0 62 10 0 0 19 0 2 0 869365091 304553984 8193 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/20680/statm: 74354 8193 1870 364 0 9241 0
[pid=20686] ppid=20680 vsize=287172 CPUtime=0.1 cores=0,2,4,6
/proc/20686/stat : 20686 (python) S 20680 20680 19061 0 -1 4202560 908 0 0 0 5 5 0 0 15 0 1 0 869365189 294064128 6695 33554432000 4194304 5683644 140736885515968 18446744073709551615 254500711951 0 0 16781312 33554946 72556772316949265 0 0 17 6 0 0 0
/proc/20686/statm: 71793 6695 376 364 0 6680 0
[pid=20689] ppid=20686 vsize=106176 CPUtime=24.5 cores=0,2,4,6
/proc/20689/stat : 20689 (scip-2.0.1.linu) R 20686 20689 20689 0 -1 4202496 26059 0 0 0 2438 12 0 0 25 0 1 0 869365189 108724224 24160 33554432000 4194304 13684479 140733430203536 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/20689/statm: 26544 24160 851 2317 0 24222 0
[pid=20680/tid=20688] ppid=20678 vsize=297416 CPUtime=0 cores=0,2,4,6
/proc/20680/task/20688/stat : 20688 (python) S 20678 20680 19061 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 869365189 304553984 8193 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554434 18446604451487543424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 690764

[startup+51.1014 s]
/proc/loadavg: 2.48 2.17 1.63 3/780 20720
/proc/meminfo: memFree=21332004/32950928 swapFree=26914392/67111528
[pid=20680] ppid=20678 vsize=307672 CPUtime=0.74 cores=0,2,4,6
/proc/20680/stat : 20680 (python) S 20678 20680 19061 0 -1 4202496 12087 932 1 0 64 10 0 0 20 0 3 0 869365091 315056128 8200 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/20680/statm: 76918 8200 1873 364 0 11802 0
[pid=20686] ppid=20680 vsize=297416 CPUtime=0.23 cores=0,2,4,6
/proc/20686/stat : 20686 (python) S 20680 20680 19061 0 -1 4202560 1136 0 0 0 11 12 0 0 16 0 2 0 869365189 304553984 6737 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20686/statm: 74354 6737 413 364 0 9241 0
[pid=20689] ppid=20686 vsize=144096 CPUtime=46.87 cores=0,2,4,6
/proc/20689/stat : 20689 (scip-2.0.1.linu) T 20686 20689 20689 0 -1 4202496 35434 0 0 0 4660 27 0 0 25 0 1 0 869365189 147554304 33461 33554432000 4194304 13684479 140733430203536 18446744073709551615 7019309 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/20689/statm: 36024 33461 853 2317 0 33702 0
[pid=20686/tid=20717] ppid=20680 vsize=297416 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20717/stat : 20717 (python) S 20680 20680 19061 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869369878 304553984 6737 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554946 18446604450221962496 0 0 -1 6 0 0 0
[pid=20718] ppid=20680 vsize=297428 CPUtime=0 cores=0,2,4,6
/proc/20718/stat : 20718 (python) S 20680 20680 19061 0 -1 4202560 833 0 0 0 0 0 0 0 15 0 1 0 869369880 304566272 6679 33554432000 4194304 5683644 140736885515968 18446744073709551615 254500712006 0 0 16781312 33554946 251533819092402176 0 0 17 6 0 0 0
/proc/20718/statm: 74357 6679 356 364 0 9241 0
[pid=20720] ppid=20718 vsize=108728 CPUtime=3.19 cores=0,2,4,6
/proc/20720/stat : 20720 (scip-2.0.1.linu) R 20718 20720 20720 0 -1 4202496 24973 0 0 0 314 5 0 0 25 0 1 0 869369881 111337472 22938 33554432000 4194304 15243407 140733955000640 18446744073709551615 8135863 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/20720/statm: 27182 22938 884 2698 0 24477 0
[pid=20680/tid=20688] ppid=20678 vsize=307672 CPUtime=0 cores=0,2,4,6
/proc/20680/task/20688/stat : 20688 (python) S 20678 20680 19061 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 3 0 869365189 315056128 8200 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554434 18446604451487543424 0 0 -1 2 0 0 0
[pid=20680/tid=20719] ppid=20678 vsize=307672 CPUtime=0 cores=0,2,4,6
/proc/20680/task/20719/stat : 20719 (python) S 20678 20680 19061 0 -1 4202560 22 932 0 0 0 0 0 0 20 0 3 0 869369881 315056128 8200 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554434 18446604451487543424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 1155340

[startup+102.301 s]
/proc/loadavg: 2.29 2.16 1.65 3/788 20731
/proc/meminfo: memFree=21265348/32950928 swapFree=26914392/67111528
[pid=20680] ppid=20678 vsize=317928 CPUtime=0.77 cores=0,2,4,6
/proc/20680/stat : 20680 (python) S 20678 20680 19061 0 -1 4202496 12950 932 1 0 67 10 0 0 20 0 4 0 869365091 325558272 8206 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/20680/statm: 79482 8206 1875 364 0 14363 0
[pid=20686] ppid=20680 vsize=297416 CPUtime=0.23 cores=0,2,4,6
/proc/20686/stat : 20686 (python) S 20680 20680 19061 0 -1 4202560 1136 0 0 0 11 12 0 0 16 0 2 0 869365189 304553984 6737 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20686/statm: 74354 6737 413 364 0 9241 0
[pid=20689] ppid=20686 vsize=144096 CPUtime=46.87 cores=0,2,4,6
/proc/20689/stat : 20689 (scip-2.0.1.linu) T 20686 20689 20689 0 -1 4202496 35434 0 0 0 4660 27 0 0 25 0 1 0 869365189 147554304 33461 33554432000 4194304 13684479 140733430203536 18446744073709551615 7019309 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/20689/statm: 36024 33461 853 2317 0 33702 0
[pid=20686/tid=20717] ppid=20680 vsize=297416 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20717/stat : 20717 (python) S 20680 20680 19061 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869369878 304553984 6737 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554946 18446604450221962496 0 0 -1 6 0 0 0
[pid=20718] ppid=20680 vsize=297428 CPUtime=0.22 cores=0,2,4,6
/proc/20718/stat : 20718 (python) S 20680 20680 19061 0 -1 4202560 1161 0 0 0 12 10 0 0 17 0 2 0 869369880 304566272 6727 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20718/statm: 74357 6727 403 364 0 9241 0
[pid=20720] ppid=20718 vsize=129368 CPUtime=46.63 cores=0,2,4,6
/proc/20720/stat : 20720 (scip-2.0.1.linu) T 20718 20720 20720 0 -1 4202496 40423 0 0 0 4647 16 0 0 25 0 1 0 869369881 132472832 26220 33554432000 4194304 15243407 140733955000640 18446744073709551615 8113544 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/20720/statm: 32342 26220 940 2698 0 29637 0
[pid=20718/tid=20726] ppid=20680 vsize=297428 CPUtime=0 cores=0,2,4,6
/proc/20718/task/20726/stat : 20726 (python) S 20680 20680 19061 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869374545 304566272 6727 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554946 18446604450079061056 0 0 -1 6 0 0 0
[pid=20727] ppid=20680 vsize=307684 CPUtime=0.02 cores=0,2,4,6
/proc/20727/stat : 20727 (python) S 20680 20680 19061 0 -1 4202560 936 0 0 0 1 1 0 0 15 0 1 0 869374548 315068416 6700 33554432000 4194304 5683644 140736885515968 18446744073709551615 254500712006 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0

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

[pid=20761/tid=20776] ppid=20759 vsize=8546892 CPUtime=0.71 cores=0,2,4,6
/proc/20761/task/20776/stat : 20776 (java) S 20759 20761 20761 0 -1 4202560 6697 0 0 0 70 1 0 0 16 0 19 0 869384016 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512507801 0 4 0 16800975 18446604446753412416 0 0 -1 0 0 0 0
[pid=20761/tid=20777] ppid=20759 vsize=8546892 CPUtime=0.64 cores=0,2,4,6
/proc/20761/task/20777/stat : 20777 (java) S 20759 20761 20761 0 -1 4202560 5239 0 0 0 64 0 0 0 15 0 19 0 869384016 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512507801 0 4 0 16800975 18446604446753412416 0 0 -1 2 0 0 0
[pid=20761/tid=20778] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20778/stat : 20778 (java) S 20759 20761 20761 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869384016 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512507801 0 4 0 16800975 18446604446753412416 0 0 -1 2 0 0 0
[pid=20761/tid=20779] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20779/stat : 20779 (java) S 20759 20761 20761 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869384016 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512508416 0 4 0 16800975 18446604446753412416 0 0 -1 6 0 0 0
[pid=20761/tid=20780] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20780/stat : 20780 (java) S 20759 20761 20761 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869384058 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512508416 0 4 0 16800975 18446604446753412416 0 0 -1 6 0 0 0
[pid=20680/tid=20688] ppid=20678 vsize=338440 CPUtime=0 cores=0,2,4,6
/proc/20680/task/20688/stat : 20688 (python) S 20678 20680 19061 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 6 0 869365189 346562560 8218 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554434 18446604451487543424 0 0 -1 2 0 0 0
[pid=20680/tid=20719] ppid=20678 vsize=338440 CPUtime=0 cores=0,2,4,6
/proc/20680/task/20719/stat : 20719 (python) S 20678 20680 19061 0 -1 4202560 22 932 0 0 0 0 0 0 20 0 6 0 869369881 346562560 8218 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554434 18446604451487543424 0 0 -1 2 0 0 0
[pid=20680/tid=20729] ppid=20678 vsize=338440 CPUtime=0 cores=0,2,4,6
/proc/20680/task/20729/stat : 20729 (python) S 20678 20680 19061 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 6 0 869374548 346562560 8218 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554434 18446604451487543424 0 0 -1 6 0 0 0
[pid=20680/tid=20735] ppid=20678 vsize=338440 CPUtime=0 cores=0,2,4,6
/proc/20680/task/20735/stat : 20735 (python) S 20678 20680 19061 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 6 0 869379552 346562560 8218 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554434 18446604451487543424 0 0 -1 0 0 0 0
[pid=20680/tid=20760] ppid=20678 vsize=338440 CPUtime=0 cores=0,2,4,6
/proc/20680/task/20760/stat : 20760 (python) S 20678 20680 19061 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 6 0 869384011 346562560 8218 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554434 18446604451487543424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 194
Current children cumulated vsize (KiB) 19464604

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

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

[startup+190.302 s]
/proc/loadavg: 2.09 2.13 1.68 4/832 20780
/proc/meminfo: memFree=20806340/32950928 swapFree=26914392/67111528
[pid=20680] ppid=20678 vsize=338440 CPUtime=0.83 cores=0,2,4,6
/proc/20680/stat : 20680 (python) S 20678 20680 19061 0 -1 4202496 14800 932 1 0 72 11 0 0 20 0 6 0 869365091 346562560 8218 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/20680/statm: 84610 8218 1879 364 0 19485 0
[pid=20686] ppid=20680 vsize=297416 CPUtime=0.23 cores=0,2,4,6
/proc/20686/stat : 20686 (python) S 20680 20680 19061 0 -1 4202560 1136 0 0 0 11 12 0 0 16 0 2 0 869365189 304553984 6737 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20686/statm: 74354 6737 413 364 0 9241 0
[pid=20689] ppid=20686 vsize=144096 CPUtime=46.87 cores=0,2,4,6
/proc/20689/stat : 20689 (scip-2.0.1.linu) T 20686 20689 20689 0 -1 4202496 35434 0 0 0 4660 27 0 0 25 0 1 0 869365189 147554304 33461 33554432000 4194304 13684479 140733430203536 18446744073709551615 7019309 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/20689/statm: 36024 33461 853 2317 0 33702 0
[pid=20686/tid=20717] ppid=20680 vsize=297416 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20717/stat : 20717 (python) S 20680 20680 19061 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869369878 304553984 6737 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554946 18446604450221962496 0 0 -1 6 0 0 0
[pid=20718] ppid=20680 vsize=297428 CPUtime=0.22 cores=0,2,4,6
/proc/20718/stat : 20718 (python) S 20680 20680 19061 0 -1 4202560 1161 0 0 0 12 10 0 0 17 0 2 0 869369880 304566272 6727 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20718/statm: 74357 6727 403 364 0 9241 0
[pid=20720] ppid=20718 vsize=129368 CPUtime=46.63 cores=0,2,4,6
/proc/20720/stat : 20720 (scip-2.0.1.linu) T 20718 20720 20720 0 -1 4202496 40423 0 0 0 4647 16 0 0 25 0 1 0 869369881 132472832 26220 33554432000 4194304 15243407 140733955000640 18446744073709551615 8113544 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/20720/statm: 32342 26220 940 2698 0 29637 0
[pid=20718/tid=20726] ppid=20680 vsize=297428 CPUtime=0 cores=0,2,4,6
/proc/20718/task/20726/stat : 20726 (python) S 20680 20680 19061 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869374545 304566272 6727 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554946 18446604450079061056 0 0 -1 6 0 0 0
[pid=20727] ppid=20680 vsize=307684 CPUtime=0.25 cores=0,2,4,6
/proc/20727/stat : 20727 (python) S 20680 20680 19061 0 -1 4202560 1119 0 0 0 14 11 0 0 16 0 2 0 869374548 315068416 6725 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20727/statm: 76921 6725 397 364 0 11802 0
[pid=20730] ppid=20727 vsize=202692 CPUtime=50 cores=0,2,4,6
/proc/20730/stat : 20730 (wbo1.4a) T 20727 20730 20730 0 -1 4202496 50809 0 0 0 4968 32 0 0 25 0 1 0 869374548 207556608 50215 33554432000 134512640 135751879 4291142640 18446744073709551615 134616876 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/20730/statm: 50673 50215 146 303 0 50368 0
[pid=20727/tid=20733] ppid=20680 vsize=307684 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20733/stat : 20733 (python) S 20680 20680 19061 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869379549 315068416 6725 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554946 18446604441335275584 0 0 -1 6 0 0 0
[pid=20734] ppid=20680 vsize=317940 CPUtime=0.26 cores=0,2,4,6
/proc/20734/stat : 20734 (python) S 20680 20680 19061 0 -1 4202560 1128 0 0 0 14 12 0 0 16 0 2 0 869379552 325570560 6729 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/20734/statm: 79485 6729 397 364 0 14363 0
[pid=20736] ppid=20734 vsize=8554452 CPUtime=46.22 cores=0,2,4,6
/proc/20736/stat : 20736 (java) T 20734 20736 20736 0 -1 4202496 38519 0 1 0 4615 7 0 0 18 0 19 0 869379552 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/20736/statm: 2138613 29975 2258 9 0 2129354 0
[pid=20736/tid=20737] ppid=20734 vsize=8554452 CPUtime=44.05 cores=0,2,4,6
/proc/20736/task/20737/stat : 20737 (java) T 20734 20736 20736 0 -1 4202560 15581 0 1 0 4402 3 0 0 25 0 19 0 869379553 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 46912505933548 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=20736/tid=20738] ppid=20734 vsize=8554452 CPUtime=0.01 cores=0,2,4,6
/proc/20736/task/20738/stat : 20738 (java) T 20734 20736 20736 0 -1 4202560 452 0 0 0 1 0 0 0 15 0 19 0 869379554 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20736/tid=20739] ppid=20734 vsize=8554452 CPUtime=0.02 cores=0,2,4,6
/proc/20736/task/20739/stat : 20739 (java) T 20734 20736 20736 0 -1 4202560 461 0 0 0 2 0 0 0 15 0 19 0 869379554 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20736/tid=20740] ppid=20734 vsize=8554452 CPUtime=0.01 cores=0,2,4,6
/proc/20736/task/20740/stat : 20740 (java) T 20734 20736 20736 0 -1 4202560 580 0 0 0 1 0 0 0 15 0 19 0 869379554 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20736/tid=20741] ppid=20734 vsize=8554452 CPUtime=0 cores=0,2,4,6
/proc/20736/task/20741/stat : 20741 (java) T 20734 20736 20736 0 -1 4202560 1092 0 0 0 0 0 0 0 15 0 19 0 869379554 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20736/tid=20742] ppid=20734 vsize=8554452 CPUtime=0.02 cores=0,2,4,6
/proc/20736/task/20742/stat : 20742 (java) T 20734 20736 20736 0 -1 4202560 539 0 0 0 2 0 0 0 15 0 19 0 869379554 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=20736/tid=20743] ppid=20734 vsize=8554452 CPUtime=0.01 cores=0,2,4,6
/proc/20736/task/20743/stat : 20743 (java) T 20734 20736 20736 0 -1 4202560 431 0 0 0 1 0 0 0 15 0 19 0 869379554 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=20736/tid=20744] ppid=20734 vsize=8554452 CPUtime=0.01 cores=0,2,4,6
/proc/20736/task/20744/stat : 20744 (java) T 20734 20736 20736 0 -1 4202560 59 0 0 0 1 0 0 0 15 0 19 0 869379554 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20736/tid=20745] ppid=20734 vsize=8554452 CPUtime=0.01 cores=0,2,4,6
/proc/20736/task/20745/stat : 20745 (java) T 20734 20736 20736 0 -1 4202560 565 0 0 0 1 0 0 0 15 0 19 0 869379554 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=20736/tid=20746] ppid=20734 vsize=8554452 CPUtime=0.33 cores=0,2,4,6
/proc/20736/task/20746/stat : 20746 (java) T 20734 20736 20736 0 -1 4202560 2229 0 0 0 33 0 0 0 15 0 19 0 869379555 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512508416 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20736/tid=20747] ppid=20734 vsize=8554452 CPUtime=0 cores=0,2,4,6
/proc/20736/task/20747/stat : 20747 (java) T 20734 20736 20736 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869379555 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20736/tid=20748] ppid=20734 vsize=8554452 CPUtime=0 cores=0,2,4,6
/proc/20736/task/20748/stat : 20748 (java) T 20734 20736 20736 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869379555 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20736/tid=20749] ppid=20734 vsize=8554452 CPUtime=0 cores=0,2,4,6
/proc/20736/task/20749/stat : 20749 (java) T 20734 20736 20736 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869379558 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512515505 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20736/tid=20750] ppid=20734 vsize=8554452 CPUtime=0.66 cores=0,2,4,6
/proc/20736/task/20750/stat : 20750 (java) T 20734 20736 20736 0 -1 4202560 6449 0 0 0 65 1 0 0 15 0 19 0 869379558 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20736/tid=20751] ppid=20734 vsize=8554452 CPUtime=1.01 cores=0,2,4,6
/proc/20736/task/20751/stat : 20751 (java) T 20734 20736 20736 0 -1 4202560 8689 0 0 0 101 0 0 0 15 0 19 0 869379558 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20736/tid=20752] ppid=20734 vsize=8554452 CPUtime=0 cores=0,2,4,6
/proc/20736/task/20752/stat : 20752 (java) T 20734 20736 20736 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869379558 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20736/tid=20753] ppid=20734 vsize=8554452 CPUtime=0 cores=0,2,4,6
/proc/20736/task/20753/stat : 20753 (java) T 20734 20736 20736 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869379558 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20736/tid=20754] ppid=20734 vsize=8554452 CPUtime=0 cores=0,2,4,6
/proc/20736/task/20754/stat : 20754 (java) T 20734 20736 20736 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869379599 8759758848 29975 33554432000 1073741824 1073778376 140733330266640 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20734/tid=20758] ppid=20680 vsize=317940 CPUtime=0 cores=0,2,4,6
/proc/20734/task/20758/stat : 20758 (python) S 20680 20680 19061 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869384008 325570560 6729 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554946 18446604447137599808 0 0 -1 0 0 0 0
[pid=20759] ppid=20680 vsize=328196 CPUtime=0 cores=0,2,4,6
/proc/20759/stat : 20759 (python) S 20680 20680 19061 0 -1 4202560 800 0 0 0 0 0 0 0 15 0 1 0 869384011 336072704 6684 33554432000 4194304 5683644 140736885515968 18446744073709551615 254500712006 0 0 16781312 33554946 2073222611185172480 0 0 17 4 0 0 0
/proc/20759/statm: 82049 6684 349 364 0 16924 0
[pid=20761] ppid=20759 vsize=8546892 CPUtime=2.49 cores=0,2,4,6
/proc/20761/stat : 20761 (java) S 20759 20761 20761 0 -1 4202496 49524 0 1 0 244 5 0 0 20 0 19 0 869384011 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20761/statm: 2136723 45346 2243 9 0 2127464 0
[pid=20761/tid=20762] ppid=20759 vsize=8546892 CPUtime=1.1 cores=0,2,4,6
/proc/20761/task/20762/stat : 20762 (java) R 20759 20761 20761 0 -1 4202560 35272 0 1 0 108 2 0 0 18 0 19 0 869384012 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 46912505879744 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20761/tid=20763] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20763/stat : 20763 (java) S 20759 20761 20761 0 -1 4202560 322 0 0 0 0 0 0 0 18 0 19 0 869384012 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512507801 0 4 0 16800975 18446604446753412416 0 0 -1 4 0 0 0
[pid=20761/tid=20764] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20764/stat : 20764 (java) S 20759 20761 20761 0 -1 4202560 261 0 0 0 0 0 0 0 18 0 19 0 869384012 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512507801 0 4 0 16800975 18446604446753412416 0 0 -1 6 0 0 0
[pid=20761/tid=20765] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20765/stat : 20765 (java) S 20759 20761 20761 0 -1 4202560 106 0 0 0 0 0 0 0 18 0 19 0 869384012 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512507801 0 4 0 16800975 18446604446753412416 0 0 -1 2 0 0 0
[pid=20761/tid=20766] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20766/stat : 20766 (java) S 20759 20761 20761 0 -1 4202560 152 0 0 0 0 0 0 0 18 0 19 0 869384012 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512507801 0 4 0 16800975 18446604446753412416 0 0 -1 6 0 0 0
[pid=20761/tid=20767] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20767/stat : 20767 (java) S 20759 20761 20761 0 -1 4202560 73 0 0 0 0 0 0 0 18 0 19 0 869384012 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512507801 0 4 0 16800975 18446604446753412416 0 0 -1 6 0 0 0
[pid=20761/tid=20768] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20768/stat : 20768 (java) S 20759 20761 20761 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869384012 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512507801 0 4 0 16800975 18446604446753412416 0 0 -1 6 0 0 0
[pid=20761/tid=20770] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20770/stat : 20770 (java) S 20759 20761 20761 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869384012 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512507801 0 4 0 16800975 18446604446753412416 0 0 -1 6 0 0 0
[pid=20761/tid=20771] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20771/stat : 20771 (java) S 20759 20761 20761 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869384012 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512507801 0 4 0 16800975 18446604446753412416 0 0 -1 2 0 0 0
[pid=20761/tid=20772] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20772/stat : 20772 (java) S 20759 20761 20761 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 869384013 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512508416 0 0 0 16800975 18446604446753412416 0 0 -1 0 0 0 0
[pid=20761/tid=20773] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20773/stat : 20773 (java) S 20759 20761 20761 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869384013 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512507801 0 4 0 16800975 18446604446753412416 0 0 -1 6 0 0 0
[pid=20761/tid=20774] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20774/stat : 20774 (java) S 20759 20761 20761 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869384014 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512507801 0 4 0 16800975 18446604446753412416 0 0 -1 6 0 0 0
[pid=20761/tid=20775] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20775/stat : 20775 (java) S 20759 20761 20761 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869384016 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512515505 0 4 0 16800975 18446604446753412416 0 0 -1 6 0 0 0
[pid=20761/tid=20776] ppid=20759 vsize=8546892 CPUtime=0.71 cores=0,2,4,6
/proc/20761/task/20776/stat : 20776 (java) S 20759 20761 20761 0 -1 4202560 6697 0 0 0 70 1 0 0 16 0 19 0 869384016 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512507801 0 4 0 16800975 18446604446753412416 0 0 -1 0 0 0 0
[pid=20761/tid=20777] ppid=20759 vsize=8546892 CPUtime=0.64 cores=0,2,4,6
/proc/20761/task/20777/stat : 20777 (java) S 20759 20761 20761 0 -1 4202560 5239 0 0 0 64 0 0 0 15 0 19 0 869384016 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512507801 0 4 0 16800975 18446604446753412416 0 0 -1 2 0 0 0
[pid=20761/tid=20778] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20778/stat : 20778 (java) S 20759 20761 20761 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869384016 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512507801 0 4 0 16800975 18446604446753412416 0 0 -1 2 0 0 0
[pid=20761/tid=20779] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20779/stat : 20779 (java) S 20759 20761 20761 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869384016 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512508416 0 4 0 16800975 18446604446753412416 0 0 -1 6 0 0 0
[pid=20761/tid=20780] ppid=20759 vsize=8546892 CPUtime=0 cores=0,2,4,6
/proc/20761/task/20780/stat : 20780 (java) S 20759 20761 20761 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869384058 8752017408 45346 33554432000 1073741824 1073778376 140734838616656 18446744073709551615 254512508416 0 4 0 16800975 18446604446753412416 0 0 -1 6 0 0 0
[pid=20680/tid=20688] ppid=20678 vsize=338440 CPUtime=0 cores=0,2,4,6
/proc/20680/task/20688/stat : 20688 (python) S 20678 20680 19061 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 6 0 869365189 346562560 8218 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554434 18446604451487543424 0 0 -1 2 0 0 0
[pid=20680/tid=20719] ppid=20678 vsize=338440 CPUtime=0 cores=0,2,4,6
/proc/20680/task/20719/stat : 20719 (python) S 20678 20680 19061 0 -1 4202560 22 932 0 0 0 0 0 0 20 0 6 0 869369881 346562560 8218 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554434 18446604451487543424 0 0 -1 2 0 0 0
[pid=20680/tid=20729] ppid=20678 vsize=338440 CPUtime=0 cores=0,2,4,6
/proc/20680/task/20729/stat : 20729 (python) S 20678 20680 19061 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 6 0 869374548 346562560 8218 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554434 18446604451487543424 0 0 -1 6 0 0 0
[pid=20680/tid=20735] ppid=20678 vsize=338440 CPUtime=0 cores=0,2,4,6
/proc/20680/task/20735/stat : 20735 (python) S 20678 20680 19061 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 6 0 869379552 346562560 8218 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554434 18446604451487543424 0 0 -1 0 0 0 0
[pid=20680/tid=20760] ppid=20678 vsize=338440 CPUtime=0 cores=0,2,4,6
/proc/20680/task/20760/stat : 20760 (python) S 20678 20680 19061 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 6 0 869384011 346562560 8218 33554432000 4194304 5683644 140736885515968 18446744073709551615 254512515505 0 0 16781312 33554434 18446604451487543424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 194
Current children cumulated vsize (KiB) 19464604

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 190.39
CPU time (s): 194
CPU user time (s): 192.57
CPU system time (s): 1.43
CPU usage (%): 101.896
Max. virtual memory (cumulated for all children) (KiB): 19464604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.726889
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15734
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2561
involuntary context switches= 26

runsolver used 1.3328 second user time and 2.69659 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-09 02:01:23
IDJOB=3481666
IDBENCH=25015
IDSOLVER=1970
FILE ID=node149/3481666-1307577683
RUNJOBID= node149-1307576353-19079
PBS_JOBID= 13547650
Free space on /tmp= 73376 MiB

SOLVER NAME= borg pb-opt-11.04.03
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.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-3481666-1307577683/watcher-3481666-1307577683 -o /tmp/evaluation-result-3481666-1307577683/solver-3481666-1307577683 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481666-1307577683.opb -seed 1011501254 -budget 1800

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

MD5SUM BENCH= d25f6086317f033c233c4700493f03d1
RANDOM SEED=1011501254

node149.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.806
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.61
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.806
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	: 5332.83
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.806
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.83
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.806
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.73
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.806
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.82
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.806
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.75
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.806
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.82
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.806
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21883536 kB
Buffers:        172944 kB
Cached:         859708 kB
SwapCached:      27136 kB
Active:       10460952 kB
Inactive:       250604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21883536 kB
SwapTotal:    67111528 kB
SwapFree:     26914392 kB
Dirty:          103212 kB
Writeback:          16 kB
AnonPages:     9676180 kB
Mapped:          84164 kB
Slab:           139236 kB
PageTables:     142564 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 187352276 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= 73276 MiB
End job on node149 at 2011-06-09 02:04:36