Trace number 3732269

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.24 525.316

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
MD5SUMcca57c347e264f92fb70010109aa24c5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark96
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 104
Optimality of the best value was proved NO
Number of variables6139
Total number of constraints1437
Number of constraints which are clauses1437
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 constraint5
Maximum length of a constraint172
Number of terms in the objective function 6139
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 6139
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6139
Number of bits of the biggest sum of numbers13
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-3732269-1339247220.opb.
0.00/0.00	c Instance file HOME/instance-3732269-1339247220.opb
0.00/0.00	c File size is 1025835 bytes.
4.49/4.56	c Highest Coefficient sum: 173
4.49/4.56	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
4.49/4.57	c ============================[ Problem Statistics ]=============================
4.49/4.57	c |                                                                             |
4.49/4.57	c |  Parsing time:          4.57         s                                      |
4.49/4.57	c |  Number Variables:      6139                                                |
4.49/4.57	c |  Number Constraints:    1437                                                |
4.49/4.57	c ===============================================================================
1799.95/525.31	c Remaining time 1795.43 sec.
1799.95/525.31	c 
1799.95/525.31	c *** INTERRUPTED ***
1799.95/525.31	s UNKNOWN
1799.95/525.31	c Total CPU time              : 1796.31 s
1799.95/525.31	c Memory used           : 1002.82 MB
1799.95/525.31	c CPU time              : 1796.31 s
1799.95/525.31	c 
1799.95/525.31	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-3732269-1339247220/watcher-3732269-1339247220 -o /tmp/evaluation-result-3732269-1339247220/solver-3732269-1339247220 -C 1800 -W 1900 -M 15500 run HOME/instance-3732269-1339247220.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: 2.56 1.63 0.74 3/178 5788
/proc/meminfo: memFree=30484328/32873844 swapFree=7128/7128
[pid=5788] ppid=5786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5788/stat : 5788 (run) S 5786 5788 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390789008 9367552 269 33554432000 4194304 5064252 140737108839424 140737108838336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5788/statm: 2287 269 229 213 0 72 0

[startup+0.065664 s]
/proc/loadavg: 2.56 1.63 0.74 3/178 5788
/proc/meminfo: memFree=30484328/32873844 swapFree=7128/7128
[pid=5788] ppid=5786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5788/stat : 5788 (run) S 5786 5788 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390789008 9367552 269 33554432000 4194304 5064252 140737108839424 140737108838336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5788/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100292 s]
/proc/loadavg: 2.56 1.63 0.74 3/178 5788
/proc/meminfo: memFree=30484328/32873844 swapFree=7128/7128
[pid=5788] ppid=5786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5788/stat : 5788 (run) S 5786 5788 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390789008 9367552 269 33554432000 4194304 5064252 140737108839424 140737108838336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5788/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300238 s]
/proc/loadavg: 2.56 1.63 0.74 3/178 5788
/proc/meminfo: memFree=30484328/32873844 swapFree=7128/7128
[pid=5788] ppid=5786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5788/stat : 5788 (run) S 5786 5788 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390789008 9367552 269 33554432000 4194304 5064252 140737108839424 140737108838336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5788/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700236 s]
/proc/loadavg: 2.56 1.63 0.74 3/178 5788
/proc/meminfo: memFree=30484328/32873844 swapFree=7128/7128
[pid=5788] ppid=5786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5788/stat : 5788 (run) S 5786 5788 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390789008 9367552 269 33554432000 4194304 5064252 140737108839424 140737108838336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5788/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50022 s]
/proc/loadavg: 2.56 1.63 0.74 3/180 5790
/proc/meminfo: memFree=30482584/32873844 swapFree=7128/7128
[pid=5788] ppid=5786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5788/stat : 5788 (run) S 5786 5788 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390789008 9367552 269 33554432000 4194304 5064252 140737108839424 140737108838336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5788/statm: 2287 269 229 213 0 72 0
[pid=5789] ppid=5788 vsize=15356 CPUtime=1.49 cores=0,2,4,6
/proc/5789/stat : 5789 (pb_cplex) R 5788 5788 4085 0 -1 4202496 773 0 0 0 149 0 0 0 20 0 1 0 390789008 15724544 729 33554432000 134512640 146736320 4290971120 4290944544 140684755 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/5789/statm: 3839 729 298 2985 0 522 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24504

[startup+3.10027 s]
/proc/loadavg: 2.52 1.64 0.74 3/180 5790
/proc/meminfo: memFree=30482088/32873844 swapFree=7128/7128
[pid=5788] ppid=5786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5788/stat : 5788 (run) S 5786 5788 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390789008 9367552 269 33554432000 4194304 5064252 140737108839424 140737108838336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5788/statm: 2287 269 229 213 0 72 0
[pid=5789] ppid=5788 vsize=15488 CPUtime=3.09 cores=0,2,4,6
/proc/5789/stat : 5789 (pb_cplex) R 5788 5788 4085 0 -1 4202496 808 0 0 0 309 0 0 0 20 0 1 0 390789008 15859712 764 33554432000 134512640 146736320 4290971120 4290944412 134814122 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/5789/statm: 3872 764 298 2985 0 555 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24636

[startup+6.30027 s]
/proc/loadavg: 2.52 1.64 0.74 3/180 5790
/proc/meminfo: memFree=30465752/32873844 swapFree=7128/7128
[pid=5788] ppid=5786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5788/stat : 5788 (run) S 5786 5788 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390789008 9367552 269 33554432000 4194304 5064252 140737108839424 140737108838336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5788/statm: 2287 269 229 213 0 72 0
[pid=5789] ppid=5788 vsize=33576 CPUtime=6.29 cores=0,2,4,6
/proc/5789/stat : 5789 (pb_cplex) R 5788 5788 4085 0 -1 4202496 9194 0 0 0 628 1 0 0 20 0 1 0 390789008 34381824 5458 33554432000 134512640 146736320 4290971120 4290965768 139043347 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/5789/statm: 8394 5458 789 2985 0 5328 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42724

[startup+12.7003 s]
/proc/loadavg: 2.44 1.65 0.75 3/180 5790
/proc/meminfo: memFree=30452600/32873844 swapFree=7128/7128
[pid=5788] ppid=5786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5788/stat : 5788 (run) S 5786 5788 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390789008 9367552 269 33554432000 4194304 5064252 140737108839424 140737108838336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5788/statm: 2287 269 229 213 0 72 0
[pid=5789] ppid=5788 vsize=53176 CPUtime=12.69 cores=0,2,4,6
/proc/5789/stat : 5789 (pb_cplex) R 5788 5788 4085 0 -1 4202496 20628 0 0 0 1266 3 0 0 20 0 1 0 390789008 54452224 8601 33554432000 134512640 146736320 4290971120 4290964828 135855162 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/5789/statm: 13294 8601 898 2985 0 10228 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62324

[startup+25.5004 s]
/proc/loadavg: 2.37 1.66 0.77 10/187 5804
/proc/meminfo: memFree=30415976/32873844 swapFree=7128/7128
[pid=5788] ppid=5786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5788/stat : 5788 (run) S 5786 5788 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390789008 9367552 269 33554432000 4194304 5064252 140737108839424 140737108838336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5788/statm: 2287 269 229 213 0 72 0
[pid=5789] ppid=5788 vsize=165132 CPUtime=35.26 cores=0,2,4,6
/proc/5789/stat : 5789 (pb_cplex) R 5788 5788 4085 0 -1 4202496 41838 0 0 0 3508 18 0 0 20 0 8 0 390789008 169095168 17511 33554432000 134512640 146736320 4290971120 4290960528 136008256 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5789/statm: 41283 17511 964 2985 0 38217 0
[pid=5789/tid=5798] ppid=5788 vsize=165132 CPUtime=2.61 cores=0,2,4,6
/proc/5789/task/5798/stat : 5798 (pb_cplex) R 5788 5788 4085 0 -1 4202560 796 0 0 0 261 0 0 0 20 0 8 0 390790885 169095168 17511 33554432000 134512640 146736320 4290971120 4051743720 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=5789/tid=5799] ppid=5788 vsize=165132 CPUtime=1.28 cores=0,2,4,6
/proc/5789/task/5799/stat : 5799 (pb_cplex) R 5788 5788 4085 0 -1 4202560 1054 0 0 0 128 0 0 0 20 0 8 0 390790885 169095168 17511 33554432000 134512640 146736320 4290971120 4062227600 136008047 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=5789/tid=5800] ppid=5788 vsize=165132 CPUtime=2.09 cores=0,2,4,6
/proc/5789/task/5800/stat : 5800 (pb_cplex) R 5788 5788 4085 0 -1 4202560 1156 0 0 0 209 0 0 0 20 0 8 0 390790885 169095168 17511 33554432000 134512640 146736320 4290971120 4072714056 135525914 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5789/tid=5801] ppid=5788 vsize=165132 CPUtime=2 cores=0,2,4,6
/proc/5789/task/5801/stat : 5801 (pb_cplex) R 5788 5788 4085 0 -1 4202560 1166 0 0 0 197 3 0 0 20 0 8 0 390790885 169095168 17511 33554432000 134512640 146736320 4290971120 4083200220 136389131 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5789/tid=5802] ppid=5788 vsize=165132 CPUtime=1 cores=0,2,4,6
/proc/5789/task/5802/stat : 5802 (pb_cplex) R 5788 5788 4085 0 -1 4202560 1317 0 0 0 100 0 0 0 20 0 8 0 390790885 169095168 17511 33554432000 134512640 146736320 4290971120 4100971524 136385174 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5789/tid=5803] ppid=5788 vsize=165132 CPUtime=1.95 cores=0,2,4,6
/proc/5789/task/5803/stat : 5803 (pb_cplex) R 5788 5788 4085 0 -1 4202560 1192 0 0 0 195 0 0 0 20 0 8 0 390790885 169095168 17511 33554432000 134512640 146736320 4290971120 4030716780 135457456 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5789/tid=5804] ppid=5788 vsize=165132 CPUtime=1.29 cores=0,2,4,6
/proc/5789/task/5804/stat : 5804 (pb_cplex) R 5788 5788 4085 0 -1 4202560 815 0 0 0 129 0 0 0 20 0 8 0 390790885 169095168 17511 33554432000 134512640 146736320 4290971120 4020231312 136008039 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 35.26
Current children cumulated vsize (KiB) 174280

[startup+51.1004 s]
/proc/loadavg: 4.36 2.18 0.96 9/186 5818
/proc/meminfo: memFree=30283116/32873844 swapFree=7128/7128
[pid=5788] ppid=5786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5788/stat : 5788 (run) S 5786 5788 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390789008 9367552 269 33554432000 4194304 5064252 140737108839424 140737108838336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5788/statm: 2287 269 229 213 0 72 0
[pid=5789] ppid=5788 vsize=338440 CPUtime=122.64 cores=0,2,4,6
/proc/5789/stat : 5789 (pb_cplex) S 5788 5788 4085 0 -1 4202496 87325 0 0 0 12216 48 0 0 20 0 8 0 390789008 346562560 50533 33554432000 134512640 146736320 4290971120 4290967504 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5789/statm: 84610 50533 970 2985 0 81544 0
[pid=5789/tid=5812] ppid=5788 vsize=338440 CPUtime=8.47 cores=0,2,4,6
/proc/5789/task/5812/stat : 5812 (pb_cplex) R 5788 5788 4085 0 -1 4202560 3588 0 0 0 847 0 0 0 20 0 8 0 390792300 346562560 50533 33554432000 134512640 146736320 4290971120 4051738704 136008042 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=5789/tid=5813] ppid=5788 vsize=338440 CPUtime=8.15 cores=0,2,4,6
/proc/5789/task/5813/stat : 5813 (pb_cplex) R 5788 5788 4085 0 -1 4202560 8827 0 0 0 813 2 0 0 20 0 8 0 390792300 346562560 50533 33554432000 134512640 146736320 4290971120 4062223584 136388276 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5789/tid=5814] ppid=5788 vsize=338440 CPUtime=8.13 cores=0,2,4,6
/proc/5789/task/5814/stat : 5814 (pb_cplex) R 5788 5788 4085 0 -1 4202560 3519 0 0 0 813 0 0 0 20 0 8 0 390792300 346562560 50533 33554432000 134512640 146736320 4290971120 4072710472 136001717 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5789/tid=5815] ppid=5788 vsize=338440 CPUtime=8.15 cores=0,2,4,6
/proc/5789/task/5815/stat : 5815 (pb_cplex) R 5788 5788 4085 0 -1 4202560 3117 0 0 0 813 2 0 0 20 0 8 0 390792300 346562560 50533 33554432000 134512640 146736320 4290971120 4083196232 136001712 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5789/tid=5816] ppid=5788 vsize=338440 CPUtime=7.82 cores=0,2,4,6
/proc/5789/task/5816/stat : 5816 (pb_cplex) R 5788 5788 4085 0 -1 4202560 3035 0 0 0 780 2 0 0 20 0 8 0 390792300 346562560 50533 33554432000 134512640 146736320 4290971120 3958173776 136008309 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5789/tid=5817] ppid=5788 vsize=338440 CPUtime=7.72 cores=0,2,4,6
/proc/5789/task/5817/stat : 5817 (pb_cplex) R 5788 5788 4085 0 -1 4202560 3697 0 0 0 771 1 0 0 20 0 8 0 390792300 346562560 50533 33554432000 134512640 146736320 4290971120 3947688084 136003493 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5789/tid=5818] ppid=5788 vsize=338440 CPUtime=7.85 cores=0,2,4,6
/proc/5789/task/5818/stat : 5818 (pb_cplex) R 5788 5788 4085 0 -1 4202560 2885 0 0 0 785 0 0 0 20 0 8 0 390792300 346562560 50533 33554432000 134512640 146736320 4290971120 3937201860 135850446 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 122.64
Current children cumulated vsize (KiB) 347588

[startup+102.307 s]
/proc/loadavg: 6.60 3.17 1.37 9/186 5818
/proc/meminfo: memFree=30264840/32873844 swapFree=7128/7128
[pid=5788] ppid=5786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5788/stat : 5788 (run) S 5786 5788 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390789008 9367552 269 33554432000 4194304 5064252 140737108839424 140737108838336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5788/statm: 2287 269 229 213 0 72 0
[pid=5789] ppid=5788 vsize=331524 CPUtime=324.18 cores=0,2,4,6
/proc/5789/stat : 5789 (pb_cplex) S 5788 5788 4085 0 -1 4202496 90797 0 0 0 32355 63 0 0 20 0 8 0 390789008 339480576 49621 33554432000 134512640 146736320 4290971120 4290967504 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5789/statm: 82881 49621 972 2985 0 79815 0
[pid=5789/tid=5812] ppid=5788 vsize=331524 CPUtime=37.05 cores=0,2,4,6
/proc/5789/task/5812/stat : 5812 (pb_cplex) R 5788 5788 4085 0 -1 4202560 4124 0 0 0 3702 3 0 0 20 0 8 0 390792300 339480576 49621 33554432000 134512640 146736320 4290971120 4051741688 136475778 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5789/tid=5813] ppid=5788 vsize=331524 CPUtime=37.23 cores=0,2,4,6
/proc/5789/task/5813/stat : 5813 (pb_cplex) R 5788 5788 4085 0 -1 4202560 10758 0 0 0 3718 5 0 0 20 0 8 0 390792300 339480576 49621 33554432000 134512640 146736320 4290971120 4062227448 136475785 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5789/tid=5814] ppid=5788 vsize=331524 CPUtime=35.55 cores=0,2,4,6
/proc/5789/task/5814/stat : 5814 (pb_cplex) R 5788 5788 4085 0 -1 4202560 3602 0 0 0 3552 3 0 0 20 0 8 0 390792300 339480576 49621 33554432000 134512640 146736320 4290971120 4072713244 135855174 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5789/tid=5815] ppid=5788 vsize=331524 CPUtime=37.11 cores=0,2,4,6
/proc/5789/task/5815/stat : 5815 (pb_cplex) R 5788 5788 4085 0 -1 4202560 3396 0 0 0 3708 3 0 0 20 0 8 0 390792300 339480576 49621 33554432000 134512640 146736320 4290971120 4083199912 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5789/tid=5816] ppid=5788 vsize=331524 CPUtime=33.12 cores=0,2,4,6
/proc/5789/task/5816/stat : 5816 (pb_cplex) R 5788 5788 4085 0 -1 4202560 3048 0 0 0 3310 2 0 0 20 0 8 0 390792300 339480576 49621 33554432000 134512640 146736320 4290971120 3958177160 136000720 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=5789/tid=5817] ppid=5788 vsize=331524 CPUtime=34.78 cores=0,2,4,6
/proc/5789/task/5817/stat : 5817 (pb_cplex) R 5788 5788 4085 0 -1 4202560 4253 0 0 0 3476 2 0 0 20 0 8 0 390792300 339480576 49621 33554432000 134512640 146736320 4290971120 3947691152 136008042 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5789/tid=5818] ppid=5788 vsize=331524 CPUtime=37.27 cores=0,2,4,6
/proc/5789/task/5818/stat : 5818 (pb_cplex) R 5788 5788 4085 0 -1 4202560 2959 0 0 0 3725 2 0 0 20 0 8 0 390792300 339480576 49621 33554432000 134512640 146736320 4290971120 3937206184 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.18
Current children cumulated vsize (KiB) 340672

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

[startup+133.201 s]
/proc/loadavg: 6.31 3.44 1.52 4/186 5818
/proc/meminfo: memFree=30262168/32873844 swapFree=7128/7128

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

[pid=5789/tid=5844] ppid=5788 vsize=1026880 CPUtime=75.19 cores=0,2,4,6
/proc/5789/task/5844/stat : 5844 (pb_cplex) R 5788 5788 4085 0 -1 4202560 7241 0 0 0 7512 7 0 0 20 0 8 0 390805901 1051525120 156978 33554432000 134512640 146736320 4290971120 3258963344 135464878 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5789/tid=5845] ppid=5788 vsize=1026880 CPUtime=78.78 cores=0,2,4,6
/proc/5789/task/5845/stat : 5845 (pb_cplex) R 5788 5788 4085 0 -1 4202560 16524 0 0 0 7868 10 0 0 20 0 8 0 390805901 1051525120 156978 33554432000 134512640 146736320 4290971120 3248480312 136475800 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=5789/tid=5846] ppid=5788 vsize=1026880 CPUtime=77.43 cores=0,2,4,6
/proc/5789/task/5846/stat : 5846 (pb_cplex) R 5788 5788 4085 0 -1 4202560 26782 0 0 0 7731 12 0 0 20 0 8 0 390805901 1051525120 156978 33554432000 134512640 146736320 4290971120 3237994312 135526330 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1129.32
Current children cumulated vsize (KiB) 1036028

[startup+402.3 s]
/proc/loadavg: 6.74 5.42 2.80 10/186 5850
/proc/meminfo: memFree=29830056/32873844 swapFree=7128/7128
[pid=5788] ppid=5786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5788/stat : 5788 (run) S 5786 5788 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390789008 9367552 269 33554432000 4194304 5064252 140737108839424 140737108838336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5788/statm: 2287 269 229 213 0 72 0
[pid=5789] ppid=5788 vsize=1026880 CPUtime=1343.93 cores=0,2,4,6
/proc/5789/stat : 5789 (pb_cplex) R 5788 5788 4085 0 -1 4202496 428237 0 0 0 134134 259 0 0 20 0 8 0 390789008 1051525120 157534 33554432000 134512640 146736320 4290971120 4290963848 139042908 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5789/statm: 256720 157534 974 2985 0 253654 0
[pid=5789/tid=5840] ppid=5788 vsize=1026880 CPUtime=104.02 cores=0,2,4,6
/proc/5789/task/5840/stat : 5840 (pb_cplex) R 5788 5788 4085 0 -1 4202560 56641 0 0 0 10382 20 0 0 20 0 8 0 390805901 1051525120 157534 33554432000 134512640 146736320 4290971120 4051743176 136000758 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=5789/tid=5841] ppid=5788 vsize=1026880 CPUtime=109.23 cores=0,2,4,6
/proc/5789/task/5841/stat : 5841 (pb_cplex) R 5788 5788 4085 0 -1 4202560 53990 0 0 0 10902 21 0 0 20 0 8 0 390805901 1051525120 157534 33554432000 134512640 146736320 4290971120 4062228700 136009717 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5789/tid=5842] ppid=5788 vsize=1026880 CPUtime=113.8 cores=0,2,4,6
/proc/5789/task/5842/stat : 5842 (pb_cplex) R 5788 5788 4085 0 -1 4202560 66424 0 0 0 11356 24 0 0 20 0 8 0 390805901 1051525120 157534 33554432000 134512640 146736320 4290971120 4072714308 136385185 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5789/tid=5843] ppid=5788 vsize=1026880 CPUtime=96.07 cores=0,2,4,6
/proc/5789/task/5843/stat : 5843 (pb_cplex) R 5788 5788 4085 0 -1 4202560 88 0 0 0 9598 9 0 0 20 0 8 0 390805901 1051525120 157534 33554432000 134512640 146736320 4290971120 4083200592 136403103 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5789/tid=5844] ppid=5788 vsize=1026880 CPUtime=104.86 cores=0,2,4,6
/proc/5789/task/5844/stat : 5844 (pb_cplex) R 5788 5788 4085 0 -1 4202560 10369 0 0 0 10476 10 0 0 20 0 8 0 390805901 1051525120 157534 33554432000 134512640 146736320 4290971120 3258966056 139044552 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=5789/tid=5845] ppid=5788 vsize=1026880 CPUtime=103.61 cores=0,2,4,6
/proc/5789/task/5845/stat : 5845 (pb_cplex) R 5788 5788 4085 0 -1 4202560 32635 0 0 0 10346 15 0 0 20 0 8 0 390805901 1051525120 157534 33554432000 134512640 146736320 4290971120 3248480324 136385177 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5789/tid=5846] ppid=5788 vsize=1026880 CPUtime=105.74 cores=0,2,4,6
/proc/5789/task/5846/stat : 5846 (pb_cplex) R 5788 5788 4085 0 -1 4202560 40266 0 0 0 10557 17 0 0 20 0 8 0 390805901 1051525120 157534 33554432000 134512640 146736320 4290971120 3237994704 136008056 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1343.93
Current children cumulated vsize (KiB) 1036028

[startup+462.301 s]
/proc/loadavg: 6.94 5.82 3.12 4/186 5850
/proc/meminfo: memFree=29828440/32873844 swapFree=7128/7128
[pid=5788] ppid=5786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5788/stat : 5788 (run) S 5786 5788 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390789008 9367552 269 33554432000 4194304 5064252 140737108839424 140737108838336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5788/statm: 2287 269 229 213 0 72 0
[pid=5789] ppid=5788 vsize=1026880 CPUtime=1567.11 cores=0,2,4,6
/proc/5789/stat : 5789 (pb_cplex) S 5788 5788 4085 0 -1 4202496 575286 0 0 0 156409 302 0 0 20 0 8 0 390789008 1051525120 158039 33554432000 134512640 146736320 4290971120 4290967504 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5789/statm: 256720 158039 974 2985 0 253654 0
[pid=5789/tid=5840] ppid=5788 vsize=1026880 CPUtime=134.22 cores=0,2,4,6
/proc/5789/task/5840/stat : 5840 (pb_cplex) S 5788 5788 4085 0 -1 4202560 78197 0 0 0 13395 27 0 0 20 0 8 0 390805901 1051525120 158039 33554432000 134512640 146736320 4290971120 4051746448 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5789/tid=5841] ppid=5788 vsize=1026880 CPUtime=136.59 cores=0,2,4,6
/proc/5789/task/5841/stat : 5841 (pb_cplex) S 5788 5788 4085 0 -1 4202560 77261 0 0 0 13630 29 0 0 20 0 8 0 390805901 1051525120 158039 33554432000 134512640 146736320 4290971120 4062232208 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5789/tid=5842] ppid=5788 vsize=1026880 CPUtime=144.41 cores=0,2,4,6
/proc/5789/task/5842/stat : 5842 (pb_cplex) S 5788 5788 4085 0 -1 4202560 99677 0 0 0 14407 34 0 0 20 0 8 0 390805901 1051525120 158039 33554432000 134512640 146736320 4290971120 4072717968 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5789/tid=5843] ppid=5788 vsize=1026880 CPUtime=124.08 cores=0,2,4,6
/proc/5789/task/5843/stat : 5843 (pb_cplex) S 5788 5788 4085 0 -1 4202560 88 0 0 0 12398 10 0 0 20 0 8 0 390805901 1051525120 158039 33554432000 134512640 146736320 4290971120 4083203728 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5789/tid=5844] ppid=5788 vsize=1026880 CPUtime=132.7 cores=0,2,4,6
/proc/5789/task/5844/stat : 5844 (pb_cplex) R 5788 5788 4085 0 -1 4202560 16926 0 0 0 13257 13 0 0 20 0 8 0 390805901 1051525120 158039 33554432000 134512640 146736320 4290971120 3258964076 135454023 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=5789/tid=5845] ppid=5788 vsize=1026880 CPUtime=130.79 cores=0,2,4,6
/proc/5789/task/5845/stat : 5845 (pb_cplex) R 5788 5788 4085 0 -1 4202560 56018 0 0 0 13056 23 0 0 20 0 8 0 390805901 1051525120 158039 33554432000 134512640 146736320 4290971120 3248479376 136008245 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5789/tid=5846] ppid=5788 vsize=1026880 CPUtime=132.28 cores=0,2,4,6
/proc/5789/task/5846/stat : 5846 (pb_cplex) S 5788 5788 4085 0 -1 4202560 63091 0 0 0 13204 24 0 0 20 0 8 0 390805901 1051525120 158039 33554432000 134512640 146736320 4290971120 3237998224 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1567.11
Current children cumulated vsize (KiB) 1036028

[startup+522.3 s]
/proc/loadavg: 7.59 6.18 3.40 10/185 5850
/proc/meminfo: memFree=29826392/32873844 swapFree=7128/7128
[pid=5788] ppid=5786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5788/stat : 5788 (run) S 5786 5788 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390789008 9367552 269 33554432000 4194304 5064252 140737108839424 140737108838336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5788/statm: 2287 269 229 213 0 72 0
[pid=5789] ppid=5788 vsize=1026880 CPUtime=1787.98 cores=0,2,4,6
/proc/5789/stat : 5789 (pb_cplex) R 5788 5788 4085 0 -1 4202496 770667 0 0 0 178435 363 0 0 20 0 8 0 390789008 1051525120 158379 33554432000 134512640 146736320 4290971120 4290963984 136008065 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5789/statm: 256720 158379 974 2985 0 253654 0
[pid=5789/tid=5840] ppid=5788 vsize=1026880 CPUtime=161.96 cores=0,2,4,6
/proc/5789/task/5840/stat : 5840 (pb_cplex) R 5788 5788 4085 0 -1 4202560 103790 0 0 0 16162 34 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 4051743720 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=5789/tid=5841] ppid=5788 vsize=1026880 CPUtime=162.19 cores=0,2,4,6
/proc/5789/task/5841/stat : 5841 (pb_cplex) R 5788 5788 4085 0 -1 4202560 106191 0 0 0 16181 38 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 4062227368 138412937 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5789/tid=5842] ppid=5788 vsize=1026880 CPUtime=171.04 cores=0,2,4,6
/proc/5789/task/5842/stat : 5842 (pb_cplex) R 5788 5788 4085 0 -1 4202560 135882 0 0 0 17060 44 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 4072714148 136016736 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5789/tid=5843] ppid=5788 vsize=1026880 CPUtime=149.97 cores=0,2,4,6
/proc/5789/task/5843/stat : 5843 (pb_cplex) R 5788 5788 4085 0 -1 4202560 88 0 0 0 14984 13 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 4083200208 136007990 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5789/tid=5844] ppid=5788 vsize=1026880 CPUtime=162.37 cores=0,2,4,6
/proc/5789/task/5844/stat : 5844 (pb_cplex) R 5788 5788 4085 0 -1 4202560 37652 0 0 0 16216 21 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 3258966088 136474225 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5789/tid=5845] ppid=5788 vsize=1026880 CPUtime=160.15 cores=0,2,4,6
/proc/5789/task/5845/stat : 5845 (pb_cplex) R 5788 5788 4085 0 -1 4202560 89432 0 0 0 15982 33 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 3248480712 136000942 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5789/tid=5846] ppid=5788 vsize=1026880 CPUtime=158.23 cores=0,2,4,6
/proc/5789/task/5846/stat : 5846 (pb_cplex) R 5788 5788 4085 0 -1 4202560 85344 0 0 0 15792 31 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 3237994588 135855178 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1787.98
Current children cumulated vsize (KiB) 1036028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+525.3 s]
/proc/loadavg: 7.71 6.23 3.43 6/185 5850
/proc/meminfo: memFree=29826400/32873844 swapFree=7128/7128
[pid=5788] ppid=5786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5788/stat : 5788 (run) S 5786 5788 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390789008 9367552 269 33554432000 4194304 5064252 140737108839424 140737108838336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5788/statm: 2287 269 229 213 0 72 0
[pid=5789] ppid=5788 vsize=1026880 CPUtime=1799.95 cores=0,2,4,6
/proc/5789/stat : 5789 (pb_cplex) R 5788 5788 4085 0 -1 4202496 781764 0 0 0 179629 366 0 0 20 0 8 0 390789008 1051525120 158379 33554432000 134512640 146736320 4290971120 4290962192 135460688 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5789/statm: 256720 158379 974 2985 0 253654 0
[pid=5789/tid=5840] ppid=5788 vsize=1026880 CPUtime=163.37 cores=0,2,4,6
/proc/5789/task/5840/stat : 5840 (pb_cplex) S 5788 5788 4085 0 -1 4202560 105035 0 0 0 16302 35 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 4051746448 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5789/tid=5841] ppid=5788 vsize=1026880 CPUtime=163.75 cores=0,2,4,6
/proc/5789/task/5841/stat : 5841 (pb_cplex) S 5788 5788 4085 0 -1 4202560 107436 0 0 0 16337 38 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 4062232208 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5789/tid=5842] ppid=5788 vsize=1026880 CPUtime=172.65 cores=0,2,4,6
/proc/5789/task/5842/stat : 5842 (pb_cplex) R 5788 5788 4085 0 -1 4202560 138122 0 0 0 17220 45 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 4072714448 136008039 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5789/tid=5843] ppid=5788 vsize=1026880 CPUtime=151.24 cores=0,2,4,6
/proc/5789/task/5843/stat : 5843 (pb_cplex) S 5788 5788 4085 0 -1 4202560 88 0 0 0 15110 14 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 4083203728 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5789/tid=5844] ppid=5788 vsize=1026880 CPUtime=164.02 cores=0,2,4,6
/proc/5789/task/5844/stat : 5844 (pb_cplex) R 5788 5788 4085 0 -1 4202560 40147 0 0 0 16380 22 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 3258966432 136388276 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5789/tid=5845] ppid=5788 vsize=1026880 CPUtime=161.72 cores=0,2,4,6
/proc/5789/task/5845/stat : 5845 (pb_cplex) R 5788 5788 4085 0 -1 4202560 90461 0 0 0 16139 33 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 3248480312 136475800 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5789/tid=5846] ppid=5788 vsize=1026880 CPUtime=159.52 cores=0,2,4,6
/proc/5789/task/5846/stat : 5846 (pb_cplex) S 5788 5788 4085 0 -1 4202560 86174 0 0 0 15921 31 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 3237998224 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.95
Current children cumulated vsize (KiB) 1036028

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

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

[startup+525.3 s]
/proc/loadavg: 7.71 6.23 3.43 6/185 5850
/proc/meminfo: memFree=29826400/32873844 swapFree=7128/7128
[pid=5788] ppid=5786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5788/stat : 5788 (run) S 5786 5788 4085 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390789008 9367552 269 33554432000 4194304 5064252 140737108839424 140737108838336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5788/statm: 2287 269 229 213 0 72 0
[pid=5789] ppid=5788 vsize=1026880 CPUtime=1799.95 cores=0,2,4,6
/proc/5789/stat : 5789 (pb_cplex) R 5788 5788 4085 0 -1 4202496 781764 0 0 0 179629 366 0 0 20 0 8 0 390789008 1051525120 158379 33554432000 134512640 146736320 4290971120 4290962192 135460688 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5789/statm: 256720 158379 974 2985 0 253654 0
[pid=5789/tid=5840] ppid=5788 vsize=1026880 CPUtime=163.37 cores=0,2,4,6
/proc/5789/task/5840/stat : 5840 (pb_cplex) S 5788 5788 4085 0 -1 4202560 105035 0 0 0 16302 35 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 4051746448 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5789/tid=5841] ppid=5788 vsize=1026880 CPUtime=163.75 cores=0,2,4,6
/proc/5789/task/5841/stat : 5841 (pb_cplex) S 5788 5788 4085 0 -1 4202560 107436 0 0 0 16337 38 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 4062232208 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5789/tid=5842] ppid=5788 vsize=1026880 CPUtime=172.65 cores=0,2,4,6
/proc/5789/task/5842/stat : 5842 (pb_cplex) R 5788 5788 4085 0 -1 4202560 138122 0 0 0 17220 45 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 4072714448 136008039 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5789/tid=5843] ppid=5788 vsize=1026880 CPUtime=151.24 cores=0,2,4,6
/proc/5789/task/5843/stat : 5843 (pb_cplex) S 5788 5788 4085 0 -1 4202560 88 0 0 0 15110 14 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 4083203728 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5789/tid=5844] ppid=5788 vsize=1026880 CPUtime=164.02 cores=0,2,4,6
/proc/5789/task/5844/stat : 5844 (pb_cplex) R 5788 5788 4085 0 -1 4202560 40147 0 0 0 16380 22 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 3258966432 136388276 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5789/tid=5845] ppid=5788 vsize=1026880 CPUtime=161.72 cores=0,2,4,6
/proc/5789/task/5845/stat : 5845 (pb_cplex) R 5788 5788 4085 0 -1 4202560 90461 0 0 0 16139 33 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 3248480312 136475800 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5789/tid=5846] ppid=5788 vsize=1026880 CPUtime=159.52 cores=0,2,4,6
/proc/5789/task/5846/stat : 5846 (pb_cplex) S 5788 5788 4085 0 -1 4202560 86174 0 0 0 15921 31 0 0 20 0 8 0 390805901 1051525120 158379 33554432000 134512640 146736320 4290971120 3237998224 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.95
Current children cumulated vsize (KiB) 1036028

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5788 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 1799.95
#
# 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.289978
#  lost CPU user time (s): 0.349976
#  lost CPU system time (s): -0.06

Real time (s): 525.316
CPU time (s): 1800.24
CPU user time (s): 1796.64
CPU system time (s): 3.6
CPU usage (%): 342.697
Max. virtual memory (cumulated for all children) (KiB): 1050856

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= 2
involuntary context switches= 1

runsolver used 1.44178 second user time and 3.35749 second system time

The end

Launcher Data 

Begin job on node105 at 2012-06-09 15:07:00
IDJOB=3732269
IDBENCH=2042
IDSOLVER=2325
FILE ID=node105/3732269-1339247220
RUNJOBID= node105-1339246831-4102
PBS_JOBID= 14644376
Free space on /tmp= 66812 MiB

SOLVER NAME= PB10: pb_cplex 2010-06-29
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732269-1339247220/watcher-3732269-1339247220 -o /tmp/evaluation-result-3732269-1339247220/solver-3732269-1339247220 -C 1800 -W 1900 -M 15500  run HOME/instance-3732269-1339247220.opb

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

MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5
RANDOM SEED=321205067

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30484484 kB
Buffers:          607964 kB
Cached:           494452 kB
SwapCached:         2364 kB
Active:          1324192 kB
Inactive:         108324 kB
Active(anon):     327404 kB
Inactive(anon):     2560 kB
Active(file):     996788 kB
Inactive(file):   105764 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67099600 kB
Dirty:             21436 kB
Writeback:             0 kB
AnonPages:        333344 kB
Mapped:            12284 kB
Shmem:                 0 kB
Slab:             815084 kB
SReclaimable:     255056 kB
SUnreclaim:       560028 kB
KernelStack:        1496 kB
PageTables:         4568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     687736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 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-3732269-1339247220.opb

Free space on /tmp at the end= 66796 MiB
End job on node105 at 2012-06-09 15:15:47