Trace number 3481503

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) 705.79 699.016

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_3.opb
MD5SUM18e694be8bacc67580164c28dde5ca1c
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-71
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint60
Maximum length of a constraint107
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75294
Sum of products size (including duplicates)150588
Number of different products37647
Sum of products size75294

Solver Data 

0.32/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.32/0.47	c INFO: solving HOME/instance-3481503-1307577964.opb
0.90/1.05	c INFO: wrote linearized instance to HOME/tmpSUJ_KF.opb
1.41/1.65	c INFO: parsing took 0.59 s
2.63/2.78	c INFO: features took 1.13 CPU seconds
2.71/2.81	c INFO: running scip-2.0.1-spx@0 for 45 with 1797 remaining (b = 0.03)
49.48/49.48	c INFO: running wbo1.4a@0 for 45 with 1751 remaining (b = 0.01)
96.64/96.42	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1705 remaining (b = 0.01)
147.78/144.30	c INFO: running clasp-1.3.7@0 for 91 with 1654 remaining (b = 0.01)
240.32/236.50	c INFO: running scip-2.0.1-spx@46 for 45 with 1562 remaining (b = 0.00)
289.85/285.82	c INFO: running scip-2.0.1-clp@0 for 91 with 1513 remaining (b = 0.02)
384.12/379.71	c INFO: running scip-2.0.1-spx@95 for 228 with 1419 remaining (b = 0.02)
613.33/608.04	c INFO: running scip-2.0.1-clp@93 for 91 with 1192 remaining (b = 0.01)
703.72/698.05	c INFO: running sat4j-pb-v20101225@0 for 91 with 1102 remaining (b = 0.01)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.12 2.12 1.67 3/653 28450
/proc/meminfo: memFree=15543180/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=16244 CPUtime=0.01 cores=0,2,4,6
/proc/28450/stat : 28450 (python) R 28448 28450 26377 0 -1 4202496 1050 0 0 0 1 0 0 0 17 0 1 0 869399216 16633856 922 33554432000 4194304 5683644 140736284161632 18446744073709551615 5293775 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/28450/statm: 4061 922 381 364 0 548 0

[startup+0.0706771 s]
/proc/loadavg: 2.12 2.12 1.67 3/653 28450
/proc/meminfo: memFree=15543180/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=54508 CPUtime=0.05 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 2057 0 0 0 4 1 0 0 17 0 1 0 869399216 55816192 1815 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/28450/statm: 13627 1815 492 364 0 1277 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54508

[startup+0.116188 s]
/proc/loadavg: 2.12 2.12 1.67 3/653 28450
/proc/meminfo: memFree=15543180/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=96128 CPUtime=0.08 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 3246 930 1 0 7 1 0 0 18 0 1 0 869399216 98435072 2483 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/28450/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128

[startup+0.301389 s]
/proc/loadavg: 2.12 2.12 1.67 3/653 28450
/proc/meminfo: memFree=15543180/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=202996 CPUtime=0.22 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 6677 930 1 0 17 5 0 0 17 0 1 0 869399216 207867904 4962 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/28450/statm: 50749 4962 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 202996

[startup+0.700306 s]
/proc/loadavg: 2.12 2.12 1.67 3/653 28450
/proc/meminfo: memFree=15543180/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=283196 CPUtime=0.39 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 9383 930 1 0 30 9 0 0 16 0 1 0 869399216 289992704 7114 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370977295 0 0 16781312 2 3232973015008411648 0 0 17 6 0 0 0
/proc/28450/statm: 70799 7114 1777 364 0 5692 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 283196

[startup+1.50018 s]
/proc/loadavg: 2.12 2.12 1.67 3/655 28456
/proc/meminfo: memFree=15513396/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=301720 CPUtime=1.41 cores=0,2,4,6
/proc/28450/stat : 28450 (python) R 28448 28450 26377 0 -1 4202496 15869 1588 1 0 76 11 48 6 17 0 1 0 869399216 308961280 11737 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370643877 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28450/statm: 75430 11737 1782 364 0 10323 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 301720

[startup+3.10091 s]
/proc/loadavg: 2.35 2.17 1.69 3/654 28456
/proc/meminfo: memFree=15492944/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=315128 CPUtime=2.72 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 22100 1588 1 0 206 12 48 6 21 0 2 0 869399216 322691072 12621 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28450/statm: 78782 12621 1871 364 0 13669 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 315128

[startup+6.30037 s]
/proc/loadavg: 2.35 2.17 1.69 3/657 28459
/proc/meminfo: memFree=15306560/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=315128 CPUtime=2.72 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 22100 1588 1 0 206 12 48 6 21 0 2 0 869399216 322691072 12621 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28450/statm: 78782 12621 1871 364 0 13669 0
[pid=28457] ppid=28450 vsize=304884 CPUtime=0.02 cores=0,2,4,6
/proc/28457/stat : 28457 (python) S 28450 28450 26377 0 -1 4202560 867 0 0 0 1 1 0 0 15 0 1 0 869399497 312201216 11088 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370977295 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/28457/statm: 76221 11088 342 364 0 11108 0
[pid=28459] ppid=28457 vsize=203472 CPUtime=3.47 cores=0,2,4,6
/proc/28459/stat : 28459 (scip-2.0.1.linu) R 28457 28459 28459 0 -1 4202496 50484 0 0 0 334 13 0 0 18 0 1 0 869399498 208355328 47581 33554432000 4194304 13684479 140733653058224 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28459/statm: 50868 47581 1110 2317 0 48546 0
[pid=28450/tid=28458] ppid=28448 vsize=315128 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28458/stat : 28458 (python) S 28448 28450 26377 0 -1 4202560 28 1588 0 0 0 0 48 6 21 0 2 0 869399498 322691072 12621 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 823484

[startup+12.7012 s]
/proc/loadavg: 2.29 2.17 1.69 3/679 28481
/proc/meminfo: memFree=14704456/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=315128 CPUtime=2.72 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 22100 1588 1 0 206 12 48 6 21 0 2 0 869399216 322691072 12621 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28450/statm: 78782 12621 1871 364 0 13669 0
[pid=28457] ppid=28450 vsize=304884 CPUtime=0.04 cores=0,2,4,6
/proc/28457/stat : 28457 (python) S 28450 28450 26377 0 -1 4202560 872 0 0 0 2 2 0 0 15 0 1 0 869399497 312201216 11088 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370977295 0 0 16781312 33554946 2434469145060835328 0 0 17 6 0 0 0
/proc/28457/statm: 76221 11088 342 364 0 11108 0
[pid=28459] ppid=28457 vsize=211140 CPUtime=9.87 cores=0,2,4,6
/proc/28459/stat : 28459 (scip-2.0.1.linu) R 28457 28459 28459 0 -1 4202496 52282 0 0 0 971 16 0 0 22 0 1 0 869399498 216207360 49167 33554432000 4194304 13684479 140733653058224 18446744073709551615 7019295 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28459/statm: 52785 49167 899 2317 0 50463 0
[pid=28450/tid=28458] ppid=28448 vsize=315128 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28458/stat : 28458 (python) S 28448 28450 26377 0 -1 4202560 28 1588 0 0 0 0 48 6 21 0 2 0 869399498 322691072 12621 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 831152

[startup+25.501 s]
/proc/loadavg: 2.25 2.16 1.69 3/679 28482
/proc/meminfo: memFree=14164428/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=315128 CPUtime=2.72 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 22100 1588 1 0 206 12 48 6 21 0 2 0 869399216 322691072 12621 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28450/statm: 78782 12621 1871 364 0 13669 0
[pid=28457] ppid=28450 vsize=304884 CPUtime=0.08 cores=0,2,4,6
/proc/28457/stat : 28457 (python) S 28450 28450 26377 0 -1 4202560 888 0 0 0 4 4 0 0 15 0 1 0 869399497 312201216 11088 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370977295 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/28457/statm: 76221 11088 342 364 0 11108 0
[pid=28459] ppid=28457 vsize=222716 CPUtime=22.68 cores=0,2,4,6
/proc/28459/stat : 28459 (scip-2.0.1.linu) R 28457 28459 28459 0 -1 4202496 55094 0 0 0 2247 21 0 0 18 0 1 0 869399498 228061184 51836 33554432000 4194304 13684479 140733653058224 18446744073709551615 6388804 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28459/statm: 55679 51836 758 2317 0 53357 0
[pid=28450/tid=28458] ppid=28448 vsize=315128 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28458/stat : 28458 (python) S 28448 28450 26377 0 -1 4202560 28 1588 0 0 0 0 48 6 21 0 2 0 869399498 322691072 12621 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 842728

[startup+51.1164 s]
/proc/loadavg: 2.16 2.15 1.70 3/683 28486
/proc/meminfo: memFree=14160464/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=325384 CPUtime=2.75 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 22969 1588 1 0 209 12 48 6 20 0 3 0 869399216 333193216 12628 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28450/statm: 81346 12628 1874 364 0 16230 0
[pid=28457] ppid=28450 vsize=315128 CPUtime=0.2 cores=0,2,4,6
/proc/28457/stat : 28457 (python) S 28450 28450 26377 0 -1 4202560 1110 0 0 0 9 11 0 0 16 0 2 0 869399497 322691072 11156 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28457/statm: 78782 11156 405 364 0 13669 0
[pid=28459] ppid=28457 vsize=232736 CPUtime=46.63 cores=0,2,4,6
/proc/28459/stat : 28459 (scip-2.0.1.linu) T 28457 28459 28459 0 -1 4202496 57947 0 0 0 4630 33 0 0 19 0 1 0 869399498 238321664 54652 33554432000 4194304 13684479 140733653058224 18446744073709551615 4316923 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/28459/statm: 58184 54652 758 2317 0 55862 0
[pid=28457/tid=28483] ppid=28450 vsize=315128 CPUtime=0 cores=0,2,4,6
/proc/28457/task/28483/stat : 28483 (python) S 28450 28450 26377 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869404162 322691072 11156 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554946 18446604447761543296 0 0 -1 6 0 0 0
[pid=28484] ppid=28450 vsize=315140 CPUtime=0 cores=0,2,4,6
/proc/28484/stat : 28484 (python) S 28450 28450 26377 0 -1 4202560 741 0 0 0 0 0 0 0 15 0 1 0 869404164 322703360 11069 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370977350 0 0 16781312 33554946 17371305192166752513 0 0 17 6 0 0 0
/proc/28484/statm: 78785 11069 319 364 0 13669 0
[pid=28486] ppid=28484 vsize=51148 CPUtime=1.62 cores=0,2,4,6
/proc/28486/stat : 28486 (wbo1.4a) R 28484 28486 28486 0 -1 4202496 22500 0 0 0 160 2 0 0 25 0 1 0 869404165 52375552 12030 33554432000 134512640 135751879 4292188176 18446744073709551615 134638015 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/28486/statm: 12787 12030 143 303 0 12482 0
[pid=28450/tid=28458] ppid=28448 vsize=325384 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28458/stat : 28458 (python) S 28448 28450 26377 0 -1 4202560 28 1588 0 0 0 0 48 6 21 0 3 0 869399498 333193216 12628 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 6 0 0 0
[pid=28450/tid=28485] ppid=28448 vsize=325384 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28485/stat : 28485 (python) S 28448 28450 26377 0 -1 4202560 29 1588 0 0 0 0 48 6 20 0 3 0 869404164 333193216 12628 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 1239536

[startup+102.301 s]
/proc/loadavg: 2.39 2.21 1.75 3/700 28570
/proc/meminfo: memFree=13060636/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=335640 CPUtime=2.77 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 23851 1588 1 0 211 12 48 6 20 0 4 0 869399216 343695360 12634 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28450/statm: 83910 12634 1876 364 0 18791 0
[pid=28457] ppid=28450 vsize=315128 CPUtime=0.2 cores=0,2,4,6
/proc/28457/stat : 28457 (python) S 28450 28450 26377 0 -1 4202560 1110 0 0 0 9 11 0 0 16 0 2 0 869399497 322691072 11156 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28457/statm: 78782 11156 405 364 0 13669 0
[pid=28459] ppid=28457 vsize=232736 CPUtime=46.63 cores=0,2,4,6
/proc/28459/stat : 28459 (scip-2.0.1.linu) T 28457 28459 28459 0 -1 4202496 57947 0 0 0 4630 33 0 0 19 0 1 0 869399498 238321664 54652 33554432000 4194304 13684479 140733653058224 18446744073709551615 4316923 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/28459/statm: 58184 54652 758 2317 0 55862 0
[pid=28457/tid=28483] ppid=28450 vsize=315128 CPUtime=0 cores=0,2,4,6
/proc/28457/task/28483/stat : 28483 (python) S 28450 28450 26377 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869404162 322691072 11156 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554946 18446604447761543296 0 0 -1 6 0 0 0
[pid=28484] ppid=28450 vsize=315140 CPUtime=0.16 cores=0,2,4,6
/proc/28484/stat : 28484 (python) S 28450 28450 26377 0 -1 4202560 1111 0 0 0 8 8 0 0 16 0 2 0 869404164 322703360 11141 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28484/statm: 78785 11141 390 364 0 13669 0
[pid=28486] ppid=28484 vsize=672428 CPUtime=46.9 cores=0,2,4,6
/proc/28486/stat : 28486 (wbo1.4a) T 28484 28486 28486 0 -1 4202496 424208 0 0 0 4628 62 0 0 25 0 1 0 869404165 688566272 167417 33554432000 134512640 135751879 4292188176 18446744073709551615 135220911 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/28486/statm: 168107 167417 143 303 0 167802 0
[pid=28484/tid=28548] ppid=28450 vsize=315140 CPUtime=0 cores=0,2,4,6
/proc/28484/task/28548/stat : 28548 (python) S 28450 28450 26377 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869408856 322703360 11141 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554946 18446604442781516800 0 0 -1 6 0 0 0
[pid=28549] ppid=28450 vsize=325396 CPUtime=0.02 cores=0,2,4,6
/proc/28549/stat : 28549 (python) S 28450 28450 26377 0 -1 4202560 910 0 0 0 1 1 0 0 15 0 1 0 869408858 333205504 11097 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370977350 0 0 16781312 33554946 4294934785 0 0 17 0 0 0 0
/proc/28549/statm: 81349 11097 343 364 0 16230 0
[pid=28551] ppid=28549 vsize=8548488 CPUtime=8.22 cores=0,2,4,6
/proc/28551/stat : 28551 (java) S 28549 28551 28551 0 -1 4202496 112635 0 1 0 807 15 0 0 18 0 19 0 869408859 8753651712 104271 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28551/statm: 2137122 104271 2252 9 0 2127863 0
[pid=28551/tid=28552] ppid=28549 vsize=8548488 CPUtime=5.68 cores=0,2,4,6
/proc/28551/task/28552/stat : 28552 (java) R 28549 28551 28551 0 -1 4202560 62173 0 1 0 560 8 0 0 25 0 19 0 869408859 8753651712 104271 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 46912506077933 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28551/tid=28553] ppid=28549 vsize=8548488 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28553/stat : 28553 (java) S 28549 28551 28551 0 -1 4202560 5816 0 0 0 8 0 0 0 16 0 19 0 869408860 8753651712 104271 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446604449245584384 0 0 -1 6 0 0 0
[pid=28551/tid=28554] ppid=28549 vsize=8548488 CPUtime=0.09 cores=0,2,4,6
/proc/28551/task/28554/stat : 28554 (java) S 28549 28551 28551 0 -1 4202560 6227 0 0 0 9 0 0 0 16 0 19 0 869408860 8753651712 104271 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446604449245584384 0 0 -1 0 0 0 0
[pid=28551/tid=28555] ppid=28549 vsize=8548488 CPUtime=0.09 cores=0,2,4,6
/proc/28551/task/28555/stat : 28555 (java) S 28549 28551 28551 0 -1 4202560 7207 0 0 0 9 0 0 0 16 0 19 0 869408860 8753651712 104271 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446604449245584384 0 0 -1 0 0 0 0
[pid=28551/tid=28556] ppid=28549 vsize=8548488 CPUtime=0.03 cores=0,2,4,6
/proc/28551/task/28556/stat : 28556 (java) S 28549 28551 28551 0 -1 4202560 2551 0 0 0 3 0 0 0 15 0 19 0 869408860 8753651712 104271 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446604449245584384 0 0 -1 4 0 0 0
[pid=28551/tid=28557] ppid=28549 vsize=8548488 CPUtime=0.01 cores=0,2,4,6
/proc/28551/task/28557/stat : 28557 (java) S 28549 28551 28551 0 -1 4202560 525 0 0 0 1 0 0 0 15 0 19 0 869408860 8753651712 104271 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446604449245584384 0 0 -1 2 0 0 0

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

[pid=28450/tid=28485] ppid=28448 vsize=356152 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28485/stat : 28485 (python) S 28448 28450 26377 0 -1 4202560 29 1588 0 0 0 0 48 6 20 0 6 0 869404164 364699648 12646 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 0 0 0 0
[pid=28450/tid=28550] ppid=28448 vsize=356152 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28550/stat : 28550 (python) S 28448 28450 26377 0 -1 4202560 28 1588 0 0 0 0 48 6 20 0 6 0 869408859 364699648 12646 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 6 0 0 0
[pid=28450/tid=28578] ppid=28448 vsize=356152 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28578/stat : 28578 (python) S 28448 28450 26377 0 -1 4202560 27 1588 0 0 0 0 48 6 20 0 6 0 869413647 364699648 12646 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
[pid=28450/tid=28690] ppid=28448 vsize=356152 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28690/stat : 28690 (python) S 28448 28450 26377 0 -1 4202560 33 1588 0 0 0 0 48 6 18 0 6 0 869427799 364699648 12646 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 647.8
Current children cumulated vsize (KiB) 11783220



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+698.902 s]
/proc/loadavg: 2.04 2.10 1.89 4/803 28825
/proc/meminfo: memFree=10159752/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=366408 CPUtime=2.91 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 26661 1588 1 0 224 13 48 6 20 0 7 0 869399216 375201792 12652 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28450/statm: 91602 12652 1882 364 0 26474 0
[pid=28457] ppid=28450 vsize=315128 CPUtime=1.35 cores=0,2,4,6
/proc/28457/stat : 28457 (python) S 28450 28450 26377 0 -1 4202560 1190 0 0 0 67 68 0 0 15 0 2 0 869399497 322691072 11158 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28457/statm: 78782 11158 407 364 0 13669 0
[pid=28459] ppid=28457 vsize=274608 CPUtime=324.24 cores=0,2,4,6
/proc/28459/stat : 28459 (scip-2.0.1.linu) T 28457 28459 28459 0 -1 4202496 68226 0 0 0 32305 119 0 0 25 0 1 0 869399498 281198592 64510 33554432000 4194304 13684479 140733653058224 18446744073709551615 7095858 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/28459/statm: 68652 64510 763 2317 0 66330 0
[pid=28457/tid=28483] ppid=28450 vsize=315128 CPUtime=0 cores=0,2,4,6
/proc/28457/task/28483/stat : 28483 (python) S 28450 28450 26377 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869404162 322691072 11158 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554946 18446604447761543296 0 0 -1 0 0 0 0
[pid=28484] ppid=28450 vsize=315140 CPUtime=0.16 cores=0,2,4,6
/proc/28484/stat : 28484 (python) S 28450 28450 26377 0 -1 4202560 1111 0 0 0 8 8 0 0 16 0 2 0 869404164 322703360 11141 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28484/statm: 78785 11141 390 364 0 13669 0
[pid=28486] ppid=28484 vsize=672428 CPUtime=46.9 cores=0,2,4,6
/proc/28486/stat : 28486 (wbo1.4a) T 28484 28486 28486 0 -1 4202496 424208 0 0 0 4628 62 0 0 25 0 1 0 869404165 688566272 167417 33554432000 134512640 135751879 4292188176 18446744073709551615 135220911 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/28486/statm: 168107 167417 143 303 0 167802 0
[pid=28484/tid=28548] ppid=28450 vsize=315140 CPUtime=0 cores=0,2,4,6
/proc/28484/task/28548/stat : 28548 (python) S 28450 28450 26377 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869408856 322703360 11141 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554946 18446604442781516800 0 0 -1 6 0 0 0
[pid=28549] ppid=28450 vsize=325396 CPUtime=0.18 cores=0,2,4,6
/proc/28549/stat : 28549 (python) S 28450 28450 26377 0 -1 4202560 1125 0 0 0 9 9 0 0 16 0 2 0 869408858 333205504 11145 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/28549/statm: 81349 11145 390 364 0 16230 0
[pid=28551] ppid=28549 vsize=8548488 CPUtime=50.91 cores=0,2,4,6
/proc/28551/stat : 28551 (java) T 28549 28551 28551 0 -1 4202496 338832 0 1 0 5051 40 0 0 18 0 19 0 869408859 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28551/statm: 2137122 330103 2252 9 0 2127863 0
[pid=28551/tid=28552] ppid=28549 vsize=8548488 CPUtime=47.44 cores=0,2,4,6
/proc/28551/task/28552/stat : 28552 (java) T 28549 28551 28551 0 -1 4202560 232415 0 1 0 4718 26 0 0 25 0 19 0 869408859 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 46912506090540 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28551/tid=28553] ppid=28549 vsize=8548488 CPUtime=0.21 cores=0,2,4,6
/proc/28551/task/28553/stat : 28553 (java) T 28549 28551 28551 0 -1 4202560 15175 0 0 0 20 1 0 0 15 0 19 0 869408860 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28551/tid=28554] ppid=28549 vsize=8548488 CPUtime=0.24 cores=0,2,4,6
/proc/28551/task/28554/stat : 28554 (java) T 28549 28551 28551 0 -1 4202560 16054 0 0 0 22 2 0 0 15 0 19 0 869408860 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28551/tid=28555] ppid=28549 vsize=8548488 CPUtime=0.17 cores=0,2,4,6
/proc/28551/task/28555/stat : 28555 (java) T 28549 28551 28551 0 -1 4202560 12427 0 0 0 16 1 0 0 15 0 19 0 869408860 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28551/tid=28556] ppid=28549 vsize=8548488 CPUtime=0.06 cores=0,2,4,6
/proc/28551/task/28556/stat : 28556 (java) T 28549 28551 28551 0 -1 4202560 5158 0 0 0 6 0 0 0 15 0 19 0 869408860 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28551/tid=28557] ppid=28549 vsize=8548488 CPUtime=0.14 cores=0,2,4,6
/proc/28551/task/28557/stat : 28557 (java) T 28549 28551 28551 0 -1 4202560 11429 0 0 0 14 0 0 0 15 0 19 0 869408860 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28551/tid=28558] ppid=28549 vsize=8548488 CPUtime=0.18 cores=0,2,4,6
/proc/28551/task/28558/stat : 28558 (java) T 28549 28551 28551 0 -1 4202560 13942 0 0 0 16 2 0 0 15 0 19 0 869408860 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28551/tid=28559] ppid=28549 vsize=8548488 CPUtime=0.09 cores=0,2,4,6
/proc/28551/task/28559/stat : 28559 (java) T 28549 28551 28551 0 -1 4202560 8004 0 0 0 8 1 0 0 15 0 19 0 869408860 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28551/tid=28560] ppid=28549 vsize=8548488 CPUtime=0.09 cores=0,2,4,6
/proc/28551/task/28560/stat : 28560 (java) T 28549 28551 28551 0 -1 4202560 7864 0 0 0 9 0 0 0 15 0 19 0 869408860 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28551/tid=28561] ppid=28549 vsize=8548488 CPUtime=0 cores=0,2,4,6
/proc/28551/task/28561/stat : 28561 (java) T 28549 28551 28551 0 -1 4202560 995 0 0 0 0 0 0 0 15 0 19 0 869408861 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773760 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28551/tid=28562] ppid=28549 vsize=8548488 CPUtime=0 cores=0,2,4,6
/proc/28551/task/28562/stat : 28562 (java) T 28549 28551 28551 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869408861 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28551/tid=28563] ppid=28549 vsize=8548488 CPUtime=0 cores=0,2,4,6
/proc/28551/task/28563/stat : 28563 (java) T 28549 28551 28551 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869408861 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28551/tid=28564] ppid=28549 vsize=8548488 CPUtime=0 cores=0,2,4,6
/proc/28551/task/28564/stat : 28564 (java) T 28549 28551 28551 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869408863 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28551/tid=28565] ppid=28549 vsize=8548488 CPUtime=0.9 cores=0,2,4,6
/proc/28551/task/28565/stat : 28565 (java) T 28549 28551 28551 0 -1 4202560 7352 0 0 0 90 0 0 0 15 0 19 0 869408863 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28551/tid=28566] ppid=28549 vsize=8548488 CPUtime=1.27 cores=0,2,4,6
/proc/28551/task/28566/stat : 28566 (java) T 28549 28551 28551 0 -1 4202560 6628 0 0 0 126 1 0 0 15 0 19 0 869408863 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28551/tid=28567] ppid=28549 vsize=8548488 CPUtime=0 cores=0,2,4,6
/proc/28551/task/28567/stat : 28567 (java) T 28549 28551 28551 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869408863 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28551/tid=28568] ppid=28549 vsize=8548488 CPUtime=0 cores=0,2,4,6
/proc/28551/task/28568/stat : 28568 (java) T 28549 28551 28551 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869408864 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28551/tid=28570] ppid=28549 vsize=8548488 CPUtime=0 cores=0,2,4,6
/proc/28551/task/28570/stat : 28570 (java) T 28549 28551 28551 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869408956 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28549/tid=28576] ppid=28450 vsize=325396 CPUtime=0 cores=0,2,4,6
/proc/28549/task/28576/stat : 28576 (python) S 28450 28450 26377 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869413644 333205504 11145 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554946 18446604449245581696 0 0 -1 0 0 0 0
[pid=28577] ppid=28450 vsize=335652 CPUtime=0.35 cores=0,2,4,6
/proc/28577/stat : 28577 (python) S 28450 28450 26377 0 -1 4202560 1190 0 0 0 17 18 0 0 16 0 2 0 869413647 343707648 11149 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28577/statm: 83913 11149 390 364 0 18791 0
[pid=28579] ppid=28577 vsize=56208 CPUtime=92.17 cores=0,2,4,6
/proc/28579/stat : 28579 (clasp-1.3.7-x86) T 28577 28579 28579 0 -1 4202496 14790 0 0 0 9213 4 0 0 25 0 1 0 869413647 57556992 13766 33554432000 134512640 136139019 4290622416 18446744073709551615 134632455 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/28579/statm: 14052 13766 187 398 0 13652 0
[pid=28577/tid=28664] ppid=28450 vsize=335652 CPUtime=0 cores=0,2,4,6
/proc/28577/task/28664/stat : 28664 (python) S 28450 28450 26377 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 2 0 869422865 343707648 11149 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554946 18446604460286075264 0 0 -1 6 0 0 0
[pid=28689] ppid=28450 vsize=345908 CPUtime=0.78 cores=0,2,4,6
/proc/28689/stat : 28689 (python) S 28450 28450 26377 0 -1 4202560 1291 0 0 0 38 40 0 0 15 0 2 0 869427799 354209792 11159 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28689/statm: 86477 11159 396 364 0 21352 0
[pid=28691] ppid=28689 vsize=265800 CPUtime=183.84 cores=0,2,4,6
/proc/28691/stat : 28691 (scip-2.0.1.linu) T 28689 28691 28691 0 -1 4202496 82669 0 0 0 18338 46 0 0 25 0 1 0 869427799 272179200 61310 33554432000 4194304 15243407 140735438573984 18446744073709551615 6628896 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/28691/statm: 66450 61310 865 2698 0 63745 0
[pid=28689/tid=28698] ppid=28450 vsize=345908 CPUtime=0 cores=0,2,4,6
/proc/28689/task/28698/stat : 28698 (python) S 28450 28450 26377 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869437185 354209792 11159 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554946 18446604453903432512 0 0 -1 6 0 0 0
[pid=28806] ppid=28450 vsize=356164 CPUtime=0 cores=0,2,4,6
/proc/28806/stat : 28806 (python) S 28450 28450 26377 0 -1 4202560 811 0 0 0 0 0 0 0 19 0 1 0 869469022 364711936 11085 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370977350 0 0 16781312 33554946 3054028481135345927 0 0 17 0 0 0 0
/proc/28806/statm: 89041 11085 319 364 0 23913 0
[pid=28808] ppid=28806 vsize=8547136 CPUtime=2 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28806 28808 28808 0 -1 4202496 47489 0 1 0 193 7 0 0 20 0 18 0 869469022 8752267264 40871 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28808/statm: 2136784 40872 2226 9 0 2127525 0
[pid=28808/tid=28809] ppid=28806 vsize=8547136 CPUtime=0.85 cores=0,2,4,6
/proc/28808/task/28809/stat : 28809 (java) R 28806 28808 28808 0 -1 4202560 33439 0 1 0 80 5 0 0 18 0 18 0 869469023 8752267264 40877 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382783947 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28808/tid=28810] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28810/stat : 28810 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869469023 8752267264 40877 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28811] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28811/stat : 28811 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869469023 8752267264 40877 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28812] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28812/stat : 28812 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869469023 8752267264 40886 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28813] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28813/stat : 28813 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469023 8752267264 40905 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28814] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28814/stat : 28814 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469023 8752267264 40924 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28815] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28815/stat : 28815 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469023 8752267264 40942 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28816] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28816/stat : 28816 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469023 8752267264 40959 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28817] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28817/stat : 28817 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469023 8752267264 40963 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28818] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28818/stat : 28818 (java) S 28806 28808 28808 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869469024 8752267264 40980 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773760 0 0 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28819] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28819/stat : 28819 (java) S 28806 28808 28808 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869469025 8752267264 40996 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28820] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28820/stat : 28820 (java) S 28806 28808 28808 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869469025 8752267264 41015 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28821] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28821/stat : 28821 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469027 8752267264 41031 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382780849 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28822] ppid=28806 vsize=8547136 CPUtime=0.57 cores=0,2,4,6
/proc/28808/task/28822/stat : 28822 (java) S 28806 28808 28808 0 -1 4202560 7148 0 0 0 57 0 0 0 17 0 18 0 869469027 8752267264 41044 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 0 0 0 0
[pid=28808/tid=28823] ppid=28806 vsize=8547136 CPUtime=0.54 cores=0,2,4,6
/proc/28808/task/28823/stat : 28823 (java) S 28806 28808 28808 0 -1 4202560 5511 0 0 0 54 0 0 0 18 0 18 0 869469027 8752267264 41060 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 6 0 0 0
[pid=28808/tid=28824] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28824/stat : 28824 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469027 8752267264 41075 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28825] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28825/stat : 28825 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869469027 8752267264 41075 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773760 0 4 0 16800975 18446604445814385408 0 0 -1 2 0 0 0
[pid=28450/tid=28458] ppid=28448 vsize=366408 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28458/stat : 28458 (python) S 28448 28450 26377 0 -1 4202560 40 1588 0 0 0 0 48 6 18 0 7 0 869399498 375201792 12652 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 2 0 0 0
[pid=28450/tid=28485] ppid=28448 vsize=366408 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28485/stat : 28485 (python) S 28448 28450 26377 0 -1 4202560 29 1588 0 0 0 0 48 6 20 0 7 0 869404164 375201792 12652 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 0 0 0 0
[pid=28450/tid=28550] ppid=28448 vsize=366408 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28550/stat : 28550 (python) S 28448 28450 26377 0 -1 4202560 28 1588 0 0 0 0 48 6 20 0 7 0 869408859 375201792 12652 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 6 0 0 0
[pid=28450/tid=28578] ppid=28448 vsize=366408 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28578/stat : 28578 (python) S 28448 28450 26377 0 -1 4202560 27 1588 0 0 0 0 48 6 20 0 7 0 869413647 375201792 12652 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
[pid=28450/tid=28690] ppid=28448 vsize=366408 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28690/stat : 28690 (python) S 28448 28450 26377 0 -1 4202560 33 1588 0 0 0 0 48 6 18 0 7 0 869427799 375201792 12652 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
[pid=28450/tid=28807] ppid=28448 vsize=366408 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28807/stat : 28807 (python) S 28448 28450 26377 0 -1 4202560 28 1588 0 0 0 0 48 6 20 0 7 0 869469022 375201792 12652 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 705.79
Current children cumulated vsize (KiB) 20724464

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 699.016
CPU time (s): 705.79
CPU user time (s): 701.39
CPU system time (s): 4.4
CPU usage (%): 100.969
Max. virtual memory (cumulated for all children) (KiB): 20724464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.73458
system time used= 0.203968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28253
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= 27133
involuntary context switches= 866

runsolver used 5.36518 second user time and 10.3624 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-09 02:06:04
IDJOB=3481503
IDBENCH=48170
IDSOLVER=1970
FILE ID=node101/3481503-1307577964
RUNJOBID= node101-1307576442-26395
PBS_JOBID= 13547704
Free space on /tmp= 73612 MiB

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

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

MD5SUM BENCH= 18e694be8bacc67580164c28dde5ca1c
RANDOM SEED=1201204744

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15543336 kB
Buffers:        193108 kB
Cached:         882572 kB
SwapCached:      24660 kB
Active:       16892120 kB
Inactive:       202060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15543336 kB
SwapTotal:    67111528 kB
SwapFree:     49244124 kB
Dirty:          110376 kB
Writeback:           0 kB
AnonPages:    16016380 kB
Mapped:         107760 kB
Slab:           147060 kB
PageTables:      95544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 91796968 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= 73380 MiB
End job on node101 at 2011-06-09 02:17:46