Trace number 3482313

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 NameAnswerCPU timeWall clock time
borg pb-opt-11.04.03? (MO) 104.42 102.376

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-tanglegram3.opb
MD5SUM1398a8a5965cbed162088b24bb0568a6
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark17249
Best CPU time to get the best result obtained on this benchmark1800.63
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables97288
Total number of constraints192420
Number of constraints which are clauses192420
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 constraint3
Maximum length of a constraint3
Number of terms in the objective function 96210
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 96210
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 96210
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.31/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.31/0.47	c INFO: solving HOME/instance-3482313-1307578895.opb
1.40/1.81	c INFO: parsing took 1.31 s
3.90/4.09	c INFO: features took 2.28 CPU seconds
4.00/4.12	c INFO: running scip-2.0.1-spx@0 for 45 with 1796 remaining (b = 0.45)
54.19/54.14	c INFO: running sat4j-pb-v20101225@0 for 45 with 1746 remaining (b = 0.32)
103.67/101.82	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1697 remaining (b = 0.07)

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-3482313-1307578895/watcher-3482313-1307578895 -o /tmp/evaluation-result-3482313-1307578895/solver-3482313-1307578895 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482313-1307578895.opb -seed 1335647779 -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: 1.96 2.09 1.95 3/750 4751
/proc/meminfo: memFree=9956808/32951124 swapFree=43359760/67111528
[pid=4751] ppid=4749 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/4751/stat : 4751 (python) R 4749 4751 1406 0 -1 4202496 920 0 0 0 0 0 0 0 17 0 1 0 869487772 16150528 800 33554432000 4194304 5683644 140735720132288 18446744073709551615 246516830213 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4751/statm: 3943 800 350 364 0 430 0

[startup+0.036808 s]
/proc/loadavg: 1.96 2.09 1.95 3/750 4751
/proc/meminfo: memFree=9956808/32951124 swapFree=43359760/67111528
[pid=4751] ppid=4749 vsize=18884 CPUtime=0.02 cores=0,2,4,6
/proc/4751/stat : 4751 (python) R 4749 4751 1406 0 -1 4202496 1286 0 0 0 2 0 0 0 17 0 1 0 869487772 19337216 1139 33554432000 4194304 5683644 140735720132288 18446744073709551615 4870104 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4751/statm: 4721 1139 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884

[startup+0.104822 s]
/proc/loadavg: 1.96 2.09 1.95 3/750 4751
/proc/meminfo: memFree=9956808/32951124 swapFree=43359760/67111528
[pid=4751] ppid=4749 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/4751/stat : 4751 (python) R 4749 4751 1406 0 -1 4202496 3168 929 1 0 6 2 0 0 18 0 1 0 869487772 98430976 2483 33554432000 4194304 5683644 140735720132288 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4751/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124

[startup+0.300729 s]
/proc/loadavg: 1.96 2.09 1.95 3/750 4751
/proc/meminfo: memFree=9956808/32951124 swapFree=43359760/67111528
[pid=4751] ppid=4749 vsize=200776 CPUtime=0.23 cores=0,2,4,6
/proc/4751/stat : 4751 (python) S 4749 4751 1406 0 -1 4202496 6647 929 1 0 16 7 0 0 17 0 1 0 869487772 205594624 4936 33554432000 4194304 5683644 140735720132288 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/4751/statm: 50194 4936 1465 364 0 3676 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 200776

[startup+0.700701 s]
/proc/loadavg: 1.96 2.09 1.95 3/750 4751
/proc/meminfo: memFree=9956808/32951124 swapFree=43359760/67111528
[pid=4751] ppid=4749 vsize=302576 CPUtime=0.6 cores=0,2,4,6
/proc/4751/stat : 4751 (python) R 4749 4751 1406 0 -1 4202496 14202 929 1 0 49 11 0 0 17 0 1 0 869487772 309837824 11945 33554432000 4194304 5683644 140735720132288 18446744073709551615 47699444161412 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4751/statm: 75644 11945 1781 364 0 10537 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 302576

[startup+1.50055 s]
/proc/loadavg: 1.96 2.09 1.95 3/751 4756
/proc/meminfo: memFree=9904348/32951124 swapFree=43359760/67111528
[pid=4751] ppid=4749 vsize=328988 CPUtime=1.4 cores=0,2,4,6
/proc/4751/stat : 4751 (python) R 4749 4751 1406 0 -1 4202496 20601 929 1 0 128 12 0 0 18 0 1 0 869487772 336883712 18344 33554432000 4194304 5683644 140735720132288 18446744073709551615 4418266 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4751/statm: 82247 18344 1781 364 0 17140 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 328988

[startup+3.10025 s]
/proc/loadavg: 1.96 2.09 1.95 3/751 4756
/proc/meminfo: memFree=9904348/32951124 swapFree=43359760/67111528
[pid=4751] ppid=4749 vsize=338916 CPUtime=3 cores=0,2,4,6
/proc/4751/stat : 4751 (python) R 4749 4751 1406 0 -1 4202496 31309 929 1 0 287 13 0 0 22 0 1 0 869487772 347049984 21063 33554432000 4194304 5683644 140735720132288 18446744073709551615 47699277762594 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/4751/statm: 84729 21063 1816 364 0 19622 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 338916

[startup+6.3007 s]
/proc/loadavg: 1.97 2.09 1.95 3/754 4759
/proc/meminfo: memFree=9738296/32951124 swapFree=43359760/67111528
[pid=4751] ppid=4749 vsize=352192 CPUtime=4.02 cores=0,2,4,6
/proc/4751/stat : 4751 (python) S 4749 4751 1406 0 -1 4202496 32356 929 1 0 389 13 0 0 25 0 2 0 869487772 360644608 21875 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4751/statm: 88048 21875 1872 364 0 22935 0
[pid=4757] ppid=4751 vsize=341948 CPUtime=0 cores=0,2,4,6
/proc/4757/stat : 4757 (python) S 4751 4751 1406 0 -1 4202560 757 0 0 0 0 0 0 0 15 0 1 0 869488185 350154752 20350 33554432000 4194304 5683644 140735720132288 18446744073709551615 246516854287 0 0 16781312 33554946 4057468425008546049 0 0 17 6 0 0 0
/proc/4757/statm: 85487 20350 351 364 0 20374 0
[pid=4759] ppid=4757 vsize=382024 CPUtime=2.16 cores=0,2,4,6
/proc/4759/stat : 4759 (scip-2.0.1.linu) R 4757 4759 4759 0 -1 4202496 90599 0 0 0 204 12 0 0 25 0 1 0 869488185 391192576 89968 33554432000 4194304 13684479 140734124844112 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4759/statm: 95506 89968 596 2317 0 93184 0
[pid=4751/tid=4758] ppid=4749 vsize=352192 CPUtime=0 cores=0,2,4,6
/proc/4751/task/4758/stat : 4758 (python) S 4749 4751 1406 0 -1 4202560 32 929 0 0 0 0 0 0 25 0 2 0 869488185 360644608 21875 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528657841 0 0 16781312 33554434 18446604447903544448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 1076164

[startup+12.7005 s]
/proc/loadavg: 1.97 2.08 1.95 3/754 4759
/proc/meminfo: memFree=9156636/32951124 swapFree=43359760/67111528
[pid=4751] ppid=4749 vsize=352192 CPUtime=4.02 cores=0,2,4,6
/proc/4751/stat : 4751 (python) S 4749 4751 1406 0 -1 4202496 32356 929 1 0 389 13 0 0 25 0 2 0 869487772 360644608 21875 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4751/statm: 88048 21875 1872 364 0 22935 0
[pid=4757] ppid=4751 vsize=341948 CPUtime=0.03 cores=0,2,4,6
/proc/4757/stat : 4757 (python) S 4751 4751 1406 0 -1 4202560 926 0 0 0 1 2 0 0 15 0 1 0 869488185 350154752 20374 33554432000 4194304 5683644 140735720132288 18446744073709551615 246516854287 0 0 16781312 33554946 72556772316949345 0 0 17 6 0 0 0
/proc/4757/statm: 85487 20374 375 364 0 20374 0
[pid=4759] ppid=4757 vsize=788104 CPUtime=8.56 cores=0,2,4,6
/proc/4759/stat : 4759 (scip-2.0.1.linu) R 4757 4759 4759 0 -1 4202496 194304 0 0 0 815 41 0 0 25 0 1 0 869488185 807018496 183764 33554432000 4194304 13684479 140734124844112 18446744073709551615 7419480 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4759/statm: 197026 183764 4943 2317 0 194704 0
[pid=4751/tid=4758] ppid=4749 vsize=352192 CPUtime=0 cores=0,2,4,6
/proc/4751/task/4758/stat : 4758 (python) S 4749 4751 1406 0 -1 4202560 32 929 0 0 0 0 0 0 25 0 2 0 869488185 360644608 21875 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528657841 0 0 16781312 33554434 18446604447903544448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 1482244

[startup+25.5012 s]
/proc/loadavg: 1.97 2.08 1.95 3/754 4760
/proc/meminfo: memFree=9125072/32951124 swapFree=43359760/67111528
[pid=4751] ppid=4749 vsize=352192 CPUtime=4.02 cores=0,2,4,6
/proc/4751/stat : 4751 (python) S 4749 4751 1406 0 -1 4202496 32356 929 1 0 389 13 0 0 25 0 2 0 869487772 360644608 21875 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4751/statm: 88048 21875 1872 364 0 22935 0
[pid=4757] ppid=4751 vsize=341948 CPUtime=0.08 cores=0,2,4,6
/proc/4757/stat : 4757 (python) S 4751 4751 1406 0 -1 4202560 929 0 0 0 4 4 0 0 15 0 1 0 869488185 350154752 20374 33554432000 4194304 5683644 140735720132288 18446744073709551615 246516854287 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/4757/statm: 85487 20374 375 364 0 20374 0
[pid=4759] ppid=4757 vsize=794344 CPUtime=21.37 cores=0,2,4,6
/proc/4759/stat : 4759 (scip-2.0.1.linu) R 4757 4759 4759 0 -1 4202496 203934 0 0 0 2085 52 0 0 25 0 1 0 869488185 813408256 189537 33554432000 4194304 13684479 140734124844112 18446744073709551615 7415819 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4759/statm: 198586 189537 1533 2317 0 196264 0
[pid=4751/tid=4758] ppid=4749 vsize=352192 CPUtime=0 cores=0,2,4,6
/proc/4751/task/4758/stat : 4758 (python) S 4749 4751 1406 0 -1 4202560 32 929 0 0 0 0 0 0 25 0 2 0 869488185 360644608 21875 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528657841 0 0 16781312 33554434 18446604447903544448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1488484

[startup+51.1005 s]
/proc/loadavg: 2.04 2.09 1.95 3/754 4760
/proc/meminfo: memFree=9088284/32951124 swapFree=43359760/67111528
[pid=4751] ppid=4749 vsize=352192 CPUtime=4.02 cores=0,2,4,6
/proc/4751/stat : 4751 (python) S 4749 4751 1406 0 -1 4202496 32356 929 1 0 389 13 0 0 25 0 2 0 869487772 360644608 21875 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4751/statm: 88048 21875 1872 364 0 22935 0
[pid=4757] ppid=4751 vsize=341948 CPUtime=0.2 cores=0,2,4,6
/proc/4757/stat : 4757 (python) S 4751 4751 1406 0 -1 4202560 949 0 0 0 10 10 0 0 15 0 1 0 869488185 350154752 20374 33554432000 4194304 5683644 140735720132288 18446744073709551615 246516854287 0 0 16781312 33554946 72556772316949345 0 0 17 6 0 0 0
/proc/4757/statm: 85487 20374 375 364 0 20374 0
[pid=4759] ppid=4757 vsize=816888 CPUtime=46.97 cores=0,2,4,6
/proc/4759/stat : 4759 (scip-2.0.1.linu) R 4757 4759 4759 0 -1 4202496 211188 0 0 0 4625 72 0 0 25 0 1 0 869488185 836493312 196519 33554432000 4194304 13684479 140734124844112 18446744073709551615 6441718 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4759/statm: 204222 196519 1981 2317 0 201900 0
[pid=4751/tid=4758] ppid=4749 vsize=352192 CPUtime=0 cores=0,2,4,6
/proc/4751/task/4758/stat : 4758 (python) S 4749 4751 1406 0 -1 4202560 32 929 0 0 0 0 0 0 25 0 2 0 869488185 360644608 21875 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528657841 0 0 16781312 33554434 18446604447903544448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 1511028



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+102.303 s]
/proc/loadavg: 2.14 2.11 1.97 6/797 4805
/proc/meminfo: memFree=8616376/32951124 swapFree=43359760/67111528
[pid=4751] ppid=4749 vsize=372704 CPUtime=4.08 cores=0,2,4,6
/proc/4751/stat : 4751 (python) S 4749 4751 1406 0 -1 4202496 34122 929 1 0 394 14 0 0 20 0 4 0 869487772 381648896 21888 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4751/statm: 93176 21888 1877 364 0 28057 0
[pid=4757] ppid=4751 vsize=352192 CPUtime=0.21 cores=0,2,4,6
/proc/4757/stat : 4757 (python) S 4751 4751 1406 0 -1 4202560 1121 0 0 0 11 10 0 0 17 0 2 0 869488185 360644608 20410 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4757/statm: 88048 20410 406 364 0 22935 0
[pid=4759] ppid=4757 vsize=816888 CPUtime=49.99 cores=0,2,4,6
/proc/4759/stat : 4759 (scip-2.0.1.linu) T 4757 4759 4759 0 -1 4202496 211599 0 0 0 4927 72 0 0 25 0 1 0 869488185 836493312 196520 33554432000 4194304 13684479 140734124844112 18446744073709551615 7419480 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4759/statm: 204222 196520 1571 2317 0 201900 0
[pid=4757/tid=4761] ppid=4751 vsize=352192 CPUtime=0 cores=0,2,4,6
/proc/4757/task/4761/stat : 4761 (python) S 4751 4751 1406 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869493184 360644608 20410 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528657841 0 0 16781312 33554946 18446604444206519616 0 0 -1 6 0 0 0
[pid=4762] ppid=4751 vsize=352204 CPUtime=0.2 cores=0,2,4,6
/proc/4762/stat : 4762 (python) S 4751 4751 1406 0 -1 4202560 1123 0 0 0 10 10 0 0 16 0 2 0 869493187 360656896 20400 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/4762/statm: 88051 20400 396 364 0 22935 0
[pid=4764] ppid=4762 vsize=8540128 CPUtime=49.21 cores=0,2,4,6
/proc/4764/stat : 4764 (java) T 4762 4764 4764 0 -1 4202496 100566 0 1 0 4903 18 0 0 18 0 19 0 869493187 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4764/statm: 2135032 97296 2245 9 0 2125773 0
[pid=4764/tid=4765] ppid=4762 vsize=8540128 CPUtime=47.47 cores=0,2,4,6
/proc/4764/task/4765/stat : 4765 (java) T 4762 4764 4764 0 -1 4202560 63489 0 1 0 4735 12 0 0 25 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 46912506105645 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4764/tid=4766] ppid=4762 vsize=8540128 CPUtime=0.09 cores=0,2,4,6
/proc/4764/task/4766/stat : 4766 (java) T 4762 4764 4764 0 -1 4202560 8171 0 0 0 9 0 0 0 15 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4764/tid=4767] ppid=4762 vsize=8540128 CPUtime=0.02 cores=0,2,4,6
/proc/4764/task/4767/stat : 4767 (java) T 4762 4764 4764 0 -1 4202560 2122 0 0 0 2 0 0 0 15 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4764/tid=4768] ppid=4762 vsize=8540128 CPUtime=0.11 cores=0,2,4,6
/proc/4764/task/4768/stat : 4768 (java) T 4762 4764 4764 0 -1 4202560 6777 0 0 0 10 1 0 0 15 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4764/tid=4769] ppid=4762 vsize=8540128 CPUtime=0.01 cores=0,2,4,6
/proc/4764/task/4769/stat : 4769 (java) T 4762 4764 4764 0 -1 4202560 887 0 0 0 1 0 0 0 15 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4764/tid=4770] ppid=4762 vsize=8540128 CPUtime=0.05 cores=0,2,4,6
/proc/4764/task/4770/stat : 4770 (java) T 4762 4764 4764 0 -1 4202560 5483 0 0 0 5 0 0 0 15 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4764/tid=4771] ppid=4762 vsize=8540128 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4771/stat : 4771 (java) T 4762 4764 4764 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4764/tid=4772] ppid=4762 vsize=8540128 CPUtime=0.02 cores=0,2,4,6
/proc/4764/task/4772/stat : 4772 (java) T 4762 4764 4764 0 -1 4202560 3398 0 0 0 2 0 0 0 15 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4764/tid=4773] ppid=4762 vsize=8540128 CPUtime=0.04 cores=0,2,4,6
/proc/4764/task/4773/stat : 4773 (java) T 4762 4764 4764 0 -1 4202560 2670 0 0 0 4 0 0 0 15 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4764/tid=4774] ppid=4762 vsize=8540128 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4774/stat : 4774 (java) T 4762 4764 4764 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 869493190 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650752 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4764/tid=4775] ppid=4762 vsize=8540128 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4775/stat : 4775 (java) T 4762 4764 4764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869493191 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4764/tid=4776] ppid=4762 vsize=8540128 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4776/stat : 4776 (java) T 4762 4764 4764 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869493191 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4764/tid=4777] ppid=4762 vsize=8540128 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4777/stat : 4777 (java) T 4762 4764 4764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869493193 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528657841 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0

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

/proc/4786/statm: 90615 20355 348 364 0 25496 0
[pid=4788] ppid=4786 vsize=8532192 CPUtime=0.73 cores=0,2,4,6
/proc/4788/stat : 4788 (java) S 4786 4788 4788 0 -1 4202496 20587 0 1 0 69 4 0 0 20 0 18 0 869497955 8736964608 19569 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4788/statm: 2133048 19569 2195 9 0 2123789 0
[pid=4788/tid=4789] ppid=4786 vsize=8532192 CPUtime=0.48 cores=0,2,4,6
/proc/4788/task/4789/stat : 4789 (java) R 4786 4788 4788 0 -1 4202560 17534 0 1 0 45 3 0 0 18 0 18 0 869497956 8736964608 19789 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4788/tid=4790] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4790/stat : 4790 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869497957 8736964608 19789 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4791] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4791/stat : 4791 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869497957 8736964608 19790 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4792] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4792/stat : 4792 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869497957 8736964608 19791 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4793] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4793/stat : 4793 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869497957 8736964608 19791 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4794] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4794/stat : 4794 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869497957 8736964608 19792 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4795] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4795/stat : 4795 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869497957 8736964608 19793 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4796] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4796/stat : 4796 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869497957 8736964608 19793 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4797] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4797/stat : 4797 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869497957 8736964608 19794 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4798] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4798/stat : 4798 (java) S 4786 4788 4788 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869497958 8736964608 19795 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650752 0 0 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4799] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4799/stat : 4799 (java) S 4786 4788 4788 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869497958 8736964608 19796 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4800] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4800/stat : 4800 (java) S 4786 4788 4788 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869497958 8736964608 19796 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4801] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4801/stat : 4801 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869497960 8736964608 19797 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528657841 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4802] ppid=4786 vsize=8532192 CPUtime=0.15 cores=0,2,4,6
/proc/4788/task/4802/stat : 4802 (java) R 4786 4788 4788 0 -1 4202560 1086 0 0 0 15 0 0 0 15 0 18 0 869497960 8736964608 19798 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246516525424 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4788/tid=4803] ppid=4786 vsize=8532192 CPUtime=0.09 cores=0,2,4,6
/proc/4788/task/4803/stat : 4803 (java) R 4786 4788 4788 0 -1 4202560 797 0 0 0 9 0 0 0 24 0 18 0 869497960 8736964608 19798 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 47388433496630 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4788/tid=4804] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4804/stat : 4804 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869497960 8736964608 19799 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4805] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4805/stat : 4805 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869497960 8736964608 19800 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650752 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4751/tid=4758] ppid=4749 vsize=372704 CPUtime=0 cores=0,2,4,6
/proc/4751/task/4758/stat : 4758 (python) S 4749 4751 1406 0 -1 4202560 32 929 0 0 0 0 0 0 25 0 4 0 869488185 381648896 21888 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528657841 0 0 16781312 33554434 18446604447903544448 0 0 -1 0 0 0 0
[pid=4751/tid=4763] ppid=4749 vsize=372704 CPUtime=0 cores=0,2,4,6
/proc/4751/task/4763/stat : 4763 (python) S 4749 4751 1406 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 4 0 869493187 381648896 21888 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528657841 0 0 16781312 33554434 18446604447903544448 0 0 -1 0 0 0 0
[pid=4751/tid=4787] ppid=4749 vsize=372704 CPUtime=0 cores=0,2,4,6
/proc/4751/task/4787/stat : 4787 (python) S 4749 4751 1406 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 4 0 869497955 381648896 21888 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528657841 0 0 16781312 33554434 18446604447903544448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 104.42
Current children cumulated vsize (KiB) 19328768
Sleeping 2 seconds

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

[startup+102.303 s]
/proc/loadavg: 2.14 2.11 1.97 6/797 4805
/proc/meminfo: memFree=8616376/32951124 swapFree=43359760/67111528
[pid=4751] ppid=4749 vsize=372704 CPUtime=4.08 cores=0,2,4,6
/proc/4751/stat : 4751 (python) S 4749 4751 1406 0 -1 4202496 34122 929 1 0 394 14 0 0 20 0 4 0 869487772 381648896 21888 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4751/statm: 93176 21888 1877 364 0 28057 0
[pid=4757] ppid=4751 vsize=352192 CPUtime=0.21 cores=0,2,4,6
/proc/4757/stat : 4757 (python) S 4751 4751 1406 0 -1 4202560 1121 0 0 0 11 10 0 0 17 0 2 0 869488185 360644608 20410 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4757/statm: 88048 20410 406 364 0 22935 0
[pid=4759] ppid=4757 vsize=816888 CPUtime=49.99 cores=0,2,4,6
/proc/4759/stat : 4759 (scip-2.0.1.linu) T 4757 4759 4759 0 -1 4202496 211599 0 0 0 4927 72 0 0 25 0 1 0 869488185 836493312 196520 33554432000 4194304 13684479 140734124844112 18446744073709551615 7419480 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4759/statm: 204222 196520 1571 2317 0 201900 0
[pid=4757/tid=4761] ppid=4751 vsize=352192 CPUtime=0 cores=0,2,4,6
/proc/4757/task/4761/stat : 4761 (python) S 4751 4751 1406 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869493184 360644608 20410 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528657841 0 0 16781312 33554946 18446604444206519616 0 0 -1 6 0 0 0
[pid=4762] ppid=4751 vsize=352204 CPUtime=0.2 cores=0,2,4,6
/proc/4762/stat : 4762 (python) S 4751 4751 1406 0 -1 4202560 1123 0 0 0 10 10 0 0 16 0 2 0 869493187 360656896 20400 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/4762/statm: 88051 20400 396 364 0 22935 0
[pid=4764] ppid=4762 vsize=8540128 CPUtime=49.21 cores=0,2,4,6
/proc/4764/stat : 4764 (java) T 4762 4764 4764 0 -1 4202496 100566 0 1 0 4903 18 0 0 18 0 19 0 869493187 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4764/statm: 2135032 97296 2245 9 0 2125773 0
[pid=4764/tid=4765] ppid=4762 vsize=8540128 CPUtime=47.47 cores=0,2,4,6
/proc/4764/task/4765/stat : 4765 (java) T 4762 4764 4764 0 -1 4202560 63489 0 1 0 4735 12 0 0 25 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 46912506105645 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4764/tid=4766] ppid=4762 vsize=8540128 CPUtime=0.09 cores=0,2,4,6
/proc/4764/task/4766/stat : 4766 (java) T 4762 4764 4764 0 -1 4202560 8171 0 0 0 9 0 0 0 15 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4764/tid=4767] ppid=4762 vsize=8540128 CPUtime=0.02 cores=0,2,4,6
/proc/4764/task/4767/stat : 4767 (java) T 4762 4764 4764 0 -1 4202560 2122 0 0 0 2 0 0 0 15 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4764/tid=4768] ppid=4762 vsize=8540128 CPUtime=0.11 cores=0,2,4,6
/proc/4764/task/4768/stat : 4768 (java) T 4762 4764 4764 0 -1 4202560 6777 0 0 0 10 1 0 0 15 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4764/tid=4769] ppid=4762 vsize=8540128 CPUtime=0.01 cores=0,2,4,6
/proc/4764/task/4769/stat : 4769 (java) T 4762 4764 4764 0 -1 4202560 887 0 0 0 1 0 0 0 15 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4764/tid=4770] ppid=4762 vsize=8540128 CPUtime=0.05 cores=0,2,4,6
/proc/4764/task/4770/stat : 4770 (java) T 4762 4764 4764 0 -1 4202560 5483 0 0 0 5 0 0 0 15 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4764/tid=4771] ppid=4762 vsize=8540128 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4771/stat : 4771 (java) T 4762 4764 4764 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4764/tid=4772] ppid=4762 vsize=8540128 CPUtime=0.02 cores=0,2,4,6
/proc/4764/task/4772/stat : 4772 (java) T 4762 4764 4764 0 -1 4202560 3398 0 0 0 2 0 0 0 15 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4764/tid=4773] ppid=4762 vsize=8540128 CPUtime=0.04 cores=0,2,4,6
/proc/4764/task/4773/stat : 4773 (java) T 4762 4764 4764 0 -1 4202560 2670 0 0 0 4 0 0 0 15 0 19 0 869493189 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4764/tid=4774] ppid=4762 vsize=8540128 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4774/stat : 4774 (java) T 4762 4764 4764 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 869493190 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650752 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4764/tid=4775] ppid=4762 vsize=8540128 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4775/stat : 4775 (java) T 4762 4764 4764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869493191 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4764/tid=4776] ppid=4762 vsize=8540128 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4776/stat : 4776 (java) T 4762 4764 4764 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869493191 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4764/tid=4777] ppid=4762 vsize=8540128 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4777/stat : 4777 (java) T 4762 4764 4764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869493193 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528657841 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4764/tid=4778] ppid=4762 vsize=8540128 CPUtime=0.68 cores=0,2,4,6
/proc/4764/task/4778/stat : 4778 (java) T 4762 4764 4764 0 -1 4202560 1599 0 0 0 68 0 0 0 15 0 19 0 869493193 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4764/tid=4779] ppid=4762 vsize=8540128 CPUtime=0.63 cores=0,2,4,6
/proc/4764/task/4779/stat : 4779 (java) T 4762 4764 4764 0 -1 4202560 4375 0 0 0 62 1 0 0 15 0 19 0 869493193 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4764/tid=4780] ppid=4762 vsize=8540128 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4780/stat : 4780 (java) T 4762 4764 4764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869493193 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4764/tid=4781] ppid=4762 vsize=8540128 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4781/stat : 4781 (java) T 4762 4764 4764 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869493193 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4764/tid=4782] ppid=4762 vsize=8540128 CPUtime=0 cores=0,2,4,6
/proc/4764/task/4782/stat : 4782 (java) T 4762 4764 4764 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869493370 8745091072 97296 33554432000 1073741824 1073778376 140735120282928 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4762/tid=4785] ppid=4751 vsize=352204 CPUtime=0 cores=0,2,4,6
/proc/4762/task/4785/stat : 4785 (python) S 4751 4751 1406 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869497952 360656896 20400 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528657841 0 0 16781312 33554946 18446604438537492352 0 0 -1 4 0 0 0
[pid=4786] ppid=4751 vsize=362460 CPUtime=0 cores=0,2,4,6
/proc/4786/stat : 4786 (python) S 4751 4751 1406 0 -1 4202560 778 0 0 0 0 0 0 0 19 0 1 0 869497955 371159040 20355 33554432000 4194304 5683644 140735720132288 18446744073709551615 246516854342 0 0 16781312 33554946 14021874602783768835 0 0 17 6 0 0 0
/proc/4786/statm: 90615 20355 348 364 0 25496 0
[pid=4788] ppid=4786 vsize=8532192 CPUtime=0.73 cores=0,2,4,6
/proc/4788/stat : 4788 (java) S 4786 4788 4788 0 -1 4202496 20587 0 1 0 69 4 0 0 20 0 18 0 869497955 8736964608 19569 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4788/statm: 2133048 19569 2195 9 0 2123789 0
[pid=4788/tid=4789] ppid=4786 vsize=8532192 CPUtime=0.48 cores=0,2,4,6
/proc/4788/task/4789/stat : 4789 (java) R 4786 4788 4788 0 -1 4202560 17534 0 1 0 45 3 0 0 18 0 18 0 869497956 8736964608 19789 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4788/tid=4790] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4790/stat : 4790 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869497957 8736964608 19789 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4791] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4791/stat : 4791 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869497957 8736964608 19790 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4792] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4792/stat : 4792 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869497957 8736964608 19791 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4793] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4793/stat : 4793 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869497957 8736964608 19791 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4794] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4794/stat : 4794 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869497957 8736964608 19792 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4795] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4795/stat : 4795 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869497957 8736964608 19793 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4796] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4796/stat : 4796 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869497957 8736964608 19793 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4797] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4797/stat : 4797 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869497957 8736964608 19794 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4798] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4798/stat : 4798 (java) S 4786 4788 4788 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869497958 8736964608 19795 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650752 0 0 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4799] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4799/stat : 4799 (java) S 4786 4788 4788 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869497958 8736964608 19796 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4800] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4800/stat : 4800 (java) S 4786 4788 4788 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869497958 8736964608 19796 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4801] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4801/stat : 4801 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869497960 8736964608 19797 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528657841 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4802] ppid=4786 vsize=8532192 CPUtime=0.15 cores=0,2,4,6
/proc/4788/task/4802/stat : 4802 (java) R 4786 4788 4788 0 -1 4202560 1086 0 0 0 15 0 0 0 15 0 18 0 869497960 8736964608 19798 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246516525424 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4788/tid=4803] ppid=4786 vsize=8532192 CPUtime=0.09 cores=0,2,4,6
/proc/4788/task/4803/stat : 4803 (java) R 4786 4788 4788 0 -1 4202560 797 0 0 0 9 0 0 0 24 0 18 0 869497960 8736964608 19798 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 47388433496630 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4788/tid=4804] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4804/stat : 4804 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869497960 8736964608 19799 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650137 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4788/tid=4805] ppid=4786 vsize=8532192 CPUtime=0 cores=0,2,4,6
/proc/4788/task/4805/stat : 4805 (java) S 4786 4788 4788 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869497960 8736964608 19800 33554432000 1073741824 1073778376 140734066552240 18446744073709551615 246528650752 0 4 0 16800975 18446604452249861056 0 0 -1 6 0 0 0
[pid=4751/tid=4758] ppid=4749 vsize=372704 CPUtime=0 cores=0,2,4,6
/proc/4751/task/4758/stat : 4758 (python) S 4749 4751 1406 0 -1 4202560 32 929 0 0 0 0 0 0 25 0 4 0 869488185 381648896 21888 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528657841 0 0 16781312 33554434 18446604447903544448 0 0 -1 0 0 0 0
[pid=4751/tid=4763] ppid=4749 vsize=372704 CPUtime=0 cores=0,2,4,6
/proc/4751/task/4763/stat : 4763 (python) S 4749 4751 1406 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 4 0 869493187 381648896 21888 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528657841 0 0 16781312 33554434 18446604447903544448 0 0 -1 0 0 0 0
[pid=4751/tid=4787] ppid=4749 vsize=372704 CPUtime=0 cores=0,2,4,6
/proc/4751/task/4787/stat : 4787 (python) S 4749 4751 1406 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 4 0 869497955 381648896 21888 33554432000 4194304 5683644 140735720132288 18446744073709551615 246528657841 0 0 16781312 33554434 18446604447903544448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 104.42
Current children cumulated vsize (KiB) 19328768

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 102.376
CPU time (s): 104.42
CPU user time (s): 103.14
CPU system time (s): 1.28
CPU usage (%): 101.997
Max. virtual memory (cumulated for all children) (KiB): 19328768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.9464
system time used= 0.151976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35052
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= 1005
involuntary context switches= 26

runsolver used 0.554915 second user time and 1.11583 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-09 02:21:35
IDJOB=3482313
IDBENCH=89832
IDSOLVER=1970
FILE ID=node134/3482313-1307578895
RUNJOBID= node134-1307576356-1424
PBS_JOBID= 13547665
Free space on /tmp= 73484 MiB

SOLVER NAME= borg pb-opt-11.04.03
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-tanglegram3.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-3482313-1307578895/watcher-3482313-1307578895 -o /tmp/evaluation-result-3482313-1307578895/solver-3482313-1307578895 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482313-1307578895.opb -seed 1335647779 -budget 1800

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

MD5SUM BENCH= 1398a8a5965cbed162088b24bb0568a6
RANDOM SEED=1335647779

node134.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.831
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.66
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.831
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.67
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.831
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.831
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	: 7186.06
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.831
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.80
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.831
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.831
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       9956964 kB
Buffers:        200684 kB
Cached:         975776 kB
SwapCached:      10388 kB
Active:       22466384 kB
Inactive:       177076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       9956964 kB
SwapTotal:    67111528 kB
SwapFree:     43359760 kB
Dirty:          111208 kB
Writeback:           0 kB
AnonPages:    21464536 kB
Mapped:         128160 kB
Slab:           148648 kB
PageTables:     130100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 133484532 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73384 MiB
End job on node134 at 2011-06-09 02:23:20