Trace number 3481735

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) 145.69 143.983

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
MD5SUMa9ac890c0275c87cfec4e71469cd990a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1031
Best CPU time to get the best result obtained on this benchmark1797.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1028
Optimality of the best value was proved NO
Number of variables1964
Total number of constraints4000
Number of constraints which are clauses4000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1964
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 1964
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1964
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.39/0.72	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.39/0.72	c INFO: solving HOME/instance-3481735-1307576411.opb
0.39/0.74	c INFO: parsing took 0.02 s
0.39/0.77	c INFO: features took 0.03 CPU seconds
0.48/0.80	c INFO: running scip-2.0.1-spx@0 for 45 with 1799 remaining (b = 0.49)
49.93/50.04	c INFO: running sat4j-pb-v20101225@0 for 45 with 1751 remaining (b = 0.34)
95.88/95.14	c INFO: running scip-2.0.1-clp@0 for 45 with 1705 remaining (b = 0.05)
143.94/142.99	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1657 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-3481735-1307576411/watcher-3481735-1307576411 -o /tmp/evaluation-result-3481735-1307576411/solver-3481735-1307576411 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481735-1307576411.opb -seed 823630656 -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: 1.02 0.26 0.09 2/557 23183
/proc/meminfo: memFree=25113432/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 1000 0 0 0 0 0 0 0 17 0 1 0 869238292 16629760 873 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476692992 0 2147483391 16781312 2 18446744071699207358 0 0 17 3 0 0 0
/proc/23183/statm: 4060 873 371 364 0 547 0

[startup+0.0275019 s]
/proc/loadavg: 1.02 0.26 0.09 2/557 23183
/proc/meminfo: memFree=25113432/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=16396 CPUtime=0 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 1079 0 0 0 0 0 0 0 17 0 1 0 869238292 16789504 950 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476692992 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/23183/statm: 4100 980 407 364 0 587 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16396

[startup+0.102101 s]
/proc/loadavg: 1.02 0.26 0.09 2/557 23183
/proc/meminfo: memFree=25113432/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=84488 CPUtime=0.04 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 2272 0 0 0 3 1 0 0 17 0 1 0 869238292 86515712 2017 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476721436 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/23183/statm: 21142 2127 707 364 0 1359 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 84488

[startup+0.300516 s]
/proc/loadavg: 1.02 0.26 0.09 2/557 23183
/proc/meminfo: memFree=25113432/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=123740 CPUtime=0.15 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 5357 931 1 0 11 4 0 0 17 0 1 0 869238292 126709760 3744 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476692992 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/23183/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740

[startup+0.702057 s]
/proc/loadavg: 1.02 0.26 0.09 2/557 23183
/proc/meminfo: memFree=25113432/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=271348 CPUtime=0.39 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 8757 931 1 0 28 11 0 0 15 0 1 0 869238292 277860352 6713 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476692992 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/23183/statm: 67837 6713 1716 364 0 5388 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 271348

[startup+1.50026 s]
/proc/loadavg: 1.02 0.26 0.09 3/561 23191
/proc/meminfo: memFree=25062376/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=293832 CPUtime=0.49 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 9812 931 1 0 38 11 0 0 18 0 2 0 869238292 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23183/statm: 73458 7316 1870 364 0 8345 0
[pid=23189] ppid=23183 vsize=283588 CPUtime=0 cores=1,3,5,7
/proc/23189/stat : 23189 (python) S 23183 23183 23102 0 -1 4202560 784 0 0 0 0 0 0 0 15 0 1 0 869238373 290394112 5794 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476715023 0 0 16781312 33554946 1044311247798927360 0 0 17 5 0 0 0
/proc/23189/statm: 70897 5794 352 364 0 5784 0
[pid=23191] ppid=23189 vsize=39700 CPUtime=0.68 cores=1,3,5,7
/proc/23191/stat : 23191 (scip-2.0.1.linu) R 23189 23191 23191 0 -1 4202496 8233 0 0 0 65 3 0 0 18 0 1 0 869238373 40652800 7532 33554432000 4194304 13684479 140734954083248 18446744073709551615 4413008 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23191/statm: 9925 7532 767 2317 0 7603 0
[pid=23183/tid=23190] ppid=23181 vsize=293832 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23190/stat : 23190 (python) S 23181 23183 23102 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869238373 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 617120

[startup+3.10095 s]
/proc/loadavg: 1.02 0.26 0.09 3/561 23191
/proc/meminfo: memFree=25051588/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=293832 CPUtime=0.49 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 9812 931 1 0 38 11 0 0 18 0 2 0 869238292 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23183/statm: 73458 7316 1870 364 0 8345 0
[pid=23189] ppid=23183 vsize=283588 CPUtime=0 cores=1,3,5,7
/proc/23189/stat : 23189 (python) S 23183 23183 23102 0 -1 4202560 789 0 0 0 0 0 0 0 15 0 1 0 869238373 290394112 5794 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476715023 0 0 16781312 33554946 2954379896928862208 0 0 17 5 0 0 0
/proc/23189/statm: 70897 5794 352 364 0 5784 0
[pid=23191] ppid=23189 vsize=59456 CPUtime=2.28 cores=1,3,5,7
/proc/23191/stat : 23191 (scip-2.0.1.linu) R 23189 23191 23191 0 -1 4202496 13080 0 0 0 221 7 0 0 19 0 1 0 869238373 60882944 12338 33554432000 4194304 13684479 140734954083248 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23191/statm: 14864 12338 767 2317 0 12542 0
[pid=23183/tid=23190] ppid=23181 vsize=293832 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23190/stat : 23190 (python) S 23181 23183 23102 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869238373 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 636876

[startup+6.30034 s]
/proc/loadavg: 1.34 0.34 0.11 3/561 23191
/proc/meminfo: memFree=25020620/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=293832 CPUtime=0.49 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 9812 931 1 0 38 11 0 0 18 0 2 0 869238292 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23183/statm: 73458 7316 1870 364 0 8345 0
[pid=23189] ppid=23183 vsize=283588 CPUtime=0.02 cores=1,3,5,7
/proc/23189/stat : 23189 (python) S 23183 23183 23102 0 -1 4202560 932 0 0 0 1 1 0 0 15 0 1 0 869238373 290394112 5817 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476715023 0 0 16781312 33554946 434713285208571904 0 0 17 5 0 0 0
/proc/23189/statm: 70897 5817 375 364 0 5784 0
[pid=23191] ppid=23189 vsize=90244 CPUtime=5.48 cores=1,3,5,7
/proc/23191/stat : 23191 (scip-2.0.1.linu) R 23189 23191 23191 0 -1 4202496 20861 0 0 0 535 13 0 0 18 0 1 0 869238373 92409856 20099 33554432000 4194304 13684479 140734954083248 18446744073709551615 4542416 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23191/statm: 22561 20099 771 2317 0 20239 0
[pid=23183/tid=23190] ppid=23181 vsize=293832 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23190/stat : 23190 (python) S 23181 23183 23102 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869238373 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 667664

[startup+12.7011 s]
/proc/loadavg: 1.39 0.37 0.12 3/561 23192
/proc/meminfo: memFree=24979552/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=293832 CPUtime=0.49 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 9812 931 1 0 38 11 0 0 18 0 2 0 869238292 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23183/statm: 73458 7316 1870 364 0 8345 0
[pid=23189] ppid=23183 vsize=283588 CPUtime=0.06 cores=1,3,5,7
/proc/23189/stat : 23189 (python) S 23183 23183 23102 0 -1 4202560 940 0 0 0 3 3 0 0 15 0 1 0 869238373 290394112 5818 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476715023 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/23189/statm: 70897 5818 376 364 0 5784 0
[pid=23191] ppid=23189 vsize=116740 CPUtime=11.89 cores=1,3,5,7
/proc/23191/stat : 23191 (scip-2.0.1.linu) R 23189 23191 23191 0 -1 4202496 27724 0 0 0 1166 23 0 0 18 0 1 0 869238373 119541760 26890 33554432000 4194304 13684479 140734954083248 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23191/statm: 29185 26890 769 2317 0 26863 0
[pid=23183/tid=23190] ppid=23181 vsize=293832 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23190/stat : 23190 (python) S 23181 23183 23102 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869238373 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 694160

[startup+25.5007 s]
/proc/loadavg: 1.52 0.45 0.15 3/561 23192
/proc/meminfo: memFree=24971256/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=293832 CPUtime=0.49 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 9812 931 1 0 38 11 0 0 18 0 2 0 869238292 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23183/statm: 73458 7316 1870 364 0 8345 0
[pid=23189] ppid=23183 vsize=283588 CPUtime=0.13 cores=1,3,5,7
/proc/23189/stat : 23189 (python) S 23183 23183 23102 0 -1 4202560 948 0 0 0 6 7 0 0 15 0 1 0 869238373 290394112 5818 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476715023 0 0 16781312 33554946 5623753486446373720 0 0 17 7 0 0 0
/proc/23189/statm: 70897 5818 376 364 0 5784 0
[pid=23191] ppid=23189 vsize=124748 CPUtime=24.68 cores=1,3,5,7
/proc/23191/stat : 23191 (scip-2.0.1.linu) R 23189 23191 23191 0 -1 4202496 30363 0 0 0 2428 40 0 0 25 0 1 0 869238373 127741952 28793 33554432000 4194304 13684479 140734954083248 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23191/statm: 31187 28793 792 2317 0 28865 0
[pid=23183/tid=23190] ppid=23181 vsize=293832 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23190/stat : 23190 (python) S 23181 23183 23102 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869238373 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 702168

[startup+51.1017 s]
/proc/loadavg: 1.68 0.57 0.20 3/586 23218
/proc/meminfo: memFree=24919896/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=304556 CPUtime=0.52 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 10668 931 1 0 40 12 0 0 20 0 3 0 869238292 311865344 7436 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23183/statm: 76139 7436 1873 364 0 11023 0
[pid=23189] ppid=23183 vsize=293832 CPUtime=0.24 cores=1,3,5,7
/proc/23189/stat : 23189 (python) S 23183 23183 23102 0 -1 4202560 1120 0 0 0 12 12 0 0 16 0 2 0 869238373 300883968 5854 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23189/statm: 73458 5854 407 364 0 8345 0
[pid=23191] ppid=23189 vsize=124748 CPUtime=49.2 cores=1,3,5,7
/proc/23191/stat : 23191 (scip-2.0.1.linu) T 23189 23191 23191 0 -1 4202496 30366 0 0 0 4838 82 0 0 25 0 1 0 869238373 127741952 28796 33554432000 4194304 13684479 140734954083248 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/23191/statm: 31187 28796 795 2317 0 28865 0
[pid=23189/tid=23198] ppid=23183 vsize=293832 CPUtime=0 cores=1,3,5,7
/proc/23189/task/23198/stat : 23198 (python) S 23183 23183 23102 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869243294 300883968 5854 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554946 18446604467471290560 0 0 -1 1 0 0 0
[pid=23199] ppid=23183 vsize=294312 CPUtime=0 cores=1,3,5,7
/proc/23199/stat : 23199 (python) S 23183 23183 23102 0 -1 4202560 782 0 0 0 0 0 0 0 15 0 1 0 869243297 301375488 5908 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476715078 0 0 16781312 33554946 4294934789 0 0 17 3 0 0 0
/proc/23199/statm: 73578 5908 349 364 0 8462 0
[pid=23201] ppid=23199 vsize=8538116 CPUtime=1.41 cores=1,3,5,7
/proc/23201/stat : 23201 (java) S 23199 23201 23201 0 -1 4202496 13511 0 117 0 138 3 0 0 17 0 19 0 869243297 8743030784 11743 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 15
/proc/23201/statm: 2134529 11743 2226 9 0 2125270 0
[pid=23201/tid=23202] ppid=23199 vsize=8538116 CPUtime=0.74 cores=1,3,5,7
/proc/23201/task/23202/stat : 23202 (java) R 23199 23201 23201 0 -1 4202560 7750 0 59 0 73 1 0 0 19 0 19 0 869243315 8743030784 11743 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 47073425959763 0 4 0 16800975 0 0 0 -1 1 0 0 11
[pid=23201/tid=23203] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23203/stat : 23203 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869243318 8743030784 11743 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 1 0 0 0
[pid=23201/tid=23204] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23204/stat : 23204 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869243318 8743030784 11743 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 7 0 0 0
[pid=23201/tid=23205] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23205/stat : 23205 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869243318 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 1 0 0 0
[pid=23201/tid=23206] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23206/stat : 23206 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869243318 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 7 0 0 0
[pid=23201/tid=23207] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23207/stat : 23207 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869243318 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 1 0 0 0
[pid=23201/tid=23208] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23208/stat : 23208 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869243318 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 7 0 0 0
[pid=23201/tid=23209] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23209/stat : 23209 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869243318 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 1 0 0 0
[pid=23201/tid=23210] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23210/stat : 23210 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869243318 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 7 0 0 0
[pid=23201/tid=23211] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23211/stat : 23211 (java) S 23199 23201 23201 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 869243321 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488511488 0 0 0 16800975 18446604454954759104 0 0 -1 3 0 0 0
[pid=23201/tid=23212] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23212/stat : 23212 (java) S 23199 23201 23201 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 869243323 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 3 0 0 0
[pid=23201/tid=23213] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23213/stat : 23213 (java) S 23199 23201 23201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 869243323 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 3 0 0 0
[pid=23201/tid=23214] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23214/stat : 23214 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869243329 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488518577 0 4 0 16800975 18446604454954759104 0 0 -1 3 0 0 0
[pid=23201/tid=23215] ppid=23199 vsize=8538116 CPUtime=0.3 cores=1,3,5,7
/proc/23201/task/23215/stat : 23215 (java) S 23199 23201 23201 0 -1 4202560 2073 0 0 0 30 0 0 0 18 0 19 0 869243329 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 3 0 0 0
[pid=23201/tid=23216] ppid=23199 vsize=8538116 CPUtime=0.34 cores=1,3,5,7
/proc/23201/task/23216/stat : 23216 (java) S 23199 23201 23201 0 -1 4202560 2347 0 2 0 34 0 0 0 17 0 19 0 869243329 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 7 0 0 0
[pid=23201/tid=23217] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7

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

[pid=23255/tid=23263] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23263/stat : 23263 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13246 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23264] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23264/stat : 23264 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13249 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23265] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23265/stat : 23265 (java) S 23253 23255 23255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 869252595 8743378944 13252 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488511488 0 0 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23266] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23266/stat : 23266 (java) S 23253 23255 23255 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 869252596 8743378944 13252 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23267] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23267/stat : 23267 (java) S 23253 23255 23255 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 869252596 8743378944 13253 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23268] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23268/stat : 23268 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252598 8743378944 13253 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488518577 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23269] ppid=23253 vsize=8538456 CPUtime=0.33 cores=1,3,5,7
/proc/23255/task/23269/stat : 23269 (java) S 23253 23255 23255 0 -1 4202560 2436 0 0 0 33 0 0 0 15 0 19 0 869252598 8743378944 13260 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23270] ppid=23253 vsize=8538456 CPUtime=0.38 cores=1,3,5,7
/proc/23255/task/23270/stat : 23270 (java) S 23253 23255 23255 0 -1 4202560 2122 0 0 0 38 0 0 0 17 0 19 0 869252598 8743378944 13265 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 1 0 0 0
[pid=23255/tid=23271] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23271/stat : 23271 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869252598 8743378944 13271 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23272] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23272/stat : 23272 (java) R 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869252598 8743378944 13278 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488511488 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23255/tid=23273] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23273/stat : 23273 (java) S 23253 23255 23255 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 869252627 8743378944 13284 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488511488 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23183/tid=23190] ppid=23181 vsize=325276 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23190/stat : 23190 (python) S 23181 23183 23102 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 5 0 869238373 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
[pid=23183/tid=23200] ppid=23181 vsize=325276 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23200/stat : 23200 (python) S 23181 23183 23102 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 869243297 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 1 0 0 0
[pid=23183/tid=23227] ppid=23181 vsize=325276 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23227/stat : 23227 (python) S 23181 23183 23102 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 5 0 869247807 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 1 0 0 0
[pid=23183/tid=23254] ppid=23181 vsize=325276 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23254/stat : 23254 (python) S 23181 23183 23102 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 869252593 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 145.69
Current children cumulated vsize (KiB) 18863068

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

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

[startup+143.902 s]
/proc/loadavg: 2.26 1.05 0.40 4/639 23273
/proc/meminfo: memFree=23638816/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=325276 CPUtime=0.57 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 12477 931 1 0 45 12 0 0 20 0 5 0 869238292 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23183/statm: 81319 7485 1877 364 0 16197 0
[pid=23189] ppid=23183 vsize=293832 CPUtime=0.24 cores=1,3,5,7
/proc/23189/stat : 23189 (python) S 23183 23183 23102 0 -1 4202560 1120 0 0 0 12 12 0 0 16 0 2 0 869238373 300883968 5854 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23189/statm: 73458 5854 407 364 0 8345 0
[pid=23191] ppid=23189 vsize=124748 CPUtime=49.2 cores=1,3,5,7
/proc/23191/stat : 23191 (scip-2.0.1.linu) T 23189 23191 23191 0 -1 4202496 30366 0 0 0 4838 82 0 0 25 0 1 0 869238373 127741952 28796 33554432000 4194304 13684479 140734954083248 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/23191/statm: 31187 28796 795 2317 0 28865 0
[pid=23189/tid=23198] ppid=23183 vsize=293832 CPUtime=0 cores=1,3,5,7
/proc/23189/task/23198/stat : 23198 (python) S 23183 23183 23102 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869243294 300883968 5854 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554946 18446604467471290560 0 0 -1 1 0 0 0
[pid=23199] ppid=23183 vsize=294312 CPUtime=0.23 cores=1,3,5,7
/proc/23199/stat : 23199 (python) S 23183 23183 23102 0 -1 4202560 1169 0 0 0 11 12 0 0 17 0 2 0 869243297 301375488 5963 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23199/statm: 73578 5963 403 364 0 8462 0
[pid=23201] ppid=23199 vsize=8538116 CPUtime=45.74 cores=1,3,5,7
/proc/23201/stat : 23201 (java) T 23199 23201 23201 0 -1 4202496 57774 0 117 0 4566 8 0 0 15 0 19 0 869243297 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 15
/proc/23201/statm: 2134529 49162 2254 9 0 2125270 0
[pid=23201/tid=23202] ppid=23199 vsize=8538116 CPUtime=44.37 cores=1,3,5,7
/proc/23201/task/23202/stat : 23202 (java) T 23199 23201 23201 0 -1 4202560 14692 0 59 0 4434 3 0 0 25 0 19 0 869243315 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 46912505748226 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 11
[pid=23201/tid=23203] ppid=23199 vsize=8538116 CPUtime=0.03 cores=1,3,5,7
/proc/23201/task/23203/stat : 23203 (java) T 23199 23201 23201 0 -1 4202560 2189 0 0 0 3 0 0 0 15 0 19 0 869243318 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23201/tid=23204] ppid=23199 vsize=8538116 CPUtime=0.02 cores=1,3,5,7
/proc/23201/task/23204/stat : 23204 (java) T 23199 23201 23201 0 -1 4202560 72 0 0 0 2 0 0 0 15 0 19 0 869243318 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23201/tid=23205] ppid=23199 vsize=8538116 CPUtime=0.04 cores=1,3,5,7
/proc/23201/task/23205/stat : 23205 (java) T 23199 23201 23201 0 -1 4202560 6905 0 0 0 4 0 0 0 15 0 19 0 869243318 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23201/tid=23206] ppid=23199 vsize=8538116 CPUtime=0.04 cores=1,3,5,7
/proc/23201/task/23206/stat : 23206 (java) T 23199 23201 23201 0 -1 4202560 5320 0 0 0 4 0 0 0 15 0 19 0 869243318 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23201/tid=23207] ppid=23199 vsize=8538116 CPUtime=0.03 cores=1,3,5,7
/proc/23201/task/23207/stat : 23207 (java) T 23199 23201 23201 0 -1 4202560 3319 0 0 0 3 0 0 0 15 0 19 0 869243318 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23201/tid=23208] ppid=23199 vsize=8538116 CPUtime=0.01 cores=1,3,5,7
/proc/23201/task/23208/stat : 23208 (java) T 23199 23201 23201 0 -1 4202560 2254 0 0 0 1 0 0 0 15 0 19 0 869243318 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23201/tid=23209] ppid=23199 vsize=8538116 CPUtime=0.02 cores=1,3,5,7
/proc/23201/task/23209/stat : 23209 (java) T 23199 23201 23201 0 -1 4202560 3990 0 0 0 2 0 0 0 15 0 19 0 869243318 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23201/tid=23210] ppid=23199 vsize=8538116 CPUtime=0.02 cores=1,3,5,7
/proc/23201/task/23210/stat : 23210 (java) T 23199 23201 23201 0 -1 4202560 5907 0 0 0 2 0 0 0 15 0 19 0 869243318 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23201/tid=23211] ppid=23199 vsize=8538116 CPUtime=0.27 cores=1,3,5,7
/proc/23201/task/23211/stat : 23211 (java) T 23199 23201 23201 0 -1 4202560 7249 0 0 0 27 0 0 0 15 0 19 0 869243321 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488511488 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23201/tid=23212] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23212/stat : 23212 (java) T 23199 23201 23201 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869243323 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23201/tid=23213] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23213/stat : 23213 (java) T 23199 23201 23201 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869243323 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 4
[pid=23201/tid=23214] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23214/stat : 23214 (java) T 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869243329 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488518577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23201/tid=23215] ppid=23199 vsize=8538116 CPUtime=0.36 cores=1,3,5,7
/proc/23201/task/23215/stat : 23215 (java) T 23199 23201 23201 0 -1 4202560 2089 0 0 0 36 0 0 0 15 0 19 0 869243329 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23201/tid=23216] ppid=23199 vsize=8538116 CPUtime=0.4 cores=1,3,5,7
/proc/23201/task/23216/stat : 23216 (java) T 23199 23201 23201 0 -1 4202560 2452 0 2 0 40 0 0 0 15 0 19 0 869243329 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23201/tid=23217] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23217/stat : 23217 (java) T 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869243329 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23201/tid=23218] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23218/stat : 23218 (java) T 23199 23201 23201 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869243329 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23201/tid=23219] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23219/stat : 23219 (java) T 23199 23201 23201 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869243362 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23199/tid=23225] ppid=23183 vsize=294312 CPUtime=0 cores=1,3,5,7
/proc/23199/task/23225/stat : 23225 (python) S 23183 23183 23102 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869247805 301375488 5963 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554946 18446604455187899584 0 0 -1 7 0 0 0
[pid=23226] ppid=23183 vsize=304332 CPUtime=0.24 cores=1,3,5,7
/proc/23226/stat : 23226 (python) S 23183 23183 23102 0 -1 4202560 1182 0 0 0 13 11 0 0 16 0 2 0 869247807 311635968 5894 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23226/statm: 76083 5894 403 364 0 10964 0
[pid=23228] ppid=23226 vsize=128964 CPUtime=47.82 cores=1,3,5,7
/proc/23228/stat : 23228 (scip-2.0.1.linu) T 23226 23228 23228 0 -1 4202496 66004 0 0 0 4757 25 0 0 25 0 1 0 869247808 132059136 28030 33554432000 4194304 15243407 140733661638320 18446744073709551615 8108607 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/23228/statm: 32241 28030 902 2698 0 29536 0
[pid=23226/tid=23252] ppid=23183 vsize=304332 CPUtime=0 cores=1,3,5,7
/proc/23226/task/23252/stat : 23252 (python) S 23183 23183 23102 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869252590 311635968 5894 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554946 18446604461265832128 0 0 -1 7 0 0 0
[pid=23253] ppid=23183 vsize=315032 CPUtime=0 cores=1,3,5,7
/proc/23253/stat : 23253 (python) S 23183 23183 23102 0 -1 4202560 817 0 0 0 0 0 0 0 15 0 1 0 869252592 322592768 5953 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476715078 0 0 16781312 33554946 4294934791 0 0 17 1 0 0 0
/proc/23253/statm: 78758 5953 349 364 0 13636 0
[pid=23255] ppid=23253 vsize=8538456 CPUtime=1.65 cores=1,3,5,7
/proc/23255/stat : 23255 (java) S 23253 23255 23255 0 -1 4202496 15223 0 1 0 163 2 0 0 17 0 19 0 869252593 8743378944 13215 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23255/statm: 2134614 13215 2229 9 0 2125355 0
[pid=23255/tid=23256] ppid=23253 vsize=8538456 CPUtime=0.92 cores=1,3,5,7
/proc/23255/task/23256/stat : 23256 (java) R 23253 23255 23255 0 -1 4202560 9268 0 1 0 91 1 0 0 25 0 19 0 869252594 8743378944 13216 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 46912505723508 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23255/tid=23257] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23257/stat : 23257 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869252594 8743378944 13216 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23258] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23258/stat : 23258 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13220 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23259] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23259/stat : 23259 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13223 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23260] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23260/stat : 23260 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13229 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23261] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23261/stat : 23261 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13235 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23262] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23262/stat : 23262 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13242 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23263] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23263/stat : 23263 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13246 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23264] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23264/stat : 23264 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13249 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23265] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23265/stat : 23265 (java) S 23253 23255 23255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 869252595 8743378944 13252 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488511488 0 0 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23266] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23266/stat : 23266 (java) S 23253 23255 23255 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 869252596 8743378944 13252 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23267] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23267/stat : 23267 (java) S 23253 23255 23255 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 869252596 8743378944 13253 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23268] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23268/stat : 23268 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252598 8743378944 13253 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488518577 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23269] ppid=23253 vsize=8538456 CPUtime=0.33 cores=1,3,5,7
/proc/23255/task/23269/stat : 23269 (java) S 23253 23255 23255 0 -1 4202560 2436 0 0 0 33 0 0 0 15 0 19 0 869252598 8743378944 13260 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23270] ppid=23253 vsize=8538456 CPUtime=0.38 cores=1,3,5,7
/proc/23255/task/23270/stat : 23270 (java) S 23253 23255 23255 0 -1 4202560 2122 0 0 0 38 0 0 0 17 0 19 0 869252598 8743378944 13265 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 1 0 0 0
[pid=23255/tid=23271] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23271/stat : 23271 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869252598 8743378944 13271 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23272] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23272/stat : 23272 (java) R 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869252598 8743378944 13278 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488511488 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23255/tid=23273] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23273/stat : 23273 (java) S 23253 23255 23255 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 869252627 8743378944 13284 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488511488 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23183/tid=23190] ppid=23181 vsize=325276 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23190/stat : 23190 (python) S 23181 23183 23102 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 5 0 869238373 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
[pid=23183/tid=23200] ppid=23181 vsize=325276 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23200/stat : 23200 (python) S 23181 23183 23102 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 869243297 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 1 0 0 0
[pid=23183/tid=23227] ppid=23181 vsize=325276 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23227/stat : 23227 (python) S 23181 23183 23102 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 5 0 869247807 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 1 0 0 0
[pid=23183/tid=23254] ppid=23181 vsize=325276 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23254/stat : 23254 (python) S 23181 23183 23102 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 869252593 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 145.69
Current children cumulated vsize (KiB) 18863068

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 143.983
CPU time (s): 145.69
CPU user time (s): 144.05
CPU system time (s): 1.64
CPU usage (%): 101.186
Max. virtual memory (cumulated for all children) (KiB): 18863068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.45693
system time used= 0.12598
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13410
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= 2661
involuntary context switches= 18

runsolver used 0.859869 second user time and 1.9627 second system time

The end

Launcher Data 

Begin job on node148 at 2011-06-09 01:40:12
IDJOB=3481735
IDBENCH=1978
IDSOLVER=1970
FILE ID=node148/3481735-1307576411
RUNJOBID= node148-1307576353-23121
PBS_JOBID= 13547651
Free space on /tmp= 73848 MiB

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

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

MD5SUM BENCH= a9ac890c0275c87cfec4e71469cd990a
RANDOM SEED=823630656

node148.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.854
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.70
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.854
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.75
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.854
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.854
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.75
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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.854
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.854
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      25113588 kB
Buffers:        152556 kB
Cached:         532404 kB
SwapCached:       8984 kB
Active:        7334936 kB
Inactive:       234948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25113588 kB
SwapTotal:    67111528 kB
SwapFree:     67056572 kB
Dirty:          152780 kB
Writeback:           0 kB
AnonPages:     6882112 kB
Mapped:          52428 kB
Slab:           137088 kB
PageTables:      59136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 170473632 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= 73748 MiB
End job on node148 at 2011-06-09 01:42:38