Trace number 2695930

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.17 1047.42

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_15.opb
MD5SUMb4a219bc21641bf0d46eae2692004ebe
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark202
Best CPU time to get the best result obtained on this benchmark1800.38
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 176
Optimality of the best value was proved NO
Number of variables4320
Total number of constraints8414
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8414
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1469
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-2695930-1278019778.opb.
0.00/0.00	c Instance file HOME/instance-2695930-1278019778.opb
0.00/0.00	c File size is 2048187 bytes.
2.48/2.58	c Highest Coefficient sum: 1469
2.48/2.58	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
2.59/2.62	c ============================[ Problem Statistics ]=============================
2.59/2.62	c |                                                                             |
2.59/2.62	c |  Parsing time:          2.60         s                                      |
2.59/2.62	c |  Number Variables:      4320                                                |
2.59/2.65	c |  Number Constraints:    8414                                                |
2.59/2.65	c ===============================================================================
1800.17/1047.41	c Remaining time 1797.38 sec.
1800.17/1047.41	c 
1800.17/1047.41	c *** INTERRUPTED ***
1800.17/1047.41	s UNKNOWN
1800.17/1047.41	c Total CPU time              : 1797.52 s
1800.17/1047.41	c Memory used           : 180.55 MB
1800.17/1047.41	c CPU time              : 1797.52 s
1800.17/1047.41	c 
1800.17/1047.41	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-2695930-1278019778/watcher-2695930-1278019778 -o /tmp/evaluation-result-2695930-1278019778/solver-2695930-1278019778 -C 1800 -W 2000 -M 1800 run HOME/instance-2695930-1278019778.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: 1.00 1.00 1.00 3/106 30304
/proc/meminfo: memFree=1442148/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0

[startup+0.0694621 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30304
/proc/meminfo: memFree=1442148/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101464 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30304
/proc/meminfo: memFree=1442148/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301484 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30304
/proc/meminfo: memFree=1442148/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701523 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30304
/proc/meminfo: memFree=1442148/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.5006 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30306
/proc/meminfo: memFree=1439404/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=17968 CPUtime=1.49
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 1477 0 0 0 149 0 0 0 21 0 1 0 143270757 18399232 1431 1992294400 134512640 146736320 4286725152 18446744073709551615 134814118 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30305/statm: 4492 1431 568 2985 0 925 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26668

[startup+3.10078 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30306
/proc/meminfo: memFree=1436800/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=49548 CPUtime=3.09
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 11438 0 0 0 305 4 0 0 18 0 1 0 143270757 50737152 7436 1992294400 134512640 146736320 4286725152 18446744073709551615 136730153 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30305/statm: 12387 7436 786 2985 0 8929 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58248

[startup+6.30107 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30306
/proc/meminfo: memFree=1405056/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=76004 CPUtime=6.29
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 30142 0 0 0 618 11 0 0 25 0 1 0 143270757 77828096 13141 1992294400 134512640 146736320 4286725152 18446744073709551615 135704928 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30305/statm: 19001 13141 984 2985 0 15543 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84704

[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30306
/proc/meminfo: memFree=1402452/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=70364 CPUtime=12.68
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 44923 0 0 0 1251 17 0 0 25 0 1 0 143270757 72052736 12143 1992294400 134512640 146736320 4286725152 18446744073709551615 137417384 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30305/statm: 17591 12143 989 2985 0 14133 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 79064

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30308
/proc/meminfo: memFree=1394516/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=76200 CPUtime=25.48
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 71006 0 0 0 2521 27 0 0 25 0 1 0 143270757 78028800 13573 1992294400 134512640 146736320 4286725152 18446744073709551615 137692244 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30305/statm: 19050 13573 989 2985 0 15592 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84900

[startup+51.1015 s]
/proc/loadavg: 1.07 1.02 1.00 2/109 30309
/proc/meminfo: memFree=1340816/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=146188 CPUtime=54.58
/proc/30305/stat : 30305 (pb_cplex) S 30304 30304 29904 0 -1 4202496 108457 0 0 0 5414 44 0 0 25 0 2 0 143270757 149696512 26116 1992294400 134512640 146736320 4286725152 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30305/statm: 36547 26116 1051 2985 0 33089 0
[pid=30305/tid=30309] ppid=30304 vsize=146188 CPUtime=8.04
/proc/30305/task/30309/stat : 30309 (pb_cplex) R 30304 30304 29904 0 -1 4202560 4402 0 0 0 802 2 0 0 25 0 2 0 143274800 149696512 26116 1992294400 134512640 146736320 4286725152 18446744073709551615 139042980 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 54.58
Current children cumulated vsize (KiB) 154888

[startup+102.31 s]
/proc/loadavg: 1.15 1.04 1.01 3/109 30311
/proc/meminfo: memFree=1332508/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=151420 CPUtime=115.55
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 120138 0 0 0 11502 53 0 0 25 0 2 0 143270757 155054080 28105 1992294400 134512640 146736320 4286725152 18446744073709551615 136388107 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30305/statm: 37855 28105 1045 2985 0 34397 0
[pid=30305/tid=30309] ppid=30304 vsize=151420 CPUtime=19.29
/proc/30305/task/30309/stat : 30309 (pb_cplex) R 30304 30304 29904 0 -1 4202560 11210 0 0 0 1922 7 0 0 25 0 2 0 143274800 155054080 28105 1992294400 134512640 146736320 4286725152 18446744073709551615 139044542 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 115.55
Current children cumulated vsize (KiB) 160120

[startup+162.301 s]
/proc/loadavg: 1.87 1.25 1.08 4/110 30314
/proc/meminfo: memFree=1312776/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=156188 CPUtime=231.26
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 136802 0 0 0 23057 69 0 0 25 0 2 0 143270757 159936512 29503 1992294400 134512640 146736320 4286725152 18446744073709551615 135526134 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30305/statm: 39047 29503 1071 2985 0 35589 0
[pid=30305/tid=30309] ppid=30304 vsize=156188 CPUtime=75.51
/proc/30305/task/30309/stat : 30309 (pb_cplex) R 30304 30304 29904 0 -1 4202560 21538 0 0 0 7534 17 0 0 25 0 2 0 143274800 159936512 29503 1992294400 134512640 146736320 4286725152 18446744073709551615 136008366 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 231.26
Current children cumulated vsize (KiB) 164888

[startup+222.302 s]
/proc/loadavg: 1.75 1.33 1.12 3/109 30316
/proc/meminfo: memFree=1317380/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=166540 CPUtime=328.97
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 159205 0 0 0 32808 89 0 0 25 0 2 0 143270757 170536960 31928 1992294400 134512640 146736320 4286725152 18446744073709551615 136403112 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30305/statm: 41635 31928 1071 2985 0 38177 0
[pid=30305/tid=30309] ppid=30304 vsize=166540 CPUtime=113.24
/proc/30305/task/30309/stat : 30309 (pb_cplex) R 30304 30304 29904 0 -1 4202560 33218 0 0 0 11294 30 0 0 25 0 2 0 143274800 170536960 31928 1992294400 134512640 146736320 4286725152 18446744073709551615 135468684 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 328.97
Current children cumulated vsize (KiB) 175240

[startup+282.302 s]
/proc/loadavg: 1.85 1.44 1.17 3/109 30318
/proc/meminfo: memFree=1312792/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=170696 CPUtime=440.56
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 170249 0 0 0 43956 100 0 0 25 0 2 0 143270757 174792704 33073 1992294400 134512640 146736320 4286725152 18446744073709551615 136384857 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30305/statm: 42674 33073 1071 2985 0 39216 0
[pid=30305/tid=30309] ppid=30304 vsize=170696 CPUtime=164.84
/proc/30305/task/30309/stat : 30309 (pb_cplex) R 30304 30304 29904 0 -1 4202560 38308 0 0 0 16449 35 0 0 25 0 2 0 143274800 174792704 33073 1992294400 134512640 146736320 4286725152 18446744073709551615 139044583 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 440.56
Current children cumulated vsize (KiB) 179396

[startup+342.302 s]
/proc/loadavg: 1.79 1.48 1.20 3/109 30320
/proc/meminfo: memFree=1314280/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=169644 CPUtime=540.69
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 190350 0 0 0 53950 119 0 0 25 0 2 0 143270757 173715456 32666 1992294400 134512640 146736320 4286725152 18446744073709551615 135453262 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30305/statm: 42411 32666 1071 2985 0 38953 0
[pid=30305/tid=30309] ppid=30304 vsize=169644 CPUtime=205.27
/proc/30305/task/30309/stat : 30309 (pb_cplex) R 30304 30304 29904 0 -1 4202560 52100 0 0 0 20479 48 0 0 25 0 2 0 143274800 173715456 32666 1992294400 134512640 146736320 4286725152 18446744073709551615 136007975 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 540.69
Current children cumulated vsize (KiB) 178344

[startup+402.302 s]

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

[pid=30305] ppid=30304 vsize=177884 CPUtime=753.5
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 231448 0 0 0 75194 156 0 0 25 0 2 0 143270757 182153216 34628 1992294400 134512640 146736320 4286725152 18446744073709551615 136008306 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30305/statm: 44471 34628 1071 2985 0 41013 0
[pid=30305/tid=30309] ppid=30304 vsize=177884 CPUtime=306.03
/proc/30305/task/30309/stat : 30309 (pb_cplex) R 30304 30304 29904 0 -1 4202560 78483 0 0 0 30534 69 0 0 25 0 2 0 143274800 182153216 34628 1992294400 134512640 146736320 4286725152 18446744073709551615 136384887 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 753.5
Current children cumulated vsize (KiB) 186584

[startup+522.302 s]
/proc/loadavg: 1.80 1.63 1.30 3/109 30324
/proc/meminfo: memFree=1310064/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=173044 CPUtime=861.69
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 249401 0 0 0 85997 172 0 0 25 0 2 0 143270757 177197056 33738 1992294400 134512640 146736320 4286725152 18446744073709551615 136008042 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30305/statm: 43261 33738 1071 2985 0 39803 0
[pid=30305/tid=30309] ppid=30304 vsize=173044 CPUtime=366.01
/proc/30305/task/30309/stat : 30309 (pb_cplex) R 30304 30304 29904 0 -1 4202560 88655 0 0 0 36523 78 0 0 25 0 2 0 143274800 177197056 33738 1992294400 134512640 146736320 4286725152 18446744073709551615 136008047 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 861.69
Current children cumulated vsize (KiB) 181744

[startup+582.302 s]
/proc/loadavg: 1.77 1.64 1.32 3/109 30326
/proc/meminfo: memFree=1305104/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=178204 CPUtime=963.76
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 260266 0 0 0 96193 183 0 0 25 0 2 0 143270757 182480896 34911 1992294400 134512640 146736320 4286725152 18446744073709551615 136008014 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30305/statm: 44551 34911 1071 2985 0 41093 0
[pid=30305/tid=30309] ppid=30304 vsize=178204 CPUtime=425.99
/proc/30305/task/30309/stat : 30309 (pb_cplex) R 30304 30304 29904 0 -1 4202560 97902 0 0 0 42514 85 0 0 25 0 2 0 143274800 182480896 34911 1992294400 134512640 146736320 4286725152 18446744073709551615 139044547 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 963.76
Current children cumulated vsize (KiB) 186904

[startup+642.302 s]
/proc/loadavg: 1.96 1.70 1.36 2/109 30328
/proc/meminfo: memFree=1301756/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=183208 CPUtime=1079.62
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 279708 0 0 0 107762 200 0 0 25 0 2 0 143270757 187604992 35743 1992294400 134512640 146736320 4286725152 18446744073709551615 139044580 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30305/statm: 45802 35743 1071 2985 0 42344 0
[pid=30305/tid=30309] ppid=30304 vsize=183208 CPUtime=484.53
/proc/30305/task/30309/stat : 30309 (pb_cplex) S 30304 30304 29904 0 -1 4202560 112582 0 0 0 48357 96 0 0 25 0 2 0 143274800 187604992 35743 1992294400 134512640 146736320 4286725152 18446744073709551615 144580073 0 2 4096 16387 18446604437833149184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1079.62
Current children cumulated vsize (KiB) 191908

[startup+702.302 s]
/proc/loadavg: 1.84 1.72 1.38 3/109 30330
/proc/meminfo: memFree=1301632/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=181208 CPUtime=1187.62
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 297630 0 0 0 118547 215 0 0 25 0 2 0 143270757 185556992 35775 1992294400 134512640 146736320 4286725152 18446744073709551615 136403132 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30305/statm: 45302 35775 1071 2985 0 41844 0
[pid=30305/tid=30309] ppid=30304 vsize=181208 CPUtime=532.93
/proc/30305/task/30309/stat : 30309 (pb_cplex) R 30304 30304 29904 0 -1 4202560 127018 0 0 0 53187 106 0 0 23 0 2 0 143274800 185556992 35775 1992294400 134512640 146736320 4286725152 18446744073709551615 136008167 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1187.62
Current children cumulated vsize (KiB) 189908

[startup+762.31 s]
/proc/loadavg: 1.87 1.75 1.41 3/109 30330
/proc/meminfo: memFree=1304360/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=179284 CPUtime=1298.65
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 307976 0 0 0 129640 225 0 0 25 0 2 0 143270757 183586816 35159 1992294400 134512640 146736320 4286725152 18446744073709551615 136008441 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30305/statm: 44821 35159 1071 2985 0 41363 0
[pid=30305/tid=30309] ppid=30304 vsize=179284 CPUtime=592.91
/proc/30305/task/30309/stat : 30309 (pb_cplex) R 30304 30304 29904 0 -1 4202560 134326 0 0 0 59180 111 0 0 25 0 2 0 143274800 183586816 35159 1992294400 134512640 146736320 4286725152 18446744073709551615 135526874 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1298.65
Current children cumulated vsize (KiB) 187984

[startup+822.302 s]
/proc/loadavg: 1.71 1.73 1.43 3/109 30332
/proc/meminfo: memFree=1302500/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=180732 CPUtime=1398.64
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 316250 0 0 0 139633 231 0 0 25 0 2 0 143270757 185069568 35570 1992294400 134512640 146736320 4286725152 18446744073709551615 136006245 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30305/statm: 45183 35570 1071 2985 0 41725 0
[pid=30305/tid=30309] ppid=30304 vsize=180732 CPUtime=652.89
/proc/30305/task/30309/stat : 30309 (pb_cplex) R 30304 30304 29904 0 -1 4202560 142545 0 0 0 65173 116 0 0 25 0 2 0 143274800 185069568 35570 1992294400 134512640 146736320 4286725152 18446744073709551615 136008065 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1398.64
Current children cumulated vsize (KiB) 189432

[startup+882.301 s]
/proc/loadavg: 1.56 1.69 1.43 3/109 30334
/proc/meminfo: memFree=1302004/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=180732 CPUtime=1483.36
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 324835 0 0 0 148098 238 0 0 23 0 2 0 143270757 185069568 35655 1992294400 134512640 146736320 4286725152 18446744073709551615 136008454 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30305/statm: 45183 35655 1071 2985 0 41725 0
[pid=30305/tid=30309] ppid=30304 vsize=180732 CPUtime=712.87
/proc/30305/task/30309/stat : 30309 (pb_cplex) R 30304 30304 29904 0 -1 4202560 151102 0 0 0 71165 122 0 0 25 0 2 0 143274800 185069568 35655 1992294400 134512640 146736320 4286725152 18446744073709551615 139044509 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1483.36
Current children cumulated vsize (KiB) 189432

[startup+942.301 s]
/proc/loadavg: 1.70 1.71 1.45 3/109 30336
/proc/meminfo: memFree=1302748/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=180788 CPUtime=1597.06
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 341142 0 0 0 159453 253 0 0 25 0 2 0 143270757 185126912 35562 1992294400 134512640 146736320 4286725152 18446744073709551615 136008309 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30305/statm: 45197 35562 1071 2985 0 41739 0
[pid=30305/tid=30309] ppid=30304 vsize=180788 CPUtime=772.8
/proc/30305/task/30309/stat : 30309 (pb_cplex) R 30304 30304 29904 0 -1 4202560 162927 0 0 0 77150 130 0 0 25 0 2 0 143274800 185126912 35562 1992294400 134512640 146736320 4286725152 18446744073709551615 139042901 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1597.06
Current children cumulated vsize (KiB) 189488

[startup+1002.3 s]
/proc/loadavg: 1.81 1.74 1.48 2/109 30338
/proc/meminfo: memFree=1300640/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=182020 CPUtime=1710.98
/proc/30305/stat : 30305 (pb_cplex) S 30304 30304 29904 0 -1 4202496 348814 0 0 0 170839 259 0 0 25 0 2 0 143270757 186388480 35929 1992294400 134512640 146736320 4286725152 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30305/statm: 45505 35929 1071 2985 0 42047 0
[pid=30305/tid=30309] ppid=30304 vsize=182020 CPUtime=832.38
/proc/30305/task/30309/stat : 30309 (pb_cplex) R 30304 30304 29904 0 -1 4202560 170496 0 0 0 83102 136 0 0 25 0 2 0 143274800 186388480 35929 1992294400 134512640 146736320 4286725152 18446744073709551615 136008053 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1710.98
Current children cumulated vsize (KiB) 190720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1047.4 s]
/proc/loadavg: 1.96 1.79 1.51 3/109 30338
/proc/meminfo: memFree=1299896/2059040 swapFree=4140788/4192956
[pid=30304] ppid=30302 vsize=8700 CPUtime=0
/proc/30304/stat : 30304 (run) S 30302 30304 29904 0 -1 4202496 363 0 0 0 0 0 0 0 17 0 1 0 143270757 8908800 248 1992294400 4194304 4922060 140734985992848 18446744073709551615 222313421957 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30304/statm: 2175 248 208 178 0 68 0
[pid=30305] ppid=30304 vsize=184880 CPUtime=1800.17
/proc/30305/stat : 30305 (pb_cplex) R 30304 30304 29904 0 -1 4202496 358221 0 0 0 179750 267 0 0 25 0 2 0 143270757 189317120 36337 1992294400 134512640 146736320 4286725152 18446744073709551615 136008167 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30305/statm: 46220 36337 1071 2985 0 42762 0
[pid=30305/tid=30309] ppid=30304 vsize=184880 CPUtime=877.13
/proc/30305/task/30309/stat : 30309 (pb_cplex) R 30304 30304 29904 0 -1 4202560 179042 0 0 0 87572 141 0 0 25 0 2 0 143274800 189317120 36337 1992294400 134512640 146736320 4286725152 18446744073709551615 135983222 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 193580

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30304 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.002998
# while last known CPU time is 1800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1047.42
CPU time (s): 1800.17
CPU user time (s): 1797.5
CPU system time (s): 2.67
CPU usage (%): 171.867
Max. virtual memory (cumulated for all children) (KiB): 193580

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

The end

Launcher Data 

Begin job on node036 at 2010-07-01 23:29:38
IDJOB=2695930
IDBENCH=2634
IDSOLVER=1209
FILE ID=node036/2695930-1278019778
PBS_JOBID= 11198727
Free space on /tmp= 62288 MiB

SOLVER NAME= pb_cplex 2010-06-29
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_15.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695930-1278019778/watcher-2695930-1278019778 -o /tmp/evaluation-result-2695930-1278019778/solver-2695930-1278019778 -C 1800 -W 2000 -M 1800  run HOME/instance-2695930-1278019778.opb

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

MD5SUM BENCH= b4a219bc21641bf0d46eae2692004ebe
RANDOM SEED=937741595

node036.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.251
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.50
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.251
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	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1442676 kB
Buffers:        155644 kB
Cached:         356864 kB
SwapCached:       6032 kB
Active:         210900 kB
Inactive:       315816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1442676 kB
SwapTotal:     4192956 kB
SwapFree:      4140788 kB
Dirty:           18616 kB
Writeback:           0 kB
AnonPages:       12496 kB
Mapped:          12064 kB
Slab:            67776 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181644 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= 62268 MiB
End job on node036 at 2010-07-01 23:47:08