Trace number 3741394

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.08 1503.02

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-ns1696083.opb
MD5SUM8188d71a03844e125aafcd8487c80120
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark45
Best CPU time to get the best result obtained on this benchmark226.602
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7982
Total number of constraints11063
Number of constraints which are clauses2420
Number of constraints which are cardinality constraints (but not clauses)1207
Number of constraints which are nor clauses,nor cardinality constraints7436
Minimum length of a constraint1
Maximum length of a constraint662
Number of terms in the objective function 55
Biggest coefficient in the objective function 55
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 1540
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2000
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 22480
Number of bits of the biggest sum of numbers15
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-3741394-1339250277.opb.
0.00/0.00	c Instance file HOME/instance-3741394-1339250277.opb
0.00/0.00	c File size is 3591598 bytes.
14.79/14.80	c Highest Coefficient sum: 22480
14.79/14.80	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
14.79/14.82	c ============================[ Problem Statistics ]=============================
14.79/14.82	c |                                                                             |
14.79/14.82	c |  Parsing time:          14.81        s                                      |
14.79/14.82	c |  Number Variables:      7982                                                |
14.79/14.84	c |  Number Constraints:    11063                                               |
14.79/14.84	c ===============================================================================
1800.08/1503.01	c Remaining time 1785.18 sec.
1800.08/1503.01	c 
1800.08/1503.01	c *** INTERRUPTED ***
1800.08/1503.01	s UNKNOWN
1800.08/1503.01	c Total CPU time              : 1798.89 s
1800.08/1503.01	c Memory used           : 367.20 MB
1800.08/1503.01	c CPU time              : 1798.89 s
1800.08/1503.01	c 
1800.08/1503.01	c *** INTERRUPTED ***

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

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: 8.95 6.76 5.59 3/177 4794
/proc/meminfo: memFree=28945656/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0

[startup+0.074617 s]
/proc/loadavg: 8.95 6.76 5.59 3/177 4794
/proc/meminfo: memFree=28945656/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100296 s]
/proc/loadavg: 8.95 6.76 5.59 3/177 4794
/proc/meminfo: memFree=28945656/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30024 s]
/proc/loadavg: 8.95 6.76 5.59 3/177 4794
/proc/meminfo: memFree=28945656/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700235 s]
/proc/loadavg: 8.95 6.76 5.59 3/177 4794
/proc/meminfo: memFree=28945656/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 8.39 6.68 5.57 3/179 4796
/proc/meminfo: memFree=28942308/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=19860 CPUtime=1.49 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 1459 0 0 0 149 0 0 0 20 0 1 0 391156197 20336640 1415 33554432000 134512640 146736320 4286573520 4286571356 140526528 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4795/statm: 4965 1415 457 2985 0 1022 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29008

[startup+3.10027 s]
/proc/loadavg: 8.39 6.68 5.57 3/179 4796
/proc/meminfo: memFree=28941440/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=20520 CPUtime=3.09 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 1710 0 0 0 309 0 0 0 20 0 1 0 391156197 21012480 1666 33554432000 134512640 146736320 4286573520 4286571504 140683260 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4795/statm: 5130 1666 544 2985 0 1187 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29668

[startup+6.30027 s]
/proc/loadavg: 7.88 6.60 5.55 3/179 4796
/proc/meminfo: memFree=28939456/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=21840 CPUtime=6.29 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 2207 0 0 0 629 0 0 0 20 0 1 0 391156197 22364160 2163 33554432000 134512640 146736320 4286573520 4286571408 141028076 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4795/statm: 5460 2163 718 2985 0 1517 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30988

[startup+12.7003 s]
/proc/loadavg: 7.41 6.52 5.53 3/179 4796
/proc/meminfo: memFree=28936372/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=24216 CPUtime=12.69 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 3153 0 0 0 1269 0 0 0 20 0 1 0 391156197 24797184 3109 33554432000 134512640 146736320 4286573520 4286571472 140681231 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4795/statm: 6054 3109 1049 2985 0 2111 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33364

[startup+25.5003 s]
/proc/loadavg: 6.28 6.32 5.47 3/179 4796
/proc/meminfo: memFree=28899116/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=69464 CPUtime=25.49 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 27856 0 0 0 2543 6 0 0 20 0 1 0 391156197 71131136 12342 33554432000 134512640 146736320 4286573520 4286567544 136475778 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4795/statm: 17366 12342 851 2985 0 14300 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 78612

[startup+51.1003 s]
/proc/loadavg: 4.82 5.97 5.38 3/179 4796
/proc/meminfo: memFree=28876732/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=91144 CPUtime=51.08 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 43276 0 0 0 5098 10 0 0 20 0 1 0 391156197 93331456 17227 33554432000 134512640 146736320 4286573520 4286567360 136018919 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4795/statm: 22786 17227 886 2985 0 19720 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 100292

[startup+102.307 s]
/proc/loadavg: 3.22 5.35 5.20 3/179 4796
/proc/meminfo: memFree=28896944/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=69736 CPUtime=102.27 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 52670 0 0 0 10214 13 0 0 20 0 1 0 391156197 71409664 12823 33554432000 134512640 146736320 4286573520 4286567544 136475763 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4795/statm: 17434 12823 908 2985 0 14368 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 78884

[startup+162.3 s]
/proc/loadavg: 2.45 4.74 5.00 3/180 4799
/proc/meminfo: memFree=28884316/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=71980 CPUtime=162.25 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 61008 0 0 0 16211 14 0 0 20 0 1 0 391156197 73707520 13490 33554432000 134512640 146736320 4286573520 4286567580 135855167 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4795/statm: 17995 13490 908 2985 0 14929 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 81128

[startup+222.3 s]
/proc/loadavg: 2.16 4.24 4.81 3/180 4823
/proc/meminfo: memFree=28864936/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=72360 CPUtime=222.23 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 72247 0 0 0 22207 16 0 0 20 0 1 0 391156197 74096640 13631 33554432000 134512640 146736320 4286573520 4286567560 139043581 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4795/statm: 18090 13631 908 2985 0 15024 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 81508

[startup+282.3 s]
/proc/loadavg: 2.10 3.84 4.63 3/179 4823
/proc/meminfo: memFree=28861948/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=72328 CPUtime=282.22 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 80977 0 0 0 28203 19 0 0 20 0 1 0 391156197 74063872 13637 33554432000 134512640 146736320 4286573520 4286567800 136015579 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4795/statm: 18082 13637 908 2985 0 15016 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 81476

[startup+342.3 s]
/proc/loadavg: 2.07 3.52 4.47 3/179 4823
/proc/meminfo: memFree=28862072/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=72768 CPUtime=342.2 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 89014 0 0 0 34199 21 0 0 20 0 1 0 391156197 74514432 13709 33554432000 134512640 146736320 4286573520 4286569528 137317007 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4795/statm: 18192 13709 911 2985 0 15126 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 81916

[startup+402.3 s]
/proc/loadavg: 2.02 3.24 4.31 3/179 4823
/proc/meminfo: memFree=28858600/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/4795/statm: 76291 52965 963 2985 0 73225 0
[pid=4795/tid=4829] ppid=4794 vsize=305164 CPUtime=1.19 cores=0,2,4,6
/proc/4795/task/4829/stat : 4829 (pb_cplex) S 4794 4794 3259 0 -1 4202560 2014 0 0 0 119 0 0 0 20 0 8 0 391246238 312487936 52965 33554432000 134512640 146736320 4286573520 4023529104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4830] ppid=4794 vsize=305164 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4830/stat : 4830 (pb_cplex) S 4794 4794 3259 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 8 0 391246238 312487936 52965 33554432000 134512640 146736320 4286573520 4013043344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4795/tid=4831] ppid=4794 vsize=305164 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4831/stat : 4831 (pb_cplex) S 4794 4794 3259 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 8 0 391246238 312487936 52965 33554432000 134512640 146736320 4286573520 4002557584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4795/tid=4832] ppid=4794 vsize=305164 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4832/stat : 4832 (pb_cplex) S 4794 4794 3259 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 8 0 391246238 312487936 52965 33554432000 134512640 146736320 4286573520 3992071824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4795/tid=4833] ppid=4794 vsize=305164 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4833/stat : 4833 (pb_cplex) S 4794 4794 3259 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 8 0 391246238 312487936 52965 33554432000 134512640 146736320 4286573520 3981586064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4834] ppid=4794 vsize=305164 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4834/stat : 4834 (pb_cplex) S 4794 4794 3259 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 8 0 391246238 312487936 52965 33554432000 134512640 146736320 4286573520 3971100304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4795/tid=4835] ppid=4794 vsize=305164 CPUtime=6.33 cores=0,2,4,6
/proc/4795/task/4835/stat : 4835 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3008 0 0 0 633 0 0 0 20 0 8 0 391246238 312487936 52965 33554432000 134512640 146736320 4286573520 3960614544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1249.62
Current children cumulated vsize (KiB) 314312

[startup+1302.3 s]
/proc/loadavg: 2.02 2.07 2.86 3/186 4836
/proc/meminfo: memFree=28697060/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=305240 CPUtime=1309.61 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 363097 0 0 0 130877 84 0 0 20 0 8 0 391156197 312565760 52988 33554432000 134512640 146736320 4286573520 4286566352 136008178 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4795/statm: 76310 52988 963 2985 0 73244 0
[pid=4795/tid=4829] ppid=4794 vsize=305240 CPUtime=1.19 cores=0,2,4,6
/proc/4795/task/4829/stat : 4829 (pb_cplex) S 4794 4794 3259 0 -1 4202560 2014 0 0 0 119 0 0 0 20 0 8 0 391246238 312565760 52988 33554432000 134512640 146736320 4286573520 4023529104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4830] ppid=4794 vsize=305240 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4830/stat : 4830 (pb_cplex) S 4794 4794 3259 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 8 0 391246238 312565760 52988 33554432000 134512640 146736320 4286573520 4013043344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4795/tid=4831] ppid=4794 vsize=305240 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4831/stat : 4831 (pb_cplex) S 4794 4794 3259 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 8 0 391246238 312565760 52988 33554432000 134512640 146736320 4286573520 4002557584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4795/tid=4832] ppid=4794 vsize=305240 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4832/stat : 4832 (pb_cplex) S 4794 4794 3259 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 8 0 391246238 312565760 52988 33554432000 134512640 146736320 4286573520 3992071824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4795/tid=4833] ppid=4794 vsize=305240 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4833/stat : 4833 (pb_cplex) S 4794 4794 3259 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 8 0 391246238 312565760 52988 33554432000 134512640 146736320 4286573520 3981586064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4834] ppid=4794 vsize=305240 CPUtime=0 cores=0,2,4,6
/proc/4795/task/4834/stat : 4834 (pb_cplex) S 4794 4794 3259 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 8 0 391246238 312565760 52988 33554432000 134512640 146736320 4286573520 3971100304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4795/tid=4835] ppid=4794 vsize=305240 CPUtime=6.33 cores=0,2,4,6
/proc/4795/task/4835/stat : 4835 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3008 0 0 0 633 0 0 0 20 0 8 0 391246238 312565760 52988 33554432000 134512640 146736320 4286573520 3960614544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1309.61
Current children cumulated vsize (KiB) 314388

[startup+1362.3 s]
/proc/loadavg: 3.85 2.61 3.00 5/187 4888
/proc/meminfo: memFree=29176284/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=374136 CPUtime=1518.72 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 401100 0 0 0 151770 102 0 0 20 0 8 0 391156197 383115264 67565 33554432000 134512640 146736320 4286573520 4286566212 136385184 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4795/statm: 93534 67565 963 2985 0 90468 0
[pid=4795/tid=4829] ppid=4794 vsize=374136 CPUtime=1.2 cores=0,2,4,6
/proc/4795/task/4829/stat : 4829 (pb_cplex) S 4794 4794 3259 0 -1 4202560 2014 0 0 0 120 0 0 0 20 0 8 0 391246238 383115264 67565 33554432000 134512640 146736320 4286573520 4023529104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4830] ppid=4794 vsize=374136 CPUtime=7.6 cores=0,2,4,6
/proc/4795/task/4830/stat : 4830 (pb_cplex) S 4794 4794 3259 0 -1 4202560 1718 0 0 0 760 0 0 0 20 0 8 0 391246238 383115264 67565 33554432000 134512640 146736320 4286573520 4013043344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4831] ppid=4794 vsize=374136 CPUtime=8.41 cores=0,2,4,6
/proc/4795/task/4831/stat : 4831 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3123 0 0 0 840 1 0 0 20 0 8 0 391246238 383115264 67565 33554432000 134512640 146736320 4286573520 4002557584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4832] ppid=4794 vsize=374136 CPUtime=46.88 cores=0,2,4,6
/proc/4795/task/4832/stat : 4832 (pb_cplex) S 4794 4794 3259 0 -1 4202560 13514 0 0 0 4682 6 0 0 20 0 8 0 391246238 383115264 67565 33554432000 134512640 146736320 4286573520 3992071824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4795/tid=4833] ppid=4794 vsize=374136 CPUtime=34.21 cores=0,2,4,6
/proc/4795/task/4833/stat : 4833 (pb_cplex) S 4794 4794 3259 0 -1 4202560 10019 0 0 0 3417 4 0 0 20 0 8 0 391246238 383115264 67565 33554432000 134512640 146736320 4286573520 3981586064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4795/tid=4834] ppid=4794 vsize=374136 CPUtime=48.2 cores=0,2,4,6
/proc/4795/task/4834/stat : 4834 (pb_cplex) R 4794 4794 3259 0 -1 4202560 7270 0 0 0 4817 3 0 0 20 0 8 0 391246238 383115264 67565 33554432000 134512640 146736320 4286573520 3971096668 135855170 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4795/tid=4835] ppid=4794 vsize=374136 CPUtime=17.14 cores=0,2,4,6
/proc/4795/task/4835/stat : 4835 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3282 0 0 0 1713 1 0 0 20 0 8 0 391246238 383115264 67565 33554432000 134512640 146736320 4286573520 3960614544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1518.72
Current children cumulated vsize (KiB) 383284

[startup+1422.31 s]
/proc/loadavg: 3.31 2.68 3.00 4/192 4895
/proc/meminfo: memFree=29005448/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=375804 CPUtime=1638.71 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 404591 0 0 0 163762 109 0 0 20 0 8 0 391156197 384823296 70076 33554432000 134512640 146736320 4286573520 4286566184 139044509 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4795/statm: 93951 70076 984 2985 0 90885 0
[pid=4795/tid=4829] ppid=4794 vsize=375804 CPUtime=1.2 cores=0,2,4,6
/proc/4795/task/4829/stat : 4829 (pb_cplex) S 4794 4794 3259 0 -1 4202560 2014 0 0 0 120 0 0 0 20 0 8 0 391246238 384823296 70076 33554432000 134512640 146736320 4286573520 4023529104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4830] ppid=4794 vsize=375804 CPUtime=7.6 cores=0,2,4,6
/proc/4795/task/4830/stat : 4830 (pb_cplex) S 4794 4794 3259 0 -1 4202560 1718 0 0 0 760 0 0 0 20 0 8 0 391246238 384823296 70076 33554432000 134512640 146736320 4286573520 4013043344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4831] ppid=4794 vsize=375804 CPUtime=8.41 cores=0,2,4,6
/proc/4795/task/4831/stat : 4831 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3123 0 0 0 840 1 0 0 20 0 8 0 391246238 384823296 70076 33554432000 134512640 146736320 4286573520 4002557584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4832] ppid=4794 vsize=375804 CPUtime=46.88 cores=0,2,4,6
/proc/4795/task/4832/stat : 4832 (pb_cplex) S 4794 4794 3259 0 -1 4202560 13514 0 0 0 4682 6 0 0 20 0 8 0 391246238 384823296 70076 33554432000 134512640 146736320 4286573520 3992071824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4795/tid=4833] ppid=4794 vsize=375804 CPUtime=34.21 cores=0,2,4,6
/proc/4795/task/4833/stat : 4833 (pb_cplex) S 4794 4794 3259 0 -1 4202560 10019 0 0 0 3417 4 0 0 20 0 8 0 391246238 384823296 70076 33554432000 134512640 146736320 4286573520 3981586064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4795/tid=4834] ppid=4794 vsize=375804 CPUtime=108.05 cores=0,2,4,6
/proc/4795/task/4834/stat : 4834 (pb_cplex) R 4794 4794 3259 0 -1 4202560 7521 0 0 0 10801 4 0 0 20 0 8 0 391246238 384823296 70076 33554432000 134512640 146736320 4286573520 3971096644 136385184 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4795/tid=4835] ppid=4794 vsize=375804 CPUtime=17.14 cores=0,2,4,6
/proc/4795/task/4835/stat : 4835 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3282 0 0 0 1713 1 0 0 20 0 8 0 391246238 384823296 70076 33554432000 134512640 146736320 4286573520 3960614544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1638.71
Current children cumulated vsize (KiB) 384952

[startup+1482.3 s]
/proc/loadavg: 3.11 2.73 3.00 4/193 4896
/proc/meminfo: memFree=29000912/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=376012 CPUtime=1758.68 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 405142 0 0 0 175753 115 0 0 20 0 8 0 391156197 385036288 70445 33554432000 134512640 146736320 4286573520 4286566600 136000404 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4795/statm: 94003 70445 984 2985 0 90937 0
[pid=4795/tid=4829] ppid=4794 vsize=376012 CPUtime=1.2 cores=0,2,4,6
/proc/4795/task/4829/stat : 4829 (pb_cplex) S 4794 4794 3259 0 -1 4202560 2014 0 0 0 120 0 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 4023529104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4830] ppid=4794 vsize=376012 CPUtime=7.6 cores=0,2,4,6
/proc/4795/task/4830/stat : 4830 (pb_cplex) S 4794 4794 3259 0 -1 4202560 1718 0 0 0 760 0 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 4013043344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4831] ppid=4794 vsize=376012 CPUtime=8.41 cores=0,2,4,6
/proc/4795/task/4831/stat : 4831 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3123 0 0 0 840 1 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 4002557584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4832] ppid=4794 vsize=376012 CPUtime=46.88 cores=0,2,4,6
/proc/4795/task/4832/stat : 4832 (pb_cplex) S 4794 4794 3259 0 -1 4202560 13514 0 0 0 4682 6 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 3992071824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4795/tid=4833] ppid=4794 vsize=376012 CPUtime=34.21 cores=0,2,4,6
/proc/4795/task/4833/stat : 4833 (pb_cplex) S 4794 4794 3259 0 -1 4202560 10019 0 0 0 3417 4 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 3981586064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4795/tid=4834] ppid=4794 vsize=376012 CPUtime=167.89 cores=0,2,4,6
/proc/4795/task/4834/stat : 4834 (pb_cplex) R 4794 4794 3259 0 -1 4202560 8070 0 0 0 16783 6 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 3971095544 136475800 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4795/tid=4835] ppid=4794 vsize=376012 CPUtime=17.14 cores=0,2,4,6
/proc/4795/task/4835/stat : 4835 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3282 0 0 0 1713 1 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 3960614544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1758.68
Current children cumulated vsize (KiB) 385160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1503 s]
/proc/loadavg: 3.64 2.87 3.04 11/193 4896
/proc/meminfo: memFree=28837728/32873844 swapFree=7384/7384
[pid=4794] ppid=4792 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4794/stat : 4794 (run) S 4792 4794 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391156197 9367552 269 33554432000 4194304 5064252 140733626924480 140733626923392 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4794/statm: 2287 269 229 213 0 72 0
[pid=4795] ppid=4794 vsize=376012 CPUtime=1800.08 cores=0,2,4,6
/proc/4795/stat : 4795 (pb_cplex) R 4794 4794 3259 0 -1 4202496 405295 0 0 0 179887 121 0 0 20 0 8 0 391156197 385036288 70445 33554432000 134512640 146736320 4286573520 4286566352 136008160 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4795/statm: 94003 70445 984 2985 0 90937 0
[pid=4795/tid=4829] ppid=4794 vsize=376012 CPUtime=1.2 cores=0,2,4,6
/proc/4795/task/4829/stat : 4829 (pb_cplex) S 4794 4794 3259 0 -1 4202560 2014 0 0 0 120 0 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 4023529104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4830] ppid=4794 vsize=376012 CPUtime=7.6 cores=0,2,4,6
/proc/4795/task/4830/stat : 4830 (pb_cplex) S 4794 4794 3259 0 -1 4202560 1718 0 0 0 760 0 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 4013043344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4831] ppid=4794 vsize=376012 CPUtime=8.41 cores=0,2,4,6
/proc/4795/task/4831/stat : 4831 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3123 0 0 0 840 1 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 4002557584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4795/tid=4832] ppid=4794 vsize=376012 CPUtime=46.88 cores=0,2,4,6
/proc/4795/task/4832/stat : 4832 (pb_cplex) S 4794 4794 3259 0 -1 4202560 13514 0 0 0 4682 6 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 3992071824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4795/tid=4833] ppid=4794 vsize=376012 CPUtime=34.21 cores=0,2,4,6
/proc/4795/task/4833/stat : 4833 (pb_cplex) S 4794 4794 3259 0 -1 4202560 10019 0 0 0 3417 4 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 3981586064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4795/tid=4834] ppid=4794 vsize=376012 CPUtime=188.54 cores=0,2,4,6
/proc/4795/task/4834/stat : 4834 (pb_cplex) R 4794 4794 3259 0 -1 4202560 8223 0 0 0 18847 7 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 3971095696 136008306 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4795/tid=4835] ppid=4794 vsize=376012 CPUtime=17.14 cores=0,2,4,6
/proc/4795/task/4835/stat : 4835 (pb_cplex) S 4794 4794 3259 0 -1 4202560 3282 0 0 0 1713 1 0 0 20 0 8 0 391246238 385036288 70445 33554432000 134512640 146736320 4286573520 3960614544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 385160

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 4794 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1503.02
CPU time (s): 1800.08
CPU user time (s): 1798.87
CPU system time (s): 1.21
CPU usage (%): 119.764
Max. virtual memory (cumulated for all children) (KiB): 385160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354
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 3.21151 second user time and 9.14361 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-09 15:57:57
IDJOB=3741394
IDBENCH=89852
IDSOLVER=2325
FILE ID=node106/3741394-1339250277
RUNJOBID= node106-1339246834-3276
PBS_JOBID= 14644375
Free space on /tmp= 71000 MiB

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

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

MD5SUM BENCH= 8188d71a03844e125aafcd8487c80120
RANDOM SEED=1233433892

node106.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		: 2667.065
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	: 5334.13
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		: 2667.065
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		: 2667.065
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	: 5331.91
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		: 2667.065
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.92
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		: 2667.065
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		: 2667.065
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		: 2667.065
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		: 2667.065
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:       32873844 kB
MemFree:        28946432 kB
Buffers:          483076 kB
Cached:          1931692 kB
SwapCached:         2376 kB
Active:          1204680 kB
Inactive:        1773812 kB
Active(anon):     559216 kB
Inactive(anon):     5560 kB
Active(file):     645464 kB
Inactive(file):  1768252 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67100756 kB
Dirty:             20216 kB
Writeback:             0 kB
AnonPages:        567196 kB
Mapped:            12288 kB
Shmem:                 0 kB
Slab:             806660 kB
SReclaimable:     248388 kB
SUnreclaim:       558272 kB
KernelStack:        1472 kB
PageTables:         5072 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1002036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    446464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3741394-1339250277.opb

Free space on /tmp at the end= 71008 MiB
End job on node106 at 2012-06-09 16:23:02