Trace number 3731521

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.28 513.016

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
MD5SUM6549a0bbc5c463b1b909374436b51d65
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark188
Best CPU time to get the best result obtained on this benchmark1796.77
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 183
Optimality of the best value was proved NO
Number of variables470
Total number of constraints470
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints470
Minimum length of a constraint4
Maximum length of a constraint18
Number of terms in the objective function 470
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 470
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 470
Number of bits of the biggest sum of numbers9
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-3731521-1339246871.opb.
0.00/0.00	c Instance file HOME/instance-3731521-1339246871.opb
0.00/0.00	c File size is 42851 bytes.
0.00/0.03	c Highest Coefficient sum: 248
0.00/0.03	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.03	c ============================[ Problem Statistics ]=============================
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Parsing time:          0.03         s                                      |
0.00/0.03	c |  Number Variables:      470                                                 |
0.00/0.03	c |  Number Constraints:    470                                                 |
0.00/0.03	c ===============================================================================
1800.28/513.01	c Remaining time 1799.97 sec.
1800.28/513.01	c 
1800.28/513.01	c *** INTERRUPTED ***
1800.28/513.01	s UNKNOWN
1800.28/513.01	c Total CPU time              : 1795.48 s
1800.28/513.01	c Memory used           : 209.56 MB
1800.28/513.01	c CPU time              : 1795.48 s
1800.28/513.01	c 
1800.28/513.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-3731521-1339246871/watcher-3731521-1339246871 -o /tmp/evaluation-result-3731521-1339246871/solver-3731521-1339246871 -C 1800 -W 1900 -M 15500 run HOME/instance-3731521-1339246871.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: 3.10 0.80 0.27 3/185 16054
/proc/meminfo: memFree=26877368/32873648 swapFree=7376/7376
[pid=16054] ppid=16052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16054/stat : 16054 (run) S 16052 16054 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812553 9367552 269 33554432000 4194304 5064252 140733523680192 140733523679104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16054/statm: 2287 269 229 213 0 72 0

[startup+0.035067 s]
/proc/loadavg: 3.10 0.80 0.27 3/185 16054
/proc/meminfo: memFree=26877368/32873648 swapFree=7376/7376
[pid=16054] ppid=16052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16054/stat : 16054 (run) S 16052 16054 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812553 9367552 269 33554432000 4194304 5064252 140733523680192 140733523679104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16054/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100203 s]
/proc/loadavg: 3.10 0.80 0.27 3/185 16054
/proc/meminfo: memFree=26877368/32873648 swapFree=7376/7376
[pid=16054] ppid=16052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16054/stat : 16054 (run) S 16052 16054 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812553 9367552 269 33554432000 4194304 5064252 140733523680192 140733523679104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16054/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300178 s]
/proc/loadavg: 3.10 0.80 0.27 3/185 16054
/proc/meminfo: memFree=26877368/32873648 swapFree=7376/7376
[pid=16054] ppid=16052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16054/stat : 16054 (run) S 16052 16054 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812553 9367552 269 33554432000 4194304 5064252 140733523680192 140733523679104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16054/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700111 s]
/proc/loadavg: 3.10 0.80 0.27 3/185 16054
/proc/meminfo: memFree=26877368/32873648 swapFree=7376/7376
[pid=16054] ppid=16052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16054/stat : 16054 (run) S 16052 16054 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812553 9367552 269 33554432000 4194304 5064252 140733523680192 140733523679104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16054/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50013 s]
/proc/loadavg: 3.41 0.90 0.30 9/187 16056
/proc/meminfo: memFree=26873552/32873648 swapFree=7376/7376
[pid=16054] ppid=16052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16054/stat : 16054 (run) S 16052 16054 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812553 9367552 269 33554432000 4194304 5064252 140733523680192 140733523679104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16054/statm: 2287 269 229 213 0 72 0
[pid=16055] ppid=16054 vsize=16944 CPUtime=1.49 cores=0,2,4,6
/proc/16055/stat : 16055 (pb_cplex) R 16054 16054 15880 0 -1 4202496 5230 0 0 0 149 0 0 0 20 0 1 0 390812553 17350656 1881 33554432000 134512640 146736320 4294909040 4294903072 136388279 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/16055/statm: 4236 1881 889 2985 0 1170 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26092

[startup+3.10039 s]
/proc/loadavg: 3.41 0.90 0.30 17/194 16063
/proc/meminfo: memFree=26857380/32873648 swapFree=7376/7376
[pid=16054] ppid=16052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16054/stat : 16054 (run) S 16052 16054 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812553 9367552 269 33554432000 4194304 5064252 140733523680192 140733523679104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16054/statm: 2287 269 229 213 0 72 0
[pid=16055] ppid=16054 vsize=116992 CPUtime=6.02 cores=0,2,4,6
/proc/16055/stat : 16055 (pb_cplex) R 16054 16054 15880 0 -1 4202496 11430 0 0 0 600 2 0 0 20 0 8 0 390812553 119799808 7315 33554432000 134512640 146736320 4294909040 4294901752 136475862 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16055/statm: 29248 7315 927 2985 0 26182 0
[pid=16055/tid=16057] ppid=16054 vsize=116992 CPUtime=0.55 cores=0,2,4,6
/proc/16055/task/16057/stat : 16057 (pb_cplex) R 16054 16054 15880 0 -1 4202560 437 0 0 0 55 0 0 0 20 0 8 0 390812734 119799808 7315 33554432000 134512640 146736320 4294909040 4147929296 136008050 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16055/tid=16058] ppid=16054 vsize=116992 CPUtime=0.43 cores=0,2,4,6
/proc/16055/task/16058/stat : 16058 (pb_cplex) R 16054 16054 15880 0 -1 4202560 448 0 0 0 43 0 0 0 20 0 8 0 390812734 119799808 7315 33554432000 134512640 146736320 4294909040 4137443536 136008039 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16059] ppid=16054 vsize=116992 CPUtime=0.63 cores=0,2,4,6
/proc/16055/task/16059/stat : 16059 (pb_cplex) R 16054 16054 15880 0 -1 4202560 460 0 0 0 63 0 0 0 20 0 8 0 390812734 119799808 7315 33554432000 134512640 146736320 4294909040 4126956520 139044499 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16055/tid=16060] ppid=16054 vsize=116992 CPUtime=0.58 cores=0,2,4,6
/proc/16055/task/16060/stat : 16060 (pb_cplex) R 16054 16054 15880 0 -1 4202560 733 0 0 0 58 0 0 0 20 0 8 0 390812734 119799808 7315 33554432000 134512640 146736320 4294909040 4116472224 136388288 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16061] ppid=16054 vsize=116992 CPUtime=0.62 cores=0,2,4,6
/proc/16055/task/16061/stat : 16061 (pb_cplex) R 16054 16054 15880 0 -1 4202560 620 0 0 0 62 0 0 0 20 0 8 0 390812734 119799808 7315 33554432000 134512640 146736320 4294909040 4105986116 136385172 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16055/tid=16062] ppid=16054 vsize=116992 CPUtime=0.33 cores=0,2,4,6
/proc/16055/task/16062/stat : 16062 (pb_cplex) R 16054 16054 15880 0 -1 4202560 524 0 0 0 33 0 0 0 20 0 8 0 390812734 119799808 7315 33554432000 134512640 146736320 4294909040 4095499476 135455296 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16063] ppid=16054 vsize=116992 CPUtime=0.36 cores=0,2,4,6
/proc/16055/task/16063/stat : 16063 (pb_cplex) R 16054 16054 15880 0 -1 4202560 538 0 0 0 36 0 0 0 20 0 8 0 390812734 119799808 7315 33554432000 134512640 146736320 4294909040 4085014584 136475822 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 126140

[startup+6.30038 s]
/proc/loadavg: 3.41 0.90 0.30 15/194 16063
/proc/meminfo: memFree=26850608/32873648 swapFree=7376/7376
[pid=16054] ppid=16052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16054/stat : 16054 (run) S 16052 16054 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812553 9367552 269 33554432000 4194304 5064252 140733523680192 140733523679104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16054/statm: 2287 269 229 213 0 72 0
[pid=16055] ppid=16054 vsize=117324 CPUtime=17.11 cores=0,2,4,6
/proc/16055/stat : 16055 (pb_cplex) R 16054 16054 15880 0 -1 4202496 11598 0 0 0 1706 5 0 0 20 0 8 0 390812553 120139776 7483 33554432000 134512640 146736320 4294909040 4294899784 135468236 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16055/statm: 29331 7483 927 2985 0 26265 0
[pid=16055/tid=16057] ppid=16054 vsize=117324 CPUtime=1.79 cores=0,2,4,6
/proc/16055/task/16057/stat : 16057 (pb_cplex) R 16054 16054 15880 0 -1 4202560 520 0 0 0 179 0 0 0 20 0 8 0 390812734 120139776 7483 33554432000 134512640 146736320 4294909040 4147928900 135850292 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16058] ppid=16054 vsize=117324 CPUtime=1.84 cores=0,2,4,6
/proc/16055/task/16058/stat : 16058 (pb_cplex) R 16054 16054 15880 0 -1 4202560 449 0 0 0 184 0 0 0 20 0 8 0 390812734 120139776 7483 33554432000 134512640 146736320 4294909040 4137442312 139042890 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16055/tid=16059] ppid=16054 vsize=117324 CPUtime=2.58 cores=0,2,4,6
/proc/16055/task/16059/stat : 16059 (pb_cplex) R 16054 16054 15880 0 -1 4202560 460 0 0 0 258 0 0 0 20 0 8 0 390812734 120139776 7483 33554432000 134512640 146736320 4294909040 4126956896 136388288 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16055/tid=16060] ppid=16054 vsize=117324 CPUtime=1.76 cores=0,2,4,6
/proc/16055/task/16060/stat : 16060 (pb_cplex) R 16054 16054 15880 0 -1 4202560 812 0 0 0 176 0 0 0 20 0 8 0 390812734 120139776 7483 33554432000 134512640 146736320 4294909040 4116470760 139044580 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16061] ppid=16054 vsize=117324 CPUtime=1.76 cores=0,2,4,6
/proc/16055/task/16061/stat : 16061 (pb_cplex) R 16054 16054 15880 0 -1 4202560 621 0 0 0 176 0 0 0 20 0 8 0 390812734 120139776 7483 33554432000 134512640 146736320 4294909040 4105985960 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16062] ppid=16054 vsize=117324 CPUtime=1.73 cores=0,2,4,6
/proc/16055/task/16062/stat : 16062 (pb_cplex) R 16054 16054 15880 0 -1 4202560 526 0 0 0 173 0 0 0 20 0 8 0 390812734 120139776 7483 33554432000 134512640 146736320 4294909040 4095501288 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16055/tid=16063] ppid=16054 vsize=117324 CPUtime=1.83 cores=0,2,4,6
/proc/16055/task/16063/stat : 16063 (pb_cplex) R 16054 16054 15880 0 -1 4202560 539 0 0 0 183 0 0 0 20 0 8 0 390812734 120139776 7483 33554432000 134512640 146736320 4294909040 4085013480 139044583 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 17.11
Current children cumulated vsize (KiB) 126472

[startup+12.7004 s]
/proc/loadavg: 4.55 1.23 0.42 8/194 16077
/proc/meminfo: memFree=26826364/32873648 swapFree=7376/7376
[pid=16054] ppid=16052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16054/stat : 16054 (run) S 16052 16054 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812553 9367552 269 33554432000 4194304 5064252 140733523680192 140733523679104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16054/statm: 2287 269 229 213 0 72 0
[pid=16055] ppid=16054 vsize=149376 CPUtime=28.03 cores=0,2,4,6
/proc/16055/stat : 16055 (pb_cplex) R 16054 16054 15880 0 -1 4202496 26597 0 0 0 2783 20 0 0 20 0 8 0 390812553 152961024 13480 33554432000 134512640 146736320 4294909040 4294902696 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16055/statm: 37344 13480 970 2985 0 34278 0
[pid=16055/tid=16071] ppid=16054 vsize=149376 CPUtime=0 cores=0,2,4,6
/proc/16055/task/16071/stat : 16071 (pb_cplex) S 16054 16054 15880 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390813542 152961024 13480 33554432000 134512640 146736320 4294909040 4067421840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16072] ppid=16054 vsize=149376 CPUtime=0 cores=0,2,4,6
/proc/16055/task/16072/stat : 16072 (pb_cplex) S 16054 16054 15880 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390813542 152961024 13480 33554432000 134512640 146736320 4294909040 4134821520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16055/tid=16073] ppid=16054 vsize=149376 CPUtime=0 cores=0,2,4,6
/proc/16055/task/16073/stat : 16073 (pb_cplex) S 16054 16054 15880 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390813542 152961024 13480 33554432000 134512640 146736320 4294909040 4145307280 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16055/tid=16074] ppid=16054 vsize=149376 CPUtime=0 cores=0,2,4,6
/proc/16055/task/16074/stat : 16074 (pb_cplex) S 16054 16054 15880 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390813542 152961024 13480 33554432000 134512640 146736320 4294909040 4116475536 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16075] ppid=16054 vsize=149376 CPUtime=0 cores=0,2,4,6
/proc/16055/task/16075/stat : 16075 (pb_cplex) S 16054 16054 15880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390813542 152961024 13480 33554432000 134512640 146736320 4294909040 4053954192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16076] ppid=16054 vsize=149376 CPUtime=0 cores=0,2,4,6
/proc/16055/task/16076/stat : 16076 (pb_cplex) S 16054 16054 15880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390813542 152961024 13480 33554432000 134512640 146736320 4294909040 4043468432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16077] ppid=16054 vsize=149376 CPUtime=0 cores=0,2,4,6
/proc/16055/task/16077/stat : 16077 (pb_cplex) S 16054 16054 15880 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390813542 152961024 13480 33554432000 134512640 146736320 4294909040 4032982672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 28.03
Current children cumulated vsize (KiB) 158524

[startup+25.5004 s]
/proc/loadavg: 6.09 1.67 0.57 16/194 16077
/proc/meminfo: memFree=26809924/32873648 swapFree=7376/7376
[pid=16054] ppid=16052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16054/stat : 16054 (run) S 16052 16054 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812553 9367552 269 33554432000 4194304 5064252 140733523680192 140733523679104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16054/statm: 2287 269 229 213 0 72 0
[pid=16055] ppid=16054 vsize=165864 CPUtime=72.41 cores=0,2,4,6
/proc/16055/stat : 16055 (pb_cplex) R 16054 16054 15880 0 -1 4202496 33459 0 0 0 7209 32 0 0 20 0 8 0 390812553 169844736 17436 33554432000 134512640 146736320 4294909040 4294901904 136008056 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16055/statm: 41466 17436 970 2985 0 38400 0
[pid=16055/tid=16071] ppid=16054 vsize=165864 CPUtime=5.08 cores=0,2,4,6
/proc/16055/task/16071/stat : 16071 (pb_cplex) R 16054 16054 15880 0 -1 4202560 1742 0 0 0 506 2 0 0 20 0 8 0 390813542 169844736 17436 33554432000 134512640 146736320 4294909040 4067418024 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16055/tid=16072] ppid=16054 vsize=165864 CPUtime=5.27 cores=0,2,4,6
/proc/16055/task/16072/stat : 16072 (pb_cplex) R 16054 16054 15880 0 -1 4202560 1102 0 0 0 525 2 0 0 20 0 8 0 390813542 169844736 17436 33554432000 134512640 146736320 4294909040 4134818008 136009199 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16073] ppid=16054 vsize=165864 CPUtime=5.26 cores=0,2,4,6
/proc/16055/task/16073/stat : 16073 (pb_cplex) R 16054 16054 15880 0 -1 4202560 446 0 0 0 525 1 0 0 20 0 8 0 390813542 169844736 17436 33554432000 134512640 146736320 4294909040 4145305484 137373375 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16074] ppid=16054 vsize=165864 CPUtime=5.54 cores=0,2,4,6
/proc/16055/task/16074/stat : 16074 (pb_cplex) R 16054 16054 15880 0 -1 4202560 1283 0 0 0 554 0 0 0 20 0 8 0 390813542 169844736 17436 33554432000 134512640 146736320 4294909040 4116472808 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16055/tid=16075] ppid=16054 vsize=165864 CPUtime=5.35 cores=0,2,4,6
/proc/16055/task/16075/stat : 16075 (pb_cplex) R 16054 16054 15880 0 -1 4202560 373 0 0 0 533 2 0 0 20 0 8 0 390813542 169844736 17436 33554432000 134512640 146736320 4294909040 4053950376 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16076] ppid=16054 vsize=165864 CPUtime=5.36 cores=0,2,4,6
/proc/16055/task/16076/stat : 16076 (pb_cplex) R 16054 16054 15880 0 -1 4202560 1408 0 0 0 534 2 0 0 20 0 8 0 390813542 169844736 17436 33554432000 134512640 146736320 4294909040 4043463824 136008039 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16055/tid=16077] ppid=16054 vsize=165864 CPUtime=5.3 cores=0,2,4,6
/proc/16055/task/16077/stat : 16077 (pb_cplex) R 16054 16054 15880 0 -1 4202560 64 0 0 0 529 1 0 0 20 0 8 0 390813542 169844736 17436 33554432000 134512640 146736320 4294909040 4032978760 135526283 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 72.41
Current children cumulated vsize (KiB) 175012

[startup+51.1004 s]
/proc/loadavg: 7.82 2.43 0.85 17/194 16077
/proc/meminfo: memFree=26801356/32873648 swapFree=7376/7376
[pid=16054] ppid=16052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16054/stat : 16054 (run) S 16052 16054 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812553 9367552 269 33554432000 4194304 5064252 140733523680192 140733523679104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16054/statm: 2287 269 229 213 0 72 0
[pid=16055] ppid=16054 vsize=173216 CPUtime=155.85 cores=0,2,4,6
/proc/16055/stat : 16055 (pb_cplex) R 16054 16054 15880 0 -1 4202496 44923 0 0 0 15523 62 0 0 20 0 8 0 390812553 177373184 19225 33554432000 134512640 146736320 4294909040 4294902088 136388081 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16055/statm: 43304 19225 975 2985 0 40238 0
[pid=16055/tid=16071] ppid=16054 vsize=173216 CPUtime=14.93 cores=0,2,4,6
/proc/16055/task/16071/stat : 16071 (pb_cplex) R 16054 16054 15880 0 -1 4202560 3603 0 0 0 1487 6 0 0 20 0 8 0 390813542 177373184 19225 33554432000 134512640 146736320 4294909040 4067418704 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16055/tid=16072] ppid=16054 vsize=173216 CPUtime=16.29 cores=0,2,4,6
/proc/16055/task/16072/stat : 16072 (pb_cplex) R 16054 16054 15880 0 -1 4202560 2793 0 0 0 1623 6 0 0 20 0 8 0 390813542 177373184 19225 33554432000 134512640 146736320 4294909040 4134818000 136008056 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16055/tid=16073] ppid=16054 vsize=173216 CPUtime=16.27 cores=0,2,4,6
/proc/16055/task/16073/stat : 16073 (pb_cplex) S 16054 16054 15880 0 -1 4202560 491 0 0 0 1623 4 0 0 20 0 8 0 390813542 177373184 19225 33554432000 134512640 146736320 4294909040 4145307280 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16074] ppid=16054 vsize=173216 CPUtime=15.93 cores=0,2,4,6
/proc/16055/task/16074/stat : 16074 (pb_cplex) R 16054 16054 15880 0 -1 4202560 3070 0 0 0 1588 5 0 0 20 0 8 0 390813542 177373184 19225 33554432000 134512640 146736320 4294909040 4116472264 136000508 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16075] ppid=16054 vsize=173216 CPUtime=15.44 cores=0,2,4,6
/proc/16055/task/16075/stat : 16075 (pb_cplex) R 16054 16054 15880 0 -1 4202560 5488 0 0 0 1537 7 0 0 20 0 8 0 390813542 177373184 19225 33554432000 134512640 146736320 4294909040 4053950556 135855167 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16076] ppid=16054 vsize=173216 CPUtime=15.2 cores=0,2,4,6

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

/proc/16055/statm: 48185 25306 984 2985 0 45119 0
[pid=16055/tid=16071] ppid=16054 vsize=192740 CPUtime=78.83 cores=0,2,4,6
/proc/16055/task/16071/stat : 16071 (pb_cplex) S 16054 16054 15880 0 -1 4202560 6982 0 0 0 7858 25 0 0 20 0 8 0 390813542 197365760 25306 33554432000 134512640 146736320 4294909040 4067421840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16055/tid=16072] ppid=16054 vsize=192740 CPUtime=101.73 cores=0,2,4,6
/proc/16055/task/16072/stat : 16072 (pb_cplex) S 16054 16054 15880 0 -1 4202560 9286 0 0 0 10148 25 0 0 20 0 8 0 390813542 197365760 25306 33554432000 134512640 146736320 4294909040 4134821520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16073] ppid=16054 vsize=192740 CPUtime=86.74 cores=0,2,4,6
/proc/16055/task/16073/stat : 16073 (pb_cplex) S 16054 16054 15880 0 -1 4202560 4576 0 0 0 8650 24 0 0 20 0 8 0 390813542 197365760 25306 33554432000 134512640 146736320 4294909040 4145307280 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16074] ppid=16054 vsize=192740 CPUtime=93.01 cores=0,2,4,6
/proc/16055/task/16074/stat : 16074 (pb_cplex) S 16054 16054 15880 0 -1 4202560 10508 0 0 0 9273 28 0 0 20 0 8 0 390813542 197365760 25306 33554432000 134512640 146736320 4294909040 4116475536 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16075] ppid=16054 vsize=192740 CPUtime=83.07 cores=0,2,4,6
/proc/16055/task/16075/stat : 16075 (pb_cplex) R 16054 16054 15880 0 -1 4202560 18934 0 0 0 8278 29 0 0 20 0 8 0 390813542 197365760 25306 33554432000 134512640 146736320 4294909040 4053950672 136008020 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16076] ppid=16054 vsize=192740 CPUtime=98.49 cores=0,2,4,6
/proc/16055/task/16076/stat : 16076 (pb_cplex) S 16054 16054 15880 0 -1 4202560 8092 0 0 0 9823 26 0 0 20 0 8 0 390813542 197365760 25306 33554432000 134512640 146736320 4294909040 4043468432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16077] ppid=16054 vsize=192740 CPUtime=97.79 cores=0,2,4,6
/proc/16055/task/16077/stat : 16077 (pb_cplex) S 16054 16054 15880 0 -1 4202560 4738 0 0 0 9757 22 0 0 20 0 8 0 390813542 197365760 25306 33554432000 134512640 146736320 4294909040 4032982672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 762.52
Current children cumulated vsize (KiB) 201888

[startup+282.3 s]
/proc/loadavg: 11.47 7.37 3.23 17/193 16078
/proc/meminfo: memFree=26768512/32873648 swapFree=7376/7376
[pid=16054] ppid=16052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16054/stat : 16054 (run) S 16052 16054 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812553 9367552 269 33554432000 4194304 5064252 140733523680192 140733523679104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16054/statm: 2287 269 229 213 0 72 0
[pid=16055] ppid=16054 vsize=202392 CPUtime=976.03 cores=0,2,4,6
/proc/16055/stat : 16055 (pb_cplex) S 16054 16054 15880 0 -1 4202496 102985 0 0 0 97320 283 0 0 20 0 8 0 390812553 207249408 27549 33554432000 134512640 146736320 4294909040 4294905424 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16055/statm: 50598 27549 984 2985 0 47532 0
[pid=16055/tid=16071] ppid=16054 vsize=202392 CPUtime=105.28 cores=0,2,4,6
/proc/16055/task/16071/stat : 16071 (pb_cplex) R 16054 16054 15880 0 -1 4202560 7431 0 0 0 10494 34 0 0 20 0 8 0 390813542 207249408 27549 33554432000 134512640 146736320 4294909040 4067419112 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16055/tid=16072] ppid=16054 vsize=202392 CPUtime=128.25 cores=0,2,4,6
/proc/16055/task/16072/stat : 16072 (pb_cplex) R 16054 16054 15880 0 -1 4202560 10799 0 0 0 12794 31 0 0 20 0 8 0 390813542 207249408 27549 33554432000 134512640 146736320 4294909040 4134818792 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16073] ppid=16054 vsize=202392 CPUtime=113.59 cores=0,2,4,6
/proc/16055/task/16073/stat : 16073 (pb_cplex) R 16054 16054 15880 0 -1 4202560 5009 0 0 0 11328 31 0 0 20 0 8 0 390813542 207249408 27549 33554432000 134512640 146736320 4294909040 4145303760 136008065 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16055/tid=16074] ppid=16054 vsize=202392 CPUtime=119.99 cores=0,2,4,6
/proc/16055/task/16074/stat : 16074 (pb_cplex) R 16054 16054 15880 0 -1 4202560 11170 0 0 0 11962 37 0 0 20 0 8 0 390813542 207249408 27549 33554432000 134512640 146736320 4294909040 4116470984 135468212 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16055/tid=16075] ppid=16054 vsize=202392 CPUtime=109.4 cores=0,2,4,6
/proc/16055/task/16075/stat : 16075 (pb_cplex) R 16054 16054 15880 0 -1 4202560 20278 0 0 0 10904 36 0 0 20 0 8 0 390813542 207249408 27549 33554432000 134512640 146736320 4294909040 4053950920 136000488 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16076] ppid=16054 vsize=202392 CPUtime=124.69 cores=0,2,4,6
/proc/16055/task/16076/stat : 16076 (pb_cplex) S 16054 16054 15880 0 -1 4202560 9383 0 0 0 12434 35 0 0 20 0 8 0 390813542 207249408 27549 33554432000 134512640 146736320 4294909040 4043468432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16055/tid=16077] ppid=16054 vsize=202392 CPUtime=125.02 cores=0,2,4,6
/proc/16055/task/16077/stat : 16077 (pb_cplex) R 16054 16054 15880 0 -1 4202560 5596 0 0 0 12471 31 0 0 20 0 8 0 390813542 207249408 27549 33554432000 134512640 146736320 4294909040 4032977360 135461131 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 976.03
Current children cumulated vsize (KiB) 211540

[startup+342.3 s]
/proc/loadavg: 12.24 8.35 3.83 15/193 16078
/proc/meminfo: memFree=26766284/32873648 swapFree=7376/7376
[pid=16054] ppid=16052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16054/stat : 16054 (run) S 16052 16054 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812553 9367552 269 33554432000 4194304 5064252 140733523680192 140733523679104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16054/statm: 2287 269 229 213 0 72 0
[pid=16055] ppid=16054 vsize=207644 CPUtime=1185.81 cores=0,2,4,6
/proc/16055/stat : 16055 (pb_cplex) R 16054 16054 15880 0 -1 4202496 106776 0 0 0 118241 340 0 0 20 0 8 0 390812553 212627456 28621 33554432000 134512640 146736320 4294909040 4294901904 136008050 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16055/statm: 51911 28621 984 2985 0 48845 0
[pid=16055/tid=16071] ppid=16054 vsize=207644 CPUtime=131.45 cores=0,2,4,6
/proc/16055/task/16071/stat : 16071 (pb_cplex) R 16054 16054 15880 0 -1 4202560 7431 0 0 0 13104 41 0 0 20 0 8 0 390813542 212627456 28621 33554432000 134512640 146736320 4294909040 4067418168 136475791 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16055/tid=16072] ppid=16054 vsize=207644 CPUtime=153.82 cores=0,2,4,6
/proc/16055/task/16072/stat : 16072 (pb_cplex) R 16054 16054 15880 0 -1 4202560 10799 0 0 0 15344 38 0 0 20 0 8 0 390813542 212627456 28621 33554432000 134512640 146736320 4294909040 4134817860 136385183 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16073] ppid=16054 vsize=207644 CPUtime=140.23 cores=0,2,4,6
/proc/16055/task/16073/stat : 16073 (pb_cplex) R 16054 16054 15880 0 -1 4202560 5662 0 0 0 13982 41 0 0 20 0 8 0 390813542 212627456 28621 33554432000 134512640 146736320 4294909040 4145302232 135466473 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16055/tid=16074] ppid=16054 vsize=207644 CPUtime=146.02 cores=0,2,4,6
/proc/16055/task/16074/stat : 16074 (pb_cplex) R 16054 16054 15880 0 -1 4202560 11170 0 0 0 14557 45 0 0 20 0 8 0 390813542 212627456 28621 33554432000 134512640 146736320 4294909040 4116471848 139044581 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16075] ppid=16054 vsize=207644 CPUtime=135.43 cores=0,2,4,6
/proc/16055/task/16075/stat : 16075 (pb_cplex) R 16054 16054 15880 0 -1 4202560 21391 0 0 0 13500 43 0 0 20 0 8 0 390813542 212627456 28621 33554432000 134512640 146736320 4294909040 4053950280 135525914 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16076] ppid=16054 vsize=207644 CPUtime=150.88 cores=0,2,4,6
/proc/16055/task/16076/stat : 16076 (pb_cplex) R 16054 16054 15880 0 -1 4202560 9717 0 0 0 15046 42 0 0 20 0 8 0 390813542 212627456 28621 33554432000 134512640 146736320 4294909040 4043465704 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16077] ppid=16054 vsize=207644 CPUtime=151.17 cores=0,2,4,6
/proc/16055/task/16077/stat : 16077 (pb_cplex) R 16054 16054 15880 0 -1 4202560 5596 0 0 0 15076 41 0 0 20 0 8 0 390813542 212627456 28621 33554432000 134512640 146736320 4294909040 4032979944 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1185.81
Current children cumulated vsize (KiB) 216792

[startup+402.3 s]
/proc/loadavg: 10.74 8.68 4.23 13/193 16953
/proc/meminfo: memFree=26791120/32873648 swapFree=7376/7376
[pid=16054] ppid=16052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16054/stat : 16054 (run) S 16052 16054 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812553 9367552 269 33554432000 4194304 5064252 140733523680192 140733523679104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16054/statm: 2287 269 229 213 0 72 0
[pid=16055] ppid=16054 vsize=209860 CPUtime=1401.87 cores=0,2,4,6
/proc/16055/stat : 16055 (pb_cplex) S 16054 16054 15880 0 -1 4202496 111474 0 0 0 139797 390 0 0 20 0 8 0 390812553 214896640 29188 33554432000 134512640 146736320 4294909040 4294905424 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16055/statm: 52465 29188 984 2985 0 49399 0
[pid=16055/tid=16071] ppid=16054 vsize=209860 CPUtime=158.13 cores=0,2,4,6
/proc/16055/task/16071/stat : 16071 (pb_cplex) S 16054 16054 15880 0 -1 4202560 7431 0 0 0 15764 49 0 0 20 0 8 0 390813542 214896640 29188 33554432000 134512640 146736320 4294909040 4067421840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16055/tid=16072] ppid=16054 vsize=209860 CPUtime=180.65 cores=0,2,4,6
/proc/16055/task/16072/stat : 16072 (pb_cplex) S 16054 16054 15880 0 -1 4202560 11803 0 0 0 18021 44 0 0 20 0 8 0 390813542 214896640 29188 33554432000 134512640 146736320 4294909040 4134821520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16073] ppid=16054 vsize=209860 CPUtime=166.92 cores=0,2,4,6
/proc/16055/task/16073/stat : 16073 (pb_cplex) S 16054 16054 15880 0 -1 4202560 6418 0 0 0 16645 47 0 0 20 0 8 0 390813542 214896640 29188 33554432000 134512640 146736320 4294909040 4145307280 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16074] ppid=16054 vsize=209860 CPUtime=173.22 cores=0,2,4,6
/proc/16055/task/16074/stat : 16074 (pb_cplex) S 16054 16054 15880 0 -1 4202560 11296 0 0 0 17269 53 0 0 20 0 8 0 390813542 214896640 29188 33554432000 134512640 146736320 4294909040 4116475536 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16075] ppid=16054 vsize=209860 CPUtime=162.72 cores=0,2,4,6
/proc/16055/task/16075/stat : 16075 (pb_cplex) S 16054 16054 15880 0 -1 4202560 21762 0 0 0 16224 48 0 0 20 0 8 0 390813542 214896640 29188 33554432000 134512640 146736320 4294909040 4053954192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16076] ppid=16054 vsize=209860 CPUtime=178.05 cores=0,2,4,6
/proc/16055/task/16076/stat : 16076 (pb_cplex) S 16054 16054 15880 0 -1 4202560 11769 0 0 0 17757 48 0 0 20 0 8 0 390813542 214896640 29188 33554432000 134512640 146736320 4294909040 4043468432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16077] ppid=16054 vsize=209860 CPUtime=178.23 cores=0,2,4,6
/proc/16055/task/16077/stat : 16077 (pb_cplex) R 16054 16054 15880 0 -1 4202560 5596 0 0 0 17775 48 0 0 20 0 8 0 390813542 214896640 29188 33554432000 134512640 146736320 4294909040 4032978984 139044499 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1401.87
Current children cumulated vsize (KiB) 219008

[startup+462.3 s]
/proc/loadavg: 11.20 9.22 4.69 17/193 17023
/proc/meminfo: memFree=26759608/32873648 swapFree=7376/7376
[pid=16054] ppid=16052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16054/stat : 16054 (run) S 16052 16054 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812553 9367552 269 33554432000 4194304 5064252 140733523680192 140733523679104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16054/statm: 2287 269 229 213 0 72 0
[pid=16055] ppid=16054 vsize=212352 CPUtime=1616.63 cores=0,2,4,6
/proc/16055/stat : 16055 (pb_cplex) R 16054 16054 15880 0 -1 4202496 116034 0 0 0 161220 443 0 0 20 0 8 0 390812553 217448448 29980 33554432000 134512640 146736320 4294909040 4294901904 136008172 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16055/statm: 53088 29980 984 2985 0 50022 0
[pid=16055/tid=16071] ppid=16054 vsize=212352 CPUtime=185.03 cores=0,2,4,6
/proc/16055/task/16071/stat : 16071 (pb_cplex) R 16054 16054 15880 0 -1 4202560 7698 0 0 0 18448 55 0 0 20 0 8 0 390813542 217448448 29980 33554432000 134512640 146736320 4294909040 4067418320 136008165 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16055/tid=16072] ppid=16054 vsize=212352 CPUtime=207.39 cores=0,2,4,6
/proc/16055/task/16072/stat : 16072 (pb_cplex) R 16054 16054 15880 0 -1 4202560 12852 0 0 0 20686 53 0 0 20 0 8 0 390813542 217448448 29980 33554432000 134512640 146736320 4294909040 4134818000 136008050 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16073] ppid=16054 vsize=212352 CPUtime=193.3 cores=0,2,4,6
/proc/16055/task/16073/stat : 16073 (pb_cplex) R 16054 16054 15880 0 -1 4202560 6772 0 0 0 19276 54 0 0 20 0 8 0 390813542 217448448 29980 33554432000 134512640 146736320 4294909040 4145303760 136008061 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16055/tid=16074] ppid=16054 vsize=212352 CPUtime=200.08 cores=0,2,4,6
/proc/16055/task/16074/stat : 16074 (pb_cplex) R 16054 16054 15880 0 -1 4202560 12382 0 0 0 19949 59 0 0 20 0 8 0 390813542 217448448 29980 33554432000 134512640 146736320 4294909040 4116471920 136384895 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16055/tid=16075] ppid=16054 vsize=212352 CPUtime=189.16 cores=0,2,4,6
/proc/16055/task/16075/stat : 16075 (pb_cplex) R 16054 16054 15880 0 -1 4202560 22278 0 0 0 18862 54 0 0 20 0 8 0 390813542 217448448 29980 33554432000 134512640 146736320 4294909040 4053951464 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16076] ppid=16054 vsize=212352 CPUtime=204.99 cores=0,2,4,6
/proc/16055/task/16076/stat : 16076 (pb_cplex) R 16054 16054 15880 0 -1 4202560 12491 0 0 0 20442 57 0 0 20 0 8 0 390813542 217448448 29980 33554432000 134512640 146736320 4294909040 4043464912 136008335 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16055/tid=16077] ppid=16054 vsize=212352 CPUtime=205.59 cores=0,2,4,6
/proc/16055/task/16077/stat : 16077 (pb_cplex) R 16054 16054 15880 0 -1 4202560 5596 0 0 0 20503 56 0 0 20 0 8 0 390813542 217448448 29980 33554432000 134512640 146736320 4294909040 4032979536 136403112 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1616.63
Current children cumulated vsize (KiB) 221500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+513 s]
/proc/loadavg: 11.76 9.67 5.08 17/193 17023
/proc/meminfo: memFree=26749336/32873648 swapFree=7376/7376
[pid=16054] ppid=16052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16054/stat : 16054 (run) S 16052 16054 15880 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812553 9367552 269 33554432000 4194304 5064252 140733523680192 140733523679104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16054/statm: 2287 269 229 213 0 72 0
[pid=16055] ppid=16054 vsize=214588 CPUtime=1800.28 cores=0,2,4,6
/proc/16055/stat : 16055 (pb_cplex) R 16054 16054 15880 0 -1 4202496 118984 0 0 0 179545 483 0 0 20 0 8 0 390812553 219738112 30524 33554432000 134512640 146736320 4294909040 4294901904 136008039 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16055/statm: 53647 30524 984 2985 0 50581 0
[pid=16055/tid=16071] ppid=16054 vsize=214588 CPUtime=208.22 cores=0,2,4,6
/proc/16055/task/16071/stat : 16071 (pb_cplex) R 16054 16054 15880 0 -1 4202560 7937 0 0 0 20760 62 0 0 20 0 8 0 390813542 219738112 30524 33554432000 134512640 146736320 4294909040 4067418180 136385185 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16072] ppid=16054 vsize=214588 CPUtime=229.63 cores=0,2,4,6
/proc/16055/task/16072/stat : 16072 (pb_cplex) R 16054 16054 15880 0 -1 4202560 13749 0 0 0 22904 59 0 0 20 0 8 0 390813542 219738112 30524 33554432000 134512640 146736320 4294909040 4134818000 136008065 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16055/tid=16073] ppid=16054 vsize=214588 CPUtime=216.11 cores=0,2,4,6
/proc/16055/task/16073/stat : 16073 (pb_cplex) R 16054 16054 15880 0 -1 4202560 6772 0 0 0 21551 60 0 0 20 0 8 0 390813542 219738112 30524 33554432000 134512640 146736320 4294909040 4145302716 135526863 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16074] ppid=16054 vsize=214588 CPUtime=223.16 cores=0,2,4,6
/proc/16055/task/16074/stat : 16074 (pb_cplex) R 16054 16054 15880 0 -1 4202560 12459 0 0 0 22251 65 0 0 20 0 8 0 390813542 219738112 30524 33554432000 134512640 146736320 4294909040 4116472808 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=16055/tid=16075] ppid=16054 vsize=214588 CPUtime=212.4 cores=0,2,4,6
/proc/16055/task/16075/stat : 16075 (pb_cplex) R 16054 16054 15880 0 -1 4202560 22686 0 0 0 21181 59 0 0 20 0 8 0 390813542 219738112 30524 33554432000 134512640 146736320 4294909040 4053951464 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16055/tid=16076] ppid=16054 vsize=214588 CPUtime=227.84 cores=0,2,4,6
/proc/16055/task/16076/stat : 16076 (pb_cplex) R 16054 16054 15880 0 -1 4202560 13209 0 0 0 22723 61 0 0 20 0 8 0 390813542 219738112 30524 33554432000 134512640 146736320 4294909040 4043464912 136008053 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=16055/tid=16077] ppid=16054 vsize=214588 CPUtime=228.68 cores=0,2,4,6
/proc/16055/task/16077/stat : 16077 (pb_cplex) R 16054 16054 15880 0 -1 4202560 5938 0 0 0 22808 60 0 0 20 0 8 0 390813542 219738112 30524 33554432000 134512640 146736320 4294909040 4032979400 136001712 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 223736

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

Real time (s): 513.016
CPU time (s): 1800.28
CPU user time (s): 1795.45
CPU system time (s): 4.83
CPU usage (%): 350.921
Max. virtual memory (cumulated for all children) (KiB): 224548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
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= 1
involuntary context switches= 1

runsolver used 1.39279 second user time and 3.2935 second system time

The end

Launcher Data 

Begin job on node125 at 2012-06-09 15:01:11
IDJOB=3731521
IDBENCH=1961
IDSOLVER=2325
FILE ID=node125/3731521-1339246871
RUNJOBID= node125-1339246835-15897
PBS_JOBID= 14644356
Free space on /tmp= 68696 MiB

SOLVER NAME= PB10: pb_cplex 2010-06-29
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731521-1339246871/watcher-3731521-1339246871 -o /tmp/evaluation-result-3731521-1339246871/solver-3731521-1339246871 -C 1800 -W 1900 -M 15500  run HOME/instance-3731521-1339246871.opb

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

MD5SUM BENCH= 6549a0bbc5c463b1b909374436b51d65
RANDOM SEED=241111573

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26878572 kB
Buffers:          795224 kB
Cached:          4171136 kB
SwapCached:         1248 kB
Active:          4531252 kB
Inactive:         499696 kB
Active(anon):      53092 kB
Inactive(anon):     7424 kB
Active(file):    4478160 kB
Inactive(file):   492272 kB
Unevictable:        7376 kB
Mlocked:            7376 kB
SwapTotal:      67108856 kB
SwapFree:       67102600 kB
Dirty:             16444 kB
Writeback:             0 kB
AnonPages:         64444 kB
Mapped:            15036 kB
Shmem:                96 kB
Slab:             824524 kB
SReclaimable:     268108 kB
SUnreclaim:       556416 kB
KernelStack:        1608 kB
PageTables:         4076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     217640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3731521-1339246871.opb

Free space on /tmp at the end= 68680 MiB
End job on node125 at 2012-06-09 15:09:46