Trace number 3744947

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 NameAnswerCPU timeWall clock time
PB10: pb_cplex 2010-06-29? (TO) 1800.27 1016.12

General information on the benchmark

NameOPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.20-15.opb
MD5SUM95ecef1502ad5f81fa8e8526ebf2db9b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark1.22181
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables172830
Total number of constraints604232
Number of constraints which are clauses604232
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 constraint1
Maximum length of a constraint579
Number of terms in the objective function 2180
Biggest coefficient in the objective function 581
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 930180
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 581
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 930180
Number of bits of the biggest sum of numbers20
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-3744947-1339252092.opb.
0.00/0.00	c Instance file HOME/instance-3744947-1339252092.opb
0.00/0.00	c File size is 19827556 bytes.
8.89/8.92	c Highest Coefficient sum: 1156
8.89/8.92	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
9.28/9.32	c ============================[ Problem Statistics ]=============================
9.28/9.32	c |                                                                             |
9.28/9.32	c |  Parsing time:          9.21         s                                      |
9.28/9.32	c |  Number Variables:      172830                                              |
9.39/9.40	c |  Number Constraints:    604232                                              |
9.39/9.40	c ===============================================================================
1800.27/1016.11	c Remaining time 1790.72 sec.
1800.27/1016.11	c 
1800.27/1016.11	c *** INTERRUPTED ***
1800.27/1016.11	s UNKNOWN
1800.27/1016.11	c Total CPU time              : 1795.06 s

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

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.83 7.91 6.10 9/186 23129
/proc/meminfo: memFree=30596144/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0

[startup+0.093464 s]
/proc/loadavg: 8.83 7.91 6.10 9/186 23129
/proc/meminfo: memFree=30596144/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100264 s]
/proc/loadavg: 8.83 7.91 6.10 9/186 23129
/proc/meminfo: memFree=30596144/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300216 s]
/proc/loadavg: 8.83 7.91 6.10 9/186 23129
/proc/meminfo: memFree=30596144/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700269 s]
/proc/loadavg: 8.83 7.91 6.10 9/186 23129
/proc/meminfo: memFree=30596144/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50032 s]
/proc/loadavg: 8.83 7.91 6.10 9/188 23131
/proc/meminfo: memFree=30554144/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
[pid=23130] ppid=23129 vsize=100068 CPUtime=1.48 cores=0,2,4,6
/proc/23130/stat : 23130 (pb_cplex) R 23129 23129 21745 0 -1 4202496 19577 0 0 0 146 2 0 0 20 0 1 0 35176327 102469632 18967 33554432000 134512640 146736320 4294135568 4294133480 144716523 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/23130/statm: 25017 18967 2344 2985 0 17110 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 109216

[startup+3.10027 s]
/proc/loadavg: 8.76 7.91 6.11 9/188 23131
/proc/meminfo: memFree=30514344/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
[pid=23130] ppid=23129 vsize=177804 CPUtime=3.09 cores=0,2,4,6
/proc/23130/stat : 23130 (pb_cplex) R 23129 23129 21745 0 -1 4202496 40515 0 0 0 303 6 0 0 20 0 1 0 35176327 182071296 40030 33554432000 134512640 146736320 4294135568 4294133368 144716523 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/23130/statm: 44451 40030 4778 2985 0 36544 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 186952

[startup+6.30026 s]
/proc/loadavg: 8.76 7.91 6.11 7/188 23131
/proc/meminfo: memFree=30422140/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
[pid=23130] ppid=23129 vsize=179652 CPUtime=6.28 cores=0,2,4,6
/proc/23130/stat : 23130 (pb_cplex) R 23129 23129 21745 0 -1 4202496 41214 0 0 0 622 6 0 0 20 0 1 0 35176327 183963648 40729 33554432000 134512640 146736320 4294135568 4294133548 134814122 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/23130/statm: 44913 40729 5002 2985 0 37006 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 188800

[startup+12.7003 s]
/proc/loadavg: 8.62 7.90 6.11 7/188 23131
/proc/meminfo: memFree=30261828/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
[pid=23130] ppid=23129 vsize=379212 CPUtime=12.69 cores=0,2,4,6
/proc/23130/stat : 23130 (pb_cplex) R 23129 23129 21745 0 -1 4202496 151500 0 0 0 1240 29 0 0 20 0 1 0 35176327 388313088 86857 33554432000 134512640 146736320 4294135568 4294133712 138729927 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/23130/statm: 94803 86857 664 2985 0 91737 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 388360

[startup+25.5003 s]
/proc/loadavg: 8.03 7.81 6.11 6/188 23131
/proc/meminfo: memFree=30208692/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
[pid=23130] ppid=23129 vsize=555692 CPUtime=25.48 cores=0,2,4,6
/proc/23130/stat : 23130 (pb_cplex) R 23129 23129 21745 0 -1 4202496 204182 0 0 0 2505 43 0 0 20 0 1 0 35176327 569028608 98242 33554432000 134512640 146736320 4294135568 4294130312 136388439 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/23130/statm: 138923 98242 872 2985 0 135857 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 564840

[startup+51.1003 s]
/proc/loadavg: 6.69 7.51 6.05 4/188 23131
/proc/meminfo: memFree=30173960/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
[pid=23130] ppid=23129 vsize=558064 CPUtime=51.08 cores=0,2,4,6
/proc/23130/stat : 23130 (pb_cplex) R 23129 23129 21745 0 -1 4202496 213646 0 0 0 5061 47 0 0 20 0 1 0 35176327 571457536 99050 33554432000 134512640 146736320 4294135568 4294130296 136400570 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/23130/statm: 139516 99050 872 2985 0 136450 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 567212

[startup+102.307 s]
/proc/loadavg: 6.02 7.12 6.00 7/188 23131
/proc/meminfo: memFree=30179236/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
[pid=23130] ppid=23129 vsize=558268 CPUtime=102.28 cores=0,2,4,6
/proc/23130/stat : 23130 (pb_cplex) R 23129 23129 21745 0 -1 4202496 224938 0 0 0 10178 50 0 0 20 0 1 0 35176327 571666432 99087 33554432000 134512640 146736320 4294135568 4294130320 136007981 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/23130/statm: 139567 99087 872 2985 0 136501 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 567416

[startup+162.3 s]
/proc/loadavg: 3.22 6.17 5.74 2/175 23161
/proc/meminfo: memFree=31113988/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
[pid=23130] ppid=23129 vsize=558444 CPUtime=162.25 cores=0,2,4,6
/proc/23130/stat : 23130 (pb_cplex) R 23129 23129 21745 0 -1 4202496 236281 0 0 0 16172 53 0 0 20 0 1 0 35176327 571846656 99116 33554432000 134512640 146736320 4294135568 4294130704 136403117 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/23130/statm: 139611 99116 872 2985 0 136545 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 567592

[startup+222.3 s]
/proc/loadavg: 1.81 5.23 5.44 2/174 23161
/proc/meminfo: memFree=31108072/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
[pid=23130] ppid=23129 vsize=558580 CPUtime=222.24 cores=0,2,4,6
/proc/23130/stat : 23130 (pb_cplex) R 23129 23129 21745 0 -1 4202496 246972 0 0 0 22168 56 0 0 20 0 1 0 35176327 571985920 100645 33554432000 134512640 146736320 4294135568 4294130320 136008109 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/23130/statm: 139645 100645 872 2985 0 136579 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 567728

[startup+282.3 s]
/proc/loadavg: 1.30 4.46 5.16 2/174 23162
/proc/meminfo: memFree=31104008/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
[pid=23130] ppid=23129 vsize=558676 CPUtime=282.23 cores=0,2,4,6
/proc/23130/stat : 23130 (pb_cplex) R 23129 23129 21745 0 -1 4202496 258245 0 0 0 28163 60 0 0 20 0 1 0 35176327 572084224 101617 33554432000 134512640 146736320 4294135568 4294130288 135978672 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/23130/statm: 139669 101617 872 2985 0 136603 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 567824

[startup+342.3 s]
/proc/loadavg: 1.11 3.83 4.90 2/174 23162
/proc/meminfo: memFree=31091956/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
[pid=23130] ppid=23129 vsize=558772 CPUtime=342.22 cores=0,2,4,6
/proc/23130/stat : 23130 (pb_cplex) R 23129 23129 21745 0 -1 4202496 268877 0 0 0 34160 62 0 0 20 0 1 0 35176327 572182528 104675 33554432000 134512640 146736320 4294135568 4294130320 136008042 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/23130/statm: 139693 104675 872 2985 0 136627 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 567920

[startup+402.3 s]
/proc/loadavg: 1.12 3.33 4.65 2/174 23162
/proc/meminfo: memFree=31078328/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/23130/statm: 442423 331991 970 2985 0 439357 0
[pid=23130/tid=23167] ppid=23129 vsize=1769692 CPUtime=36.75 cores=0,2,4,6
/proc/23130/task/23167/stat : 23167 (pb_cplex) R 23129 23129 21745 0 -1 4202560 29575 0 0 0 3662 13 0 0 20 0 8 0 35248202 1812164608 331991 33554432000 134512640 146736320 4294135568 3522228384 136005657 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23130/tid=23168] ppid=23129 vsize=1769692 CPUtime=37.21 cores=0,2,4,6
/proc/23130/task/23168/stat : 23168 (pb_cplex) R 23129 23129 21745 0 -1 4202560 25515 0 0 0 3709 12 0 0 20 0 8 0 35248202 1812164608 331991 33554432000 134512640 146736320 4294135568 3511742616 136007605 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23130/tid=23169] ppid=23129 vsize=1769692 CPUtime=36.13 cores=0,2,4,6
/proc/23130/task/23169/stat : 23169 (pb_cplex) R 23129 23129 21745 0 -1 4202560 32096 0 0 0 3599 14 0 0 20 0 8 0 35248202 1812164608 331991 33554432000 134512640 146736320 4294135568 3501256816 136384852 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=23130/tid=23170] ppid=23129 vsize=1769692 CPUtime=36.65 cores=0,2,4,6
/proc/23130/task/23170/stat : 23170 (pb_cplex) R 23129 23129 21745 0 -1 4202560 33332 0 0 0 3650 15 0 0 20 0 8 0 35248202 1812164608 331991 33554432000 134512640 146736320 4294135568 3490771096 136007053 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23130/tid=23171] ppid=23129 vsize=1769692 CPUtime=36.65 cores=0,2,4,6
/proc/23130/task/23171/stat : 23171 (pb_cplex) R 23129 23129 21745 0 -1 4202560 32848 0 0 0 3651 14 0 0 20 0 8 0 35248202 1812164608 331991 33554432000 134512640 146736320 4294135568 3480285224 139044550 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23130/tid=23172] ppid=23129 vsize=1769692 CPUtime=36.64 cores=0,2,4,6
/proc/23130/task/23172/stat : 23172 (pb_cplex) R 23129 23129 21745 0 -1 4202560 26349 0 0 0 3653 11 0 0 20 0 8 0 35248202 1812164608 331991 33554432000 134512640 146736320 4294135568 3469799464 139044550 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23130/tid=23173] ppid=23129 vsize=1769692 CPUtime=36.88 cores=0,2,4,6
/proc/23130/task/23173/stat : 23173 (pb_cplex) R 23129 23129 21745 0 -1 4202560 33239 0 0 0 3673 15 0 0 20 0 8 0 35248202 1812164608 331991 33554432000 134512640 146736320 4294135568 3459314256 136403109 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1042.01
Current children cumulated vsize (KiB) 1778840

[startup+882.3 s]
/proc/loadavg: 6.01 3.59 3.96 9/181 23174
/proc/meminfo: memFree=30126928/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
[pid=23130] ppid=23129 vsize=1801544 CPUtime=1266.94 cores=0,2,4,6
/proc/23130/stat : 23130 (pb_cplex) R 23129 23129 21745 0 -1 4202496 1207885 0 0 0 126322 372 0 0 20 0 8 0 35176327 1844781056 345541 33554432000 134512640 146736320 4294135568 4294127256 136007065 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23130/statm: 450386 345541 970 2985 0 447320 0
[pid=23130/tid=23167] ppid=23129 vsize=1801544 CPUtime=59.21 cores=0,2,4,6
/proc/23130/task/23167/stat : 23167 (pb_cplex) R 23129 23129 21745 0 -1 4202560 48721 0 0 0 5900 21 0 0 20 0 8 0 35248202 1844781056 345541 33554432000 134512640 146736320 4294135568 3522227288 136007661 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23130/tid=23168] ppid=23129 vsize=1801544 CPUtime=75.33 cores=0,2,4,6
/proc/23130/task/23168/stat : 23168 (pb_cplex) R 23129 23129 21745 0 -1 4202560 59446 0 0 0 7507 26 0 0 20 0 8 0 35248202 1844781056 345541 33554432000 134512640 146736320 4294135568 3511741468 135854505 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=23130/tid=23169] ppid=23129 vsize=1801544 CPUtime=59.86 cores=0,2,4,6
/proc/23130/task/23169/stat : 23169 (pb_cplex) R 23129 23129 21745 0 -1 4202560 56960 0 0 0 5961 25 0 0 20 0 8 0 35248202 1844781056 345541 33554432000 134512640 146736320 4294135568 3501255656 139044566 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=23130/tid=23170] ppid=23129 vsize=1801544 CPUtime=65.38 cores=0,2,4,6
/proc/23130/task/23170/stat : 23170 (pb_cplex) R 23129 23129 21745 0 -1 4202560 54330 0 0 0 6515 23 0 0 20 0 8 0 35248202 1844781056 345541 33554432000 134512640 146736320 4294135568 3490770008 136007627 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23130/tid=23171] ppid=23129 vsize=1801544 CPUtime=73.14 cores=0,2,4,6
/proc/23130/task/23171/stat : 23171 (pb_cplex) R 23129 23129 21745 0 -1 4202560 62684 0 0 0 7286 28 0 0 20 0 8 0 35248202 1844781056 345541 33554432000 134512640 146736320 4294135568 3480284248 136007674 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23130/tid=23172] ppid=23129 vsize=1801544 CPUtime=70.26 cores=0,2,4,6
/proc/23130/task/23172/stat : 23172 (pb_cplex) R 23129 23129 21745 0 -1 4202560 50658 0 0 0 7004 22 0 0 20 0 8 0 35248202 1844781056 345541 33554432000 134512640 146736320 4294135568 3469798488 136007065 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23130/tid=23173] ppid=23129 vsize=1801544 CPUtime=69.47 cores=0,2,4,6
/proc/23130/task/23173/stat : 23173 (pb_cplex) R 23129 23129 21745 0 -1 4202560 51893 0 0 0 6923 24 0 0 20 0 8 0 35248202 1844781056 345541 33554432000 134512640 146736320 4294135568 3459313704 139044564 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1266.94
Current children cumulated vsize (KiB) 1810692

[startup+942.3 s]
/proc/loadavg: 7.27 4.39 4.21 9/181 23174
/proc/meminfo: memFree=30105132/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
[pid=23130] ppid=23129 vsize=1790788 CPUtime=1506.08 cores=0,2,4,6
/proc/23130/stat : 23130 (pb_cplex) R 23129 23129 21745 0 -1 4202496 1397682 0 0 0 150152 456 0 0 20 0 8 0 35176327 1833766912 352389 33554432000 134512640 146736320 4294135568 4294128344 136007612 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23130/statm: 447697 352389 970 2985 0 444631 0
[pid=23130/tid=23167] ppid=23129 vsize=1790788 CPUtime=89.54 cores=0,2,4,6
/proc/23130/task/23167/stat : 23167 (pb_cplex) R 23129 23129 21745 0 -1 4202560 94023 0 0 0 8912 42 0 0 20 0 8 0 35248202 1833766912 352389 33554432000 134512640 146736320 4294135568 3522229888 139023058 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23130/tid=23168] ppid=23129 vsize=1790788 CPUtime=105.23 cores=0,2,4,6
/proc/23130/task/23168/stat : 23168 (pb_cplex) R 23129 23129 21745 0 -1 4202560 81285 0 0 0 10487 36 0 0 20 0 8 0 35248202 1833766912 352389 33554432000 134512640 146736320 4294135568 3511742616 136007616 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23130/tid=23169] ppid=23129 vsize=1790788 CPUtime=89.75 cores=0,2,4,6
/proc/23130/task/23169/stat : 23169 (pb_cplex) R 23129 23129 21745 0 -1 4202560 79914 0 0 0 8939 36 0 0 20 0 8 0 35248202 1833766912 352389 33554432000 134512640 146736320 4294135568 3501257296 136403112 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23130/tid=23170] ppid=23129 vsize=1790788 CPUtime=95.37 cores=0,2,4,6
/proc/23130/task/23170/stat : 23170 (pb_cplex) R 23129 23129 21745 0 -1 4202560 76180 0 0 0 9504 33 0 0 20 0 8 0 35248202 1833766912 352389 33554432000 134512640 146736320 4294135568 3490771096 136007289 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=23130/tid=23171] ppid=23129 vsize=1790788 CPUtime=103.14 cores=0,2,4,6
/proc/23130/task/23171/stat : 23171 (pb_cplex) R 23129 23129 21745 0 -1 4202560 81859 0 0 0 10277 37 0 0 20 0 8 0 35248202 1833766912 352389 33554432000 134512640 146736320 4294135568 3480285336 136007605 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=23130/tid=23172] ppid=23129 vsize=1790788 CPUtime=100.01 cores=0,2,4,6
/proc/23130/task/23172/stat : 23172 (pb_cplex) R 23129 23129 21745 0 -1 4202560 71448 0 0 0 9970 31 0 0 20 0 8 0 35248202 1833766912 352389 33554432000 134512640 146736320 4294135568 3469800016 136403117 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23130/tid=23173] ppid=23129 vsize=1790788 CPUtime=99.26 cores=0,2,4,6
/proc/23130/task/23173/stat : 23173 (pb_cplex) R 23129 23129 21745 0 -1 4202560 66189 0 0 0 9896 30 0 0 20 0 8 0 35248202 1833766912 352389 33554432000 134512640 146736320 4294135568 3459312728 136007289 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1506.08
Current children cumulated vsize (KiB) 1799936

[startup+1002.3 s]
/proc/loadavg: 7.73 5.04 4.44 9/181 23174
/proc/meminfo: memFree=30103440/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
[pid=23130] ppid=23129 vsize=1781236 CPUtime=1745.23 cores=0,2,4,6
/proc/23130/stat : 23130 (pb_cplex) R 23129 23129 21745 0 -1 4202496 1512992 0 0 0 174012 511 0 0 20 0 8 0 35176327 1823985664 351128 33554432000 134512640 146736320 4294135568 4294128264 139042876 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23130/statm: 445309 351128 970 2985 0 442243 0
[pid=23130/tid=23167] ppid=23129 vsize=1781236 CPUtime=119.24 cores=0,2,4,6
/proc/23130/task/23167/stat : 23167 (pb_cplex) R 23129 23129 21745 0 -1 4202560 104460 0 0 0 11877 47 0 0 20 0 8 0 35248202 1823985664 351128 33554432000 134512640 146736320 4294135568 3522228376 136007323 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23130/tid=23168] ppid=23129 vsize=1781236 CPUtime=135.48 cores=0,2,4,6
/proc/23130/task/23168/stat : 23168 (pb_cplex) R 23129 23129 21745 0 -1 4202560 102200 0 0 0 13500 48 0 0 20 0 8 0 35248202 1823985664 351128 33554432000 134512640 146736320 4294135568 3511741528 136007277 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=23130/tid=23169] ppid=23129 vsize=1781236 CPUtime=119.53 cores=0,2,4,6
/proc/23130/task/23169/stat : 23169 (pb_cplex) R 23129 23129 21745 0 -1 4202560 90209 0 0 0 11911 42 0 0 20 0 8 0 35248202 1823985664 351128 33554432000 134512640 146736320 4294135568 3501256864 136006501 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23130/tid=23170] ppid=23129 vsize=1781236 CPUtime=125.4 cores=0,2,4,6
/proc/23130/task/23170/stat : 23170 (pb_cplex) R 23129 23129 21745 0 -1 4202560 86220 0 0 0 12503 37 0 0 20 0 8 0 35248202 1823985664 351128 33554432000 134512640 146736320 4294135568 3490770984 139044505 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23130/tid=23171] ppid=23129 vsize=1781236 CPUtime=133.04 cores=0,2,4,6
/proc/23130/task/23171/stat : 23171 (pb_cplex) R 23129 23129 21745 0 -1 4202560 93442 0 0 0 13261 43 0 0 20 0 8 0 35248202 1823985664 351128 33554432000 134512640 146736320 4294135568 3480285336 136007056 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23130/tid=23172] ppid=23129 vsize=1781236 CPUtime=129.88 cores=0,2,4,6
/proc/23130/task/23172/stat : 23172 (pb_cplex) R 23129 23129 21745 0 -1 4202560 91361 0 0 0 12947 41 0 0 20 0 8 0 35248202 1823985664 351128 33554432000 134512640 146736320 4294135568 3469799576 136007616 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23130/tid=23173] ppid=23129 vsize=1781236 CPUtime=129.2 cores=0,2,4,6
/proc/23130/task/23173/stat : 23173 (pb_cplex) R 23129 23129 21745 0 -1 4202560 83792 0 0 0 12881 39 0 0 20 0 8 0 35248202 1823985664 351128 33554432000 134512640 146736320 4294135568 3459313816 136007056 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1745.23
Current children cumulated vsize (KiB) 1790384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1016.1 s]
/proc/loadavg: 7.79 5.19 4.50 9/181 23174
/proc/meminfo: memFree=30098848/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
[pid=23130] ppid=23129 vsize=1783304 CPUtime=1800.27 cores=0,2,4,6
/proc/23130/stat : 23130 (pb_cplex) R 23129 23129 21745 0 -1 4202496 1545553 0 0 0 179502 525 0 0 20 0 8 0 35176327 1826103296 352465 33554432000 134512640 146736320 4294135568 4294128264 139042977 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23130/statm: 445826 352465 970 2985 0 442760 0
[pid=23130/tid=23167] ppid=23129 vsize=1783304 CPUtime=126.14 cores=0,2,4,6
/proc/23130/task/23167/stat : 23167 (pb_cplex) R 23129 23129 21745 0 -1 4202560 107512 0 0 0 12565 49 0 0 20 0 8 0 35248202 1826103296 352465 33554432000 134512640 146736320 4294135568 3522228376 136007053 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23130/tid=23168] ppid=23129 vsize=1783304 CPUtime=142.31 cores=0,2,4,6
/proc/23130/task/23168/stat : 23168 (pb_cplex) R 23129 23129 21745 0 -1 4202560 104787 0 0 0 14182 49 0 0 20 0 8 0 35248202 1826103296 352465 33554432000 134512640 146736320 4294135568 3511741548 135454070 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=23130/tid=23169] ppid=23129 vsize=1783304 CPUtime=126.43 cores=0,2,4,6
/proc/23130/task/23169/stat : 23169 (pb_cplex) R 23129 23129 21745 0 -1 4202560 95792 0 0 0 12599 44 0 0 20 0 8 0 35248202 1826103296 352465 33554432000 134512640 146736320 4294135568 3501256744 139044505 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23130/tid=23170] ppid=23129 vsize=1783304 CPUtime=132.3 cores=0,2,4,6
/proc/23130/task/23170/stat : 23170 (pb_cplex) R 23129 23129 21745 0 -1 4202560 90103 0 0 0 13190 40 0 0 20 0 8 0 35248202 1826103296 352465 33554432000 134512640 146736320 4294135568 3490771056 136384857 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23130/tid=23171] ppid=23129 vsize=1783304 CPUtime=139.94 cores=0,2,4,6
/proc/23130/task/23171/stat : 23171 (pb_cplex) R 23129 23129 21745 0 -1 4202560 102542 0 0 0 13948 46 0 0 20 0 8 0 35248202 1826103296 352465 33554432000 134512640 146736320 4294135568 3480284248 136007605 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23130/tid=23172] ppid=23129 vsize=1783304 CPUtime=136.79 cores=0,2,4,6
/proc/23130/task/23172/stat : 23172 (pb_cplex) R 23129 23129 21745 0 -1 4202560 92206 0 0 0 13637 42 0 0 20 0 8 0 35248202 1826103296 352465 33554432000 134512640 146736320 4294135568 3469799576 136007626 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23130/tid=23173] ppid=23129 vsize=1783304 CPUtime=136.1 cores=0,2,4,6
/proc/23130/task/23173/stat : 23173 (pb_cplex) R 23129 23129 21745 0 -1 4202560 86770 0 0 0 13569 41 0 0 20 0 8 0 35248202 1826103296 352465 33554432000 134512640 146736320 4294135568 3459314256 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 1792452

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

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

[startup+1016.1 s]
/proc/loadavg: 7.79 5.19 4.50 9/181 23174
/proc/meminfo: memFree=30098848/32873844 swapFree=7132/7132
[pid=23129] ppid=23127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (run) S 23127 23129 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 35176327 9367552 269 33554432000 4194304 5064252 140735982834464 140735982833376 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23129/statm: 2287 269 229 213 0 72 0
[pid=23130] ppid=23129 vsize=1783304 CPUtime=1800.27 cores=0,2,4,6
/proc/23130/stat : 23130 (pb_cplex) R 23129 23129 21745 0 -1 4202496 1545553 0 0 0 179502 525 0 0 20 0 8 0 35176327 1826103296 352465 33554432000 134512640 146736320 4294135568 4294128264 139042977 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/23130/statm: 445826 352465 970 2985 0 442760 0
[pid=23130/tid=23167] ppid=23129 vsize=1783304 CPUtime=126.14 cores=0,2,4,6
/proc/23130/task/23167/stat : 23167 (pb_cplex) R 23129 23129 21745 0 -1 4202560 107512 0 0 0 12565 49 0 0 20 0 8 0 35248202 1826103296 352465 33554432000 134512640 146736320 4294135568 3522228376 136007053 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23130/tid=23168] ppid=23129 vsize=1783304 CPUtime=142.31 cores=0,2,4,6
/proc/23130/task/23168/stat : 23168 (pb_cplex) R 23129 23129 21745 0 -1 4202560 104787 0 0 0 14182 49 0 0 20 0 8 0 35248202 1826103296 352465 33554432000 134512640 146736320 4294135568 3511741548 135454070 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=23130/tid=23169] ppid=23129 vsize=1783304 CPUtime=126.43 cores=0,2,4,6
/proc/23130/task/23169/stat : 23169 (pb_cplex) R 23129 23129 21745 0 -1 4202560 95792 0 0 0 12599 44 0 0 20 0 8 0 35248202 1826103296 352465 33554432000 134512640 146736320 4294135568 3501256744 139044505 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23130/tid=23170] ppid=23129 vsize=1783304 CPUtime=132.3 cores=0,2,4,6
/proc/23130/task/23170/stat : 23170 (pb_cplex) R 23129 23129 21745 0 -1 4202560 90103 0 0 0 13190 40 0 0 20 0 8 0 35248202 1826103296 352465 33554432000 134512640 146736320 4294135568 3490771056 136384857 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23130/tid=23171] ppid=23129 vsize=1783304 CPUtime=139.94 cores=0,2,4,6
/proc/23130/task/23171/stat : 23171 (pb_cplex) R 23129 23129 21745 0 -1 4202560 102542 0 0 0 13948 46 0 0 20 0 8 0 35248202 1826103296 352465 33554432000 134512640 146736320 4294135568 3480284248 136007605 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23130/tid=23172] ppid=23129 vsize=1783304 CPUtime=136.79 cores=0,2,4,6
/proc/23130/task/23172/stat : 23172 (pb_cplex) R 23129 23129 21745 0 -1 4202560 92206 0 0 0 13637 42 0 0 20 0 8 0 35248202 1826103296 352465 33554432000 134512640 146736320 4294135568 3469799576 136007626 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23130/tid=23173] ppid=23129 vsize=1783304 CPUtime=136.1 cores=0,2,4,6
/proc/23130/task/23173/stat : 23173 (pb_cplex) R 23129 23129 21745 0 -1 4202560 86770 0 0 0 13569 41 0 0 20 0 8 0 35248202 1826103296 352465 33554432000 134512640 146736320 4294135568 3459314256 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 1792452

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1016.12
CPU time (s): 1800.27
CPU user time (s): 1795.02
CPU system time (s): 5.25
CPU usage (%): 177.172
Max. virtual memory (cumulated for all children) (KiB): 1866660

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 3.00954 second user time and 5.56615 second system time

The end

Launcher Data 

Begin job on node132 at 2012-06-09 16:28:13
IDJOB=3744947
IDBENCH=92881
IDSOLVER=2325
FILE ID=node132/3744947-1339252092
RUNJOBID= node132-1339246833-21762
PBS_JOBID= 14644349
Free space on /tmp= 71128 MiB

SOLVER NAME= PB10: pb_cplex 2010-06-29
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-15.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744947-1339252092/watcher-3744947-1339252092 -o /tmp/evaluation-result-3744947-1339252092/solver-3744947-1339252092 -C 1800 -W 1900 -M 15500  run HOME/instance-3744947-1339252092.opb

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

MD5SUM BENCH= 95ecef1502ad5f81fa8e8526ebf2db9b
RANDOM SEED=114665989

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30596160 kB
Buffers:          351540 kB
Cached:           155824 kB
SwapCached:         1248 kB
Active:          1302904 kB
Inactive:         106596 kB
Active(anon):     892764 kB
Inactive(anon):     4340 kB
Active(file):     410140 kB
Inactive(file):   102256 kB
Unevictable:        7132 kB
Mlocked:            7132 kB
SwapTotal:      67108856 kB
SwapFree:       67100784 kB
Dirty:             36128 kB
Writeback:             0 kB
AnonPages:        915300 kB
Mapped:            14700 kB
Shmem:                 8 kB
Slab:             725852 kB
SReclaimable:     167588 kB
SUnreclaim:       558264 kB
KernelStack:        1528 kB
PageTables:         6340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1031732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    493568 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-3744947-1339252092.opb

Free space on /tmp at the end= 71132 MiB
End job on node132 at 2012-06-09 16:45:09