Trace number 2695811

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb_cplex 2010-06-29? (TO) 1800.04 1060.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-5.opb
MD5SUM0973e03eb27089eff6bc20e630a3ba01
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3176
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6352
Total number of constraints13501
Number of constraints which are clauses13501
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 constraint3
Number of terms in the objective function 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-2695811-1278018608.opb.
0.00/0.00	c Instance file HOME/instance-2695811-1278018608.opb
0.00/0.00	c File size is 455953 bytes.
6.29/9.48	c Highest Coefficient sum: 4
6.29/9.48	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
6.29/9.50	c ============================[ Problem Statistics ]=============================
6.29/9.50	c |                                                                             |
6.29/9.50	c |  Parsing time:          9.49         s                                      |
6.29/9.50	c |  Number Variables:      6352                                                |
6.29/9.51	c |  Number Constraints:    13501                                               |
6.29/9.51	c ===============================================================================
1800.04/1060.71	c Remaining time 1790.51 sec.
1800.04/1060.71	c 
1800.04/1060.71	c *** INTERRUPTED ***
1800.04/1060.71	s UNKNOWN
1800.04/1060.71	c Total CPU time              : 1797.86 s
1800.04/1060.71	c Memory used           : 80.20 MB
1800.04/1060.71	c CPU time              : 1797.86 s
1800.04/1060.71	c 
1800.04/1060.71	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-2695811-1278018608/watcher-2695811-1278018608 -o /tmp/evaluation-result-2695811-1278018608/solver-2695811-1278018608 -C 1800 -W 2000 -M 1800 run HOME/instance-2695811-1278018608.opb 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.11 2.04 1.65 3/106 29695
/proc/meminfo: memFree=1268564/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0

[startup+0.039589 s]
/proc/loadavg: 2.11 2.04 1.65 3/106 29695
/proc/meminfo: memFree=1268564/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100594 s]
/proc/loadavg: 2.11 2.04 1.65 3/106 29695
/proc/meminfo: memFree=1268564/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300614 s]
/proc/loadavg: 2.11 2.04 1.65 3/106 29695
/proc/meminfo: memFree=1268564/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700655 s]
/proc/loadavg: 2.11 2.04 1.65 3/106 29695
/proc/meminfo: memFree=1268564/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50074 s]
/proc/loadavg: 2.11 2.04 1.65 2/108 29697
/proc/meminfo: memFree=1266440/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=14804 CPUtime=1.49
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 765 0 0 0 149 0 0 0 23 0 1 0 143154553 15159296 718 1992294400 134512640 146736320 4287449664 18446744073709551615 140660149 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29696/statm: 3701 718 298 2985 0 523 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23504

[startup+3.1009 s]
/proc/loadavg: 2.11 2.04 1.65 2/108 29697
/proc/meminfo: memFree=1266192/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=14804 CPUtime=3.09
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 789 0 0 0 309 0 0 0 25 0 1 0 143154553 15159296 742 1992294400 134512640 146736320 4287449664 18446744073709551615 141014048 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29696/statm: 3701 742 298 2985 0 523 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23504

[startup+6.30123 s]
/proc/loadavg: 2.18 2.06 1.66 2/108 29697
/proc/meminfo: memFree=1265324/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=14936 CPUtime=6.29
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 808 0 0 0 629 0 0 0 25 0 1 0 143154553 15294464 761 1992294400 134512640 146736320 4287449664 18446744073709551615 134814125 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29696/statm: 3734 761 298 2985 0 556 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23636

[startup+57.2905 s]
/proc/loadavg: 2.18 2.06 1.66 2/108 29697
/proc/meminfo: memFree=1265324/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=89512 CPUtime=57.85
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 87569 0 0 0 5748 37 0 0 16 0 2 0 143154553 91660288 13639 1992294400 134512640 146736320 4287449664 18446744073709551615 136008167 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/29696/statm: 22378 13639 1043 2985 0 18920 0
Current children cumulated CPU time (s) 57.85
Current children cumulated vsize (KiB) 98212

[startup+57.3015 s]
/proc/loadavg: 3.68 2.47 1.81 2/109 29700
/proc/meminfo: memFree=1217088/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=89512 CPUtime=57.87
/proc/29696/stat : 29696 (pb_cplex) S 29695 29695 29415 0 -1 4202496 87569 0 0 0 5750 37 0 0 16 0 2 0 143154553 91660288 13639 1992294400 134512640 146736320 4287449664 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/29696/statm: 22378 13639 1043 2985 0 18920 0
[pid=29696/tid=29700] ppid=29695 vsize=89512 CPUtime=0.76
/proc/29696/task/29700/stat : 29700 (pb_cplex) R 29695 29695 29415 0 -1 4202560 3309 0 0 0 75 1 0 0 25 0 2 0 143160172 91660288 13639 1992294400 134512640 146736320 4287449664 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 57.87
Current children cumulated vsize (KiB) 98212

[startup+57.4095 s]
/proc/loadavg: 3.68 2.47 1.81 2/109 29700
/proc/meminfo: memFree=1217088/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=89812 CPUtime=58.02
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 87643 0 0 0 5765 37 0 0 16 0 2 0 143154553 91967488 13713 1992294400 134512640 146736320 4287449664 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/29696/statm: 22453 13713 1043 2985 0 18995 0
[pid=29696/tid=29700] ppid=29695 vsize=89812 CPUtime=0.86
/proc/29696/task/29700/stat : 29700 (pb_cplex) R 29695 29695 29415 0 -1 4202560 3375 0 0 0 85 1 0 0 25 0 2 0 143160172 91967488 13713 1992294400 134512640 146736320 4287449664 18446744073709551615 136008443 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 58.02
Current children cumulated vsize (KiB) 98512

[startup+102.301 s]
/proc/loadavg: 2.64 2.36 1.81 3/109 29702
/proc/meminfo: memFree=1213616/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=89940 CPUtime=135.15
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 107183 0 0 0 13463 52 0 0 20 0 2 0 143154553 92098560 14395 1992294400 134512640 146736320 4287449664 18446744073709551615 135983225 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/29696/statm: 22485 14395 1047 2985 0 19027 0
[pid=29696/tid=29700] ppid=29695 vsize=89940 CPUtime=42.45
/proc/29696/task/29700/stat : 29700 (pb_cplex) R 29695 29695 29415 0 -1 4202560 22180 0 0 0 4231 14 0 0 25 0 2 0 143160172 92098560 14395 1992294400 134512640 146736320 4287449664 18446744073709551615 135999699 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 135.15
Current children cumulated vsize (KiB) 98640

[startup+162.301 s]
/proc/loadavg: 2.15 2.27 1.81 3/109 29702
/proc/meminfo: memFree=1212376/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=91120 CPUtime=237.39
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 122480 0 0 0 23670 69 0 0 25 0 2 0 143154553 93306880 14859 1992294400 134512640 146736320 4287449664 18446744073709551615 136008441 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/29696/statm: 22780 14859 1047 2985 0 19322 0
[pid=29696/tid=29700] ppid=29695 vsize=91120 CPUtime=94.22
/proc/29696/task/29700/stat : 29700 (pb_cplex) R 29695 29695 29415 0 -1 4202560 35673 0 0 0 9396 26 0 0 25 0 2 0 143160172 93306880 14859 1992294400 134512640 146736320 4287449664 18446744073709551615 135854511 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 237.39
Current children cumulated vsize (KiB) 99820

[startup+222.301 s]
/proc/loadavg: 1.58 2.07 1.77 3/109 29706
/proc/meminfo: memFree=1219816/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=75012 CPUtime=302.37
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 126134 0 0 0 30162 75 0 0 19 0 2 0 143154553 76812288 12908 1992294400 134512640 146736320 4287449664 18446744073709551615 136007616 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/29696/statm: 18753 12908 1073 2985 0 15295 0
[pid=29696/tid=29706] ppid=29695 vsize=75012 CPUtime=4.97
/proc/29696/task/29706/stat : 29706 (pb_cplex) R 29695 29695 29415 0 -1 4202560 2423 0 0 0 496 1 0 0 25 0 2 0 143176221 76812288 12908 1992294400 134512640 146736320 4287449664 18446744073709551615 136008441 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 302.37
Current children cumulated vsize (KiB) 83712

[startup+282.301 s]
/proc/loadavg: 1.77 2.03 1.77 3/109 29708
/proc/meminfo: memFree=1216964/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=77700 CPUtime=411.05
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 138062 0 0 0 41010 95 0 0 20 0 2 0 143154553 79564800 13768 1992294400 134512640 146736320 4287449664 18446744073709551615 136403109 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/29696/statm: 19425 13768 1073 2985 0 15967 0
[pid=29696/tid=29706] ppid=29695 vsize=77700 CPUtime=61.34
/proc/29696/task/29706/stat : 29706 (pb_cplex) R 29695 29695 29415 0 -1 4202560 14326 0 0 0 6119 15 0 0 20 0 2 0 143176221 79564800 13768 1992294400 134512640 146736320 4287449664 18446744073709551615 136006076 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 411.05
Current children cumulated vsize (KiB) 86400

[startup+342.309 s]
/proc/loadavg: 2.04 2.05 1.79 3/109 29710
/proc/meminfo: memFree=1217336/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=77060 CPUtime=512.91
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 147766 0 0 0 51183 108 0 0 18 0 2 0 143154553 78909440 13645 1992294400 134512640 146736320 4287449664 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/29696/statm: 19265 13645 1073 2985 0 15807 0
[pid=29696/tid=29706] ppid=29695 vsize=77060 CPUtime=113.12
/proc/29696/task/29706/stat : 29706 (pb_cplex) R 29695 29695 29415 0 -1 4202560 24030 0 0 0 11287 25 0 0 18 0 2 0 143176221 78909440 13645 1992294400 134512640 146736320 4287449664 18446744073709551615 136008069 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 512.91
Current children cumulated vsize (KiB) 85760

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

[pid=29696] ppid=29695 vsize=79704 CPUtime=833.42
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 159749 0 0 0 83205 137 0 0 25 0 2 0 143154553 81616896 14167 1992294400 134512640 146736320 4287449664 18446744073709551615 135525923 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/29696/statm: 19926 14167 1073 2985 0 16468 0
[pid=29696/tid=29706] ppid=29695 vsize=79704 CPUtime=273.41
/proc/29696/task/29706/stat : 29706 (pb_cplex) S 29695 29695 29415 0 -1 4202560 36013 0 0 0 27298 43 0 0 21 0 2 0 143176221 81616896 14167 1992294400 134512640 146736320 4287449664 18446744073709551615 144580073 0 2 4096 16387 18446604437555515776 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 833.42
Current children cumulated vsize (KiB) 88404

[startup+582.301 s]
/proc/loadavg: 2.12 2.11 1.87 3/109 29716
/proc/meminfo: memFree=1215848/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=79716 CPUtime=938.82
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 163522 0 0 0 93734 148 0 0 25 0 2 0 143154553 81629184 14097 1992294400 134512640 146736320 4287449664 18446744073709551615 136008266 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/29696/statm: 19929 14097 1073 2985 0 16471 0
[pid=29696/tid=29706] ppid=29695 vsize=79716 CPUtime=325.27
/proc/29696/task/29706/stat : 29706 (pb_cplex) R 29695 29695 29415 0 -1 4202560 39786 0 0 0 32478 49 0 0 19 0 2 0 143176221 81629184 14097 1992294400 134512640 146736320 4287449664 18446744073709551615 135526859 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 938.82
Current children cumulated vsize (KiB) 88416

[startup+642.301 s]
/proc/loadavg: 2.08 2.10 1.88 3/109 29718
/proc/meminfo: memFree=1214980/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=80740 CPUtime=1050.19
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 166376 0 0 0 104860 159 0 0 23 0 2 0 143154553 82677760 14283 1992294400 134512640 146736320 4287449664 18446744073709551615 136008178 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/29696/statm: 20185 14283 1073 2985 0 16727 0
[pid=29696/tid=29706] ppid=29695 vsize=80740 CPUtime=381.08
/proc/29696/task/29706/stat : 29706 (pb_cplex) R 29695 29695 29415 0 -1 4202560 42640 0 0 0 38052 56 0 0 23 0 2 0 143176221 82677760 14283 1992294400 134512640 146736320 4287449664 18446744073709551615 136000487 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1050.19
Current children cumulated vsize (KiB) 89440

[startup+702.301 s]
/proc/loadavg: 1.91 2.05 1.87 3/109 29720
/proc/meminfo: memFree=1214112/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=80812 CPUtime=1158.93
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 169093 0 0 0 115726 167 0 0 25 0 2 0 143154553 82751488 14427 1992294400 134512640 146736320 4287449664 18446744073709551615 136008053 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/29696/statm: 20203 14427 1073 2985 0 16745 0
[pid=29696/tid=29706] ppid=29695 vsize=80812 CPUtime=435.21
/proc/29696/task/29706/stat : 29706 (pb_cplex) R 29695 29695 29415 0 -1 4202560 45357 0 0 0 43460 61 0 0 21 0 2 0 143176221 82751488 14427 1992294400 134512640 146736320 4287449664 18446744073709551615 136008400 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1158.93
Current children cumulated vsize (KiB) 89512

[startup+762.301 s]
/proc/loadavg: 1.88 2.01 1.87 3/109 29720
/proc/meminfo: memFree=1213368/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=81092 CPUtime=1264.92
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 172239 0 0 0 126316 176 0 0 25 0 2 0 143154553 83038208 14424 1992294400 134512640 146736320 4287449664 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/29696/statm: 20273 14424 1073 2985 0 16815 0
[pid=29696/tid=29706] ppid=29695 vsize=81092 CPUtime=487.6
/proc/29696/task/29706/stat : 29706 (pb_cplex) R 29695 29695 29415 0 -1 4202560 48503 0 0 0 48695 65 0 0 17 0 2 0 143176221 83038208 14424 1992294400 134512640 146736320 4287449664 18446744073709551615 136008170 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1264.92
Current children cumulated vsize (KiB) 89792

[startup+822.302 s]
/proc/loadavg: 2.25 2.10 1.91 3/109 29722
/proc/meminfo: memFree=1214360/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=81092 CPUtime=1374.76
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 175299 0 0 0 137292 184 0 0 18 0 2 0 143154553 83038208 14473 1992294400 134512640 146736320 4287449664 18446744073709551615 136008042 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/29696/statm: 20273 14473 1073 2985 0 16815 0
[pid=29696/tid=29706] ppid=29695 vsize=81092 CPUtime=542.38
/proc/29696/task/29706/stat : 29706 (pb_cplex) R 29695 29695 29415 0 -1 4202560 51563 0 0 0 54168 70 0 0 19 0 2 0 143176221 83038208 14473 1992294400 134512640 146736320 4287449664 18446744073709551615 136403132 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1374.76
Current children cumulated vsize (KiB) 89792

[startup+882.301 s]
/proc/loadavg: 1.90 2.01 1.89 4/109 29724
/proc/meminfo: memFree=1213492/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=81780 CPUtime=1480.27
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 178112 0 0 0 147834 193 0 0 18 0 2 0 143154553 83742720 14647 1992294400 134512640 146736320 4287449664 18446744073709551615 139044574 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/29696/statm: 20445 14647 1073 2985 0 16987 0
[pid=29696/tid=29706] ppid=29695 vsize=81780 CPUtime=593.75
/proc/29696/task/29706/stat : 29706 (pb_cplex) R 29695 29695 29415 0 -1 4202560 54376 0 0 0 59299 76 0 0 18 0 2 0 143176221 83742720 14647 1992294400 134512640 146736320 4287449664 18446744073709551615 136007622 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1480.27
Current children cumulated vsize (KiB) 90480

[startup+942.301 s]
/proc/loadavg: 1.79 1.96 1.88 3/109 29726
/proc/meminfo: memFree=1212748/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=82812 CPUtime=1589.24
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 180239 0 0 0 158723 201 0 0 21 0 2 0 143154553 84799488 14833 1992294400 134512640 146736320 4287449664 18446744073709551615 136008042 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/29696/statm: 20703 14833 1073 2985 0 17245 0
[pid=29696/tid=29706] ppid=29695 vsize=82812 CPUtime=647.74
/proc/29696/task/29706/stat : 29706 (pb_cplex) R 29695 29695 29415 0 -1 4202560 56503 0 0 0 64693 81 0 0 21 0 2 0 143176221 84799488 14833 1992294400 134512640 146736320 4287449664 18446744073709551615 139042897 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1589.24
Current children cumulated vsize (KiB) 91512

[startup+1002.31 s]
/proc/loadavg: 2.01 2.00 1.90 3/109 29728
/proc/meminfo: memFree=1212748/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=82816 CPUtime=1694.55
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 183751 0 0 0 169245 210 0 0 18 0 2 0 143154553 84803584 14792 1992294400 134512640 146736320 4287449664 18446744073709551615 136008061 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/29696/statm: 20704 14792 1073 2985 0 17246 0
[pid=29696/tid=29706] ppid=29695 vsize=82816 CPUtime=699.54
/proc/29696/task/29706/stat : 29706 (pb_cplex) R 29695 29695 29415 0 -1 4202560 60015 0 0 0 69868 86 0 0 18 0 2 0 143176221 84803584 14792 1992294400 134512640 146736320 4287449664 18446744073709551615 136008042 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1694.55
Current children cumulated vsize (KiB) 91516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1060.7 s]
/proc/loadavg: 1.72 1.92 1.88 4/109 29728
/proc/meminfo: memFree=1212996/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=82120 CPUtime=1800.04
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 188177 0 0 0 179784 220 0 0 25 0 2 0 143154553 84090880 14739 1992294400 134512640 146736320 4287449664 18446744073709551615 136474972 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/29696/statm: 20530 14739 1073 2985 0 17072 0
[pid=29696/tid=29706] ppid=29695 vsize=82120 CPUtime=750.85
/proc/29696/task/29706/stat : 29706 (pb_cplex) R 29695 29695 29415 0 -1 4202560 64441 0 0 0 74992 93 0 0 18 0 2 0 143176221 84090880 14739 1992294400 134512640 146736320 4287449664 18446744073709551615 136008178 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 90820

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

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

[startup+1060.7 s]
/proc/loadavg: 1.72 1.92 1.88 4/109 29728
/proc/meminfo: memFree=1212996/2059040 swapFree=4139312/4192956
[pid=29695] ppid=29693 vsize=8700 CPUtime=0
/proc/29695/stat : 29695 (run) S 29693 29695 29415 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 143154553 8908800 249 1992294400 4194304 4922060 140736409437456 18446744073709551615 212588928133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29695/statm: 2175 249 208 178 0 68 0
[pid=29696] ppid=29695 vsize=82120 CPUtime=1800.04
/proc/29696/stat : 29696 (pb_cplex) R 29695 29695 29415 0 -1 4202496 188177 0 0 0 179784 220 0 0 25 0 2 0 143154553 84090880 14739 1992294400 134512640 146736320 4287449664 18446744073709551615 136474972 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/29696/statm: 20530 14739 1073 2985 0 17072 0
[pid=29696/tid=29706] ppid=29695 vsize=82120 CPUtime=750.85
/proc/29696/task/29706/stat : 29706 (pb_cplex) R 29695 29695 29415 0 -1 4202560 64441 0 0 0 74992 93 0 0 18 0 2 0 143176221 84090880 14739 1992294400 134512640 146736320 4287449664 18446744073709551615 136008178 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 90820

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1060.72
CPU time (s): 1800.04
CPU user time (s): 1797.84
CPU system time (s): 2.2
CPU usage (%): 169.7
Max. virtual memory (cumulated for all children) (KiB): 100748

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

runsolver used 2.07268 second user time and 5.12222 second system time

The end

Launcher Data 

Begin job on node083 at 2010-07-01 23:10:08
IDJOB=2695811
IDBENCH=2167
IDSOLVER=1209
FILE ID=node083/2695811-1278018608
PBS_JOBID= 11198704
Free space on /tmp= 62444 MiB

SOLVER NAME= pb_cplex 2010-06-29
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-5.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695811-1278018608/watcher-2695811-1278018608 -o /tmp/evaluation-result-2695811-1278018608/solver-2695811-1278018608 -C 1800 -W 2000 -M 1800  run HOME/instance-2695811-1278018608.opb

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

MD5SUM BENCH= 0973e03eb27089eff6bc20e630a3ba01
RANDOM SEED=958383371

node083.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.262
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.262
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1268968 kB
Buffers:        194776 kB
Cached:         480768 kB
SwapCached:       6856 kB
Active:         283324 kB
Inactive:       406044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1268968 kB
SwapTotal:     4192956 kB
SwapFree:      4139312 kB
Dirty:           17016 kB
Writeback:           0 kB
AnonPages:       11832 kB
Mapped:          11960 kB
Slab:            78652 kB
PageTables:       4192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183412 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62428 MiB
End job on node083 at 2010-07-01 23:27:51