Trace number 3733105

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.36 1494.02

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
MD5SUM98c81efbf429745622d6705fab70d2ee
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints109601
Number of constraints which are clauses109601
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1400
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 1400
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1400
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-3733105-1339247388.opb.
0.00/0.00	c Instance file HOME/instance-3733105-1339247388.opb
0.00/0.00	c File size is 2693045 bytes.
0.00/0.47	c Highest Coefficient sum: 3
0.00/0.47	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
0.00/0.53	c ============================[ Problem Statistics ]=============================
0.00/0.53	c |                                                                             |
0.00/0.53	c |  Parsing time:          0.51         s                                      |
0.00/0.53	c |  Number Variables:      1400                                                |
0.00/0.54	c |  Number Constraints:    109601                                              |
0.00/0.54	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-3733105-1339247388/watcher-3733105-1339247388 -o /tmp/evaluation-result-3733105-1339247388/solver-3733105-1339247388 -C 1800 -W 1900 -M 15500 run HOME/instance-3733105-1339247388.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: 11.91 9.46 4.87 10/184 26427
/proc/meminfo: memFree=28775824/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0

[startup+0.049828 s]
/proc/loadavg: 11.91 9.46 4.87 10/184 26427
/proc/meminfo: memFree=28775824/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100263 s]
/proc/loadavg: 11.91 9.46 4.87 10/184 26427
/proc/meminfo: memFree=28775824/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300212 s]
/proc/loadavg: 11.91 9.46 4.87 10/184 26427
/proc/meminfo: memFree=28775824/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70027 s]
/proc/loadavg: 11.91 9.46 4.87 10/184 26427
/proc/meminfo: memFree=28775824/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 11.60 9.44 4.89 4/186 26429
/proc/meminfo: memFree=28723820/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
[pid=26428] ppid=26427 vsize=60824 CPUtime=1.48 cores=1,3,5,7
/proc/26428/stat : 26428 (pb_cplex) R 26427 26427 26012 0 -1 4202496 18970 0 0 0 146 2 0 0 20 0 1 0 390863649 62283776 12328 33554432000 134512640 146736320 4289517168 4289515344 138729934 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26428/statm: 15206 12328 656 2985 0 12140 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 69972

[startup+3.10025 s]
/proc/loadavg: 11.60 9.44 4.89 5/186 26429
/proc/meminfo: memFree=28709868/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
[pid=26428] ppid=26427 vsize=133176 CPUtime=3.09 cores=1,3,5,7
/proc/26428/stat : 26428 (pb_cplex) R 26427 26427 26012 0 -1 4202496 31120 0 0 0 304 5 0 0 20 0 1 0 390863649 136372224 17173 33554432000 134512640 146736320 4289517168 4289511552 135658705 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26428/statm: 33294 17173 783 2985 0 30228 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 142324

[startup+6.30027 s]
/proc/loadavg: 10.83 9.31 4.88 10/186 26429
/proc/meminfo: memFree=28697164/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
[pid=26428] ppid=26427 vsize=139932 CPUtime=6.28 cores=1,3,5,7
/proc/26428/stat : 26428 (pb_cplex) R 26427 26427 26012 0 -1 4202496 32010 0 0 0 623 5 0 0 20 0 1 0 390863649 143290368 18574 33554432000 134512640 146736320 4289517168 4289511800 138657494 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26428/statm: 34983 18574 790 2985 0 31917 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 149080

[startup+12.7003 s]
/proc/loadavg: 10.52 9.28 4.89 3/186 26429
/proc/meminfo: memFree=28686036/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
[pid=26428] ppid=26427 vsize=141200 CPUtime=12.68 cores=1,3,5,7
/proc/26428/stat : 26428 (pb_cplex) R 26427 26427 26012 0 -1 4202496 32406 0 0 0 1263 5 0 0 20 0 1 0 390863649 144588800 18842 33554432000 134512640 146736320 4289517168 4289511736 138768495 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26428/statm: 35300 18842 793 2985 0 32234 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 150348

[startup+25.5003 s]
/proc/loadavg: 9.40 9.08 4.89 9/187 26432
/proc/meminfo: memFree=28673148/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
[pid=26428] ppid=26427 vsize=141200 CPUtime=25.48 cores=1,3,5,7
/proc/26428/stat : 26428 (pb_cplex) R 26427 26427 26012 0 -1 4202496 32413 0 0 0 2543 5 0 0 20 0 1 0 390863649 144588800 18849 33554432000 134512640 146736320 4289517168 4289511736 138768267 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26428/statm: 35300 18849 793 2985 0 32234 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 150348

[startup+51.1004 s]
/proc/loadavg: 8.57 8.93 4.95 10/187 26433
/proc/meminfo: memFree=28617884/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
[pid=26428] ppid=26427 vsize=182380 CPUtime=51.08 cores=1,3,5,7
/proc/26428/stat : 26428 (pb_cplex) R 26427 26427 26012 0 -1 4202496 39981 0 0 0 5101 7 0 0 20 0 1 0 390863649 186757120 24969 33554432000 134512640 146736320 4289517168 4289510672 136403109 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26428/statm: 45595 24969 855 2985 0 42529 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 191528

[startup+102.307 s]
/proc/loadavg: 6.99 8.49 5.01 3/186 26433
/proc/meminfo: memFree=28518312/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
[pid=26428] ppid=26427 vsize=224924 CPUtime=102.28 cores=1,3,5,7
/proc/26428/stat : 26428 (pb_cplex) R 26427 26427 26012 0 -1 4202496 49546 0 0 0 10219 9 0 0 20 0 1 0 390863649 230322176 33472 33554432000 134512640 146736320 4289517168 4289512976 137698804 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26428/statm: 56231 33472 880 2985 0 53165 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 234072

[startup+162.3 s]
/proc/loadavg: 5.12 7.60 4.92 9/186 26490
/proc/meminfo: memFree=29178484/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
[pid=26428] ppid=26427 vsize=191780 CPUtime=162.26 cores=1,3,5,7
/proc/26428/stat : 26428 (pb_cplex) R 26427 26427 26012 0 -1 4202496 88765 0 0 0 16207 19 0 0 20 0 1 0 390863649 196382720 29725 33554432000 134512640 146736320 4289517168 4289511760 136403112 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26428/statm: 47945 29725 909 2985 0 44879 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 200928

[startup+222.3 s]
/proc/loadavg: 6.69 7.53 5.06 10/186 26490
/proc/meminfo: memFree=28912136/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
[pid=26428] ppid=26427 vsize=192620 CPUtime=222.25 cores=1,3,5,7
/proc/26428/stat : 26428 (pb_cplex) R 26427 26427 26012 0 -1 4202496 115033 0 0 0 22199 26 0 0 20 0 1 0 390863649 197242880 31025 33554432000 134512640 146736320 4289517168 4289511560 136388095 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26428/statm: 48155 31025 909 2985 0 45089 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 201768

[startup+282.3 s]
/proc/loadavg: 8.15 7.80 5.30 9/186 26490
/proc/meminfo: memFree=28879740/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
[pid=26428] ppid=26427 vsize=192888 CPUtime=282.24 cores=1,3,5,7
/proc/26428/stat : 26428 (pb_cplex) R 26427 26427 26012 0 -1 4202496 138370 0 0 0 28192 32 0 0 20 0 1 0 390863649 197517312 31088 33554432000 134512640 146736320 4289517168 4289511372 136017468 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26428/statm: 48222 31088 909 2985 0 45156 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 202036

[startup+342.3 s]
/proc/loadavg: 6.32 7.40 5.33 3/185 26490
/proc/meminfo: memFree=28855124/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
[pid=26428] ppid=26427 vsize=193080 CPUtime=342.23 cores=1,3,5,7
/proc/26428/stat : 26428 (pb_cplex) R 26427 26427 26012 0 -1 4202496 163426 0 0 0 34185 38 0 0 20 0 1 0 390863649 197713920 31162 33554432000 134512640 146736320 4289517168 4289511240 139043568 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/26428/statm: 48270 31162 909 2985 0 45204 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 202228

[startup+402.3 s]
/proc/loadavg: 7.55 7.50 5.48 10/186 26491
/proc/meminfo: memFree=28873812/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/26428/statm: 113696 76805 967 2985 0 110630 0
[pid=26428/tid=26596] ppid=26427 vsize=454784 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26596/stat : 26596 (pb_cplex) S 26427 26427 26012 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390961209 465698816 76805 33554432000 134512640 146736320 4289517168 4011458192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26428/tid=26597] ppid=26427 vsize=454784 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26597/stat : 26597 (pb_cplex) S 26427 26427 26012 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390961209 465698816 76805 33554432000 134512640 146736320 4289517168 4021943952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26428/tid=26598] ppid=26427 vsize=454784 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26598/stat : 26598 (pb_cplex) S 26427 26427 26012 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390961209 465698816 76805 33554432000 134512640 146736320 4289517168 4037807760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26428/tid=26599] ppid=26427 vsize=454784 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26599/stat : 26599 (pb_cplex) S 26427 26427 26012 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390961209 465698816 76805 33554432000 134512640 146736320 4289517168 4000972432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26428/tid=26600] ppid=26427 vsize=454784 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26600/stat : 26600 (pb_cplex) S 26427 26427 26012 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390961209 465698816 76805 33554432000 134512640 146736320 4289517168 3915406992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26428/tid=26601] ppid=26427 vsize=454784 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26601/stat : 26601 (pb_cplex) S 26427 26427 26012 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390961209 465698816 76805 33554432000 134512640 146736320 4289517168 3904921232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26428/tid=26602] ppid=26427 vsize=454784 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26602/stat : 26602 (pb_cplex) S 26427 26427 26012 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390961209 465698816 76805 33554432000 134512640 146736320 4289517168 3894435472 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1255.29
Current children cumulated vsize (KiB) 463932

[startup+1302.3 s]
/proc/loadavg: 4.21 6.21 5.97 3/186 26658
/proc/meminfo: memFree=29284460/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
[pid=26428] ppid=26427 vsize=454808 CPUtime=1315.29 cores=1,3,5,7
/proc/26428/stat : 26428 (pb_cplex) R 26427 26427 26012 0 -1 4202496 755534 0 0 0 131270 259 0 0 20 0 8 0 390863649 465723392 76906 33554432000 134512640 146736320 4289517168 4289509976 136007065 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26428/statm: 113702 76906 967 2985 0 110636 0
[pid=26428/tid=26596] ppid=26427 vsize=454808 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26596/stat : 26596 (pb_cplex) S 26427 26427 26012 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390961209 465723392 76906 33554432000 134512640 146736320 4289517168 4011458192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26428/tid=26597] ppid=26427 vsize=454808 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26597/stat : 26597 (pb_cplex) S 26427 26427 26012 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390961209 465723392 76906 33554432000 134512640 146736320 4289517168 4021943952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26428/tid=26598] ppid=26427 vsize=454808 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26598/stat : 26598 (pb_cplex) S 26427 26427 26012 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390961209 465723392 76906 33554432000 134512640 146736320 4289517168 4037807760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26428/tid=26599] ppid=26427 vsize=454808 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26599/stat : 26599 (pb_cplex) S 26427 26427 26012 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390961209 465723392 76906 33554432000 134512640 146736320 4289517168 4000972432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26428/tid=26600] ppid=26427 vsize=454808 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26600/stat : 26600 (pb_cplex) S 26427 26427 26012 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390961209 465723392 76906 33554432000 134512640 146736320 4289517168 3915406992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26428/tid=26601] ppid=26427 vsize=454808 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26601/stat : 26601 (pb_cplex) S 26427 26427 26012 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390961209 465723392 76906 33554432000 134512640 146736320 4289517168 3904921232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26428/tid=26602] ppid=26427 vsize=454808 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26602/stat : 26602 (pb_cplex) S 26427 26427 26012 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390961209 465723392 76906 33554432000 134512640 146736320 4289517168 3894435472 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1315.29
Current children cumulated vsize (KiB) 463956

[startup+1362.3 s]
/proc/loadavg: 2.81 5.44 5.72 3/186 26658
/proc/meminfo: memFree=29284088/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
[pid=26428] ppid=26427 vsize=454992 CPUtime=1375.27 cores=1,3,5,7
/proc/26428/stat : 26428 (pb_cplex) R 26427 26427 26012 0 -1 4202496 788480 0 0 0 137260 267 0 0 20 0 8 0 390863649 465911808 76975 33554432000 134512640 146736320 4289517168 4289509772 139028303 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26428/statm: 113748 76975 967 2985 0 110682 0
[pid=26428/tid=26596] ppid=26427 vsize=454992 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26596/stat : 26596 (pb_cplex) S 26427 26427 26012 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390961209 465911808 76975 33554432000 134512640 146736320 4289517168 4011458192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26428/tid=26597] ppid=26427 vsize=454992 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26597/stat : 26597 (pb_cplex) S 26427 26427 26012 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390961209 465911808 76975 33554432000 134512640 146736320 4289517168 4021943952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26428/tid=26598] ppid=26427 vsize=454992 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26598/stat : 26598 (pb_cplex) S 26427 26427 26012 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390961209 465911808 76975 33554432000 134512640 146736320 4289517168 4037807760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26428/tid=26599] ppid=26427 vsize=454992 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26599/stat : 26599 (pb_cplex) S 26427 26427 26012 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390961209 465911808 76975 33554432000 134512640 146736320 4289517168 4000972432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26428/tid=26600] ppid=26427 vsize=454992 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26600/stat : 26600 (pb_cplex) S 26427 26427 26012 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390961209 465911808 76975 33554432000 134512640 146736320 4289517168 3915406992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26428/tid=26601] ppid=26427 vsize=454992 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26601/stat : 26601 (pb_cplex) S 26427 26427 26012 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390961209 465911808 76975 33554432000 134512640 146736320 4289517168 3904921232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26428/tid=26602] ppid=26427 vsize=454992 CPUtime=0 cores=1,3,5,7
/proc/26428/task/26602/stat : 26602 (pb_cplex) S 26427 26427 26012 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390961209 465911808 76975 33554432000 134512640 146736320 4289517168 3894435472 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1375.27
Current children cumulated vsize (KiB) 464140

[startup+1422.31 s]
/proc/loadavg: 4.68 5.37 5.67 10/186 26658
/proc/meminfo: memFree=29091064/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
[pid=26428] ppid=26427 vsize=726256 CPUtime=1514.08 cores=1,3,5,7
/proc/26428/stat : 26428 (pb_cplex) R 26427 26427 26012 0 -1 4202496 855814 0 0 0 151108 300 0 0 20 0 8 0 390863649 743686144 125016 33554432000 134512640 146736320 4289517168 4289509976 136007643 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26428/statm: 181564 125016 967 2985 0 178498 0
[pid=26428/tid=26596] ppid=26427 vsize=726256 CPUtime=13.43 cores=1,3,5,7
/proc/26428/task/26596/stat : 26596 (pb_cplex) R 26427 26427 26012 0 -1 4202560 6725 0 0 0 1339 4 0 0 20 0 8 0 390961209 743686144 125016 33554432000 134512640 146736320 4289517168 4011455056 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26428/tid=26597] ppid=26427 vsize=726256 CPUtime=13.06 cores=1,3,5,7
/proc/26428/task/26597/stat : 26597 (pb_cplex) R 26427 26427 26012 0 -1 4202560 7166 0 0 0 1302 4 0 0 20 0 8 0 390961209 743686144 125016 33554432000 134512640 146736320 4289517168 4021940816 136403112 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=26428/tid=26598] ppid=26427 vsize=726256 CPUtime=12.96 cores=1,3,5,7
/proc/26428/task/26598/stat : 26598 (pb_cplex) R 26427 26427 26012 0 -1 4202560 6106 0 0 0 1293 3 0 0 20 0 8 0 390961209 743686144 125016 33554432000 134512640 146736320 4289517168 4037804184 136007643 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26428/tid=26599] ppid=26427 vsize=726256 CPUtime=13.3 cores=1,3,5,7
/proc/26428/task/26599/stat : 26599 (pb_cplex) R 26427 26427 26012 0 -1 4202560 6724 0 0 0 1326 4 0 0 20 0 8 0 390961209 743686144 125016 33554432000 134512640 146736320 4289517168 4000968856 136007677 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26428/tid=26600] ppid=26427 vsize=726256 CPUtime=13.09 cores=1,3,5,7
/proc/26428/task/26600/stat : 26600 (pb_cplex) R 26427 26427 26012 0 -1 4202560 6874 0 0 0 1305 4 0 0 20 0 8 0 390961209 743686144 125016 33554432000 134512640 146736320 4289517168 3915403416 136007602 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=26428/tid=26601] ppid=26427 vsize=726256 CPUtime=13.14 cores=1,3,5,7
/proc/26428/task/26601/stat : 26601 (pb_cplex) R 26427 26427 26012 0 -1 4202560 6207 0 0 0 1309 5 0 0 20 0 8 0 390961209 743686144 125016 33554432000 134512640 146736320 4289517168 3904917656 136007633 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26428/tid=26602] ppid=26427 vsize=726256 CPUtime=13.05 cores=1,3,5,7
/proc/26428/task/26602/stat : 26602 (pb_cplex) R 26427 26427 26012 0 -1 4202560 6585 0 0 0 1302 3 0 0 20 0 8 0 390961209 743686144 125016 33554432000 134512640 146736320 4289517168 3894431896 136007602 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1514.08
Current children cumulated vsize (KiB) 735404

[startup+1482.3 s]
/proc/loadavg: 7.41 6.03 5.87 10/186 26658
/proc/meminfo: memFree=29085232/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
[pid=26428] ppid=26427 vsize=732148 CPUtime=1753.62 cores=1,3,5,7
/proc/26428/stat : 26428 (pb_cplex) R 26427 26427 26012 0 -1 4202496 908536 0 0 0 175038 324 0 0 20 0 8 0 390863649 749719552 126550 33554432000 134512640 146736320 4289517168 4289509716 136017474 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26428/statm: 183037 126550 967 2985 0 179971 0
[pid=26428/tid=26596] ppid=26427 vsize=732148 CPUtime=43.77 cores=1,3,5,7
/proc/26428/task/26596/stat : 26596 (pb_cplex) R 26427 26427 26012 0 -1 4202560 13488 0 0 0 4371 6 0 0 20 0 8 0 390961209 749719552 126550 33554432000 134512640 146736320 4289517168 4011454616 136007277 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=26428/tid=26597] ppid=26427 vsize=732148 CPUtime=42.82 cores=1,3,5,7
/proc/26428/task/26597/stat : 26597 (pb_cplex) R 26427 26427 26012 0 -1 4202560 13376 0 0 0 4275 7 0 0 20 0 8 0 390961209 749719552 126550 33554432000 134512640 146736320 4289517168 4021940376 136007056 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26428/tid=26598] ppid=26427 vsize=732148 CPUtime=42.73 cores=1,3,5,7
/proc/26428/task/26598/stat : 26598 (pb_cplex) R 26427 26427 26012 0 -1 4202560 12675 0 0 0 4266 7 0 0 20 0 8 0 390961209 749719552 126550 33554432000 134512640 146736320 4289517168 4037804184 136007053 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=26428/tid=26599] ppid=26427 vsize=732148 CPUtime=43.36 cores=1,3,5,7
/proc/26428/task/26599/stat : 26599 (pb_cplex) R 26427 26427 26012 0 -1 4202560 13222 0 0 0 4330 6 0 0 20 0 8 0 390961209 749719552 126550 33554432000 134512640 146736320 4289517168 4000968856 136007612 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26428/tid=26600] ppid=26427 vsize=732148 CPUtime=43 cores=1,3,5,7
/proc/26428/task/26600/stat : 26600 (pb_cplex) R 26427 26427 26012 0 -1 4202560 13496 0 0 0 4293 7 0 0 20 0 8 0 390961209 749719552 126550 33554432000 134512640 146736320 4289517168 3915403416 136007633 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26428/tid=26601] ppid=26427 vsize=732148 CPUtime=43.12 cores=1,3,5,7
/proc/26428/task/26601/stat : 26601 (pb_cplex) R 26427 26427 26012 0 -1 4202560 12969 0 0 0 4303 9 0 0 20 0 8 0 390961209 749719552 126550 33554432000 134512640 146736320 4289517168 3904917596 135854505 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26428/tid=26602] ppid=26427 vsize=732148 CPUtime=42.7 cores=1,3,5,7
/proc/26428/task/26602/stat : 26602 (pb_cplex) R 26427 26427 26012 0 -1 4202560 13451 0 0 0 4265 5 0 0 20 0 8 0 390961209 749719552 126550 33554432000 134512640 146736320 4289517168 3894432200 135999265 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1753.62
Current children cumulated vsize (KiB) 741296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1494 s]
/proc/loadavg: 7.66 6.13 5.91 10/186 26658
/proc/meminfo: memFree=29082564/32873844 swapFree=7632/7632
[pid=26427] ppid=26425 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26427/stat : 26427 (run) S 26425 26427 26012 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390863649 9367552 270 33554432000 4194304 5064252 140734843058768 140734843057680 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26427/statm: 2287 270 229 213 0 72 0
[pid=26428] ppid=26427 vsize=732220 CPUtime=1800.36 cores=1,3,5,7
/proc/26428/stat : 26428 (pb_cplex) R 26427 26427 26012 0 -1 4202496 918948 0 0 0 179708 328 0 0 20 0 8 0 390863649 749793280 126577 33554432000 134512640 146736320 4289517168 4289509716 136017757 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26428/statm: 183055 126577 967 2985 0 179989 0
[pid=26428/tid=26596] ppid=26427 vsize=732220 CPUtime=49.64 cores=1,3,5,7
/proc/26428/task/26596/stat : 26596 (pb_cplex) R 26427 26427 26012 0 -1 4202560 14677 0 0 0 4957 7 0 0 20 0 8 0 390961209 749793280 126577 33554432000 134512640 146736320 4289517168 4011454356 136017509 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26428/tid=26597] ppid=26427 vsize=732220 CPUtime=48.68 cores=1,3,5,7
/proc/26428/task/26597/stat : 26597 (pb_cplex) R 26427 26427 26012 0 -1 4202560 14487 0 0 0 4861 7 0 0 20 0 8 0 390961209 749793280 126577 33554432000 134512640 146736320 4289517168 4021940376 136007053 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26428/tid=26598] ppid=26427 vsize=732220 CPUtime=48.41 cores=1,3,5,7
/proc/26428/task/26598/stat : 26598 (pb_cplex) R 26427 26427 26012 0 -1 4202560 13879 0 0 0 4834 7 0 0 20 0 8 0 390961209 749793280 126577 33554432000 134512640 146736320 4289517168 4037804184 136007612 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=26428/tid=26599] ppid=26427 vsize=732220 CPUtime=49.42 cores=1,3,5,7
/proc/26428/task/26599/stat : 26599 (pb_cplex) R 26427 26427 26012 0 -1 4202560 14387 0 0 0 4936 6 0 0 20 0 8 0 390961209 749793280 126577 33554432000 134512640 146736320 4289517168 4000968776 139042895 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=26428/tid=26600] ppid=26427 vsize=732220 CPUtime=48.85 cores=1,3,5,7
/proc/26428/task/26600/stat : 26600 (pb_cplex) R 26427 26427 26012 0 -1 4202560 14917 0 0 0 4878 7 0 0 20 0 8 0 390961209 749793280 126577 33554432000 134512640 146736320 4289517168 3915403304 139044505 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=26428/tid=26601] ppid=26427 vsize=732220 CPUtime=48.93 cores=1,3,5,7
/proc/26428/task/26601/stat : 26601 (pb_cplex) R 26427 26427 26012 0 -1 4202560 14594 0 0 0 4883 10 0 0 20 0 8 0 390961209 749793280 126577 33554432000 134512640 146736320 4289517168 3904917576 139042888 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=26428/tid=26602] ppid=26427 vsize=732220 CPUtime=48.47 cores=1,3,5,7
/proc/26428/task/26602/stat : 26602 (pb_cplex) R 26427 26427 26012 0 -1 4202560 15033 0 0 0 4841 6 0 0 20 0 8 0 390961209 749793280 126577 33554432000 134512640 146736320 4289517168 3894431784 139044505 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 741368

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 26427 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=0
# CPU time returned by wait4() is 0
# while last known CPU time is 1800.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1494.02
CPU time (s): 1800.36
CPU user time (s): 1797.08
CPU system time (s): 3.28
CPU usage (%): 120.505
Max. virtual memory (cumulated for all children) (KiB): 743464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 1080
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.80142 second user time and 9.8845 second system time

The end

Launcher Data 

Begin job on node144 at 2012-06-09 15:09:48
IDJOB=3733105
IDBENCH=2247
IDSOLVER=2325
FILE ID=node144/3733105-1339247388
RUNJOBID= node144-1339246834-26030
PBS_JOBID= 14644337
Free space on /tmp= 68388 MiB

SOLVER NAME= PB10: pb_cplex 2010-06-29
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733105-1339247388/watcher-3733105-1339247388 -o /tmp/evaluation-result-3733105-1339247388/solver-3733105-1339247388 -C 1800 -W 1900 -M 15500  run HOME/instance-3733105-1339247388.opb

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

MD5SUM BENCH= 98c81efbf429745622d6705fab70d2ee
RANDOM SEED=2019140960

node144.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.196
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.39
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.196
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.196
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	: 5438.54
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.196
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.196
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.90
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.196
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.92
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.196
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.196
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:        28777956 kB
Buffers:         1131380 kB
Cached:          1092028 kB
SwapCached:          460 kB
Active:          3046812 kB
Inactive:         118052 kB
Active(anon):     925068 kB
Inactive(anon):    11384 kB
Active(file):    2121744 kB
Inactive(file):   106668 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108396 kB
Dirty:             19036 kB
Writeback:             0 kB
AnonPages:        941124 kB
Mapped:            14544 kB
Shmem:               172 kB
Slab:             790596 kB
SReclaimable:     232276 kB
SUnreclaim:       558320 kB
KernelStack:        1520 kB
PageTables:         6212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     960340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    401408 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-3733105-1339247388.opb

Free space on /tmp at the end= 68384 MiB
End job on node144 at 2012-06-09 15:34:42