Trace number 3481624

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) 193.38 191.386

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
MD5SUMf1fcceba4d2ff597685b8a775178b9b4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark75.1236
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 33
Optimality of the best value was proved NO
Number of variables11321
Total number of constraints36630
Number of constraints which are clauses36630
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 constraint1
Maximum length of a constraint127
Number of terms in the objective function 5515
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 5515
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5515
Number of bits of the biggest sum of numbers13
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-3481624-1307577610.opb
0.50/0.66	c INFO: parsing took 0.18 s
0.80/1.01	c INFO: features took 0.34 CPU seconds
0.92/1.03	c INFO: running scip-2.0.1-spx@0 for 45 with 1799 remaining (b = 0.44)
50.39/50.34	c INFO: running sat4j-pb-v20101225@0 for 45 with 1750 remaining (b = 0.19)
96.90/95.39	c INFO: running scip-2.0.1-clp@0 for 45 with 1704 remaining (b = 0.08)
146.84/145.01	c INFO: running wbo1.4a@0 for 45 with 1655 remaining (b = 0.02)
193.03/191.11	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1609 remaining (b = 0.02)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3481624-1307577610/watcher-3481624-1307577610 -o /tmp/evaluation-result-3481624-1307577610/solver-3481624-1307577610 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481624-1307577610.opb -seed 921398561 -budget 1800 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.25 2.02 1.48 2/574 30919
/proc/meminfo: memFree=19950184/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=16404 CPUtime=0.01 cores=1,3,5,7
/proc/30919/stat : 30919 (python) R 30917 30919 30366 0 -1 4202496 1117 0 0 0 1 0 0 0 22 0 1 0 850176543 16797696 985 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095507552 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/30919/statm: 4100 985 409 364 0 587 0

[startup+0.088378 s]
/proc/loadavg: 2.25 2.02 1.48 2/574 30919
/proc/meminfo: memFree=19950184/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=92004 CPUtime=0.07 cores=1,3,5,7
/proc/30919/stat : 30919 (python) S 30917 30919 30366 0 -1 4202496 2751 0 1 0 5 2 0 0 18 0 1 0 850176543 94212096 2461 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/30919/statm: 23001 2461 782 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 92004

[startup+0.10596 s]
/proc/loadavg: 2.25 2.02 1.48 2/574 30919
/proc/meminfo: memFree=19950184/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=96128 CPUtime=0.08 cores=1,3,5,7
/proc/30919/stat : 30919 (python) R 30917 30919 30366 0 -1 4202496 3169 931 1 0 6 2 0 0 18 0 1 0 850176543 98435072 2483 33554432000 4194304 5683644 140735784900048 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30919/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128

[startup+0.300863 s]
/proc/loadavg: 2.25 2.02 1.48 2/574 30919
/proc/meminfo: memFree=19950184/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=202996 CPUtime=0.24 cores=1,3,5,7
/proc/30919/stat : 30919 (python) R 30917 30919 30366 0 -1 4202496 6689 931 1 0 18 6 0 0 18 0 1 0 850176543 207867904 4971 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095449088 0 2147483391 16781312 2 0 0 0 17 7 0 0 0
/proc/30919/statm: 50749 4971 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 202996

[startup+0.700776 s]
/proc/loadavg: 2.25 2.02 1.48 2/574 30919
/proc/meminfo: memFree=19950184/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=289788 CPUtime=0.6 cores=1,3,5,7
/proc/30919/stat : 30919 (python) R 30917 30919 30366 0 -1 4202496 11983 931 1 0 51 9 0 0 18 0 1 0 850176543 296742912 8741 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095106183 0 0 16781312 33554434 0 0 0 17 7 0 0 0
/proc/30919/statm: 72447 8741 1815 364 0 7340 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 289788

[startup+1.50067 s]
/proc/loadavg: 2.25 2.02 1.48 3/575 30924
/proc/meminfo: memFree=19920912/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=300916 CPUtime=0.93 cores=1,3,5,7
/proc/30919/stat : 30919 (python) S 30917 30919 30366 0 -1 4202496 12527 931 1 0 84 9 0 0 21 0 2 0 850176543 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30919/statm: 75229 9052 1870 364 0 10116 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 300916

[startup+3.10038 s]
/proc/loadavg: 2.31 2.04 1.49 3/578 30927
/proc/meminfo: memFree=19815984/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=300916 CPUtime=0.93 cores=1,3,5,7
/proc/30919/stat : 30919 (python) S 30917 30919 30366 0 -1 4202496 12527 931 1 0 84 9 0 0 21 0 2 0 850176543 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30919/statm: 75229 9052 1870 364 0 10116 0
[pid=30925] ppid=30919 vsize=290672 CPUtime=0 cores=1,3,5,7
/proc/30925/stat : 30925 (python) S 30919 30919 30366 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 850176647 297648128 7529 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095471119 0 0 16781312 33554946 486449151291162624 0 0 17 7 0 0 0
/proc/30925/statm: 72668 7529 351 364 0 7555 0
[pid=30927] ppid=30925 vsize=123476 CPUtime=2.05 cores=1,3,5,7
/proc/30927/stat : 30927 (scip-2.0.1.linu) R 30925 30927 30927 0 -1 4202496 29118 0 0 0 186 19 0 0 19 0 1 0 850176647 126439424 27554 33554432000 4194304 13684479 140735138016416 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30927/statm: 30869 27554 812 2317 0 28547 0
[pid=30919/tid=30926] ppid=30917 vsize=300916 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30926/stat : 30926 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 21 0 2 0 850176647 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 715064

[startup+6.30078 s]
/proc/loadavg: 2.31 2.04 1.49 3/578 30927
/proc/meminfo: memFree=19808772/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=300916 CPUtime=0.93 cores=1,3,5,7
/proc/30919/stat : 30919 (python) S 30917 30919 30366 0 -1 4202496 12527 931 1 0 84 9 0 0 21 0 2 0 850176543 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30919/statm: 75229 9052 1870 364 0 10116 0
[pid=30925] ppid=30919 vsize=290672 CPUtime=0.01 cores=1,3,5,7
/proc/30925/stat : 30925 (python) S 30919 30919 30366 0 -1 4202560 902 0 0 0 0 1 0 0 15 0 1 0 850176647 297648128 7558 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095471119 0 0 16781312 33554946 3310447039547965440 0 0 17 7 0 0 0
/proc/30925/statm: 72668 7558 375 364 0 7555 0
[pid=30927] ppid=30925 vsize=130092 CPUtime=5.25 cores=1,3,5,7
/proc/30927/stat : 30927 (scip-2.0.1.linu) R 30925 30927 30927 0 -1 4202496 30981 0 0 0 501 24 0 0 20 0 1 0 850176647 133214208 29385 33554432000 4194304 13684479 140735138016416 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30927/statm: 32523 29385 780 2317 0 30201 0
[pid=30919/tid=30926] ppid=30917 vsize=300916 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30926/stat : 30926 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 21 0 2 0 850176647 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 721680

[startup+12.7006 s]
/proc/loadavg: 2.26 2.04 1.50 3/578 30927
/proc/meminfo: memFree=19806076/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=300916 CPUtime=0.93 cores=1,3,5,7
/proc/30919/stat : 30919 (python) S 30917 30919 30366 0 -1 4202496 12527 931 1 0 84 9 0 0 21 0 2 0 850176543 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30919/statm: 75229 9052 1870 364 0 10116 0
[pid=30925] ppid=30919 vsize=290672 CPUtime=0.04 cores=1,3,5,7
/proc/30925/stat : 30925 (python) S 30919 30919 30366 0 -1 4202560 905 0 0 0 2 2 0 0 15 0 1 0 850176647 297648128 7559 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095471119 0 0 16781312 33554946 3579768908078383104 0 0 17 5 0 0 0
/proc/30925/statm: 72668 7559 375 364 0 7555 0
[pid=30927] ppid=30925 vsize=144660 CPUtime=11.65 cores=1,3,5,7
/proc/30927/stat : 30927 (scip-2.0.1.linu) R 30925 30927 30927 0 -1 4202496 34733 0 0 0 1130 35 0 0 25 0 1 0 850176647 148131840 33131 33554432000 4194304 13684479 140735138016416 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30927/statm: 36165 33131 776 2317 0 33843 0
[pid=30919/tid=30926] ppid=30917 vsize=300916 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30926/stat : 30926 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 21 0 2 0 850176647 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 736248

[startup+25.5003 s]
/proc/loadavg: 2.22 2.03 1.50 3/578 30927
/proc/meminfo: memFree=19822856/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=300916 CPUtime=0.93 cores=1,3,5,7
/proc/30919/stat : 30919 (python) S 30917 30919 30366 0 -1 4202496 12527 931 1 0 84 9 0 0 21 0 2 0 850176543 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30919/statm: 75229 9052 1870 364 0 10116 0
[pid=30925] ppid=30919 vsize=290672 CPUtime=0.1 cores=1,3,5,7
/proc/30925/stat : 30925 (python) S 30919 30919 30366 0 -1 4202560 917 0 0 0 5 5 0 0 15 0 1 0 850176647 297648128 7559 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095471119 0 0 16781312 33554946 1471262702469906432 0 0 17 7 0 0 0
/proc/30925/statm: 72668 7559 375 364 0 7555 0
[pid=30927] ppid=30925 vsize=145060 CPUtime=24.45 cores=1,3,5,7
/proc/30927/stat : 30927 (scip-2.0.1.linu) R 30925 30927 30927 0 -1 4202496 34883 0 0 0 2393 52 0 0 25 0 1 0 850176647 148541440 33279 33554432000 4194304 13684479 140735138016416 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30927/statm: 36265 33279 774 2317 0 33943 0
[pid=30919/tid=30926] ppid=30917 vsize=300916 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30926/stat : 30926 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 21 0 2 0 850176647 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 736648

[startup+51.1016 s]
/proc/loadavg: 2.06 2.01 1.51 4/591 31017
/proc/meminfo: memFree=19682080/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=311172 CPUtime=0.97 cores=1,3,5,7
/proc/30919/stat : 30919 (python) S 30917 30919 30366 0 -1 4202496 13383 931 1 0 87 10 0 0 20 0 3 0 850176543 318640128 9060 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/30919/statm: 77793 9060 1873 364 0 12677 0
[pid=30925] ppid=30919 vsize=300916 CPUtime=0.23 cores=1,3,5,7
/proc/30925/stat : 30925 (python) S 30919 30919 30366 0 -1 4202560 1094 0 0 0 12 11 0 0 17 0 2 0 850176647 308137984 7595 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30925/statm: 75229 7595 406 364 0 10116 0
[pid=30927] ppid=30925 vsize=180548 CPUtime=49.27 cores=1,3,5,7
/proc/30927/stat : 30927 (scip-2.0.1.linu) T 30925 30927 30927 0 -1 4202496 43635 0 0 0 4834 93 0 0 25 0 1 0 850176647 184881152 42031 33554432000 4194304 13684479 140735138016416 18446744073709551615 7390887 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/30927/statm: 45137 42031 821 2317 0 42815 0
[pid=30925/tid=30997] ppid=30919 vsize=300916 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30997/stat : 30997 (python) S 30919 30919 30366 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850181575 308137984 7595 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554946 18446604471158414400 0 0 -1 7 0 0 0
[pid=30998] ppid=30919 vsize=300928 CPUtime=0 cores=1,3,5,7
/proc/30998/stat : 30998 (python) S 30919 30919 30366 0 -1 4202560 893 0 0 0 0 0 0 0 15 0 1 0 850181578 308150272 7539 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095471174 0 0 16781312 33554946 586109568132579328 0 0 17 1 0 0 0
/proc/30998/statm: 75232 7539 355 364 0 10116 0
[pid=31000] ppid=30998 vsize=8538608 CPUtime=1.58 cores=1,3,5,7
/proc/31000/stat : 31000 (java) S 30998 31000 31000 0 -1 4202496 30280 0 1 0 154 4 0 0 20 0 19 0 850181578 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31000/statm: 2134652 26730 2232 9 0 2125393 0
[pid=31000/tid=31001] ppid=30998 vsize=8538608 CPUtime=0.74 cores=1,3,5,7
/proc/31000/task/31001/stat : 31001 (java) R 30998 31000 31000 0 -1 4202560 22456 0 1 0 71 3 0 0 25 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 46912505911969 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31000/tid=31002] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31002/stat : 31002 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31003] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31003/stat : 31003 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31004] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31004/stat : 31004 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31005] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31005/stat : 31005 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31006] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31006/stat : 31006 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31007] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31007/stat : 31007 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31008] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31008/stat : 31008 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31009] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31009/stat : 31009 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31010] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31010/stat : 31010 (java) S 30998 31000 31000 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 850181580 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107267584 0 0 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31011] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31011/stat : 31011 (java) S 30998 31000 31000 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850181580 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31012] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31012/stat : 31012 (java) S 30998 31000 31000 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 850181580 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 1 0 0 0
[pid=31000/tid=31013] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31013/stat : 31013 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850181583 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107274673 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31014] ppid=30998 vsize=8538608 CPUtime=0.37 cores=1,3,5,7
/proc/31000/task/31014/stat : 31014 (java) S 30998 31000 31000 0 -1 4202560 1999 0 0 0 37 0 0 0 18 0 19 0 850181583 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31015] ppid=30998 vsize=8538608 CPUtime=0.44 cores=1,3,5,7
/proc/31000/task/31015/stat : 31015 (java) S 30998 31000 31000 0 -1 4202560 4423 0 0 0 44 0 0 0 25 0 19 0 850181583 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 7 0 0 0
[pid=31000/tid=31016] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31016/stat : 31016 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850181583 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 1 0 0 0
[pid=31000/tid=31017] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31017/stat : 31017 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850181583 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107267584 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=30919/tid=30926] ppid=30917 vsize=311172 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30926/stat : 30926 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 21 0 3 0 850176647 318640128 9060 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 7 0 0 0
[pid=30919/tid=30999] ppid=30917 vsize=311172 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30999/stat : 30999 (python) S 30917 30919 30366 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 3 0 850181578 318640128 9060 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 52.05

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

[pid=31112/tid=31124] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31124/stat : 31124 (java) S 31110 31112 31112 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 850195658 8739430400 6580 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31125] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31125/stat : 31125 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107274673 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31126] ppid=31110 vsize=8534600 CPUtime=0.04 cores=1,3,5,7
/proc/31112/task/31126/stat : 31126 (java) R 31110 31112 31112 0 -1 4202560 491 0 0 0 4 0 0 0 25 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 47170004900437 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31112/tid=31127] ppid=31110 vsize=8534600 CPUtime=0.08 cores=1,3,5,7
/proc/31112/task/31127/stat : 31127 (java) R 31110 31112 31112 0 -1 4202560 1240 0 0 0 8 0 0 0 17 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 47170005079561 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31112/tid=31128] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31128/stat : 31128 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31129] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31129/stat : 31129 (java) R 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107267584 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30919/tid=30926] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30926/stat : 30926 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 21 0 6 0 850176647 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 7 0 0 0
[pid=30919/tid=30999] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30999/stat : 30999 (python) S 30917 30919 30366 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 850181578 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 1 0 0 0
[pid=30919/tid=31092] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/31092/stat : 31092 (python) S 30917 30919 30366 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 850186084 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 5 0 0 0
[pid=30919/tid=31102] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/31102/stat : 31102 (python) S 30917 30919 30366 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 850191045 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 5 0 0 0
[pid=30919/tid=31111] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/31111/stat : 31111 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 850195655 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 193.38
Current children cumulated vsize (KiB) 19372892

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

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

[startup+191.302 s]
/proc/loadavg: 2.03 2.03 1.58 6/629 31129
/proc/meminfo: memFree=18861808/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=341940 CPUtime=1.05 cores=1,3,5,7
/proc/30919/stat : 30919 (python) S 30917 30919 30366 0 -1 4202496 16130 931 1 0 94 11 0 0 20 0 6 0 850176543 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30919/statm: 85485 9081 1879 364 0 20360 0
[pid=30925] ppid=30919 vsize=300916 CPUtime=0.23 cores=1,3,5,7
/proc/30925/stat : 30925 (python) S 30919 30919 30366 0 -1 4202560 1094 0 0 0 12 11 0 0 17 0 2 0 850176647 308137984 7595 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30925/statm: 75229 7595 406 364 0 10116 0
[pid=30927] ppid=30925 vsize=180548 CPUtime=49.27 cores=1,3,5,7
/proc/30927/stat : 30927 (scip-2.0.1.linu) T 30925 30927 30927 0 -1 4202496 43635 0 0 0 4834 93 0 0 25 0 1 0 850176647 184881152 42031 33554432000 4194304 13684479 140735138016416 18446744073709551615 7390887 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/30927/statm: 45137 42031 821 2317 0 42815 0
[pid=30925/tid=30997] ppid=30919 vsize=300916 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30997/stat : 30997 (python) S 30919 30919 30366 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850181575 308137984 7595 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554946 18446604471158414400 0 0 -1 7 0 0 0
[pid=30998] ppid=30919 vsize=300928 CPUtime=0.21 cores=1,3,5,7
/proc/30998/stat : 30998 (python) S 30919 30919 30366 0 -1 4202560 1173 0 0 0 11 10 0 0 16 0 2 0 850181578 308150272 7592 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30998/statm: 75232 7592 402 364 0 10116 0
[pid=31000] ppid=30998 vsize=8538608 CPUtime=46.32 cores=1,3,5,7
/proc/31000/stat : 31000 (java) T 30998 31000 31000 0 -1 4202496 45385 0 1 0 4623 9 0 0 18 0 19 0 850181578 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31000/statm: 2134652 41332 2259 9 0 2125393 0
[pid=31000/tid=31001] ppid=30998 vsize=8538608 CPUtime=44.72 cores=1,3,5,7
/proc/31000/task/31001/stat : 31001 (java) T 30998 31000 31000 0 -1 4202560 32638 0 1 0 4466 6 0 0 25 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 46912506024253 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=31000/tid=31002] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31002/stat : 31002 (java) T 30998 31000 31000 0 -1 4202560 183 0 0 0 0 0 0 0 15 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31000/tid=31003] ppid=30998 vsize=8538608 CPUtime=0.01 cores=1,3,5,7
/proc/31000/task/31003/stat : 31003 (java) T 30998 31000 31000 0 -1 4202560 568 0 0 0 1 0 0 0 15 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=31000/tid=31004] ppid=30998 vsize=8538608 CPUtime=0.01 cores=1,3,5,7
/proc/31000/task/31004/stat : 31004 (java) T 30998 31000 31000 0 -1 4202560 463 0 0 0 1 0 0 0 15 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31000/tid=31005] ppid=30998 vsize=8538608 CPUtime=0.01 cores=1,3,5,7
/proc/31000/task/31005/stat : 31005 (java) T 30998 31000 31000 0 -1 4202560 307 0 0 0 1 0 0 0 15 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31000/tid=31006] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31006/stat : 31006 (java) T 30998 31000 31000 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31000/tid=31007] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31007/stat : 31007 (java) T 30998 31000 31000 0 -1 4202560 205 0 0 0 0 0 0 0 15 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31000/tid=31008] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31008/stat : 31008 (java) T 30998 31000 31000 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31000/tid=31009] ppid=30998 vsize=8538608 CPUtime=0.01 cores=1,3,5,7
/proc/31000/task/31009/stat : 31009 (java) T 30998 31000 31000 0 -1 4202560 242 0 0 0 1 0 0 0 15 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31000/tid=31010] ppid=30998 vsize=8538608 CPUtime=0.17 cores=1,3,5,7
/proc/31000/task/31010/stat : 31010 (java) T 30998 31000 31000 0 -1 4202560 2119 0 0 0 17 0 0 0 15 0 19 0 850181580 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107267584 0 0 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31000/tid=31011] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31011/stat : 31011 (java) T 30998 31000 31000 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850181580 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31000/tid=31012] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31012/stat : 31012 (java) T 30998 31000 31000 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850181580 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31000/tid=31013] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31013/stat : 31013 (java) T 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850181583 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107274673 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31000/tid=31014] ppid=30998 vsize=8538608 CPUtime=0.63 cores=1,3,5,7
/proc/31000/task/31014/stat : 31014 (java) T 30998 31000 31000 0 -1 4202560 2036 0 0 0 63 0 0 0 15 0 19 0 850181583 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31000/tid=31015] ppid=30998 vsize=8538608 CPUtime=0.67 cores=1,3,5,7
/proc/31000/task/31015/stat : 31015 (java) T 30998 31000 31000 0 -1 4202560 4938 0 0 0 67 0 0 0 15 0 19 0 850181583 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31000/tid=31016] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31016/stat : 31016 (java) T 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850181583 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31000/tid=31017] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31017/stat : 31017 (java) T 30998 31000 31000 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850181583 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31000/tid=31018] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31018/stat : 31018 (java) T 30998 31000 31000 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850181642 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30998/tid=31090] ppid=30919 vsize=300928 CPUtime=0 cores=1,3,5,7
/proc/30998/task/31090/stat : 31090 (python) S 30919 30919 30366 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850186081 308150272 7592 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554946 18446604470817650752 0 0 -1 7 0 0 0
[pid=31091] ppid=30919 vsize=311184 CPUtime=0.23 cores=1,3,5,7
/proc/31091/stat : 31091 (python) S 30919 30919 30366 0 -1 4202560 1121 0 0 0 11 12 0 0 17 0 2 0 850186083 318652416 7591 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31091/statm: 77796 7591 396 364 0 12677 0
[pid=31093] ppid=31091 vsize=154052 CPUtime=49.58 cores=1,3,5,7
/proc/31093/stat : 31093 (scip-2.0.1.linu) T 31091 31093 31093 0 -1 4202496 53263 0 0 0 4894 64 0 0 25 0 1 0 850186084 157749248 33195 33554432000 4194304 15243407 140735280833520 18446744073709551615 8113827 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/31093/statm: 38513 33195 942 2698 0 35808 0
[pid=31091/tid=31100] ppid=30919 vsize=311184 CPUtime=0 cores=1,3,5,7
/proc/31091/task/31100/stat : 31100 (python) S 30919 30919 30366 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850191042 318652416 7591 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554946 18446604467658887552 0 0 -1 7 0 0 0
[pid=31101] ppid=30919 vsize=321440 CPUtime=0.22 cores=1,3,5,7
/proc/31101/stat : 31101 (python) S 30919 30919 30366 0 -1 4202560 1129 0 0 0 11 11 0 0 17 0 2 0 850191045 329154560 7597 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/31101/statm: 80360 7597 396 364 0 15238 0
[pid=31103] ppid=31101 vsize=56980 CPUtime=45.94 cores=1,3,5,7
/proc/31103/stat : 31103 (wbo1.4a) T 31101 31103 31103 0 -1 4202496 14906 0 0 0 4577 17 0 0 25 0 1 0 850191045 58347520 13738 33554432000 134512640 135751879 4287640976 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/31103/statm: 14245 13738 146 303 0 13940 0
[pid=31101/tid=31109] ppid=30919 vsize=321440 CPUtime=0 cores=1,3,5,7
/proc/31101/task/31109/stat : 31109 (python) S 30919 30919 30366 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850195652 329154560 7597 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554946 18446604469033570688 0 0 -1 5 0 0 0
[pid=31110] ppid=30919 vsize=331696 CPUtime=0 cores=1,3,5,7
/proc/31110/stat : 31110 (python) S 30919 30919 30366 0 -1 4202560 814 0 0 0 0 0 0 0 19 0 1 0 850195655 339656704 7546 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095471174 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/31110/statm: 82924 7546 348 364 0 17799 0
[pid=31112] ppid=31110 vsize=8534600 CPUtime=0.33 cores=1,3,5,7
/proc/31112/stat : 31112 (java) S 31110 31112 31112 0 -1 4202496 7501 0 1 0 32 1 0 0 21 0 18 0 850195655 8739430400 6569 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31112/statm: 2133650 6569 2185 9 0 2124391 0
[pid=31112/tid=31113] ppid=31110 vsize=8534600 CPUtime=0.2 cores=1,3,5,7
/proc/31112/task/31113/stat : 31113 (java) R 31110 31112 31112 0 -1 4202560 4385 0 1 0 20 0 0 0 18 0 18 0 850195656 8739430400 6577 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31112/tid=31114] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31114/stat : 31114 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850195657 8739430400 6578 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31115] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31115/stat : 31115 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850195657 8739430400 6578 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31116] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31116/stat : 31116 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195657 8739430400 6578 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 7 0 0 0
[pid=31112/tid=31117] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31117/stat : 31117 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195657 8739430400 6578 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 7 0 0 0
[pid=31112/tid=31118] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31118/stat : 31118 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195657 8739430400 6579 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 7 0 0 0
[pid=31112/tid=31119] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31119/stat : 31119 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195657 8739430400 6579 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 7 0 0 0
[pid=31112/tid=31120] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31120/stat : 31120 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195657 8739430400 6579 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 7 0 0 0
[pid=31112/tid=31121] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31121/stat : 31121 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195657 8739430400 6579 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 5 0 0 0
[pid=31112/tid=31122] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31122/stat : 31122 (java) S 31110 31112 31112 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 850195658 8739430400 6580 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107267584 0 0 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31123] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31123/stat : 31123 (java) S 31110 31112 31112 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 850195658 8739430400 6580 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31124] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31124/stat : 31124 (java) S 31110 31112 31112 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 850195658 8739430400 6580 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31125] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31125/stat : 31125 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107274673 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31126] ppid=31110 vsize=8534600 CPUtime=0.04 cores=1,3,5,7
/proc/31112/task/31126/stat : 31126 (java) R 31110 31112 31112 0 -1 4202560 491 0 0 0 4 0 0 0 25 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 47170004900437 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31112/tid=31127] ppid=31110 vsize=8534600 CPUtime=0.08 cores=1,3,5,7
/proc/31112/task/31127/stat : 31127 (java) R 31110 31112 31112 0 -1 4202560 1240 0 0 0 8 0 0 0 17 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 47170005079561 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31112/tid=31128] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31128/stat : 31128 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31129] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31129/stat : 31129 (java) R 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107267584 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30919/tid=30926] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30926/stat : 30926 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 21 0 6 0 850176647 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 7 0 0 0
[pid=30919/tid=30999] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30999/stat : 30999 (python) S 30917 30919 30366 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 850181578 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 1 0 0 0
[pid=30919/tid=31092] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/31092/stat : 31092 (python) S 30917 30919 30366 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 850186084 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 5 0 0 0
[pid=30919/tid=31102] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/31102/stat : 31102 (python) S 30917 30919 30366 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 850191045 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 5 0 0 0
[pid=30919/tid=31111] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/31111/stat : 31111 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 850195655 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 193.38
Current children cumulated vsize (KiB) 19372892

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 191.386
CPU time (s): 193.38
CPU user time (s): 190.99
CPU system time (s): 2.39
CPU usage (%): 101.042
Max. virtual memory (cumulated for all children) (KiB): 19373256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.942856
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= 17063
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= 1009
involuntary context switches= 26

runsolver used 1.20982 second user time and 2.57361 second system time

The end

Launcher Data 

Begin job on node142 at 2011-06-09 02:00:10
IDJOB=3481624
IDBENCH=24973
IDSOLVER=1970
FILE ID=node142/3481624-1307577610
RUNJOBID= node142-1307576354-30385
PBS_JOBID= 13547657
Free space on /tmp= 73856 MiB

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

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

MD5SUM BENCH= f1fcceba4d2ff597685b8a775178b9b4
RANDOM SEED=921398561

node142.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.846
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.69
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.846
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	: 5131.95
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.846
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.82
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.846
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.67
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.846
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.81
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.846
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.846
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.846
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:     32951124 kB
MemFree:      19950224 kB
Buffers:        156380 kB
Cached:         466220 kB
SwapCached:      11428 kB
Active:       12542060 kB
Inactive:       163840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19950224 kB
SwapTotal:    67111528 kB
SwapFree:     57370024 kB
Dirty:          105220 kB
Writeback:           0 kB
AnonPages:    12080828 kB
Mapped:          50588 kB
Slab:           138104 kB
PageTables:      84480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 149478632 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= 73732 MiB
End job on node142 at 2011-06-09 02:03:24