Trace number 2697468

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
pb_cplex 2010-07-01? (TO) 1800.38 313.475

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo
MD5SUM2d690d91fe5f00c81c2e61f07f4a896b
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark510.174
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 136180
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136179
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 661
Number of bits of the biggest sum of numbers10
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 wbo file format. File HOME/instance-2697468-1278055813.wbo.
0.00/0.00	c Instance file HOME/instance-2697468-1278055813.wbo
0.00/0.00	c File size is 96755 bytes.
1.39/3.15	c Highest Coefficient sum: 661
1.39/3.15	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
1.44/3.75	c ============================[ Problem Statistics ]=============================
1.44/3.75	c |                                                                             |
1.44/3.75	c |  Parsing time:          1.44         s                                      |
1.44/3.75	c |  Number Variables:      2938                                                |
1.44/3.75	c |  Number Constraints:    2708                                                |
1.44/3.75	c ===============================================================================
1800.35/313.47	c Remaining time 1798.56 sec.
1800.35/313.47	c 
1800.35/313.47	c *** INTERRUPTED ***
1800.35/313.47	s UNKNOWN
1800.35/313.47	c Total CPU time              : 1783.23 s
1800.35/313.47	c Memory used           : 155.07 MB
1800.35/313.47	c CPU time              : 1783.23 s
1800.35/313.47	c 
1800.35/313.47	c *** INTERRUPTED ***

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2697468-1278055813/watcher-2697468-1278055813 -o /tmp/evaluation-result-2697468-1278055813/solver-2697468-1278055813 -C 1800 -W 2000 -M 3800 run HOME/instance-2697468-1278055813.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 12.88 11.06 6.86 3/186 27539
/proc/meminfo: memFree=30695524/32951124 swapFree=67111528/67111528
[pid=27539] ppid=27537 vsize=8700 CPUtime=0
/proc/27539/stat : 27539 (run) S 27537 27539 26813 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146875986 8908800 249 4089446400 4194304 4922060 140733434283184 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/27539/statm: 2175 249 208 178 0 68 0

[startup+0.0211399 s]
/proc/loadavg: 12.88 11.06 6.86 3/186 27539
/proc/meminfo: memFree=30695524/32951124 swapFree=67111528/67111528
[pid=27539] ppid=27537 vsize=8700 CPUtime=0
/proc/27539/stat : 27539 (run) S 27537 27539 26813 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146875986 8908800 249 4089446400 4194304 4922060 140733434283184 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/27539/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101127 s]
/proc/loadavg: 12.88 11.06 6.86 3/186 27539
/proc/meminfo: memFree=30695524/32951124 swapFree=67111528/67111528
[pid=27539] ppid=27537 vsize=8700 CPUtime=0
/proc/27539/stat : 27539 (run) S 27537 27539 26813 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146875986 8908800 249 4089446400 4194304 4922060 140733434283184 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/27539/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301092 s]
/proc/loadavg: 12.88 11.06 6.86 3/186 27539
/proc/meminfo: memFree=30695524/32951124 swapFree=67111528/67111528
[pid=27539] ppid=27537 vsize=8700 CPUtime=0
/proc/27539/stat : 27539 (run) S 27537 27539 26813 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146875986 8908800 249 4089446400 4194304 4922060 140733434283184 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/27539/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.60882 s]
/proc/loadavg: 12.88 11.06 6.86 3/186 27539
/proc/meminfo: memFree=30695524/32951124 swapFree=67111528/67111528
[pid=27539] ppid=27537 vsize=8700 CPUtime=0
/proc/27539/stat : 27539 (run) S 27537 27539 26813 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146875986 8908800 249 4089446400 4194304 4922060 140733434283184 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/27539/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.70081 s]
/proc/loadavg: 12.88 11.06 6.86 3/186 27539
/proc/meminfo: memFree=30695524/32951124 swapFree=67111528/67111528
[pid=27539] ppid=27537 vsize=8700 CPUtime=0
/proc/27539/stat : 27539 (run) S 27537 27539 26813 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146875986 8908800 249 4089446400 4194304 4922060 140733434283184 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/27539/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+3.10656 s]
/proc/loadavg: 12.57 11.03 6.87 11/188 27541
/proc/meminfo: memFree=30695632/32951124 swapFree=67111528/67111528
[pid=27539] ppid=27537 vsize=8700 CPUtime=0
/proc/27539/stat : 27539 (run) S 27537 27539 26813 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146875986 8908800 249 4089446400 4194304 4922060 140733434283184 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/27539/statm: 2175 249 208 178 0 68 0
[pid=27540] ppid=27539 vsize=14012 CPUtime=1.39
/proc/27540/stat : 27540 (pb_cplex) R 27539 27539 26813 0 -1 4202496 713 0 0 0 139 0 0 0 25 0 1 0 146875986 14348288 666 4089446400 134512640 146736320 4294340240 18446744073709551615 140528736 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/27540/statm: 3503 666 309 2985 0 413 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 22712
heavy processes:

[startup+6.30098 s]
/proc/loadavg: 12.57 11.03 6.87 17/195 27562
/proc/meminfo: memFree=30651068/32951124 swapFree=67111528/67111528
[pid=27539] ppid=27537 vsize=8700 CPUtime=0
/proc/27539/stat : 27539 (run) S 27537 27539 26813 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146875986 8908800 249 4089446400 4194304 4922060 140733434283184 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/27539/statm: 2175 249 208 178 0 68 0
[pid=27540] ppid=27539 vsize=140800 CPUtime=3.49
/proc/27540/stat : 27540 (pb_cplex) R 27539 27539 26813 0 -1 4202496 19158 0 0 0 344 5 0 0 22 0 8 0 146875986 144179200 12333 4089446400 134512640 146736320 4294340240 18446744073709551615 138462910 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/27540/statm: 35200 12333 1049 2985 0 31742 0
[pid=27540/tid=27556] ppid=27539 vsize=140800 CPUtime=0.18
/proc/27540/task/27556/stat : 27556 (pb_cplex) S 27539 27539 26813 0 -1 4202560 862 0 0 0 18 0 0 0 17 0 8 0 146876536 144179200 12333 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 0 0 0 0
[pid=27540/tid=27557] ppid=27539 vsize=140800 CPUtime=0.18
/proc/27540/task/27557/stat : 27557 (pb_cplex) R 27539 27539 26813 0 -1 4202560 296 0 0 0 18 0 0 0 19 0 8 0 146876536 144179200 12333 4089446400 134512640 146736320 4294340240 18446744073709551615 136403103 0 2 4096 16387 0 0 0 -1 3 0 0 0
[pid=27540/tid=27558] ppid=27539 vsize=140800 CPUtime=0.2
/proc/27540/task/27558/stat : 27558 (pb_cplex) R 27539 27539 26813 0 -1 4202560 412 0 0 0 20 0 0 0 19 0 8 0 146876536 144179200 12333 4089446400 134512640 146736320 4294340240 18446744073709551615 136403117 0 2 4096 16387 0 0 0 -1 4 0 0 0
[pid=27540/tid=27559] ppid=27539 vsize=140800 CPUtime=0.22
/proc/27540/task/27559/stat : 27559 (pb_cplex) R 27539 27539 26813 0 -1 4202560 293 0 0 0 22 0 0 0 19 0 8 0 146876536 144179200 12333 4089446400 134512640 146736320 4294340240 18446744073709551615 135854502 0 2 4096 16387 0 0 0 -1 7 0 0 0
[pid=27540/tid=27560] ppid=27539 vsize=140800 CPUtime=0.15
/proc/27540/task/27560/stat : 27560 (pb_cplex) R 27539 27539 26813 0 -1 4202560 378 0 0 0 15 0 0 0 20 0 8 0 146876536 144179200 12334 4089446400 134512640 146736320 4294340240 18446744073709551615 136388017 0 2 4096 16387 0 0 0 -1 4 0 0 0
[pid=27540/tid=27561] ppid=27539 vsize=140800 CPUtime=0.2
/proc/27540/task/27561/stat : 27561 (pb_cplex) R 27539 27539 26813 0 -1 4202560 829 0 0 0 20 0 0 0 21 0 8 0 146876536 144179200 12335 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0
[pid=27540/tid=27562] ppid=27539 vsize=140800 CPUtime=0.16
/proc/27540/task/27562/stat : 27562 (pb_cplex) R 27539 27539 26813 0 -1 4202560 540 0 0 0 16 0 0 0 20 0 8 0 146876536 144179200 12335 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 149500
heavy processes:

[startup+12.7008 s]
/proc/loadavg: 11.96 10.93 6.86 13/195 27583
/proc/meminfo: memFree=30652348/32951124 swapFree=67111528/67111528
[pid=27539] ppid=27537 vsize=8700 CPUtime=0
/proc/27539/stat : 27539 (run) S 27537 27539 26813 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146875986 8908800 249 4089446400 4194304 4922060 140733434283184 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/27539/statm: 2175 249 208 178 0 68 0
[pid=27540] ppid=27539 vsize=134428 CPUtime=22.54
/proc/27540/stat : 27540 (pb_cplex) S 27539 27539 26813 0 -1 4202496 40505 0 0 0 2230 24 0 0 16 0 8 0 146875986 137654272 11548 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/27540/statm: 33607 11548 1080 2985 0 30149 0
[pid=27540/tid=27577] ppid=27539 vsize=134428 CPUtime=1.9
/proc/27540/task/27577/stat : 27577 (pb_cplex) R 27539 27539 26813 0 -1 4202560 3468 0 0 0 188 2 0 0 15 0 8 0 146876743 137654272 11548 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=27540/tid=27578] ppid=27539 vsize=134428 CPUtime=1.94
/proc/27540/task/27578/stat : 27578 (pb_cplex) S 27539 27539 26813 0 -1 4202560 717 0 0 0 192 2 0 0 16 0 8 0 146876743 137654272 11548 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 2 0 0 0
[pid=27540/tid=27579] ppid=27539 vsize=134428 CPUtime=1.68
/proc/27540/task/27579/stat : 27579 (pb_cplex) R 27539 27539 26813 0 -1 4202560 33 0 0 0 166 2 0 0 16 0 8 0 146876743 137654272 11548 4089446400 134512640 146736320 4294340240 18446744073709551615 135523293 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=27540/tid=27580] ppid=27539 vsize=134428 CPUtime=2.16
/proc/27540/task/27580/stat : 27580 (pb_cplex) S 27539 27539 26813 0 -1 4202560 1045 0 0 0 215 1 0 0 15 0 8 0 146876743 137654272 11548 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 4 0 0 0
[pid=27540/tid=27581] ppid=27539 vsize=134428 CPUtime=2.06
/proc/27540/task/27581/stat : 27581 (pb_cplex) S 27539 27539 26813 0 -1 4202560 3170 0 0 0 204 2 0 0 16 0 8 0 146876743 137654272 11548 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 3 0 0 0
[pid=27540/tid=27582] ppid=27539 vsize=134428 CPUtime=1.67
/proc/27540/task/27582/stat : 27582 (pb_cplex) R 27539 27539 26813 0 -1 4202560 422 0 0 0 167 0 0 0 16 0 8 0 146876743 137654272 11548 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
[pid=27540/tid=27583] ppid=27539 vsize=134428 CPUtime=2.02
/proc/27540/task/27583/stat : 27583 (pb_cplex) R 27539 27539 26813 0 -1 4202560 1291 0 0 0 202 0 0 0 15 0 8 0 146876743 137654272 11548 4089446400 134512640 146736320 4294340240 18446744073709551615 136388081 0 2 4096 16387 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 22.54
Current children cumulated vsize (KiB) 143128

[startup+25.5006 s]
/proc/loadavg: 12.36 11.08 6.98 6/195 27598
/proc/meminfo: memFree=30656192/32951124 swapFree=67111528/67111528
[pid=27539] ppid=27537 vsize=8700 CPUtime=0
/proc/27539/stat : 27539 (run) S 27537 27539 26813 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146875986 8908800 249 4089446400 4194304 4922060 140733434283184 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/27539/statm: 2175 249 208 178 0 68 0
[pid=27540] ppid=27539 vsize=135476 CPUtime=80
/proc/27540/stat : 27540 (pb_cplex) R 27539 27539 26813 0 -1 4202496 63222 0 0 0 7910 90 0 0 18 0 8 0 146875986 138727424 11981 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0
/proc/27540/statm: 33869 11981 1085 2985 0 30411 0
[pid=27540/tid=27592] ppid=27539 vsize=135476 CPUtime=0.47
/proc/27540/task/27592/stat : 27592 (pb_cplex) R 27539 27539 26813 0 -1 4202560 611 0 0 0 47 0 0 0 16 0 8 0 146878154 138727424 11981 4089446400 134512640 146736320 4294340240 18446744073709551615 135454093 0 2 4096 16387 0 0 0 -1 7 0 0 0
[pid=27540/tid=27593] ppid=27539 vsize=135476 CPUtime=0
/proc/27540/task/27593/stat : 27593 (pb_cplex) S 27539 27539 26813 0 -1 4202560 278 0 0 0 0 0 0 0 18 0 8 0 146878154 138727424 11981 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 0 0 0 0
[pid=27540/tid=27594] ppid=27539 vsize=135476 CPUtime=0.49
/proc/27540/task/27594/stat : 27594 (pb_cplex) R 27539 27539 26813 0 -1 4202560 3 0 0 0 49 0 0 0 18 0 8 0 146878154 138727424 11981 4089446400 134512640 146736320 4294340240 18446744073709551615 136006079 0 2 4096 16387 0 0 0 -1 2 0 0 0
[pid=27540/tid=27595] ppid=27539 vsize=135476 CPUtime=0.35
/proc/27540/task/27595/stat : 27595 (pb_cplex) S 27539 27539 26813 0 -1 4202560 1948 0 0 0 35 0 0 0 16 0 8 0 146878154 138727424 11981 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 0 0 0 0
[pid=27540/tid=27596] ppid=27539 vsize=135476 CPUtime=0.45
/proc/27540/task/27596/stat : 27596 (pb_cplex) R 27539 27539 26813 0 -1 4202560 1335 0 0 0 45 0 0 0 18 0 8 0 146878154 138727424 11981 4089446400 134512640 146736320 4294340240 18446744073709551615 136006917 0 2 4096 16387 0 0 0 -1 1 0 0 0
[pid=27540/tid=27597] ppid=27539 vsize=135476 CPUtime=0.02
/proc/27540/task/27597/stat : 27597 (pb_cplex) S 27539 27539 26813 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 8 0 146878154 138727424 11981 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 1 0 0 0
[pid=27540/tid=27598] ppid=27539 vsize=135476 CPUtime=0.12
/proc/27540/task/27598/stat : 27598 (pb_cplex) R 27539 27539 26813 0 -1 4202560 2 0 0 0 12 0 0 0 17 0 8 0 146878154 138727424 11981 4089446400 134512640 146736320 4294340240 18446744073709551615 136008170 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (KiB) 144176

[startup+51.101 s]
/proc/loadavg: 10.96 10.83 7.00 10/195 27598
/proc/meminfo: memFree=30644180/32951124 swapFree=67111528/67111528
[pid=27539] ppid=27537 vsize=8700 CPUtime=0
/proc/27539/stat : 27539 (run) S 27537 27539 26813 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146875986 8908800 249 4089446400 4194304 4922060 140733434283184 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/27539/statm: 2175 249 208 178 0 68 0
[pid=27540] ppid=27539 vsize=146740 CPUtime=174.86
/proc/27540/stat : 27540 (pb_cplex) R 27539 27539 26813 0 -1 4202496 77200 0 0 0 17323 163 0 0 22 0 8 0 146875986 150261760 14191 4089446400 134512640 146736320 4294340240 18446744073709551615 136001196 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/27540/statm: 36685 14191 1083 2985 0 33227 0
[pid=27540/tid=27592] ppid=27539 vsize=146740 CPUtime=14.03
/proc/27540/task/27592/stat : 27592 (pb_cplex) R 27539 27539 26813 0 -1 4202560 1944 0 0 0 1392 11 0 0 15 0 8 0 146878154 150261760 14191 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=27540/tid=27593] ppid=27539 vsize=146740 CPUtime=11.25
/proc/27540/task/27593/stat : 27593 (pb_cplex) S 27539 27539 26813 0 -1 4202560 1844 0 0 0 1117 8 0 0 15 0 8 0 146878154 150261760 14191 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 4 0 0 0
[pid=27540/tid=27594] ppid=27539 vsize=146740 CPUtime=12.43
/proc/27540/task/27594/stat : 27594 (pb_cplex) S 27539 27539 26813 0 -1 4202560 855 0 0 0 1235 8 0 0 15 0 8 0 146878154 150261760 14191 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 7 0 0 0
[pid=27540/tid=27595] ppid=27539 vsize=146740 CPUtime=11.82
/proc/27540/task/27595/stat : 27595 (pb_cplex) S 27539 27539 26813 0 -1 4202560 6107 0 0 0 1172 10 0 0 15 0 8 0 146878154 150261760 14191 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 5 0 0 0
[pid=27540/tid=27596] ppid=27539 vsize=146740 CPUtime=11.73
/proc/27540/task/27596/stat : 27596 (pb_cplex) S 27539 27539 26813 0 -1 4202560 2908 0 0 0 1164 9 0 0 15 0 8 0 146878154 150261760 14191 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 3 0 0 0
[pid=27540/tid=27597] ppid=27539 vsize=146740 CPUtime=11.59
/proc/27540/task/27597/stat : 27597 (pb_cplex) S 27539 27539 26813 0 -1 4202560 998 0 0 0 1151 8 0 0 15 0 8 0 146878154 150261760 14191 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 1 0 0 0
[pid=27540/tid=27598] ppid=27539 vsize=146740 CPUtime=11.72
/proc/27540/task/27598/stat : 27598 (pb_cplex) S 27539 27539 26813 0 -1 4202560 516 0 0 0 1166 6 0 0 15 0 8 0 146878154 150261760 14191 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 174.86
Current children cumulated vsize (KiB) 155440

[startup+102.31 s]
/proc/loadavg: 12.52 11.22 7.33 19/196 27603
/proc/meminfo: memFree=30620724/32951124 swapFree=67111528/67111528
[pid=27539] ppid=27537 vsize=8700 CPUtime=0
/proc/27539/stat : 27539 (run) S 27537 27539 26813 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146875986 8908800 249 4089446400 4194304 4922060 140733434283184 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/27539/statm: 2175 249 208 178 0 68 0
[pid=27540] ppid=27539 vsize=148788 CPUtime=476.06
/proc/27540/stat : 27540 (pb_cplex) S 27539 27539 26813 0 -1 4202496 93452 0 0 0 47164 442 0 0 16 0 8 0 146875986 152358912 14633 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27540/statm: 37197 14633 1083 2985 0 33739 0
[pid=27540/tid=27592] ppid=27539 vsize=148788 CPUtime=51.71
/proc/27540/task/27592/stat : 27592 (pb_cplex) S 27539 27539 26813 0 -1 4202560 4220 0 0 0 5125 46 0 0 16 0 8 0 146878154 152358912 14633 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 1 0 0 0
[pid=27540/tid=27593] ppid=27539 vsize=148788 CPUtime=49.05
/proc/27540/task/27593/stat : 27593 (pb_cplex) R 27539 27539 26813 0 -1 4202560 4911 0 0 0 4862 43 0 0 15 0 8 0 146878154 152358912 14633 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0
[pid=27540/tid=27594] ppid=27539 vsize=148788 CPUtime=49.67
/proc/27540/task/27594/stat : 27594 (pb_cplex) S 27539 27539 26813 0 -1 4202560 3601 0 0 0 4924 43 0 0 15 0 8 0 146878154 152358912 14633 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 2 0 0 0
[pid=27540/tid=27595] ppid=27539 vsize=148788 CPUtime=49.47
/proc/27540/task/27595/stat : 27595 (pb_cplex) R 27539 27539 26813 0 -1 4202560 7960 0 0 0 4902 45 0 0 15 0 8 0 146878154 152358912 14633 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0
[pid=27540/tid=27596] ppid=27539 vsize=148788 CPUtime=48.55
/proc/27540/task/27596/stat : 27596 (pb_cplex) R 27539 27539 26813 0 -1 4202560 3469 0 0 0 4808 47 0 0 16 0 8 0 146878154 152358912 14633 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=27540/tid=27597] ppid=27539 vsize=148788 CPUtime=49.04
/proc/27540/task/27597/stat : 27597 (pb_cplex) S 27539 27539 26813 0 -1 4202560 3119 0 0 0 4857 47 0 0 16 0 8 0 146878154 152358912 14633 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 7 0 0 0
[pid=27540/tid=27598] ppid=27539 vsize=148788 CPUtime=49.8
/proc/27540/task/27598/stat : 27598 (pb_cplex) S 27539 27539 26813 0 -1 4202560 2196 0 0 0 4948 32 0 0 16 0 8 0 146878154 152358912 14633 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 476.06
Current children cumulated vsize (KiB) 157488

[startup+162.301 s]
/proc/loadavg: 13.66 11.83 7.79 3/195 27604
/proc/meminfo: memFree=30636044/32951124 swapFree=67111528/67111528
[pid=27539] ppid=27537 vsize=8700 CPUtime=0
/proc/27539/stat : 27539 (run) S 27537 27539 26813 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146875986 8908800 249 4089446400 4194304 4922060 140733434283184 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/27539/statm: 2175 249 208 178 0 68 0
[pid=27540] ppid=27539 vsize=150420 CPUtime=824.6
/proc/27540/stat : 27540 (pb_cplex) S 27539 27539 26813 0 -1 4202496 120767 0 0 0 81691 769 0 0 16 0 8 0 146875986 154030080 15212 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/27540/statm: 37605 15212 1084 2985 0 34147 0
[pid=27540/tid=27592] ppid=27539 vsize=150420 CPUtime=95
/proc/27540/task/27592/stat : 27592 (pb_cplex) S 27539 27539 26813 0 -1 4202560 7203 0 0 0 9410 90 0 0 16 0 8 0 146878154 154030080 15212 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 7 0 0 0
[pid=27540/tid=27593] ppid=27539 vsize=150420 CPUtime=92.48
/proc/27540/task/27593/stat : 27593 (pb_cplex) S 27539 27539 26813 0 -1 4202560 8265 0 0 0 9163 85 0 0 15 0 8 0 146878154 154030080 15212 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 2 0 0 0
[pid=27540/tid=27594] ppid=27539 vsize=150420 CPUtime=93.45
/proc/27540/task/27594/stat : 27594 (pb_cplex) S 27539 27539 26813 0 -1 4202560 7695 0 0 0 9268 77 0 0 16 0 8 0 146878154 154030080 15212 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 6 0 0 0
[pid=27540/tid=27595] ppid=27539 vsize=150420 CPUtime=92.68
/proc/27540/task/27595/stat : 27595 (pb_cplex) R 27539 27539 26813 0 -1 4202560 11013 0 0 0 9191 77 0 0 16 0 8 0 146878154 154030080 15212 4089446400 134512640 146736320 4294340240 18446744073709551615 136384800 0 2 4096 16387 0 0 0 -1 4 0 0 0
[pid=27540/tid=27596] ppid=27539 vsize=150420 CPUtime=91.87
/proc/27540/task/27596/stat : 27596 (pb_cplex) R 27539 27539 26813 0 -1 4202560 6686 0 0 0 9098 89 0 0 15 0 8 0 146878154 154030080 15212 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
[pid=27540/tid=27597] ppid=27539 vsize=150420 CPUtime=92.87
/proc/27540/task/27597/stat : 27597 (pb_cplex) R 27539 27539 26813 0 -1 4202560 6469 0 0 0 9194 93 0 0 15 0 8 0 146878154 154030080 15212 4089446400 134512640 146736320 4294340240 18446744073709551615 136017757 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=27540/tid=27598] ppid=27539 vsize=150420 CPUtime=93.26
/proc/27540/task/27598/stat : 27598 (pb_cplex) S 27539 27539 26813 0 -1 4202560 5503 0 0 0 9250 76 0 0 15 0 8 0 146878154 154030080 15212 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 824.6
Current children cumulated vsize (KiB) 159120

[startup+222.346 s]
/proc/loadavg: 10.59 11.33 7.87 8/179 27628
/proc/meminfo: memFree=30870948/32951124 swapFree=67111528/67111528
[pid=27539] ppid=27537 vsize=8700 CPUtime=0
/proc/27539/stat : 27539 (run) S 27537 27539 26813 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146875986 8908800 249 4089446400 4194304 4922060 140733434283184 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/27539/statm: 2175 249 208 178 0 68 0
[pid=27540] ppid=27539 vsize=152468 CPUtime=1203.65
/proc/27540/stat : 27540 (pb_cplex) R 27539 27539 26813 0 -1 4202496 140547 0 0 0 119231 1134 0 0 15 0 8 0 146875986 156127232 15597 4089446400 134512640 146736320 4294340240 18446744073709551615 137085002 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0
/proc/27540/statm: 38117 15597 1102 2985 0 34659 0
[pid=27540/tid=27592] ppid=27539 vsize=152468 CPUtime=142.14
/proc/27540/task/27592/stat : 27592 (pb_cplex) R 27539 27539 26813 0 -1 4202560 9752 0 0 0 14077 137 0 0 15 0 8 0 146878154 156127232 15597 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0
[pid=27540/tid=27593] ppid=27539 vsize=152468 CPUtime=139.82
/proc/27540/task/27593/stat : 27593 (pb_cplex) R 27539 27539 26813 0 -1 4202560 9295 0 0 0 13856 126 0 0 16 0 8 0 146878154 156127232 15597 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0
[pid=27540/tid=27594] ppid=27539 vsize=152468 CPUtime=140.6
/proc/27540/task/27594/stat : 27594 (pb_cplex) S 27539 27539 26813 0 -1 4202560 9867 0 0 0 13938 122 0 0 15 0 8 0 146878154 156127232 15597 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 5 0 0 0
[pid=27540/tid=27595] ppid=27539 vsize=152468 CPUtime=139.98
/proc/27540/task/27595/stat : 27595 (pb_cplex) R 27539 27539 26813 0 -1 4202560 12936 0 0 0 13874 124 0 0 16 0 8 0 146878154 156127232 15597 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
[pid=27540/tid=27596] ppid=27539 vsize=152468 CPUtime=138.77
/proc/27540/task/27596/stat : 27596 (pb_cplex) R 27539 27539 26813 0 -1 4202560 8772 0 0 0 13746 131 0 0 15 0 8 0 146878154 156127232 15597 4089446400 134512640 146736320 4294340240 18446744073709551615 138378291 0 2 4096 16387 0 0 0 -1 0 0 0 0
[pid=27540/tid=27597] ppid=27539 vsize=152468 CPUtime=140.5
/proc/27540/task/27597/stat : 27597 (pb_cplex) R 27539 27539 26813 0 -1 4202560 10052 0 0 0 13911 139 0 0 16 0 8 0 146878154 156127232 15597 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0
[pid=27540/tid=27598] ppid=27539 vsize=152468 CPUtime=140.96
/proc/27540/task/27598/stat : 27598 (pb_cplex) R 27539 27539 26813 0 -1 4202560 8190 0 0 0 13973 123 0 0 16 0 8 0 146878154 156127232 15597 4089446400 134512640 146736320 4294340240 18446744073709551615 136019042 0 2 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1203.65
Current children cumulated vsize (KiB) 161168

[startup+282.319 s]
/proc/loadavg: 8.50 10.59 7.83 2/179 27629
/proc/meminfo: memFree=30865916/32951124 swapFree=67111528/67111528
[pid=27539] ppid=27537 vsize=8700 CPUtime=0
/proc/27539/stat : 27539 (run) S 27537 27539 26813 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146875986 8908800 249 4089446400 4194304 4922060 140733434283184 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/27539/statm: 2175 249 208 178 0 68 0
[pid=27540] ppid=27539 vsize=158784 CPUtime=1597.27
/proc/27540/stat : 27540 (pb_cplex) S 27539 27539 26813 0 -1 4202496 158322 0 0 0 158213 1514 0 0 15 0 8 0 146875986 162594816 16678 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/27540/statm: 39696 16678 1102 2985 0 36238 0
[pid=27540/tid=27592] ppid=27539 vsize=158784 CPUtime=191.06
/proc/27540/task/27592/stat : 27592 (pb_cplex) R 27539 27539 26813 0 -1 4202560 11716 0 0 0 18921 185 0 0 16 0 8 0 146878154 162594816 16678 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
[pid=27540/tid=27593] ppid=27539 vsize=158784 CPUtime=188.91
/proc/27540/task/27593/stat : 27593 (pb_cplex) R 27539 27539 26813 0 -1 4202560 11507 0 0 0 18719 172 0 0 16 0 8 0 146878154 162594816 16678 4089446400 134512640 146736320 4294340240 18446744073709551615 135468614 0 2 4096 16387 0 0 0 -1 7 0 0 0
[pid=27540/tid=27594] ppid=27539 vsize=158784 CPUtime=189.89
/proc/27540/task/27594/stat : 27594 (pb_cplex) R 27539 27539 26813 0 -1 4202560 11964 0 0 0 18817 172 0 0 16 0 8 0 146878154 162594816 16678 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=27540/tid=27595] ppid=27539 vsize=158784 CPUtime=189
/proc/27540/task/27595/stat : 27595 (pb_cplex) R 27539 27539 26813 0 -1 4202560 15777 0 0 0 18725 175 0 0 16 0 8 0 146878154 162594816 16678 4089446400 134512640 146736320 4294340240 18446744073709551615 136403117 0 2 4096 16387 0 0 0 -1 2 0 0 0
[pid=27540/tid=27596] ppid=27539 vsize=158784 CPUtime=187.58
/proc/27540/task/27596/stat : 27596 (pb_cplex) R 27539 27539 26813 0 -1 4202560 11853 0 0 0 18582 176 0 0 16 0 8 0 146878154 162594816 16678 4089446400 134512640 146736320 4294340240 18446744073709551615 136403117 0 2 4096 16387 0 0 0 -1 4 0 0 0
[pid=27540/tid=27597] ppid=27539 vsize=158784 CPUtime=189.82
/proc/27540/task/27597/stat : 27597 (pb_cplex) S 27539 27539 26813 0 -1 4202560 11681 0 0 0 18798 184 0 0 16 0 8 0 146878154 162594816 16678 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 6 0 0 0
[pid=27540/tid=27598] ppid=27539 vsize=158784 CPUtime=190.61
/proc/27540/task/27598/stat : 27598 (pb_cplex) R 27539 27539 26813 0 -1 4202560 9392 0 0 0 18890 171 0 0 16 0 8 0 146878154 162594816 16678 4089446400 134512640 146736320 4294340240 18446744073709551615 135854509 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1597.27
Current children cumulated vsize (KiB) 167484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+313.459 s]
/proc/loadavg: 7.30 10.10 7.77 7/179 27630
/proc/meminfo: memFree=30867052/32951124 swapFree=67111528/67111528
[pid=27539] ppid=27537 vsize=8700 CPUtime=0
/proc/27539/stat : 27539 (run) S 27537 27539 26813 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146875986 8908800 249 4089446400 4194304 4922060 140733434283184 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/27539/statm: 2175 249 208 178 0 68 0
[pid=27540] ppid=27539 vsize=158784 CPUtime=1800.35
/proc/27540/stat : 27540 (pb_cplex) S 27539 27539 26813 0 -1 4202496 165846 0 0 0 178320 1715 0 0 15 0 8 0 146875986 162594816 16845 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/27540/statm: 39696 16845 1102 2985 0 36238 0
[pid=27540/tid=27592] ppid=27539 vsize=158784 CPUtime=216.46
/proc/27540/task/27592/stat : 27592 (pb_cplex) R 27539 27539 26813 0 -1 4202560 12029 0 0 0 21435 211 0 0 15 0 8 0 146878154 162594816 16845 4089446400 134512640 146736320 4294340240 18446744073709551615 136017505 0 2 4096 16387 0 0 0 -1 0 0 0 0
[pid=27540/tid=27593] ppid=27539 vsize=158784 CPUtime=214.32
/proc/27540/task/27593/stat : 27593 (pb_cplex) S 27539 27539 26813 0 -1 4202560 12491 0 0 0 21235 197 0 0 15 0 8 0 146878154 162594816 16845 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 7 0 0 0
[pid=27540/tid=27594] ppid=27539 vsize=158784 CPUtime=215.19
/proc/27540/task/27594/stat : 27594 (pb_cplex) R 27539 27539 26813 0 -1 4202560 14039 0 0 0 21322 197 0 0 15 0 8 0 146878154 162594816 16845 4089446400 134512640 146736320 4294340240 18446744073709551615 136403112 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=27540/tid=27595] ppid=27539 vsize=158784 CPUtime=214.07
/proc/27540/task/27595/stat : 27595 (pb_cplex) R 27539 27539 26813 0 -1 4202560 16783 0 0 0 21206 201 0 0 15 0 8 0 146878154 162594816 16845 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=27540/tid=27596] ppid=27539 vsize=158784 CPUtime=212.8
/proc/27540/task/27596/stat : 27596 (pb_cplex) R 27539 27539 26813 0 -1 4202560 12584 0 0 0 21079 201 0 0 15 0 8 0 146878154 162594816 16845 4089446400 134512640 146736320 4294340240 18446744073709551615 136388081 0 2 4096 16387 0 0 0 -1 3 0 0 0
[pid=27540/tid=27597] ppid=27539 vsize=158784 CPUtime=215.48
/proc/27540/task/27597/stat : 27597 (pb_cplex) S 27539 27539 26813 0 -1 4202560 12410 0 0 0 21335 213 0 0 16 0 8 0 146878154 162594816 16845 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 2 0 0 0
[pid=27540/tid=27598] ppid=27539 vsize=158784 CPUtime=215.96
/proc/27540/task/27598/stat : 27598 (pb_cplex) R 27539 27539 26813 0 -1 4202560 9897 0 0 0 21405 191 0 0 15 0 8 0 146878154 162594816 16845 4089446400 134512640 146736320 4294340240 18446744073709551615 136017757 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 167484

Sending SIGTERM to process tree (bottom up)

[startup+t ended. D313.459 s]
/proc/loadavg: 7.30 10.10 7.77 7/179 27630
/proc/meminfo: memFree=30867052/32951124 swapFree=67111528/67111528
[pid=27539] ppid=27537 vsize=8700 CPUtime=0
/proc/27539/stat : 27539 (run) S 27537 27539 26813 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146875986 8908800 249 4089446400 4194304 4922060 140733434283184 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/27539/statm: 2175 249 208 178 0 68 0
[pid=27540] ppid=27539 vsize=158784 CPUtime=1800.35
/proc/27540/stat : 27540 (pb_cplex) S 27539 27539 26813 0 -1 4202496 165846 0 0 0 178320 1715 0 0 15 0 8 0 146875986 162594816 16845 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/27540/statm: 39696 16845 1102 2985 0 36238 0
[pid=27540/tid=27592] ppid=27539 vsize=158784 CPUtime=216.46
/proc/27540/task/27592/stat : 27592 (pb_cplex) R 27539 27539 26813 0 -1 4202560 12029 0 0 0 21435 211 0 0 15 0 8 0 146878154 162594816 16845 4089446400 134512640 146736320 4294340240 18446744073709551615 136017505 0 2 4096 16387 0 0 0 -1 0 0 0 0
[pid=27540/tid=27593] ppid=27539 vsize=158784 CPUtime=214.32
/proc/27540/task/27593/stat : 27593 (pb_cplex) S 27539 27539 26813 0 -1 4202560 12491 0 0 0 21235 197 0 0 15 0 8 0 146878154 162594816 16845 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 7 0 0 0
[pid=27540/tid=27594] ppid=27539 vsize=158784 CPUtime=215.19
/proc/27540/task/27594/stat : 27594 (pb_cplex) R 27539 27539 26813 0 -1 4202560 14039 0 0 0 21322 197 0 0 15 0 8 0 146878154 162594816 16845 4089446400 134512640 146736320 4294340240 18446744073709551615 136403112 0 2 4096 16387 0 0 0 -1 5 0 0 0
[pid=27540/tid=27595] ppid=27539 vsize=158784 CPUtime=214.07
/proc/27540/task/27595/stat : 27595 (pb_cplex) R 27539 27539 26813 0 -1 4202560 16783 0 0 0 21206 201 0 0 15 0 8 0 146878154 162594816 16845 4089446400 134512640 146736320 4294340240 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0
[pid=27540/tid=27596] ppid=27539 vsize=158784 CPUtime=212.8
/proc/27540/task/27596/stat : 27596 (pb_cplex) R 27539 27539 26813 0 -1 4202560 12584 0 0 0 21079 201 0 0 15 0 8 0 146878154 162594816 16845 4089446400 134512640 146736320 4294340240 18446744073709551615 136388081 0 2 4096 16387 0 0 0 -1 3 0 0 0
[pid=27540/tid=27597] ppid=27539 vsize=158784 CPUtime=215.48
/proc/27540/task/27597/stat : 27597 (pb_cplex) S 27539 27539 26813 0 -1 4202560 12410 0 0 0 21335 213 0 0 16 0 8 0 146878154 162594816 16845 4089446400 134512640 146736320 4294340240 18446744073709551615 144580073 0 2 4096 16387 18446604470936873984 0 0 -1 2 0 0 0
[pid=27540/tid=27598] ppid=27539 vsize=158784 CPUtime=215.96
/proc/27540/task/27598/stat : 27598 (pb_cplex) R 27539 27539 26813 0 -1 4202560 9897 0 0 0 21405 191 0 0 15 0 8 0 146878154 162594816 16845 4089446400 134512640 146736320 4294340240 18446744073709551615 136017757 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 167484

Child status: 0
Real time (s): 313.475
CPU time (s): 1800.38
CPU user time (s): 1783.23
CPU system time (s): 17.1554
CPU usage (%): 574.331
Max. virtual memory (cumulated for all children) (KiB): 171164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.23
system time used= 17.1554
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166219
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= 308518
involuntary context switches= 8574

runsolver used 0.536918 second user time and 1.26281 second system time

The end

Launcher Data 

Begin job on node146 at 2010-07-02 09:30:13
IDJOB=2697468
IDBENCH=79304
IDSOLVER=1210
FILE ID=node146/2697468-1278055813
PBS_JOBID= 11198889
Free space on /tmp= 74116 MiB

SOLVER NAME= pb_cplex 2010-07-01
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697468-1278055813/watcher-2697468-1278055813 -o /tmp/evaluation-result-2697468-1278055813/solver-2697468-1278055813 -C 1800 -W 2000 -M 3800  run HOME/instance-2697468-1278055813.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 2d690d91fe5f00c81c2e61f07f4a896b
RANDOM SEED=1438158264

node146.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30696052 kB
Buffers:        229364 kB
Cached:        1592448 kB
SwapCached:          0 kB
Active:         791636 kB
Inactive:      1309624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30696052 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           16740 kB
Writeback:           0 kB
AnonPages:      279124 kB
Mapped:          18820 kB
Slab:            87700 kB
PageTables:       5024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   503252 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74116 MiB
End job on node146 at 2010-07-02 09:35:27