Trace number 3731752

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.13 509.516

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
MD5SUMe9984c89af246abdf2b2a4294753ea30
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1042
Best CPU time to get the best result obtained on this benchmark1796.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1036
Optimality of the best value was proved NO
Number of variables1963
Total number of constraints4000
Number of constraints which are clauses4000
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 1963
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 1963
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 1963
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-3731752-1339247000.opb.
0.00/0.00	c Instance file HOME/instance-3731752-1339247000.opb
0.00/0.00	c File size is 112303 bytes.
0.00/0.37	c Highest Coefficient sum: 3
0.00/0.37	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.38	c ============================[ Problem Statistics ]=============================
0.00/0.38	c |                                                                             |
0.00/0.38	c |  Parsing time:          0.38         s                                      |
0.00/0.38	c |  Number Variables:      1963                                                |
0.00/0.38	c |  Number Constraints:    4000                                                |
0.00/0.38	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-3731752-1339247000/watcher-3731752-1339247000 -o /tmp/evaluation-result-3731752-1339247000/solver-3731752-1339247000 -C 1800 -W 1900 -M 15500 run HOME/instance-3731752-1339247000.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: 6.76 2.34 0.84 6/185 6476
/proc/meminfo: memFree=22039284/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0

[startup+0.0843689 s]
/proc/loadavg: 6.76 2.34 0.84 6/185 6476
/proc/meminfo: memFree=22039284/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100372 s]
/proc/loadavg: 6.76 2.34 0.84 6/185 6476
/proc/meminfo: memFree=22039284/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30028 s]
/proc/loadavg: 6.76 2.34 0.84 6/185 6476
/proc/meminfo: memFree=22039284/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70021 s]
/proc/loadavg: 6.76 2.34 0.84 6/185 6476
/proc/meminfo: memFree=22039284/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50025 s]
/proc/loadavg: 6.76 2.34 0.84 11/187 6478
/proc/meminfo: memFree=23483884/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0
[pid=6477] ppid=6476 vsize=22968 CPUtime=1.49 cores=1,3,5,7
/proc/6477/stat : 6477 (pb_cplex) R 6476 6476 6062 0 -1 4202496 5693 0 0 0 148 1 0 0 20 0 1 0 390824392 23519232 3030 33554432000 134512640 146736320 4292190624 4292184732 135855174 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/6477/statm: 5742 3030 912 2985 0 2676 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32116

[startup+3.10022 s]
/proc/loadavg: 6.76 2.34 0.84 10/187 6478
/proc/meminfo: memFree=24283436/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0
[pid=6477] ppid=6476 vsize=23080 CPUtime=3.09 cores=1,3,5,7
/proc/6477/stat : 6477 (pb_cplex) R 6476 6476 6062 0 -1 4202496 6316 0 0 0 308 1 0 0 20 0 1 0 390824392 23633920 3070 33554432000 134512640 146736320 4292190624 4292185096 136000490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/6477/statm: 5770 3070 912 2985 0 2704 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32228

[startup+6.30021 s]
/proc/loadavg: 6.94 2.45 0.88 4/187 6478
/proc/meminfo: memFree=24281584/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0
[pid=6477] ppid=6476 vsize=25280 CPUtime=6.28 cores=1,3,5,7
/proc/6477/stat : 6477 (pb_cplex) R 6476 6476 6062 0 -1 4202496 8006 0 0 0 627 1 0 0 20 0 1 0 390824392 25886720 3496 33554432000 134512640 146736320 4292190624 4292186460 136406027 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/6477/statm: 6320 3496 913 2985 0 3254 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34428

[startup+12.7002 s]
/proc/loadavg: 7.10 2.56 0.93 8/187 6478
/proc/meminfo: memFree=24277740/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0
[pid=6477] ppid=6476 vsize=23640 CPUtime=12.69 cores=1,3,5,7
/proc/6477/stat : 6477 (pb_cplex) R 6476 6476 6062 0 -1 4202496 11937 0 0 0 1267 2 0 0 20 0 1 0 390824392 24207360 3199 33554432000 134512640 146736320 4292190624 4292184060 135453309 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/6477/statm: 5910 3199 914 2985 0 2844 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32788

[startup+25.5005 s]
/proc/loadavg: 8.52 3.09 1.12 17/194 6485
/proc/meminfo: memFree=24232532/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0
[pid=6477] ppid=6476 vsize=135200 CPUtime=48.49 cores=1,3,5,7
/proc/6477/stat : 6477 (pb_cplex) R 6476 6476 6062 0 -1 4202496 20151 0 0 0 4835 14 0 0 20 0 8 0 390824392 138444800 10430 33554432000 134512640 146736320 4292190624 4292183364 136385183 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6477/statm: 33800 10430 945 2985 0 30734 0
[pid=6477/tid=6479] ppid=6476 vsize=135200 CPUtime=4.3 cores=1,3,5,7
/proc/6477/task/6479/stat : 6479 (pb_cplex) R 6476 6476 6062 0 -1 4202560 642 0 0 0 429 1 0 0 20 0 8 0 390825840 138444800 10430 33554432000 134512640 146736320 4292190624 4149395672 136008647 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6477/tid=6480] ppid=6476 vsize=135200 CPUtime=4.96 cores=1,3,5,7
/proc/6477/task/6480/stat : 6480 (pb_cplex) R 6476 6476 6062 0 -1 4202560 586 0 0 0 495 1 0 0 20 0 8 0 390825840 138444800 10430 33554432000 134512640 146736320 4292190624 4138908524 135456843 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6477/tid=6481] ppid=6476 vsize=135200 CPUtime=4.31 cores=1,3,5,7
/proc/6477/task/6481/stat : 6481 (pb_cplex) R 6476 6476 6062 0 -1 4202560 738 0 0 0 429 2 0 0 20 0 8 0 390825840 138444800 10430 33554432000 134512640 146736320 4292190624 4128423848 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6477/tid=6482] ppid=6476 vsize=135200 CPUtime=3.89 cores=1,3,5,7
/proc/6477/task/6482/stat : 6482 (pb_cplex) R 6476 6476 6062 0 -1 4202560 608 0 0 0 389 0 0 0 20 0 8 0 390825840 138444800 10430 33554432000 134512640 146736320 4292190624 4117938384 136008364 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6477/tid=6483] ppid=6476 vsize=135200 CPUtime=3.73 cores=1,3,5,7
/proc/6477/task/6483/stat : 6483 (pb_cplex) R 6476 6476 6062 0 -1 4202560 802 0 0 0 372 1 0 0 20 0 8 0 390825840 138444800 10430 33554432000 134512640 146736320 4292190624 4107453416 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6477/tid=6484] ppid=6476 vsize=135200 CPUtime=3.47 cores=1,3,5,7
/proc/6477/task/6484/stat : 6484 (pb_cplex) R 6476 6476 6062 0 -1 4202560 687 0 0 0 346 1 0 0 20 0 8 0 390825840 138444800 10430 33554432000 134512640 146736320 4292190624 4096966728 139042902 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6477/tid=6485] ppid=6476 vsize=135200 CPUtime=3.37 cores=1,3,5,7
/proc/6477/task/6485/stat : 6485 (pb_cplex) R 6476 6476 6062 0 -1 4202560 665 0 0 0 336 1 0 0 20 0 8 0 390825840 138444800 10430 33554432000 134512640 146736320 4292190624 4086481488 136403109 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 48.49
Current children cumulated vsize (KiB) 144348

############
# WARNING:
# current cumulated CPU time (89.9 s) is less than in the last sample (89.96 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.0600052 s) to the 'lost time'.

[startup+37.0004 s]
/proc/loadavg: 8.59 3.28 1.21 13/194 6485
/proc/meminfo: memFree=24215032/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0
[pid=6477] ppid=6476 vsize=135200 CPUtime=89.96 cores=1,3,5,7
/proc/6477/stat : 6477 (pb_cplex) S 6476 6476 6062 0 -1 4202496 20682 0 0 0 8971 25 0 0 20 0 8 0 390824392 138444800 10561 33554432000 134512640 146736320 4292190624 4292187024 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6477/statm: 33800 10561 945 2985 0 30734 0
[pid=6477/tid=6479] ppid=6476 vsize=135200 CPUtime=9.49 cores=1,3,5,7
/proc/6477/task/6479/stat : 6479 (pb_cplex) S 6476 6476 6062 0 -1 4202560 670 0 0 0 947 2 0 0 20 0 8 0 390825840 138444800 10561 33554432000 134512640 146736320 4292190624 4149399184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6477/tid=6480] ppid=6476 vsize=135200 CPUtime=9.35 cores=1,3,5,7
/proc/6477/task/6480/stat : 6480 (pb_cplex) S 6476 6476 6062 0 -1 4202560 677 0 0 0 933 2 0 0 20 0 8 0 390825840 138444800 10561 33554432000 134512640 146736320 4292190624 4138913424 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6477/tid=6481] ppid=6476 vsize=135200 CPUtime=9.72 cores=1,3,5,7
/proc/6477/task/6481/stat : 6481 (pb_cplex) S 6476 6476 6062 0 -1 4202560 805 0 0 0 966 6 0 0 20 0 8 0 390825840 138444800 10561 33554432000 134512640 146736320 4292190624 4128427664 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6477/tid=6482] ppid=6476 vsize=135200 CPUtime=8.51 cores=1,3,5,7
/proc/6477/task/6482/stat : 6482 (pb_cplex) S 6476 6476 6062 0 -1 4202560 698 0 0 0 850 1 0 0 20 0 8 0 390825840 138444800 10561 33554432000 134512640 146736320 4292190624 4117941904 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6477/tid=6483] ppid=6476 vsize=135200 CPUtime=9.17 cores=1,3,5,7
/proc/6477/task/6483/stat : 6483 (pb_cplex) S 6476 6476 6062 0 -1 4202560 901 0 0 0 916 1 0 0 20 0 8 0 390825840 138444800 10561 33554432000 134512640 146736320 4292190624 4107456144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6477/tid=6484] ppid=6476 vsize=135200 CPUtime=10.25 cores=1,3,5,7
/proc/6477/task/6484/stat : 6484 (pb_cplex) S 6476 6476 6062 0 -1 4202560 783 0 0 0 1023 2 0 0 20 0 8 0 390825840 138444800 10561 33554432000 134512640 146736320 4292190624 4096970384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6477/tid=6485] ppid=6476 vsize=135200 CPUtime=8.79 cores=1,3,5,7
/proc/6477/task/6485/stat : 6485 (pb_cplex) R 6476 6476 6062 0 -1 4202560 725 0 0 0 876 3 0 0 20 0 8 0 390825840 138444800 10561 33554432000 134512640 146736320 4292190624 4086480964 136385172 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 89.96
Current children cumulated vsize (KiB) 144348

[startup+37.1004 s]
/proc/loadavg: 8.59 3.28 1.21 13/194 6485
/proc/meminfo: memFree=24215032/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0
[pid=6477] ppid=6476 vsize=86296 CPUtime=89.9 cores=1,3,5,7
/proc/6477/stat : 6477 (pb_cplex) R 6476 6476 6062 0 -1 4202496 20707 0 0 0 8959 31 0 0 20 0 1 0 390824392 88367104 7177 33554432000 134512640 146736320 4292190624 4292185308 135855193 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/6477/statm: 21574 7177 947 2985 0 18508 0
Current children cumulated CPU time (s) 89.9
Current children cumulated vsize (KiB) 95444
#
############


[startup+51.1004 s]
/proc/loadavg: 8.69 3.56 1.33 10/194 6492
/proc/meminfo: memFree=24205964/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0
[pid=6477] ppid=6476 vsize=117016 CPUtime=103.89 cores=1,3,5,7
/proc/6477/stat : 6477 (pb_cplex) R 6476 6476 6062 0 -1 4202496 21392 0 0 0 10357 32 0 0 20 0 8 0 390824392 119824384 7833 33554432000 134512640 146736320 4292190624 4292184296 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6477/statm: 29254 7833 961 2985 0 26188 0
[pid=6477/tid=6486] ppid=6476 vsize=117016 CPUtime=0 cores=1,3,5,7
/proc/6477/task/6486/stat : 6486 (pb_cplex) S 6476 6476 6062 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390829267 119824384 7833 33554432000 134512640 146736320 4292190624 4086484624 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6477/tid=6487] ppid=6476 vsize=117016 CPUtime=0 cores=1,3,5,7
/proc/6477/task/6487/stat : 6487 (pb_cplex) S 6476 6476 6062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390829267 119824384 7833 33554432000 134512640 146736320 4292190624 4096970384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6477/tid=6488] ppid=6476 vsize=117016 CPUtime=0 cores=1,3,5,7

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

[pid=6477/tid=6490] ppid=6476 vsize=215888 CPUtime=103.14 cores=1,3,5,7
/proc/6477/task/6490/stat : 6490 (pb_cplex) R 6476 6476 6062 0 -1 4202560 7237 0 0 0 10274 40 0 0 20 0 8 0 390829267 221069312 26094 33554432000 134512640 146736320 4292190624 4151694728 136388073 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6477/tid=6491] ppid=6476 vsize=215888 CPUtime=104.96 cores=1,3,5,7
/proc/6477/task/6491/stat : 6491 (pb_cplex) R 6476 6476 6062 0 -1 4202560 9721 0 0 0 10452 44 0 0 20 0 8 0 390829267 221069312 26094 33554432000 134512640 146736320 4292190624 4141210524 144785853 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6477/tid=6492] ppid=6476 vsize=215888 CPUtime=103.64 cores=1,3,5,7
/proc/6477/task/6492/stat : 6492 (pb_cplex) R 6476 6476 6062 0 -1 4202560 10053 0 0 0 10326 38 0 0 20 0 8 0 390829267 221069312 26094 33554432000 134512640 146736320 4292190624 4130724848 137317825 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 938.8
Current children cumulated vsize (KiB) 225036

[startup+342.3 s]
/proc/loadavg: 12.55 9.11 4.30 9/193 6493
/proc/meminfo: memFree=23710860/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0
[pid=6477] ppid=6476 vsize=216096 CPUtime=1178.33 cores=1,3,5,7
/proc/6477/stat : 6477 (pb_cplex) R 6476 6476 6062 0 -1 4202496 104548 0 0 0 117463 370 0 0 20 0 8 0 390824392 221282304 27818 33554432000 134512640 146736320 4292190624 4292179144 139042876 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6477/statm: 54024 27818 984 2985 0 50958 0
[pid=6477/tid=6486] ppid=6476 vsize=216096 CPUtime=137.6 cores=1,3,5,7
/proc/6477/task/6486/stat : 6486 (pb_cplex) R 6476 6476 6062 0 -1 4202560 6795 0 0 0 13719 41 0 0 20 0 8 0 390829267 221282304 27818 33554432000 134512640 146736320 4292190624 4086477916 135855197 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6477/tid=6487] ppid=6476 vsize=216096 CPUtime=140.61 cores=1,3,5,7
/proc/6477/task/6487/stat : 6487 (pb_cplex) R 6476 6476 6062 0 -1 4202560 13768 0 0 0 14016 45 0 0 20 0 8 0 390829267 221282304 27818 33554432000 134512640 146736320 4292190624 4096962648 136008642 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=6477/tid=6488] ppid=6476 vsize=216096 CPUtime=103.57 cores=1,3,5,7
/proc/6477/task/6488/stat : 6488 (pb_cplex) S 6476 6476 6062 0 -1 4202560 10589 0 0 0 10311 46 0 0 20 0 8 0 390829267 221282304 27818 33554432000 134512640 146736320 4292190624 4107456144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6477/tid=6489] ppid=6476 vsize=216096 CPUtime=138.2 cores=1,3,5,7
/proc/6477/task/6489/stat : 6489 (pb_cplex) R 6476 6476 6062 0 -1 4202560 12415 0 0 0 13782 38 0 0 20 0 8 0 390829267 221282304 27818 33554432000 134512640 146736320 4292190624 4117934228 136003522 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6477/tid=6490] ppid=6476 vsize=216096 CPUtime=137.61 cores=1,3,5,7
/proc/6477/task/6490/stat : 6490 (pb_cplex) R 6476 6476 6062 0 -1 4202560 8077 0 0 0 13717 44 0 0 20 0 8 0 390829267 221282304 27818 33554432000 134512640 146736320 4292190624 4151693392 136008443 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6477/tid=6491] ppid=6476 vsize=216096 CPUtime=138.6 cores=1,3,5,7
/proc/6477/task/6491/stat : 6491 (pb_cplex) R 6476 6476 6062 0 -1 4202560 16105 0 0 0 13812 48 0 0 20 0 8 0 390829267 221282304 27818 33554432000 134512640 146736320 4292190624 4141207536 136384892 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6477/tid=6492] ppid=6476 vsize=216096 CPUtime=137.53 cores=1,3,5,7
/proc/6477/task/6492/stat : 6492 (pb_cplex) R 6476 6476 6062 0 -1 4202560 11608 0 0 0 13713 40 0 0 20 0 8 0 390829267 221282304 27818 33554432000 134512640 146736320 4292190624 4130721704 139044532 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1178.33
Current children cumulated vsize (KiB) 225244

[startup+402.3 s]
/proc/loadavg: 11.29 9.33 4.67 14/194 6496
/proc/meminfo: memFree=23630584/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0
[pid=6477] ppid=6476 vsize=216288 CPUtime=1417.84 cores=1,3,5,7
/proc/6477/stat : 6477 (pb_cplex) R 6476 6476 6062 0 -1 4202496 121560 0 0 0 141393 391 0 0 20 0 8 0 390824392 221478912 28811 33554432000 134512640 146736320 4292190624 4292179664 136403109 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6477/statm: 54072 28811 984 2985 0 51006 0
[pid=6477/tid=6486] ppid=6476 vsize=216288 CPUtime=173 cores=1,3,5,7
/proc/6477/task/6486/stat : 6486 (pb_cplex) R 6476 6476 6062 0 -1 4202560 8094 0 0 0 17258 42 0 0 20 0 8 0 390829267 221478912 28811 33554432000 134512640 146736320 4292190624 4086476784 136384892 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6477/tid=6487] ppid=6476 vsize=216288 CPUtime=176.18 cores=1,3,5,7
/proc/6477/task/6487/stat : 6487 (pb_cplex) R 6476 6476 6062 0 -1 4202560 17019 0 0 0 17569 49 0 0 20 0 8 0 390829267 221478912 28811 33554432000 134512640 146736320 4292190624 4096961416 136474934 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=6477/tid=6488] ppid=6476 vsize=216288 CPUtime=103.57 cores=1,3,5,7
/proc/6477/task/6488/stat : 6488 (pb_cplex) S 6476 6476 6062 0 -1 4202560 10589 0 0 0 10311 46 0 0 20 0 8 0 390829267 221478912 28811 33554432000 134512640 146736320 4292190624 4107456144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6477/tid=6489] ppid=6476 vsize=216288 CPUtime=174.95 cores=1,3,5,7
/proc/6477/task/6489/stat : 6489 (pb_cplex) R 6476 6476 6062 0 -1 4202560 14649 0 0 0 17454 41 0 0 20 0 8 0 390829267 221478912 28811 33554432000 134512640 146736320 4292190624 4117934408 136000487 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6477/tid=6490] ppid=6476 vsize=216288 CPUtime=159.24 cores=1,3,5,7
/proc/6477/task/6490/stat : 6490 (pb_cplex) S 6476 6476 6062 0 -1 4202560 8771 0 0 0 15877 47 0 0 20 0 8 0 390829267 221478912 28811 33554432000 134512640 146736320 4292190624 4151701136 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6477/tid=6491] ppid=6476 vsize=216288 CPUtime=174.79 cores=1,3,5,7
/proc/6477/task/6491/stat : 6491 (pb_cplex) R 6476 6476 6062 0 -1 4202560 16244 0 0 0 17427 52 0 0 20 0 8 0 390829267 221478912 28811 33554432000 134512640 146736320 4292190624 4141207640 136008929 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=6477/tid=6492] ppid=6476 vsize=216288 CPUtime=174.17 cores=1,3,5,7
/proc/6477/task/6492/stat : 6492 (pb_cplex) R 6476 6476 6062 0 -1 4202560 15669 0 0 0 17374 43 0 0 20 0 8 0 390829267 221478912 28811 33554432000 134512640 146736320 4292190624 4130722668 144785853 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1417.84
Current children cumulated vsize (KiB) 225436

[startup+462.3 s]
/proc/loadavg: 12.83 10.05 5.20 11/193 6497
/proc/meminfo: memFree=23596484/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0
[pid=6477] ppid=6476 vsize=158476 CPUtime=1628.73 cores=1,3,5,7
/proc/6477/stat : 6477 (pb_cplex) R 6476 6476 6062 0 -1 4202496 141110 0 0 0 162412 461 0 0 20 0 8 0 390824392 162279424 17582 33554432000 134512640 146736320 4292190624 4292184296 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6477/statm: 39619 17582 984 2985 0 36553 0
[pid=6477/tid=6486] ppid=6476 vsize=158476 CPUtime=205.47 cores=1,3,5,7
/proc/6477/task/6486/stat : 6486 (pb_cplex) R 6476 6476 6062 0 -1 4202560 8153 0 0 0 20496 51 0 0 20 0 8 0 390829267 162279424 17582 33554432000 134512640 146736320 4292190624 4086480936 139044585 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6477/tid=6487] ppid=6476 vsize=158476 CPUtime=207 cores=1,3,5,7
/proc/6477/task/6487/stat : 6487 (pb_cplex) R 6476 6476 6062 0 -1 4202560 17071 0 0 0 20640 60 0 0 20 0 8 0 390829267 162279424 17582 33554432000 134512640 146736320 4292190624 4096965636 136385174 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=6477/tid=6488] ppid=6476 vsize=158476 CPUtime=116.89 cores=1,3,5,7
/proc/6477/task/6488/stat : 6488 (pb_cplex) R 6476 6476 6062 0 -1 4202560 13856 0 0 0 11636 53 0 0 20 0 8 0 390829267 162279424 17582 33554432000 134512640 146736320 4292190624 4107453008 136403109 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6477/tid=6489] ppid=6476 vsize=158476 CPUtime=195.54 cores=1,3,5,7
/proc/6477/task/6489/stat : 6489 (pb_cplex) R 6476 6476 6062 0 -1 4202560 14738 0 0 0 19508 46 0 0 20 0 8 0 390829267 162279424 17582 33554432000 134512640 146736320 4292190624 4117938392 136009206 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6477/tid=6490] ppid=6476 vsize=158476 CPUtime=173.71 cores=1,3,5,7
/proc/6477/task/6490/stat : 6490 (pb_cplex) R 6476 6476 6062 0 -1 4202560 8772 0 0 0 17317 54 0 0 20 0 8 0 390829267 162279424 17582 33554432000 134512640 146736320 4292190624 4151697500 135855165 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=6477/tid=6491] ppid=6476 vsize=158476 CPUtime=212.78 cores=1,3,5,7
/proc/6477/task/6491/stat : 6491 (pb_cplex) R 6476 6476 6062 0 -1 4202560 21455 0 0 0 21213 65 0 0 20 0 8 0 390829267 162279424 17582 33554432000 134512640 146736320 4292190624 4141212240 136403112 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6477/tid=6492] ppid=6476 vsize=158476 CPUtime=212.38 cores=1,3,5,7
/proc/6477/task/6492/stat : 6492 (pb_cplex) R 6476 6476 6062 0 -1 4202560 26345 0 0 0 21180 58 0 0 20 0 8 0 390829267 162279424 17582 33554432000 134512640 146736320 4292190624 4130726528 138423317 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1628.73
Current children cumulated vsize (KiB) 167624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+509.5 s]
/proc/loadavg: 9.57 9.60 5.30 10/186 6547
/proc/meminfo: memFree=24658088/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0
[pid=6477] ppid=6476 vsize=160000 CPUtime=1800.07 cores=1,3,5,7
/proc/6477/stat : 6477 (pb_cplex) R 6476 6476 6062 0 -1 4202496 155107 0 0 0 179496 511 0 0 20 0 8 0 390824392 163840000 17861 33554432000 134512640 146736320 4292190624 4292183752 136000488 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6477/statm: 40000 17861 984 2985 0 36934 0
[pid=6477/tid=6486] ppid=6476 vsize=160000 CPUtime=226.81 cores=1,3,5,7
/proc/6477/task/6486/stat : 6486 (pb_cplex) R 6476 6476 6062 0 -1 4202560 8204 0 0 0 22624 57 0 0 20 0 8 0 390829267 163840000 17861 33554432000 134512640 146736320 4292190624 4086481352 136000333 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6477/tid=6487] ppid=6476 vsize=160000 CPUtime=229.04 cores=1,3,5,7
/proc/6477/task/6487/stat : 6487 (pb_cplex) R 6476 6476 6062 0 -1 4202560 17071 0 0 0 22839 65 0 0 20 0 8 0 390829267 163840000 17861 33554432000 134512640 146736320 4292190624 4096966872 136009167 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=6477/tid=6488] ppid=6476 vsize=160000 CPUtime=138.88 cores=1,3,5,7
/proc/6477/task/6488/stat : 6488 (pb_cplex) R 6476 6476 6062 0 -1 4202560 18304 0 0 0 13826 62 0 0 20 0 8 0 390829267 163840000 17861 33554432000 134512640 146736320 4292190624 4107452624 136008413 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6477/tid=6489] ppid=6476 vsize=160000 CPUtime=217.13 cores=1,3,5,7
/proc/6477/task/6489/stat : 6489 (pb_cplex) R 6476 6476 6062 0 -1 4202560 14738 0 0 0 21661 52 0 0 20 0 8 0 390829267 163840000 17861 33554432000 134512640 146736320 4292190624 4117939176 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6477/tid=6490] ppid=6476 vsize=160000 CPUtime=194.53 cores=1,3,5,7
/proc/6477/task/6490/stat : 6490 (pb_cplex) R 6476 6476 6062 0 -1 4202560 8772 0 0 0 19393 60 0 0 20 0 8 0 390829267 163840000 17861 33554432000 134512640 146736320 4292190624 4151696596 135455297 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=6477/tid=6491] ppid=6476 vsize=160000 CPUtime=233.76 cores=1,3,5,7
/proc/6477/task/6491/stat : 6491 (pb_cplex) R 6476 6476 6062 0 -1 4202560 28675 0 0 0 23302 74 0 0 20 0 8 0 390829267 163840000 17861 33554432000 134512640 146736320 4292190624 4141211924 136003493 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6477/tid=6492] ppid=6476 vsize=160000 CPUtime=232.79 cores=1,3,5,7
/proc/6477/task/6492/stat : 6492 (pb_cplex) R 6476 6476 6062 0 -1 4202560 28583 0 0 0 23215 64 0 0 20 0 8 0 390829267 163840000 17861 33554432000 134512640 146736320 4292190624 4130725008 136008111 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 169148

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

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

[startup+509.5 s]
/proc/loadavg: 9.57 9.60 5.30 10/186 6547
/proc/meminfo: memFree=24658088/32873844 swapFree=7628/7628
[pid=6476] ppid=6474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6476/stat : 6476 (run) S 6474 6476 6062 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390824392 9367552 270 33554432000 4194304 5064252 140733750865616 140733750864528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6476/statm: 2287 270 229 213 0 72 0
[pid=6477] ppid=6476 vsize=160000 CPUtime=1800.07 cores=1,3,5,7
/proc/6477/stat : 6477 (pb_cplex) R 6476 6476 6062 0 -1 4202496 155107 0 0 0 179496 511 0 0 20 0 8 0 390824392 163840000 17861 33554432000 134512640 146736320 4292190624 4292183752 136000488 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6477/statm: 40000 17861 984 2985 0 36934 0
[pid=6477/tid=6486] ppid=6476 vsize=160000 CPUtime=226.81 cores=1,3,5,7
/proc/6477/task/6486/stat : 6486 (pb_cplex) R 6476 6476 6062 0 -1 4202560 8204 0 0 0 22624 57 0 0 20 0 8 0 390829267 163840000 17861 33554432000 134512640 146736320 4292190624 4086481352 136000333 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6477/tid=6487] ppid=6476 vsize=160000 CPUtime=229.04 cores=1,3,5,7
/proc/6477/task/6487/stat : 6487 (pb_cplex) R 6476 6476 6062 0 -1 4202560 17071 0 0 0 22839 65 0 0 20 0 8 0 390829267 163840000 17861 33554432000 134512640 146736320 4292190624 4096966872 136009167 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=6477/tid=6488] ppid=6476 vsize=160000 CPUtime=138.88 cores=1,3,5,7
/proc/6477/task/6488/stat : 6488 (pb_cplex) R 6476 6476 6062 0 -1 4202560 18304 0 0 0 13826 62 0 0 20 0 8 0 390829267 163840000 17861 33554432000 134512640 146736320 4292190624 4107452624 136008413 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6477/tid=6489] ppid=6476 vsize=160000 CPUtime=217.13 cores=1,3,5,7
/proc/6477/task/6489/stat : 6489 (pb_cplex) R 6476 6476 6062 0 -1 4202560 14738 0 0 0 21661 52 0 0 20 0 8 0 390829267 163840000 17861 33554432000 134512640 146736320 4292190624 4117939176 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6477/tid=6490] ppid=6476 vsize=160000 CPUtime=194.53 cores=1,3,5,7
/proc/6477/task/6490/stat : 6490 (pb_cplex) R 6476 6476 6062 0 -1 4202560 8772 0 0 0 19393 60 0 0 20 0 8 0 390829267 163840000 17861 33554432000 134512640 146736320 4292190624 4151696596 135455297 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=6477/tid=6491] ppid=6476 vsize=160000 CPUtime=233.76 cores=1,3,5,7
/proc/6477/task/6491/stat : 6491 (pb_cplex) R 6476 6476 6062 0 -1 4202560 28675 0 0 0 23302 74 0 0 20 0 8 0 390829267 163840000 17861 33554432000 134512640 146736320 4292190624 4141211924 136003493 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=6477/tid=6492] ppid=6476 vsize=160000 CPUtime=232.79 cores=1,3,5,7
/proc/6477/task/6492/stat : 6492 (pb_cplex) R 6476 6476 6062 0 -1 4202560 28583 0 0 0 23215 64 0 0 20 0 8 0 390829267 163840000 17861 33554432000 134512640 146736320 4292190624 4130725008 136008111 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 169148

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6476 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.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.0600052
#  lost CPU user time (s): 0.120003
#  lost CPU system time (s): -0.06

Real time (s): 509.516
CPU time (s): 1800.13
CPU user time (s): 1795.08
CPU system time (s): 5.05
CPU usage (%): 353.302
Max. virtual memory (cumulated for all children) (KiB): 228760

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

runsolver used 1.35079 second user time and 3.50647 second system time

The end

Launcher Data 

Begin job on node145 at 2012-06-09 15:03:20
IDJOB=3731752
IDBENCH=1982
IDSOLVER=2325
FILE ID=node145/3731752-1339247000
RUNJOBID= node145-1339246834-6079
PBS_JOBID= 14644336
Free space on /tmp= 68328 MiB

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

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

MD5SUM BENCH= e9984c89af246abdf2b2a4294753ea30
RANDOM SEED=2008729106

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
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	: 5313.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        21740872 kB
Buffers:          673404 kB
Cached:          8985008 kB
SwapCached:            4 kB
Active:          4372048 kB
Inactive:        5750712 kB
Active(anon):     447316 kB
Inactive(anon):    10868 kB
Active(file):    3924732 kB
Inactive(file):  5739844 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108852 kB
Dirty:             94508 kB
Writeback:             4 kB
AnonPages:        463300 kB
Mapped:            18628 kB
Shmem:               200 kB
Slab:             870188 kB
SReclaimable:     307952 kB
SUnreclaim:       562236 kB
KernelStack:        1536 kB
PageTables:         5128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     749276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 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-3731752-1339247000.opb

Free space on /tmp at the end= 69540 MiB
End job on node145 at 2012-06-09 15:11:50