Trace number 431951

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.11 1800.82

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb
MD5SUM2f50a7c4db6c104684b2cc399418ffd9
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.183971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables120
Total number of constraints11
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 constraints11
Minimum length of a constraint8
Maximum length of a constraint80
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 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)320
Sum of products size (including duplicates)640
Number of different products320
Sum of products size640

Solver Data (download as text)

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

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/431951-1178012365/instance-431951-1178012365.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node59/watcher-431951-1178012365 -o ROOT/results/node59/solver-431951-1178012365 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/431951-1178012365/instance-431951-1178012365.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: 0.91 0.98 0.99 3/64 5612
/proc/meminfo: memFree=1763968/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=2648 CPUtime=0
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 263 0 0 0 0 0 0 0 18 0 1 0 249146176 2711552 234 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134528801 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 662 234 199 40 0 77 0

[startup+0.0966201 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 5612
/proc/meminfo: memFree=1763968/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=3520 CPUtime=0.09
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 520 0 0 0 9 0 0 0 18 0 1 0 249146176 3604480 490 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134541608 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 880 490 227 40 0 295 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3520

[startup+0.10162 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 5612
/proc/meminfo: memFree=1763968/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=3520 CPUtime=0.09
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 520 0 0 0 9 0 0 0 18 0 1 0 249146176 3604480 490 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134636238 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 880 490 227 40 0 295 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3520

[startup+0.301658 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 5612
/proc/meminfo: memFree=1763968/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=3520 CPUtime=0.29
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 524 0 0 0 29 0 0 0 19 0 1 0 249146176 3604480 494 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134534928 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 880 494 227 40 0 295 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3520

[startup+0.701734 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 5612
/proc/meminfo: memFree=1763968/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=3520 CPUtime=0.69
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 530 0 0 0 69 0 0 0 22 0 1 0 249146176 3604480 500 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 880 500 227 40 0 295 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3520

[startup+1.50189 s]
/proc/loadavg: 0.91 0.98 0.99 2/65 5613
/proc/meminfo: memFree=1762808/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=3548 CPUtime=1.49
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 883 0 0 0 148 1 0 0 25 0 1 0 249146176 3633152 511 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134537237 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 887 511 227 40 0 302 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3548

[startup+3.10119 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 5613
/proc/meminfo: memFree=1762616/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=3796 CPUtime=3.09
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 2284 0 0 0 306 3 0 0 25 0 1 0 249146176 3887104 541 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 949 541 227 40 0 364 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3796

[startup+6.3018 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 5613
/proc/meminfo: memFree=1762304/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=4008 CPUtime=6.29
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 4582 0 0 0 623 6 0 0 25 0 1 0 249146176 4104192 594 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 1002 594 227 40 0 417 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4008

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 5613
/proc/meminfo: memFree=1761792/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=4312 CPUtime=12.69
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 9081 0 0 0 1257 12 0 0 25 0 1 0 249146176 4415488 702 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 1078 702 227 40 0 493 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 4312

[startup+25.5015 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 5613
/proc/meminfo: memFree=1760960/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=5152 CPUtime=25.48
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 17732 0 0 0 2525 23 0 0 25 0 1 0 249146176 5275648 912 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542221 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 1288 912 227 40 0 703 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5152

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 5613
/proc/meminfo: memFree=1759360/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=6768 CPUtime=51.07
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 35721 0 0 0 5059 48 0 0 25 0 1 0 249146176 6930432 1316 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 1692 1316 227 40 0 1107 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6768

[startup+102.304 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 5613
/proc/meminfo: memFree=1756224/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=9968 CPUtime=102.26
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 71093 0 0 0 10130 96 0 0 25 0 1 0 249146176 10207232 2092 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 2492 2092 227 40 0 1907 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 9968

[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5615
/proc/meminfo: memFree=1753152/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=13100 CPUtime=162.23
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 108865 0 0 0 16069 154 0 0 25 0 1 0 249146176 13414400 2867 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643574 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 3275 2867 227 40 0 2690 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 13100

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5615
/proc/meminfo: memFree=1749440/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=16656 CPUtime=222.21
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 145014 0 0 0 22014 207 0 0 25 0 1 0 249146176 17055744 3788 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578236 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 4164 3788 227 40 0 3579 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 16656

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5615
/proc/meminfo: memFree=1746432/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=19656 CPUtime=282.19
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 172321 0 0 0 27965 254 0 0 25 0 1 0 249146176 20127744 4538 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 4914 4538 227 40 0 4329 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 19656

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5615
/proc/meminfo: memFree=1743744/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=22304 CPUtime=342.18
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 174273 0 0 0 33943 275 0 0 25 0 1 0 249146176 22839296 5200 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134534653 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 5576 5200 227 40 0 4991 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 22304

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5615
/proc/meminfo: memFree=1740992/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=25132 CPUtime=402.16
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 176277 0 0 0 39919 297 0 0 25 0 1 0 249146176 25735168 5907 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134569956 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 6283 5907 227 40 0 5698 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 25132

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5615
/proc/meminfo: memFree=1737088/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=29032 CPUtime=462.13
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 179156 0 0 0 45898 315 0 0 25 0 1 0 249146176 29728768 6882 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 7258 6882 227 40 0 6673 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 29032

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5615
/proc/meminfo: memFree=1734400/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=31696 CPUtime=522.11
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 181113 0 0 0 51873 338 0 0 25 0 1 0 249146176 32456704 7547 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134541725 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 7924 7547 227 40 0 7339 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 31696

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5615
/proc/meminfo: memFree=1731840/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=34248 CPUtime=582.09
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 183305 0 0 0 57850 359 0 0 25 0 1 0 249146176 35069952 8186 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542187 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 8562 8186 227 40 0 7977 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 34248

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5615
/proc/meminfo: memFree=1729216/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=36804 CPUtime=642.07
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 185104 0 0 0 63825 382 0 0 25 0 1 0 249146176 37687296 8825 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 9201 8825 227 40 0 8616 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 36804


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5615
/proc/meminfo: memFree=1722240/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=43800 CPUtime=822.01
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 190794 0 0 0 81763 438 0 0 25 0 1 0 249146176 44851200 10574 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 10950 10574 227 40 0 10365 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 43800

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5615
/proc/meminfo: memFree=1720000/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=46036 CPUtime=881.98
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 192628 0 0 0 87744 454 0 0 25 0 1 0 249146176 47140864 11133 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 11509 11133 227 40 0 10924 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 46036

[startup+942.301 s]
/proc/loadavg: 1.07 0.99 0.99 2/65 5615
/proc/meminfo: memFree=1718016/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=48000 CPUtime=941.97
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 194226 0 0 0 93726 471 0 0 25 0 1 0 249146176 49152000 11624 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629236 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 12000 11624 227 40 0 11415 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 48000

[startup+1002.3 s]
/proc/loadavg: 1.02 0.99 0.99 2/65 5615
/proc/meminfo: memFree=1715776/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=50220 CPUtime=1001.95
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 195778 0 0 0 99707 488 0 0 25 0 1 0 249146176 51425280 12179 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134534674 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 12555 12179 227 40 0 11970 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 50220

[startup+1062.3 s]
/proc/loadavg: 1.01 0.99 0.99 2/65 5615
/proc/meminfo: memFree=1711168/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=54808 CPUtime=1061.93
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 197937 0 0 0 105691 502 0 0 25 0 1 0 249146176 56123392 13326 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 13702 13326 227 40 0 13117 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 54808

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5615
/proc/meminfo: memFree=1709184/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=56744 CPUtime=1121.91
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 199399 0 0 0 111674 517 0 0 25 0 1 0 249146176 58105856 13810 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578241 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 14186 13810 227 40 0 13601 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 56744

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5615
/proc/meminfo: memFree=1707328/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=58640 CPUtime=1181.89
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 200589 0 0 0 117657 532 0 0 25 0 1 0 249146176 60047360 14284 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629086 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 14660 14284 227 40 0 14075 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 58640

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5615
/proc/meminfo: memFree=1705472/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=60460 CPUtime=1241.87
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 201259 0 0 0 123643 544 0 0 25 0 1 0 249146176 61911040 14739 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 15115 14739 227 40 0 14530 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 60460

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/71 5687
/proc/meminfo: memFree=1702392/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=62136 CPUtime=1301.82
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 202423 0 0 0 129624 558 0 0 25 0 1 0 249146176 63627264 15157 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134636524 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 15534 15157 227 40 0 14949 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 62136

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5813
/proc/meminfo: memFree=1701952/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=63788 CPUtime=1361.73
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 203511 0 0 0 135600 573 0 0 25 0 1 0 249146176 65318912 15571 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542150 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 15947 15571 227 40 0 15362 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 63788

[startup+1422.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5813
/proc/meminfo: memFree=1700224/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=65568 CPUtime=1421.71
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 204685 0 0 0 141584 587 0 0 25 0 1 0 249146176 67141632 16015 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 16392 16015 227 40 0 15807 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 65568

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5813
/proc/meminfo: memFree=1698496/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=67260 CPUtime=1481.68
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 205434 0 0 0 147567 601 0 0 25 0 1 0 249146176 68874240 16439 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 16815 16439 227 40 0 16230 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 67260

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5813
/proc/meminfo: memFree=1696768/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=69000 CPUtime=1541.66
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 206974 0 0 0 153549 617 0 0 25 0 1 0 249146176 70656000 16874 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578241 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 17250 16874 227 40 0 16665 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 69000

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5813
/proc/meminfo: memFree=1695104/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=70652 CPUtime=1601.65
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 208398 0 0 0 159533 632 0 0 25 0 1 0 249146176 72347648 17287 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578253 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 17663 17287 227 40 0 17078 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 70652

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5813
/proc/meminfo: memFree=1693376/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=72376 CPUtime=1661.63
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 209952 0 0 0 165518 645 0 0 25 0 1 0 249146176 74113024 17718 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 18094 17718 227 40 0 17509 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 72376

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5813
/proc/meminfo: memFree=1691648/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=74076 CPUtime=1721.61
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 211432 0 0 0 171502 659 0 0 25 0 1 0 249146176 75853824 18143 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 18519 18143 227 40 0 17934 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 74076

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5813
/proc/meminfo: memFree=1689856/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=75848 CPUtime=1781.58
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 212894 0 0 0 177484 674 0 0 25 0 1 0 249146176 77668352 18586 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 18962 18586 227 40 0 18377 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 75848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5813
/proc/meminfo: memFree=1689344/2055920 swapFree=4184616/4192956
[pid=5612] ppid=5610 vsize=76364 CPUtime=1800.09
/proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 213289 0 0 0 179329 680 0 0 25 0 1 0 249146176 78196736 18715 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5612/statm: 19091 18715 227 40 0 18506 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 76364

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.82
CPU time (s): 1800.11
CPU user time (s): 1793.29
CPU system time (s): 6.81496
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (KiB): 76488

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

runsolver used 1.42278 second user time and 3.54946 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Tue May  1 09:39:26 UTC 2007

IDJOB= 431951
IDBENCH= 48088
IDSOLVER= 166
FILE ID= node59/431951-1178012365

PBS_JOBID= 4728272

Free space on /tmp= 66562 MiB

SOLVER NAME= glpPB 0.2
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb
COMMAND LINE= glpPBv3 /tmp/evaluation/431951-1178012365/instance-431951-1178012365.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-431951-1178012365 -o ROOT/results/node59/conversion-431951-1178012365 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/431951-1178012365/instance-431951-1178012365.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  2f50a7c4db6c104684b2cc399418ffd9

RANDOM SEED= 810624650

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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.268
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.268
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:       1764448 kB
Buffers:         28980 kB
Cached:         183468 kB
SwapCached:       2364 kB
Active:          67488 kB
Inactive:       155148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1764448 kB
SwapTotal:     4192956 kB
SwapFree:      4184616 kB
Dirty:            2324 kB
Writeback:           0 kB
Mapped:          16976 kB
Slab:            54808 kB
Committed_AS:  3243172 kB
PageTables:       1472 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= 66562 MiB

End job on node59 on Tue May  1 10:09:29 UTC 2007