Trace number 3741504

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
PB10: pb_cplex 2010-06-29? (TO) 1800.34 869.517

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-f2000.opb
MD5SUMacba870ceff62e653e0b2927ff2b81fb
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4000
Total number of constraints10500
Number of constraints which are clauses10500
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 constraint3
Number of terms in the objective function 4000
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 4000
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4000
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-3741504-1339250447.opb.
0.00/0.00	c Instance file HOME/instance-3741504-1339250447.opb
0.00/0.00	c File size is 367975 bytes.
1.49/1.55	c Highest Coefficient sum: 4
1.49/1.55	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
1.49/1.56	c ============================[ Problem Statistics ]=============================
1.49/1.56	c |                                                                             |
1.49/1.56	c |  Parsing time:          1.56         s                                      |
1.49/1.56	c |  Number Variables:      4000                                                |
1.49/1.56	c |  Number Constraints:    10500                                               |
1.49/1.56	c ===============================================================================

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3741504-1339250447/watcher-3741504-1339250447 -o /tmp/evaluation-result-3741504-1339250447/solver-3741504-1339250447 -C 1800 -W 1900 -M 15500 run HOME/instance-3741504-1339250447.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.12 2.96 3/178 6152
/proc/meminfo: memFree=30587980/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0

[startup+0.0307491 s]
/proc/loadavg: 2.01 2.12 2.96 3/178 6152
/proc/meminfo: memFree=30587980/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100243 s]
/proc/loadavg: 2.01 2.12 2.96 3/178 6152
/proc/meminfo: memFree=30587980/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300223 s]
/proc/loadavg: 2.01 2.12 2.96 3/178 6152
/proc/meminfo: memFree=30587980/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700224 s]
/proc/loadavg: 2.01 2.12 2.96 3/178 6152
/proc/meminfo: memFree=30587980/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50024 s]
/proc/loadavg: 2.01 2.12 2.96 3/180 6154
/proc/meminfo: memFree=30586492/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
[pid=6153] ppid=6152 vsize=14144 CPUtime=1.49 cores=1,3,5,7
/proc/6153/stat : 6153 (pb_cplex) R 6152 6152 4676 0 -1 4202496 657 0 0 0 149 0 0 0 20 0 1 0 391172092 14483456 613 33554432000 134512640 146736320 4288800384 4288782268 141028032 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/6153/statm: 3536 613 293 2985 0 380 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23292

[startup+3.10028 s]
/proc/loadavg: 2.01 2.12 2.96 3/180 6154
/proc/meminfo: memFree=30570580/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
[pid=6153] ppid=6152 vsize=40968 CPUtime=3.09 cores=1,3,5,7
/proc/6153/stat : 6153 (pb_cplex) R 6152 6152 4676 0 -1 4202496 6872 0 0 0 309 0 0 0 20 0 1 0 391172092 41951232 5123 33554432000 134512640 146736320 4288800384 4288794944 136018931 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/6153/statm: 10242 5123 790 2985 0 7176 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50116

[startup+6.30026 s]
/proc/loadavg: 2.01 2.12 2.96 3/180 6154
/proc/meminfo: memFree=30569620/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
[pid=6153] ppid=6152 vsize=41252 CPUtime=6.29 cores=1,3,5,7
/proc/6153/stat : 6153 (pb_cplex) R 6152 6152 4676 0 -1 4202496 7021 0 0 0 629 0 0 0 20 0 1 0 391172092 42242048 5272 33554432000 134512640 146736320 4288800384 4288794944 136018974 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/6153/statm: 10313 5272 790 2985 0 7247 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50400

[startup+12.7003 s]
/proc/loadavg: 2.01 2.11 2.95 3/180 6154
/proc/meminfo: memFree=30569572/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
[pid=6153] ppid=6152 vsize=41540 CPUtime=12.68 cores=1,3,5,7
/proc/6153/stat : 6153 (pb_cplex) R 6152 6152 4676 0 -1 4202496 7083 0 0 0 1268 0 0 0 20 0 1 0 391172092 42536960 5334 33554432000 134512640 146736320 4288800384 4288795036 135855174 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/6153/statm: 10385 5334 790 2985 0 7319 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 50688

[startup+25.5003 s]
/proc/loadavg: 2.01 2.11 2.94 3/180 6177
/proc/meminfo: memFree=30568416/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
[pid=6153] ppid=6152 vsize=42776 CPUtime=25.49 cores=1,3,5,7
/proc/6153/stat : 6153 (pb_cplex) R 6152 6152 4676 0 -1 4202496 7409 0 0 0 2548 1 0 0 20 0 1 0 391172092 43802624 5660 33554432000 134512640 146736320 4288800384 4288795584 139046492 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/6153/statm: 10694 5660 790 2985 0 7628 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51924

[startup+51.1003 s]
/proc/loadavg: 2.00 2.10 2.91 3/179 6177
/proc/meminfo: memFree=30567356/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
[pid=6153] ppid=6152 vsize=43720 CPUtime=51.08 cores=1,3,5,7
/proc/6153/stat : 6153 (pb_cplex) R 6152 6152 4676 0 -1 4202496 13835 0 0 0 5106 2 0 0 20 0 1 0 391172092 44769280 5900 33554432000 134512640 146736320 4288800384 4288794944 136018896 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/6153/statm: 10930 5900 790 2985 0 7864 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 52868

[startup+102.306 s]
/proc/loadavg: 2.00 2.08 2.85 3/179 6178
/proc/meminfo: memFree=30540068/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
[pid=6153] ppid=6152 vsize=80096 CPUtime=102.28 cores=1,3,5,7
/proc/6153/stat : 6153 (pb_cplex) R 6152 6152 4676 0 -1 4202496 40453 0 0 0 10221 7 0 0 20 0 1 0 391172092 82018304 12846 33554432000 134512640 146736320 4288800384 4288796176 137698804 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/6153/statm: 20024 12846 848 2985 0 16958 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 89244

[startup+162.3 s]
/proc/loadavg: 2.00 2.06 2.80 3/179 6178
/proc/meminfo: memFree=30555452/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
[pid=6153] ppid=6152 vsize=60616 CPUtime=162.27 cores=1,3,5,7
/proc/6153/stat : 6153 (pb_cplex) R 6152 6152 4676 0 -1 4202496 44910 0 0 0 16219 8 0 0 20 0 1 0 391172092 62070784 9082 33554432000 134512640 146736320 4288800384 4288794552 136015551 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/6153/statm: 15154 9082 878 2985 0 12088 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 69764

[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.75 3/179 6178
/proc/meminfo: memFree=30549540/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
[pid=6153] ppid=6152 vsize=54556 CPUtime=222.26 cores=1,3,5,7
/proc/6153/stat : 6153 (pb_cplex) R 6152 6152 4676 0 -1 4202496 60485 0 0 0 22215 11 0 0 20 0 1 0 391172092 55865344 10308 33554432000 134512640 146736320 4288800384 4288793800 135525921 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/6153/statm: 13639 10308 904 2985 0 10573 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 63704

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.70 3/179 6178
/proc/meminfo: memFree=30549168/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
[pid=6153] ppid=6152 vsize=54556 CPUtime=282.24 cores=1,3,5,7
/proc/6153/stat : 6153 (pb_cplex) R 6152 6152 4676 0 -1 4202496 60487 0 0 0 28213 11 0 0 20 0 1 0 391172092 55865344 10310 33554432000 134512640 146736320 4288800384 4288794052 136385174 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/6153/statm: 13639 10310 906 2985 0 10573 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 63704

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.65 3/179 6178
/proc/meminfo: memFree=30550420/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
[pid=6153] ppid=6152 vsize=53476 CPUtime=342.24 cores=1,3,5,7
/proc/6153/stat : 6153 (pb_cplex) R 6152 6152 4676 0 -1 4202496 61180 0 0 0 34212 12 0 0 20 0 1 0 391172092 54759424 10056 33554432000 134512640 146736320 4288800384 4288794888 136000758 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/6153/statm: 13369 10056 912 2985 0 10303 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 62624

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.61 3/186 6186
/proc/meminfo: memFree=30505352/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/6153/statm: 69605 42980 946 2985 0 66539 0
[pid=6153/tid=6180] ppid=6152 vsize=278420 CPUtime=42.1 cores=1,3,5,7
/proc/6153/task/6180/stat : 6180 (pb_cplex) R 6152 6152 4676 0 -1 4202560 36030 0 0 0 4200 10 0 0 20 0 8 0 391209596 285102080 42980 33554432000 134512640 146736320 4288800384 4096110800 136008050 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6153/tid=6181] ppid=6152 vsize=278420 CPUtime=41.89 cores=1,3,5,7
/proc/6153/task/6181/stat : 6181 (pb_cplex) R 6152 6152 4676 0 -1 4202560 38496 0 0 0 4180 9 0 0 20 0 8 0 391209596 285102080 42980 33554432000 134512640 146736320 4288800384 4085623248 135459486 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6153/tid=6182] ppid=6152 vsize=278420 CPUtime=41.52 cores=1,3,5,7
/proc/6153/task/6182/stat : 6182 (pb_cplex) R 6152 6152 4676 0 -1 4202560 31135 0 0 0 4144 8 0 0 20 0 8 0 391209596 285102080 42980 33554432000 134512640 146736320 4288800384 4075139184 136384892 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6153/tid=6183] ppid=6152 vsize=278420 CPUtime=41.6 cores=1,3,5,7
/proc/6153/task/6183/stat : 6183 (pb_cplex) R 6152 6152 4676 0 -1 4202560 40472 0 0 0 4149 11 0 0 20 0 8 0 391209596 285102080 42980 33554432000 134512640 146736320 4288800384 4064653520 136008065 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6153/tid=6184] ppid=6152 vsize=278420 CPUtime=41.77 cores=1,3,5,7
/proc/6153/task/6184/stat : 6184 (pb_cplex) R 6152 6152 4676 0 -1 4202560 39459 0 0 0 4167 10 0 0 20 0 8 0 391209596 285102080 42980 33554432000 134512640 146736320 4288800384 4054167368 135525908 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6153/tid=6185] ppid=6152 vsize=278420 CPUtime=42.12 cores=1,3,5,7
/proc/6153/task/6185/stat : 6185 (pb_cplex) R 6152 6152 4676 0 -1 4202560 35505 0 0 0 4206 6 0 0 20 0 8 0 391209596 285102080 42980 33554432000 134512640 146736320 4288800384 4043682000 136008226 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6153/tid=6186] ppid=6152 vsize=278420 CPUtime=41.56 cores=1,3,5,7
/proc/6153/task/6186/stat : 6186 (pb_cplex) R 6152 6152 4676 0 -1 4202560 35920 0 0 0 4147 9 0 0 20 0 8 0 391209596 285102080 42980 33554432000 134512640 146736320 4288800384 4033196488 136000727 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 893.19
Current children cumulated vsize (KiB) 287568

[startup+702.3 s]
/proc/loadavg: 8.37 4.69 3.44 10/186 6190
/proc/meminfo: memFree=30416504/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
[pid=6153] ppid=6152 vsize=278048 CPUtime=1132.72 cores=1,3,5,7
/proc/6153/stat : 6153 (pb_cplex) R 6152 6152 4676 0 -1 4202496 597398 0 0 0 113126 146 0 0 20 0 8 0 391172092 284721152 42893 33554432000 134512640 146736320 4288800384 4288792124 135447034 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6153/statm: 69512 42893 946 2985 0 66446 0
[pid=6153/tid=6180] ppid=6152 vsize=278048 CPUtime=72.04 cores=1,3,5,7
/proc/6153/task/6180/stat : 6180 (pb_cplex) R 6152 6152 4676 0 -1 4202560 69076 0 0 0 7185 19 0 0 20 0 8 0 391209596 284721152 42893 33554432000 134512640 146736320 4288800384 4096110812 136009744 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6153/tid=6181] ppid=6152 vsize=278048 CPUtime=71.61 cores=1,3,5,7
/proc/6153/task/6181/stat : 6181 (pb_cplex) R 6152 6152 4676 0 -1 4202560 61254 0 0 0 7145 16 0 0 20 0 8 0 391209596 284721152 42893 33554432000 134512640 146736320 4288800384 4085624880 136384857 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6153/tid=6182] ppid=6152 vsize=278048 CPUtime=71.32 cores=1,3,5,7
/proc/6153/task/6182/stat : 6182 (pb_cplex) R 6152 6152 4676 0 -1 4202560 53208 0 0 0 7116 16 0 0 20 0 8 0 391209596 284721152 42893 33554432000 134512640 146736320 4288800384 4075139280 136008042 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6153/tid=6183] ppid=6152 vsize=278048 CPUtime=71.82 cores=1,3,5,7
/proc/6153/task/6183/stat : 6183 (pb_cplex) R 6152 6152 4676 0 -1 4202560 74388 0 0 0 7160 22 0 0 20 0 8 0 391209596 284721152 42893 33554432000 134512640 146736320 4288800384 4064653404 135855165 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6153/tid=6184] ppid=6152 vsize=278048 CPUtime=71.54 cores=1,3,5,7
/proc/6153/task/6184/stat : 6184 (pb_cplex) R 6152 6152 4676 0 -1 4202560 57956 0 0 0 7138 16 0 0 20 0 8 0 391209596 284721152 42893 33554432000 134512640 146736320 4288800384 4054166720 135468700 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=6153/tid=6185] ppid=6152 vsize=278048 CPUtime=72.01 cores=1,3,5,7
/proc/6153/task/6185/stat : 6185 (pb_cplex) R 6152 6152 4676 0 -1 4202560 71473 0 0 0 7186 15 0 0 20 0 8 0 391209596 284721152 42893 33554432000 134512640 146736320 4288800384 4043682000 136008050 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6153/tid=6186] ppid=6152 vsize=278048 CPUtime=71.73 cores=1,3,5,7
/proc/6153/task/6186/stat : 6186 (pb_cplex) R 6152 6152 4676 0 -1 4202560 49784 0 0 0 7160 13 0 0 20 0 8 0 391209596 284721152 42893 33554432000 134512640 146736320 4288800384 4033196252 136009367 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1132.72
Current children cumulated vsize (KiB) 287196

[startup+762.307 s]
/proc/loadavg: 8.77 5.47 3.78 10/186 6190
/proc/meminfo: memFree=30412968/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
[pid=6153] ppid=6152 vsize=281176 CPUtime=1372.32 cores=1,3,5,7
/proc/6153/stat : 6153 (pb_cplex) R 6152 6152 4676 0 -1 4202496 780216 0 0 0 137033 199 0 0 20 0 8 0 391172092 287924224 44888 33554432000 134512640 146736320 4288800384 4288793300 136005435 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6153/statm: 70294 44888 946 2985 0 67228 0
[pid=6153/tid=6180] ppid=6152 vsize=281176 CPUtime=102 cores=1,3,5,7
/proc/6153/task/6180/stat : 6180 (pb_cplex) R 6152 6152 4676 0 -1 4202560 103290 0 0 0 10172 28 0 0 20 0 8 0 391209596 287924224 44888 33554432000 134512640 146736320 4288800384 4096109480 138412943 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6153/tid=6181] ppid=6152 vsize=281176 CPUtime=101.84 cores=1,3,5,7
/proc/6153/task/6181/stat : 6181 (pb_cplex) R 6152 6152 4676 0 -1 4202560 86517 0 0 0 10161 23 0 0 20 0 8 0 391209596 287924224 44888 33554432000 134512640 146736320 4288800384 4085625288 136001712 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6153/tid=6182] ppid=6152 vsize=281176 CPUtime=101.43 cores=1,3,5,7
/proc/6153/task/6182/stat : 6182 (pb_cplex) R 6152 6152 4676 0 -1 4202560 75601 0 0 0 10121 22 0 0 20 0 8 0 391209596 287924224 44888 33554432000 134512640 146736320 4288800384 4075139280 136008047 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6153/tid=6183] ppid=6152 vsize=281176 CPUtime=101.9 cores=1,3,5,7
/proc/6153/task/6183/stat : 6183 (pb_cplex) R 6152 6152 4676 0 -1 4202560 103246 0 0 0 10160 30 0 0 20 0 8 0 391209596 287924224 44888 33554432000 134512640 146736320 4288800384 4064653532 136009363 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6153/tid=6184] ppid=6152 vsize=281176 CPUtime=100.91 cores=1,3,5,7
/proc/6153/task/6184/stat : 6184 (pb_cplex) R 6152 6152 4676 0 -1 4202560 63020 0 0 0 10073 18 0 0 20 0 8 0 391209596 287924224 44888 33554432000 134512640 146736320 4288800384 4054166440 138412937 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=6153/tid=6185] ppid=6152 vsize=281176 CPUtime=101.56 cores=1,3,5,7
/proc/6153/task/6185/stat : 6185 (pb_cplex) R 6152 6152 4676 0 -1 4202560 104041 0 0 0 10129 27 0 0 20 0 8 0 391209596 287924224 44888 33554432000 134512640 146736320 4288800384 4043682000 136008047 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6153/tid=6186] ppid=6152 vsize=281176 CPUtime=101.91 cores=1,3,5,7
/proc/6153/task/6186/stat : 6186 (pb_cplex) R 6152 6152 4676 0 -1 4202560 69091 0 0 0 10173 18 0 0 20 0 8 0 391209596 287924224 44888 33554432000 134512640 146736320 4288800384 4033194920 138412943 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1372.32
Current children cumulated vsize (KiB) 290324

[startup+822.3 s]
/proc/loadavg: 8.91 6.11 4.11 10/186 6190
/proc/meminfo: memFree=30412228/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
[pid=6153] ppid=6152 vsize=283792 CPUtime=1611.86 cores=1,3,5,7
/proc/6153/stat : 6153 (pb_cplex) R 6152 6152 4676 0 -1 4202496 940342 0 0 0 160942 244 0 0 20 0 8 0 391172092 290603008 45519 33554432000 134512640 146736320 4288800384 4288792188 135453309 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6153/statm: 70948 45519 946 2985 0 67882 0
[pid=6153/tid=6180] ppid=6152 vsize=283792 CPUtime=131.79 cores=1,3,5,7
/proc/6153/task/6180/stat : 6180 (pb_cplex) R 6152 6152 4676 0 -1 4202560 128771 0 0 0 13143 36 0 0 20 0 8 0 391209596 290603008 45519 33554432000 134512640 146736320 4288800384 4096109480 138412940 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6153/tid=6181] ppid=6152 vsize=283792 CPUtime=132.02 cores=1,3,5,7
/proc/6153/task/6181/stat : 6181 (pb_cplex) R 6152 6152 4676 0 -1 4202560 113819 0 0 0 13172 30 0 0 20 0 8 0 391209596 290603008 45519 33554432000 134512640 146736320 4288800384 4085623720 138412852 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=6153/tid=6182] ppid=6152 vsize=283792 CPUtime=131.62 cores=1,3,5,7
/proc/6153/task/6182/stat : 6182 (pb_cplex) R 6152 6152 4676 0 -1 4202560 98569 0 0 0 13133 29 0 0 20 0 8 0 391209596 290603008 45519 33554432000 134512640 146736320 4288800384 4075138888 135525551 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6153/tid=6183] ppid=6152 vsize=283792 CPUtime=131.63 cores=1,3,5,7
/proc/6153/task/6183/stat : 6183 (pb_cplex) R 6152 6152 4676 0 -1 4202560 126440 0 0 0 13126 37 0 0 20 0 8 0 391209596 290603008 45519 33554432000 134512640 146736320 4288800384 4064652200 138412943 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6153/tid=6184] ppid=6152 vsize=283792 CPUtime=130.61 cores=1,3,5,7
/proc/6153/task/6184/stat : 6184 (pb_cplex) R 6152 6152 4676 0 -1 4202560 72649 0 0 0 13040 21 0 0 20 0 8 0 391209596 290603008 45519 33554432000 134512640 146736320 4288800384 4054167772 136389135 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6153/tid=6185] ppid=6152 vsize=283792 CPUtime=131.6 cores=1,3,5,7
/proc/6153/task/6185/stat : 6185 (pb_cplex) R 6152 6152 4676 0 -1 4202560 124592 0 0 0 13126 34 0 0 20 0 8 0 391209596 290603008 45519 33554432000 134512640 146736320 4288800384 4043681512 138412674 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6153/tid=6186] ppid=6152 vsize=283792 CPUtime=131.98 cores=1,3,5,7
/proc/6153/task/6186/stat : 6186 (pb_cplex) R 6152 6152 4676 0 -1 4202560 87870 0 0 0 13174 24 0 0 20 0 8 0 391209596 290603008 45519 33554432000 134512640 146736320 4288800384 4033196488 136000767 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1611.86
Current children cumulated vsize (KiB) 292940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+869.5 s]
/proc/loadavg: 8.96 6.51 4.34 10/186 6190
/proc/meminfo: memFree=30411116/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
[pid=6153] ppid=6152 vsize=279196 CPUtime=1800.34 cores=1,3,5,7
/proc/6153/stat : 6153 (pb_cplex) R 6152 6152 4676 0 -1 4202496 1065866 0 0 0 179754 280 0 0 20 0 8 0 391172092 285896704 44433 33554432000 134512640 146736320 4288800384 4288791440 135460333 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6153/statm: 69799 44433 946 2985 0 66733 0
[pid=6153/tid=6180] ppid=6152 vsize=279196 CPUtime=155.51 cores=1,3,5,7
/proc/6153/task/6180/stat : 6180 (pb_cplex) R 6152 6152 4676 0 -1 4202560 145721 0 0 0 15510 41 0 0 20 0 8 0 391209596 285896704 44433 33554432000 134512640 146736320 4288800384 4096110684 135855165 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6153/tid=6181] ppid=6152 vsize=279196 CPUtime=155.34 cores=1,3,5,7
/proc/6153/task/6181/stat : 6181 (pb_cplex) R 6152 6152 4676 0 -1 4202560 136368 0 0 0 15498 36 0 0 20 0 8 0 391209596 285896704 44433 33554432000 134512640 146736320 4288800384 4085625288 136000767 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=6153/tid=6182] ppid=6152 vsize=279196 CPUtime=155.27 cores=1,3,5,7
/proc/6153/task/6182/stat : 6182 (pb_cplex) R 6152 6152 4676 0 -1 4202560 119214 0 0 0 15491 36 0 0 20 0 8 0 391209596 285896704 44433 33554432000 134512640 146736320 4288800384 4075139280 136008017 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6153/tid=6183] ppid=6152 vsize=279196 CPUtime=155.21 cores=1,3,5,7
/proc/6153/task/6183/stat : 6183 (pb_cplex) R 6152 6152 4676 0 -1 4202560 141102 0 0 0 15479 42 0 0 20 0 8 0 391209596 285896704 44433 33554432000 134512640 146736320 4288800384 4064653904 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6153/tid=6184] ppid=6152 vsize=279196 CPUtime=154.44 cores=1,3,5,7
/proc/6153/task/6184/stat : 6184 (pb_cplex) R 6152 6152 4676 0 -1 4202560 78332 0 0 0 15420 24 0 0 20 0 8 0 391209596 285896704 44433 33554432000 134512640 146736320 4288800384 4054167772 136009355 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6153/tid=6185] ppid=6152 vsize=279196 CPUtime=155 cores=1,3,5,7
/proc/6153/task/6185/stat : 6185 (pb_cplex) R 6152 6152 4676 0 -1 4202560 143951 0 0 0 15459 41 0 0 20 0 8 0 391209596 285896704 44433 33554432000 134512640 146736320 4288800384 4043682012 136009723 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6153/tid=6186] ppid=6152 vsize=279196 CPUtime=155.41 cores=1,3,5,7
/proc/6153/task/6186/stat : 6186 (pb_cplex) R 6152 6152 4676 0 -1 4202560 104880 0 0 0 15512 29 0 0 20 0 8 0 391209596 285896704 44433 33554432000 134512640 146736320 4288800384 4033196240 136008017 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 288344

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

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

[startup+869.5 s]
/proc/loadavg: 8.96 6.51 4.34 10/186 6190
/proc/meminfo: memFree=30411116/32873648 swapFree=7124/7124
[pid=6152] ppid=6150 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (run) S 6150 6152 4676 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391172092 9367552 270 33554432000 4194304 5064252 140735993789056 140735993787968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6152/statm: 2287 270 229 213 0 72 0
[pid=6153] ppid=6152 vsize=279196 CPUtime=1800.34 cores=1,3,5,7
/proc/6153/stat : 6153 (pb_cplex) R 6152 6152 4676 0 -1 4202496 1065866 0 0 0 179754 280 0 0 20 0 8 0 391172092 285896704 44433 33554432000 134512640 146736320 4288800384 4288791440 135460333 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6153/statm: 69799 44433 946 2985 0 66733 0
[pid=6153/tid=6180] ppid=6152 vsize=279196 CPUtime=155.51 cores=1,3,5,7
/proc/6153/task/6180/stat : 6180 (pb_cplex) R 6152 6152 4676 0 -1 4202560 145721 0 0 0 15510 41 0 0 20 0 8 0 391209596 285896704 44433 33554432000 134512640 146736320 4288800384 4096110684 135855165 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6153/tid=6181] ppid=6152 vsize=279196 CPUtime=155.34 cores=1,3,5,7
/proc/6153/task/6181/stat : 6181 (pb_cplex) R 6152 6152 4676 0 -1 4202560 136368 0 0 0 15498 36 0 0 20 0 8 0 391209596 285896704 44433 33554432000 134512640 146736320 4288800384 4085625288 136000767 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=6153/tid=6182] ppid=6152 vsize=279196 CPUtime=155.27 cores=1,3,5,7
/proc/6153/task/6182/stat : 6182 (pb_cplex) R 6152 6152 4676 0 -1 4202560 119214 0 0 0 15491 36 0 0 20 0 8 0 391209596 285896704 44433 33554432000 134512640 146736320 4288800384 4075139280 136008017 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6153/tid=6183] ppid=6152 vsize=279196 CPUtime=155.21 cores=1,3,5,7
/proc/6153/task/6183/stat : 6183 (pb_cplex) R 6152 6152 4676 0 -1 4202560 141102 0 0 0 15479 42 0 0 20 0 8 0 391209596 285896704 44433 33554432000 134512640 146736320 4288800384 4064653904 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6153/tid=6184] ppid=6152 vsize=279196 CPUtime=154.44 cores=1,3,5,7
/proc/6153/task/6184/stat : 6184 (pb_cplex) R 6152 6152 4676 0 -1 4202560 78332 0 0 0 15420 24 0 0 20 0 8 0 391209596 285896704 44433 33554432000 134512640 146736320 4288800384 4054167772 136009355 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6153/tid=6185] ppid=6152 vsize=279196 CPUtime=155 cores=1,3,5,7
/proc/6153/task/6185/stat : 6185 (pb_cplex) R 6152 6152 4676 0 -1 4202560 143951 0 0 0 15459 41 0 0 20 0 8 0 391209596 285896704 44433 33554432000 134512640 146736320 4288800384 4043682012 136009723 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6153/tid=6186] ppid=6152 vsize=279196 CPUtime=155.41 cores=1,3,5,7
/proc/6153/task/6186/stat : 6186 (pb_cplex) R 6152 6152 4676 0 -1 4202560 104880 0 0 0 15512 29 0 0 20 0 8 0 391209596 285896704 44433 33554432000 134512640 146736320 4288800384 4033196240 136008017 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 288344

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 869.517
CPU time (s): 1800.34
CPU user time (s): 1797.54
CPU system time (s): 2.8
CPU usage (%): 207.051
Max. virtual memory (cumulated for all children) (KiB): 292940

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

runsolver used 2.10168 second user time and 5.32519 second system time

The end

Launcher Data 

Begin job on node114 at 2012-06-09 16:00:47
IDJOB=3741504
IDBENCH=89869
IDSOLVER=2325
FILE ID=node114/3741504-1339250447
RUNJOBID= node114-1339246833-4693
PBS_JOBID= 14644367
Free space on /tmp= 70680 MiB

SOLVER NAME= PB10: pb_cplex 2010-06-29
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-f2000.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741504-1339250447/watcher-3741504-1339250447 -o /tmp/evaluation-result-3741504-1339250447/solver-3741504-1339250447 -C 1800 -W 1900 -M 15500  run HOME/instance-3741504-1339250447.opb

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

MD5SUM BENCH= acba870ceff62e653e0b2927ff2b81fb
RANDOM SEED=1862429297

node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.242
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.242
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.242
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5451.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.242
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.242
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.242
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.242
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.242
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30588896 kB
Buffers:          561996 kB
Cached:           505024 kB
SwapCached:         2452 kB
Active:           918484 kB
Inactive:         404484 kB
Active(anon):     253448 kB
Inactive(anon):     4632 kB
Active(file):     665036 kB
Inactive(file):   399852 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67099616 kB
Dirty:             17048 kB
Writeback:             0 kB
AnonPages:        261144 kB
Mapped:            12496 kB
Shmem:                 0 kB
Slab:             822628 kB
SReclaimable:     266640 kB
SUnreclaim:       555988 kB
KernelStack:        1456 kB
PageTables:         4660 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     502680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3741504-1339250447.opb

Free space on /tmp at the end= 70664 MiB
End job on node114 at 2012-06-09 16:15:17