Trace number 429053

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.03 1800.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=157-P1=211-P2=97-P3=71-B.opb
MD5SUM85ac83bf4a556e0f3edfff4036eff461
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.074988
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 variables72
Total number of constraints7
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 constraints7
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)192
Sum of products size (including duplicates)384
Number of different products192
Sum of products size384

Solver Data (download as text)

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

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/429053-1177980793/instance-429053-1177980793.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node60/watcher-429053-1177980793 -o ROOT/results/node60/solver-429053-1177980793 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/429053-1177980793/instance-429053-1177980793.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.30 1.21 0.96 3/64 28300
/proc/meminfo: memFree=1784912/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=2648 CPUtime=0
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 260 0 3 0 0 0 0 0 18 0 1 0 245989257 2711552 234 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 6000343 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 662 234 199 40 0 77 0

[startup+0.0996719 s]
/proc/loadavg: 1.30 1.21 0.96 3/64 28300
/proc/meminfo: memFree=1784912/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=3200 CPUtime=0.08
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 434 0 3 0 8 0 0 0 18 0 1 0 245989257 3276800 407 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 800 407 227 40 0 215 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3200

[startup+0.101671 s]
/proc/loadavg: 1.30 1.21 0.96 3/64 28300
/proc/meminfo: memFree=1784912/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=3200 CPUtime=0.08
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 434 0 3 0 8 0 0 0 18 0 1 0 245989257 3276800 407 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 800 407 227 40 0 215 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3200

[startup+0.30169 s]
/proc/loadavg: 1.30 1.21 0.96 3/64 28300
/proc/meminfo: memFree=1784912/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=3200 CPUtime=0.28
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 440 0 3 0 28 0 0 0 19 0 1 0 245989257 3276800 413 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 800 413 227 40 0 215 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 3200

[startup+0.70173 s]
/proc/loadavg: 1.30 1.21 0.96 3/64 28300
/proc/meminfo: memFree=1784912/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=3200 CPUtime=0.68
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 450 0 3 0 68 0 0 0 22 0 1 0 245989257 3276800 423 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 800 423 227 40 0 215 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 3200

[startup+1.50181 s]
/proc/loadavg: 1.30 1.21 0.96 2/65 28301
/proc/meminfo: memFree=1783304/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=3412 CPUtime=1.48
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 476 0 3 0 147 1 0 0 25 0 1 0 245989257 3493888 449 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 853 449 227 40 0 268 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 3412

[startup+3.10197 s]
/proc/loadavg: 1.30 1.21 0.96 2/65 28301
/proc/meminfo: memFree=1783048/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=3484 CPUtime=3.08
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 518 0 3 0 306 2 0 0 25 0 1 0 245989257 3567616 491 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 871 491 227 40 0 286 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 3484

[startup+6.30128 s]
/proc/loadavg: 1.28 1.21 0.96 2/65 28301
/proc/meminfo: memFree=1782736/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=3852 CPUtime=6.29
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 604 0 3 0 625 4 0 0 25 0 1 0 245989257 3944448 577 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 963 577 227 40 0 378 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3852

[startup+12.7019 s]
/proc/loadavg: 1.25 1.21 0.96 2/65 28301
/proc/meminfo: memFree=1782128/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=4488 CPUtime=12.68
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 757 0 3 0 1260 8 0 0 25 0 1 0 245989257 4595712 730 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 1122 730 227 40 0 537 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 4488

[startup+25.5012 s]
/proc/loadavg: 1.20 1.20 0.96 2/65 28301
/proc/meminfo: memFree=1780864/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=5740 CPUtime=25.48
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 1080 0 3 0 2533 15 0 0 25 0 1 0 245989257 5877760 1053 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 1435 1053 227 40 0 850 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5740

[startup+51.1017 s]
/proc/loadavg: 1.13 1.18 0.96 2/65 28301
/proc/meminfo: memFree=1778752/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=7992 CPUtime=51.07
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 1684 0 3 0 5077 30 0 0 25 0 1 0 245989257 8183808 1616 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 1998 1616 227 40 0 1413 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 7992

[startup+102.306 s]
/proc/loadavg: 1.05 1.15 0.96 2/65 28301
/proc/meminfo: memFree=1774144/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=12544 CPUtime=102.26
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 2897 0 3 0 10168 58 0 0 25 0 1 0 245989257 12845056 2748 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 3136 2748 227 40 0 2551 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 12544

[startup+162.302 s]
/proc/loadavg: 1.02 1.12 0.96 2/65 28301
/proc/meminfo: memFree=1768384/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=18256 CPUtime=162.24
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 4492 0 3 0 16138 86 0 0 25 0 1 0 245989257 18694144 4182 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 4564 4182 227 40 0 3979 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 18256

[startup+222.301 s]
/proc/loadavg: 1.00 1.10 0.96 2/65 28301
/proc/meminfo: memFree=1763840/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=22768 CPUtime=222.22
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 5614 0 3 0 22107 115 0 0 25 0 1 0 245989257 23314432 5304 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 5692 5304 227 40 0 5107 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 22768

[startup+282.301 s]
/proc/loadavg: 1.00 1.08 0.96 2/65 28301
/proc/meminfo: memFree=1757824/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=28728 CPUtime=282.2
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 7431 0 3 0 28078 142 0 0 25 0 1 0 245989257 29417472 6800 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 7182 6800 227 40 0 6597 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 28728

[startup+342.302 s]
/proc/loadavg: 1.00 1.06 0.96 2/65 28301
/proc/meminfo: memFree=1754368/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=32040 CPUtime=342.19
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 8263 0 3 0 34054 165 0 0 25 0 1 0 245989257 32808960 7632 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 8010 7632 227 40 0 7425 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 32040

[startup+402.302 s]
/proc/loadavg: 1.00 1.05 0.96 2/65 28301
/proc/meminfo: memFree=1750976/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=35428 CPUtime=402.17
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 9107 0 3 0 40026 191 0 0 25 0 1 0 245989257 36278272 8476 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134626354 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 8857 8476 227 40 0 8272 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 35428

[startup+462.302 s]
/proc/loadavg: 1.00 1.04 0.96 2/65 28301
/proc/meminfo: memFree=1747840/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=38520 CPUtime=462.16
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 9883 0 3 0 46001 215 0 0 25 0 1 0 245989257 39444480 9252 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 9630 9252 227 40 0 9045 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 38520

[startup+522.301 s]
/proc/loadavg: 1.00 1.03 0.96 2/71 28479
/proc/meminfo: memFree=1743232/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=41932 CPUtime=522.06
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 10726 0 3 0 51968 238 0 0 25 0 1 0 245989257 42938368 10095 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629099 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 10483 10095 227 40 0 9898 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 41932

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 0.96 2/65 28499
/proc/meminfo: memFree=1741184/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=45064 CPUtime=582.03
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 11517 0 3 0 57943 260 0 0 25 0 1 0 245989257 46145536 10886 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 11266 10886 227 40 0 10681 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 45064

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 28499
/proc/meminfo: memFree=1735040/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=51104 CPUtime=642.02
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 13658 0 3 0 63918 284 0 0 25 0 1 0 245989257 52330496 12386 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 12776 12386 227 40 0 12191 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 51104


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1725952/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=60208 CPUtime=821.96
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 15935 0 3 0 81852 344 0 0 25 0 1 0 245989257 61652992 14663 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578251 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 15052 14663 227 40 0 14467 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 60208

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1722880/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=63328 CPUtime=881.95
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 16712 0 3 0 87833 362 0 0 25 0 1 0 245989257 64847872 15440 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 15832 15440 227 40 0 15247 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 63328

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1720064/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=66080 CPUtime=941.93
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 17412 0 3 0 93812 381 0 0 25 0 1 0 245989257 67665920 16140 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578241 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 16520 16140 227 40 0 15935 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 66080

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1716928/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=69144 CPUtime=1001.92
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 18179 0 3 0 99791 401 0 0 25 0 1 0 245989257 70803456 16907 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 17286 16907 227 40 0 16701 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 69144

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1714752/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=71336 CPUtime=1061.91
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 18718 0 3 0 105772 419 0 0 25 0 1 0 245989257 73048064 17446 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 17834 17446 227 40 0 17249 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 71336

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1712960/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=73116 CPUtime=1121.88
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 19161 0 3 0 111754 434 0 0 25 0 1 0 245989257 74870784 17889 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 18279 17889 227 40 0 17694 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 73116

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1710720/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=75520 CPUtime=1181.87
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 19770 0 3 0 117734 453 0 0 25 0 1 0 245989257 77332480 18498 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 18880 18498 227 40 0 18295 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 75520

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1708224/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=77940 CPUtime=1241.85
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 20378 0 3 0 123714 471 0 0 25 0 1 0 245989257 79810560 19106 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 19485 19106 227 40 0 18900 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 77940

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1705152/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=80928 CPUtime=1301.84
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 21122 0 3 0 129693 491 0 0 25 0 1 0 245989257 82870272 19850 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 20232 19850 227 40 0 19647 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 80928

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1702912/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=83160 CPUtime=1361.82
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 21678 0 3 0 135675 507 0 0 25 0 1 0 245989257 85155840 20406 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578253 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 20790 20406 227 40 0 20205 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 83160

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1700928/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=85096 CPUtime=1421.81
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 22170 0 3 0 141659 522 0 0 25 0 1 0 245989257 87138304 20898 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 21274 20898 227 40 0 20689 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 85096

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1699264/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=86724 CPUtime=1481.78
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 22577 0 3 0 147640 538 0 0 25 0 1 0 245989257 88805376 21305 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632414 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 21681 21305 227 40 0 21096 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 86724

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1697152/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=88772 CPUtime=1541.77
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 23089 0 3 0 153624 553 0 0 25 0 1 0 245989257 90902528 21817 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578236 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 22193 21817 227 40 0 21608 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 88772

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1695168/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=90776 CPUtime=1601.75
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 23583 0 3 0 159606 569 0 0 25 0 1 0 245989257 92954624 22311 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578253 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 22694 22311 227 40 0 22109 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 90776

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1693568/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=92344 CPUtime=1661.74
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 23982 0 3 0 165591 583 0 0 25 0 1 0 245989257 94560256 22710 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 23086 22710 227 40 0 22501 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 92344

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1686528/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=99260 CPUtime=1721.72
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 26986 0 3 0 171575 597 0 0 25 0 1 0 245989257 101642240 24433 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 24815 24433 227 40 0 24230 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 99260

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1684672/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=101216 CPUtime=1781.7
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 27473 0 3 0 177558 612 0 0 25 0 1 0 245989257 103645184 24920 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 25304 24920 227 40 0 24719 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 101216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 28499
/proc/meminfo: memFree=1684032/2055920 swapFree=4183296/4192956
[pid=28300] ppid=28298 vsize=101836 CPUtime=1800.01
/proc/28300/stat : 28300 (glpPBv3) R 28298 28300 3067 0 -1 0 27626 0 3 0 179383 618 0 0 25 0 1 0 245989257 104280064 25073 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28300/statm: 25459 25073 227 40 0 24874 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 101836

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.03
CPU user time (s): 1793.84
CPU system time (s): 6.19706
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 101836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.84
system time used= 6.19706
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27626
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 3289

runsolver used 1.3038 second user time and 3.67444 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Tue May  1 00:53:13 UTC 2007

IDJOB= 429053
IDBENCH= 47881
IDSOLVER= 166
FILE ID= node60/429053-1177980793

PBS_JOBID= 4728071

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=157-P1=211-P2=97-P3=71-B.opb
COMMAND LINE= glpPBv3 /tmp/evaluation/429053-1177980793/instance-429053-1177980793.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node60/convwatcher-429053-1177980793 -o ROOT/results/node60/conversion-429053-1177980793 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/429053-1177980793/instance-429053-1177980793.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  85ac83bf4a556e0f3edfff4036eff461

RANDOM SEED= 935936001

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.214
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.214
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:       1785320 kB
Buffers:         25960 kB
Cached:         165824 kB
SwapCached:       3580 kB
Active:          53252 kB
Inactive:       152760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1785320 kB
SwapTotal:     4192956 kB
SwapFree:      4183296 kB
Dirty:            2428 kB
Writeback:           0 kB
Mapped:          20224 kB
Slab:            50552 kB
Committed_AS:  2906156 kB
PageTables:       1476 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 node60 on Tue May  1 01:23:16 UTC 2007