Trace number 355132

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, and are wall clock time (not CPU 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
glpPB 0.2? (TO) 1800.04 1800.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_20.opb
MD5SUM601a73d2c5752739e04dd0126b5500f0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 398
Optimality of the best value was proved NO
Number of variables13478
Total number of constraints26620
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints26619
Minimum length of a constraint1
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 190
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 445
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 589
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2977
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.10	c glpPB 0.2 (July 2006)
0.00/0.10	c An Application of GLPK 4.10 for PB Constraints
0.00/0.10	c Done @ University of Michigan, Ann Arbor, MI
0.00/0.10	c  by Hossein Sheini

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/355132-1176772824/instance-355132-1176772824.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node2/watcher-355132-1176772824 -o ROOT/results/node2/solver-355132-1176772824 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/355132-1176772824/instance-355132-1176772824.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 6906
/proc/meminfo: memFree=1917560/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=18568 CPUtime=0
/proc/6906/stat : 6906 (runsolver) D 6904 6906 6388 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 153320218 19013632 292 18446744073709551615 4194304 4296420 548682068960 18446744073709551615 206381313319 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/6906/statm: 4642 292 257 24 0 2626 0

[startup+0.0959289 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 6906
/proc/meminfo: memFree=1917560/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=2384 CPUtime=0
/proc/6906/stat : 6906 (glpPBv3) D 6904 6906 6388 0 -1 0 149 0 6 0 0 0 0 0 18 0 1 0 153320218 2441216 126 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 10997840 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/6906/statm: 596 126 105 40 0 11 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2384

[startup+0.102929 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 6906
/proc/meminfo: memFree=1917560/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=2384 CPUtime=0
/proc/6906/stat : 6906 (glpPBv3) D 6904 6906 6388 0 -1 0 181 0 11 0 0 0 0 0 18 0 1 0 153320218 2441216 162 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 11602496 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/6906/statm: 596 162 140 40 0 11 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2384

[startup+0.302954 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 6906
/proc/meminfo: memFree=1917560/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=3848 CPUtime=0.19
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 571 0 16 0 19 0 0 0 18 0 1 0 153320218 3940352 557 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134530899 0 0 4096 0 0 0 0 17 0 0 0
/proc/6906/statm: 962 557 199 40 0 377 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3848

[startup+0.701991 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 6906
/proc/meminfo: memFree=1917560/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=6512 CPUtime=0.59
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 1231 0 16 0 59 0 0 0 22 0 1 0 153320218 6668288 1217 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134530753 0 0 4096 0 0 0 0 17 0 0 0
/proc/6906/statm: 1628 1217 199 40 0 1043 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 6512

[startup+1.50107 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6907
/proc/meminfo: memFree=1909488/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=11440 CPUtime=1.38
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 2460 0 16 0 137 1 0 0 25 0 1 0 153320218 11714560 2446 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 2860 2446 199 40 0 2275 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 11440

[startup+3.10124 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6907
/proc/meminfo: memFree=1902896/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=44064 CPUtime=2.98
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 10604 0 16 0 293 5 0 0 25 0 1 0 153320218 45121536 10590 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 11001559 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 11016 10592 201 40 0 10431 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 44064

[startup+6.30158 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6907
/proc/meminfo: memFree=1836720/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=80872 CPUtime=6.17
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 20522 0 16 0 608 9 0 0 25 0 1 0 153320218 82812928 19802 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590100 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 20218 19802 221 40 0 19633 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 80872

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6907
/proc/meminfo: memFree=1833584/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=84004 CPUtime=12.57
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 22610 0 16 0 1247 10 0 0 25 0 1 0 153320218 86020096 20585 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582412 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 21001 20585 221 40 0 20416 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 84004

[startup+25.5026 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6907
/proc/meminfo: memFree=1833712/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=84216 CPUtime=25.37
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 23494 0 16 0 2526 11 0 0 25 0 1 0 153320218 86237184 20637 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134639269 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 21054 20637 221 40 0 20469 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 84216

[startup+51.1023 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6907
/proc/meminfo: memFree=1833776/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=84004 CPUtime=50.96
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 25210 0 16 0 5083 13 0 0 25 0 1 0 153320218 86020096 20585 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134584718 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 21001 20585 221 40 0 20416 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 84004

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 6907
/proc/meminfo: memFree=1833776/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=84216 CPUtime=102.15
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 28590 0 16 0 10200 15 0 0 25 0 1 0 153320218 86237184 20637 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134639273 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 21054 20637 221 40 0 20469 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 84216

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6907
/proc/meminfo: memFree=1833712/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=84004 CPUtime=162.13
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 32542 0 16 0 16195 18 0 0 25 0 1 0 153320218 86020096 20585 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590079 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 21001 20585 221 40 0 20416 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 84004

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6907
/proc/meminfo: memFree=1830000/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=87684 CPUtime=222.11
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 77546 0 16 0 22173 38 0 0 25 0 1 0 153320218 89788416 21543 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542160 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 21921 21543 227 40 0 21336 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 87684

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6907
/proc/meminfo: memFree=1829936/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=87684 CPUtime=282.1
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 148994 0 16 0 28141 69 0 0 25 0 1 0 153320218 89788416 21543 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 21921 21543 227 40 0 21336 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 87684

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6907
/proc/meminfo: memFree=1829936/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=87684 CPUtime=342.08
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 220234 0 16 0 34111 97 0 0 25 0 1 0 153320218 89788416 21543 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 21921 21543 227 40 0 21336 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 87684

[startup+402.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6907
/proc/meminfo: memFree=1829936/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=87684 CPUtime=402.07
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 291578 0 16 0 40080 127 0 0 25 0 1 0 153320218 89788416 21543 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 21921 21543 227 40 0 21336 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 87684

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6907
/proc/meminfo: memFree=1826736/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=462.06
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 369012 0 16 0 46046 160 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 90816

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6907
/proc/meminfo: memFree=1826736/2055920 swapFree=4128448/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=522.04
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 440564 0 16 0 52018 186 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 90816

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6907
/proc/meminfo: memFree=1826672/2055920 swapFree=4128512/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=582.02
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 512220 0 16 0 57985 217 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 90816

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6907
/proc/meminfo: memFree=1826672/2055920 swapFree=4128512/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=642.01
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 583772 0 16 0 63954 247 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 90816


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6909
/proc/meminfo: memFree=1826416/2055920 swapFree=4128512/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=821.96
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 779030 0 16 0 81861 335 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 90816

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6909
/proc/meminfo: memFree=1826352/2055920 swapFree=4128512/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=881.94
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 850166 0 16 0 87832 362 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 90816

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6909
/proc/meminfo: memFree=1826352/2055920 swapFree=4128512/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=941.93
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 921406 0 16 0 93803 390 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 90816

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6909
/proc/meminfo: memFree=1826224/2055920 swapFree=4128512/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=1001.92
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 992646 0 16 0 99773 419 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 90816

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6909
/proc/meminfo: memFree=1826224/2055920 swapFree=4128576/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=1061.9
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 1063886 0 16 0 105741 449 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 90816

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6909
/proc/meminfo: memFree=1826224/2055920 swapFree=4128576/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=1121.89
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 1135022 0 16 0 111711 478 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 90816

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6909
/proc/meminfo: memFree=1826160/2055920 swapFree=4128628/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=1181.87
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 1206262 0 16 0 117680 507 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 90816

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 6909
/proc/meminfo: memFree=1826096/2055920 swapFree=4128628/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=1241.85
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 1277502 0 16 0 123648 537 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 90816

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6909
/proc/meminfo: memFree=1826032/2055920 swapFree=4128628/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=1301.84
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 1354538 0 16 0 129613 571 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 90816

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6909
/proc/meminfo: memFree=1825968/2055920 swapFree=4128628/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=1361.82
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 1425570 0 16 0 135580 602 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 90816

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6909
/proc/meminfo: memFree=1825904/2055920 swapFree=4128628/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=1421.81
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 1496706 0 16 0 141549 632 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 90816

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6909
/proc/meminfo: memFree=1825840/2055920 swapFree=4128628/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=1481.79
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 1567842 0 16 0 147515 664 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 90816

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6909
/proc/meminfo: memFree=1825776/2055920 swapFree=4128628/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=1541.78
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 1638978 0 16 0 153484 694 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 90816

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6909
/proc/meminfo: memFree=1825840/2055920 swapFree=4128692/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=1601.76
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 1710114 0 16 0 159452 724 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 90816

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6909
/proc/meminfo: memFree=1825840/2055920 swapFree=4128692/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=1661.75
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 1781146 0 16 0 165420 755 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 90816

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6909
/proc/meminfo: memFree=1825776/2055920 swapFree=4128692/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=1721.73
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 1852282 0 16 0 171387 786 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 90816

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6909
/proc/meminfo: memFree=1825584/2055920 swapFree=4128692/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=1781.72
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 1923418 0 16 0 177354 818 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 90816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6909
/proc/meminfo: memFree=1825584/2055920 swapFree=4128692/4192956
[pid=6906] ppid=6904 vsize=90816 CPUtime=1800.02
/proc/6906/stat : 6906 (glpPBv3) R 6904 6906 6388 0 -1 0 1945154 0 16 0 179176 826 0 0 25 0 1 0 153320218 92995584 22326 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/6906/statm: 22704 22326 227 40 0 22119 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 90816

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)
Real time (s): 1800.63
CPU time (s): 1800.04
CPU user time (s): 1791.76
CPU system time (s): 8.28074
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 114652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.76
system time used= 8.28074
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1945154
page faults= 16
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 3082

runsolver used 2.16267 second user time and 4.07838 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Tue Apr 17 01:20:24 UTC 2007

IDJOB= 355132
IDBENCH= 2947
IDSOLVER= 166
FILE ID= node2/355132-1176772824

PBS_JOBID= 4580776

Free space on /tmp= 66511 MiB

SOLVER NAME= glpPB 0.2
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_20.opb
COMMAND LINE= glpPBv3 /tmp/evaluation/355132-1176772824/instance-355132-1176772824.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node2/convwatcher-355132-1176772824 -o ROOT/results/node2/conversion-355132-1176772824 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/355132-1176772824/instance-355132-1176772824.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-355132-1176772824 -o ROOT/results/node2/solver-355132-1176772824 -C 1800 -W 3600 -M 1800 --output-limit 1,15  glpPBv3 /tmp/evaluation/355132-1176772824/instance-355132-1176772824.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  601a73d2c5752739e04dd0126b5500f0

RANDOM SEED= 979998046

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1918032 kB
Buffers:         11412 kB
Cached:          47216 kB
SwapCached:      32560 kB
Active:          69644 kB
Inactive:        38148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1918032 kB
SwapTotal:     4192956 kB
SwapFree:      4128448 kB
Dirty:            9788 kB
Writeback:           0 kB
Mapped:          43756 kB
Slab:            15596 kB
Committed_AS:  7057604 kB
PageTables:       1860 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66511 MiB

End job on node2 on Tue Apr 17 01:50:27 UTC 2007