Trace number 429529

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.07 1800.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=7-P0=89-P1=17-P2=37-B.opb
MD5SUMb8556c61a91d14749acba7836969b871
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.035993
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 variables42
Total number of constraints5
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 constraints5
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)98
Sum of products size (including duplicates)196
Number of different products98
Sum of products size196

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/429529-1177986327/instance-429529-1177986327.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node67/watcher-429529-1177986327 -o ROOT/results/node67/solver-429529-1177986327 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/429529-1177986327/instance-429529-1177986327.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.85 0.97 0.97 3/64 4427
/proc/meminfo: memFree=1768016/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=2648 CPUtime=0
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 274622205 2711552 236 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 7356119 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 662 236 199 40 0 77 0

[startup+0.0464001 s]
/proc/loadavg: 0.85 0.97 0.97 3/64 4427
/proc/meminfo: memFree=1768016/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=2916 CPUtime=0.04
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 379 0 0 0 4 0 0 0 18 0 1 0 274622205 2985984 349 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 729 349 227 40 0 144 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2916

[startup+0.10241 s]
/proc/loadavg: 0.85 0.97 0.97 3/64 4427
/proc/meminfo: memFree=1768016/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=2916 CPUtime=0.09
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 380 0 0 0 9 0 0 0 18 0 1 0 274622205 2985984 350 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 729 350 227 40 0 144 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2916

[startup+0.302446 s]
/proc/loadavg: 0.85 0.97 0.97 3/64 4427
/proc/meminfo: memFree=1768016/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=3028 CPUtime=0.29
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 391 0 0 0 29 0 0 0 19 0 1 0 274622205 3100672 361 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 757 361 227 40 0 172 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3028

[startup+0.70152 s]
/proc/loadavg: 0.85 0.97 0.97 3/64 4427
/proc/meminfo: memFree=1768016/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=3028 CPUtime=0.69
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 410 0 0 0 68 1 0 0 23 0 1 0 274622205 3100672 380 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 757 380 227 40 0 172 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3028

[startup+1.50167 s]
/proc/loadavg: 0.85 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1767304/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=3220 CPUtime=1.49
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 443 0 0 0 147 2 0 0 25 0 1 0 274622205 3297280 413 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 805 413 227 40 0 220 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3220

[startup+3.10196 s]
/proc/loadavg: 0.86 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1766984/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=3520 CPUtime=3.09
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 522 0 0 0 305 4 0 0 25 0 1 0 274622205 3604480 492 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 880 492 227 40 0 295 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3520

[startup+6.30154 s]
/proc/loadavg: 0.86 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1766224/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=4124 CPUtime=6.29
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 683 0 0 0 620 9 0 0 25 0 1 0 274622205 4222976 653 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 1031 653 227 40 0 446 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4124

[startup+12.7017 s]
/proc/loadavg: 0.88 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1765024/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=5316 CPUtime=12.69
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 979 0 0 0 1252 17 0 0 25 0 1 0 274622205 5443584 949 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134541654 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 1329 949 227 40 0 744 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5316

[startup+25.5021 s]
/proc/loadavg: 0.90 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1762784/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=7520 CPUtime=25.49
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 1575 0 0 0 2515 34 0 0 25 0 1 0 274622205 7700480 1504 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 1880 1504 227 40 0 1295 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 7520

[startup+51.1028 s]
/proc/loadavg: 0.93 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1759136/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=11204 CPUtime=51.07
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 2571 0 0 0 5046 61 0 0 25 0 1 0 274622205 11472896 2419 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134569743 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 2801 2419 227 40 0 2216 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 11204

[startup+102.304 s]
/proc/loadavg: 0.97 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1753440/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=16928 CPUtime=102.26
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 4152 0 0 0 10115 111 0 0 25 0 1 0 274622205 17334272 3839 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578241 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 4232 3839 227 40 0 3647 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16928

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1748896/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=21468 CPUtime=162.23
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 5302 0 0 0 16061 162 0 0 25 0 1 0 274622205 21983232 4989 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 5367 4989 227 40 0 4782 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 21468

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1744096/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=26212 CPUtime=222.21
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 6489 0 0 0 22013 208 0 0 25 0 1 0 274622205 26841088 6176 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 6553 6176 227 40 0 5968 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 26212

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1738400/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=31964 CPUtime=282.19
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 8231 0 0 0 27970 249 0 0 25 0 1 0 274622205 32731136 7597 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578253 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 7991 7597 227 40 0 7406 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 31964

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1734176/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=36112 CPUtime=342.17
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 9269 0 0 0 33930 287 0 0 25 0 1 0 274622205 36978688 8635 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 9028 8635 227 40 0 8443 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 36112

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1730720/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=39528 CPUtime=402.14
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 10133 0 0 0 39894 320 0 0 25 0 1 0 274622205 40476672 9499 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 9882 9499 227 40 0 9297 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 39528

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1727584/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=42536 CPUtime=462.13
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 10886 0 0 0 45856 357 0 0 25 0 1 0 274622205 43556864 10252 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 10634 10252 227 40 0 10049 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 42536

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1724832/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=45372 CPUtime=522.1
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 11586 0 0 0 51820 390 0 0 25 0 1 0 274622205 46460928 10952 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578253 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 11343 10952 227 40 0 10758 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 45372

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1722208/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=47996 CPUtime=582.08
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 12237 0 0 0 57789 419 0 0 25 0 1 0 274622205 49147904 11603 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 11999 11603 227 40 0 11414 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 47996

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1716256/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=53800 CPUtime=642.06
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 14335 0 0 0 63757 449 0 0 25 0 1 0 274622205 55091200 13060 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 13450 13060 227 40 0 12865 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 53800


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1705376/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=64568 CPUtime=881.97
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 17041 0 0 0 87640 557 0 0 25 0 1 0 274622205 66117632 15766 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 16142 15766 227 40 0 15557 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 64568

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4428
/proc/meminfo: memFree=1703200/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=66888 CPUtime=941.95
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 17606 0 0 0 93613 582 0 0 25 0 1 0 274622205 68493312 16331 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 16722 16331 227 40 0 16137 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 66888

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4434
/proc/meminfo: memFree=1701280/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=68704 CPUtime=1001.92
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 18063 0 0 0 99592 600 0 0 25 0 1 0 274622205 70352896 16788 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 17176 16788 227 40 0 16591 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 68704

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4436
/proc/meminfo: memFree=1699104/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=70948 CPUtime=1061.9
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 18613 0 0 0 105567 623 0 0 25 0 1 0 274622205 72650752 17338 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578253 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 17737 17338 227 40 0 17152 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 70948

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4436
/proc/meminfo: memFree=1697504/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=72452 CPUtime=1121.88
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 18987 0 0 0 111548 640 0 0 25 0 1 0 274622205 74190848 17712 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 18113 17712 227 40 0 17528 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 72452

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4436
/proc/meminfo: memFree=1695392/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=74472 CPUtime=1181.85
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 19517 0 0 0 117525 660 0 0 25 0 1 0 274622205 76259328 18242 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578241 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 18618 18242 227 40 0 18033 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 74472

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4436
/proc/meminfo: memFree=1693728/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=76172 CPUtime=1241.83
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 19924 0 0 0 123504 679 0 0 25 0 1 0 274622205 78000128 18649 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 19043 18649 227 40 0 18458 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 76172

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4436
/proc/meminfo: memFree=1691936/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=77976 CPUtime=1301.82
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 20372 0 0 0 129482 700 0 0 25 0 1 0 274622205 79847424 19097 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 19494 19097 227 40 0 18909 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 77976

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4436
/proc/meminfo: memFree=1690336/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=79588 CPUtime=1361.79
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 20777 0 0 0 135459 720 0 0 25 0 1 0 274622205 81498112 19502 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 19897 19502 227 40 0 19312 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 79588

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4436
/proc/meminfo: memFree=1688736/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=81196 CPUtime=1421.77
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 21197 0 0 0 141439 738 0 0 25 0 1 0 274622205 83144704 19922 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 20299 19922 227 40 0 19714 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 81196

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4436
/proc/meminfo: memFree=1687264/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=82716 CPUtime=1481.74
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 21559 0 0 0 147419 755 0 0 25 0 1 0 274622205 84701184 20284 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 20679 20284 227 40 0 20094 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 82716

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4436
/proc/meminfo: memFree=1685536/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=84440 CPUtime=1541.73
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 21998 0 0 0 153398 775 0 0 25 0 1 0 274622205 86466560 20723 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 21110 20723 227 40 0 20525 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 84440

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4436
/proc/meminfo: memFree=1683872/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=86068 CPUtime=1601.7
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 22404 0 0 0 159378 792 0 0 25 0 1 0 274622205 88133632 21129 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 21517 21129 227 40 0 20932 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 86068

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4436
/proc/meminfo: memFree=1682272/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=87684 CPUtime=1661.68
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 22801 0 0 0 165358 810 0 0 25 0 1 0 274622205 89788416 21526 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578243 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 21921 21526 227 40 0 21336 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 87684

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4436
/proc/meminfo: memFree=1680992/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=88876 CPUtime=1721.66
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 23111 0 0 0 171336 830 0 0 25 0 1 0 274622205 91009024 21836 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 22219 21836 227 40 0 21634 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 88876

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4436
/proc/meminfo: memFree=1679712/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=90096 CPUtime=1781.64
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 23417 0 0 0 177315 849 0 0 25 0 1 0 274622205 92258304 22142 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 22524 22142 227 40 0 21939 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 90096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4436
/proc/meminfo: memFree=1679200/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=90692 CPUtime=1800.04
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 23550 0 0 0 179150 854 0 0 25 0 1 0 274622205 92868608 22275 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 22673 22275 227 40 0 22088 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 90692

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 4436
/proc/meminfo: memFree=1679200/2055920 swapFree=4183044/4192956
[pid=4427] ppid=4425 vsize=90692 CPUtime=1800.04
/proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 23550 0 0 0 179150 854 0 0 25 0 1 0 274622205 92868608 22275 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4427/statm: 22673 22275 227 40 0 22088 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 90692

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.73
CPU time (s): 1800.07
CPU user time (s): 1791.5
CPU system time (s): 8.5637
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 90692

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

runsolver used 1.38679 second user time and 3.53646 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Tue May  1 02:25:27 UTC 2007

IDJOB= 429529
IDBENCH= 47915
IDSOLVER= 166
FILE ID= node67/429529-1177986327

PBS_JOBID= 4727932

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=7-P0=89-P1=17-P2=37-B.opb
COMMAND LINE= glpPBv3 /tmp/evaluation/429529-1177986327/instance-429529-1177986327.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node67/convwatcher-429529-1177986327 -o ROOT/results/node67/conversion-429529-1177986327 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/429529-1177986327/instance-429529-1177986327.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  b8556c61a91d14749acba7836969b871

RANDOM SEED= 792482913

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.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.263
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.263
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:       1768424 kB
Buffers:         13584 kB
Cached:         202928 kB
SwapCached:       3808 kB
Active:          51380 kB
Inactive:       175448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1768424 kB
SwapTotal:     4192956 kB
SwapFree:      4183044 kB
Dirty:            2440 kB
Writeback:           0 kB
Mapped:          16232 kB
Slab:            46600 kB
Committed_AS:  1324760 kB
PageTables:       1452 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 node67 on Tue May  1 02:55:30 UTC 2007