Trace number 429375

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? (exit code) 1570.79 1571.36

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=251-P1=139-P2=89-P3=173-P4=107-B.opb
MD5SUM616d60d0b9e17d59a77d69efb2609a49
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.133979
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 variables108
Total number of constraints9
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 constraints9
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)324
Sum of products size (including duplicates)648
Number of different products324
Sum of products size648

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
1570.72/1571.34	c starting to Solve
1570.72/1571.34	Assertion failed: x >= lb; file glpmip2.c; line 230

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/429375-1177984077/instance-429375-1177984077.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node24/watcher-429375-1177984077 -o ROOT/results/node24/solver-429375-1177984077 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/429375-1177984077/instance-429375-1177984077.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.02 1.03 0.96 3/77 24497
/proc/meminfo: memFree=1845264/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=2648 CPUtime=0
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 246325741 2711552 236 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 3071703 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 662 236 199 40 0 77 0

[startup+0.0166689 s]
/proc/loadavg: 1.02 1.03 0.96 3/77 24497
/proc/meminfo: memFree=1845264/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=3124 CPUtime=0.01
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 414 0 0 0 1 0 0 0 18 0 1 0 246325741 3198976 384 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 781 384 223 40 0 196 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3124

[startup+0.102679 s]
/proc/loadavg: 1.02 1.03 0.96 3/77 24497
/proc/meminfo: memFree=1845264/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=3528 CPUtime=0.09
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 520 0 0 0 9 0 0 0 18 0 1 0 246325741 3612672 490 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 882 490 227 40 0 297 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3528

[startup+0.302699 s]
/proc/loadavg: 1.02 1.03 0.96 3/77 24497
/proc/meminfo: memFree=1845264/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=3528 CPUtime=0.29
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 525 0 0 0 29 0 0 0 20 0 1 0 246325741 3612672 495 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 882 495 227 40 0 297 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3528

[startup+0.701743 s]
/proc/loadavg: 1.02 1.03 0.96 3/77 24497
/proc/meminfo: memFree=1845264/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=3528 CPUtime=0.69
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 530 0 0 0 69 0 0 0 23 0 1 0 246325741 3612672 500 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 3039239 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 882 500 227 40 0 297 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3528

[startup+1.50183 s]
/proc/loadavg: 1.02 1.02 0.96 2/78 24498
/proc/meminfo: memFree=1844104/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=3548 CPUtime=1.49
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 803 0 0 0 149 0 0 0 25 0 1 0 246325741 3633152 511 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134636804 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 887 511 227 40 0 302 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3548

[startup+3.102 s]
/proc/loadavg: 1.02 1.02 0.96 2/78 24498
/proc/meminfo: memFree=1843912/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=3664 CPUtime=3.09
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 2601 0 0 0 307 2 0 0 25 0 1 0 246325741 3751936 540 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134628982 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 916 540 227 40 0 331 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3664

[startup+6.30135 s]
/proc/loadavg: 1.02 1.02 0.96 2/78 24498
/proc/meminfo: memFree=1843656/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=3916 CPUtime=6.29
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 5030 0 0 0 623 6 0 0 25 0 1 0 246325741 4009984 603 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 979 603 227 40 0 394 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3916

[startup+12.701 s]
/proc/loadavg: 1.01 1.02 0.96 2/78 24498
/proc/meminfo: memFree=1843080/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=4492 CPUtime=12.68
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 9751 0 0 0 1258 10 0 0 25 0 1 0 246325741 4599808 717 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 1123 717 227 40 0 538 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 4492

[startup+25.5014 s]
/proc/loadavg: 1.01 1.02 0.96 2/78 24498
/proc/meminfo: memFree=1842248/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=5224 CPUtime=25.48
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 19073 0 0 0 2525 23 0 0 25 0 1 0 246325741 5349376 930 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134626399 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 1306 930 227 40 0 721 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5224

[startup+51.1012 s]
/proc/loadavg: 1.01 1.02 0.96 2/78 24498
/proc/meminfo: memFree=1840520/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=6960 CPUtime=51.07
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 38869 0 0 0 5058 49 0 0 25 0 1 0 246325741 7127040 1364 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 1740 1364 227 40 0 1155 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6960

[startup+102.306 s]
/proc/loadavg: 1.00 1.02 0.96 2/78 24498
/proc/meminfo: memFree=1837256/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=10164 CPUtime=102.26
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 41658 0 0 0 10157 69 0 0 25 0 1 0 246325741 10407936 2165 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134537379 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 2541 2165 227 40 0 1956 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 10164

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 0.96 2/78 24498
/proc/meminfo: memFree=1834120/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=13284 CPUtime=162.25
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 44648 0 0 0 16129 96 0 0 25 0 1 0 246325741 13602816 2945 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 3321 2945 227 40 0 2736 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 13284

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 24498
/proc/meminfo: memFree=1830728/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=16620 CPUtime=222.23
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 46492 0 0 0 22106 117 0 0 25 0 1 0 246325741 17018880 3779 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 4155 3779 227 40 0 3570 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 16620

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 24498
/proc/meminfo: memFree=1827720/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=19556 CPUtime=282.22
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 48643 0 0 0 28082 140 0 0 25 0 1 0 246325741 20025344 4513 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134569494 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 4889 4513 227 40 0 4304 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 19556

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 24498
/proc/meminfo: memFree=1824840/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=22456 CPUtime=342.2
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 50687 0 0 0 34059 161 0 0 25 0 1 0 246325741 22994944 5238 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 5614 5238 227 40 0 5029 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 22456

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 24498
/proc/meminfo: memFree=1822344/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=24980 CPUtime=402.19
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 52530 0 0 0 40036 183 0 0 25 0 1 0 246325741 25579520 5869 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578241 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 6245 5869 227 40 0 5660 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 24980

[startup+462.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 24498
/proc/meminfo: memFree=1818312/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=29004 CPUtime=462.17
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 55355 0 0 0 46012 205 0 0 25 0 1 0 246325741 29700096 6874 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 7251 6874 227 40 0 6666 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 29004

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 24498
/proc/meminfo: memFree=1815368/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=31932 CPUtime=522.16
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 58131 0 0 0 51984 232 0 0 25 0 1 0 246325741 32698368 7607 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134541769 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 7983 7607 227 40 0 7398 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 31932

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 24498
/proc/meminfo: memFree=1812680/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=34764 CPUtime=582.14
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 60984 0 0 0 57958 256 0 0 25 0 1 0 246325741 35598336 8283 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134590972 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 8691 8283 227 40 0 8106 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 34764

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 24498
/proc/meminfo: memFree=1810056/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=37292 CPUtime=642.13
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 62969 0 0 0 63938 275 0 0 25 0 1 0 246325741 38187008 8947 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 9323 8947 227 40 0 8738 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 37292


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

/proc/meminfo: memFree=1778176/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=46376 CPUtime=881.89
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 71349 0 0 0 87838 351 0 0 25 0 1 0 246325741 47489024 11218 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134634363 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 11594 11218 227 40 0 11009 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 46376

[startup+942.302 s]
/proc/loadavg: 1.05 1.03 0.98 2/78 25172
/proc/meminfo: memFree=1776384/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=48288 CPUtime=941.88
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 72160 0 0 0 93825 363 0 0 25 0 1 0 246325741 49446912 11696 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 12072 11696 227 40 0 11487 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 48288

[startup+1002.3 s]
/proc/loadavg: 1.02 1.02 0.98 2/78 25172
/proc/meminfo: memFree=1771648/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=52948 CPUtime=1001.86
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 75013 0 0 0 99805 381 0 0 25 0 1 0 246325741 54218752 12861 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 13237 12861 227 40 0 12652 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 52948

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 0.98 2/78 25172
/proc/meminfo: memFree=1769600/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=55152 CPUtime=1061.85
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 76373 0 0 0 105788 397 0 0 25 0 1 0 246325741 56475648 13384 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 13788 13384 227 40 0 13203 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 55152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 0.98 2/78 25172
/proc/meminfo: memFree=1767872/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=56740 CPUtime=1121.83
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 77761 0 0 0 111771 412 0 0 25 0 1 0 246325741 58101760 13809 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 14185 13809 227 40 0 13600 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 56740

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 0.98 2/78 25172
/proc/meminfo: memFree=1765832/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=58768 CPUtime=1181.81
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 79721 0 0 0 117750 431 0 0 25 0 1 0 246325741 60178432 14316 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 14692 14316 227 40 0 14107 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 58768

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 25172
/proc/meminfo: memFree=1763784/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=60860 CPUtime=1241.8
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 82038 0 0 0 123733 447 0 0 25 0 1 0 246325741 62320640 14839 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134534268 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 15215 14839 227 40 0 14630 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 60860

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 25172
/proc/meminfo: memFree=1761800/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=62844 CPUtime=1301.79
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 84542 0 0 0 129713 466 0 0 25 0 1 0 246325741 64352256 15335 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134534928 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 15711 15335 227 40 0 15126 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 62844

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 25172
/proc/meminfo: memFree=1759816/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=64872 CPUtime=1361.77
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 87196 0 0 0 135692 485 0 0 25 0 1 0 246325741 66428928 15842 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 16218 15842 227 40 0 15633 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 64872

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 25172
/proc/meminfo: memFree=1757832/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=66872 CPUtime=1421.76
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 89192 0 0 0 141673 503 0 0 25 0 1 0 246325741 68476928 16342 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 16718 16342 227 40 0 16133 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 66872

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 25172
/proc/meminfo: memFree=1756104/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=68572 CPUtime=1481.74
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 90634 0 0 0 147658 516 0 0 25 0 1 0 246325741 70217728 16767 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578253 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 17143 16767 227 40 0 16558 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 68572

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 25172
/proc/meminfo: memFree=1754056/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=70556 CPUtime=1541.72
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 92952 0 0 0 153637 535 0 0 25 0 1 0 246325741 72249344 17263 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 17639 17263 227 40 0 17054 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 70556

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

[startup+1548.7 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 25172
/proc/meminfo: memFree=1753864/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=70744 CPUtime=1548.13
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 93164 0 0 0 154275 538 0 0 25 0 1 0 246325741 72441856 17309 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 17686 17309 227 40 0 17101 0
Current children cumulated CPU time (s) 1548.13
Current children cumulated vsize (KiB) 70744

[startup+1561.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 25172
/proc/meminfo: memFree=1753544/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=71228 CPUtime=1560.92
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 93669 0 0 0 155551 541 0 0 25 0 1 0 246325741 72937472 17401 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 3040891 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 17807 17401 227 40 0 17222 0
Current children cumulated CPU time (s) 1560.92
Current children cumulated vsize (KiB) 71228

[startup+1567.9 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 25172
/proc/meminfo: memFree=1753352/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=71276 CPUtime=1567.31
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 93888 0 0 0 156188 543 0 0 25 0 1 0 246325741 72986624 17443 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 17819 17443 227 40 0 17234 0
Current children cumulated CPU time (s) 1567.31
Current children cumulated vsize (KiB) 71276

[startup+1569.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 25172
/proc/meminfo: memFree=1753352/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=71300 CPUtime=1568.92
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 93951 0 0 0 156348 544 0 0 25 0 1 0 246325741 73011200 17449 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 17825 17449 227 40 0 17240 0
Current children cumulated CPU time (s) 1568.92
Current children cumulated vsize (KiB) 71300

[startup+1570.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 25172
/proc/meminfo: memFree=1753288/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=71340 CPUtime=1569.71
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 93987 0 0 0 156427 544 0 0 25 0 1 0 246325741 73052160 17458 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 17835 17458 227 40 0 17250 0
Current children cumulated CPU time (s) 1569.71
Current children cumulated vsize (KiB) 71340

[startup+1571.1 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 25172
/proc/meminfo: memFree=1753288/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=71368 CPUtime=1570.52
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 94029 0 0 0 156507 545 0 0 25 0 1 0 246325741 73080832 17466 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629267 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 17842 17466 227 40 0 17257 0
Current children cumulated CPU time (s) 1570.52
Current children cumulated vsize (KiB) 71368

[startup+1571.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 25172
/proc/meminfo: memFree=1753288/2055920 swapFree=4143580/4192956
[pid=24497] ppid=24495 vsize=71392 CPUtime=1570.72
/proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 94055 0 0 0 156527 545 0 0 25 0 1 0 246325741 73105408 17472 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/24497/statm: 17848 17472 227 40 0 17263 0
Current children cumulated CPU time (s) 1570.72
Current children cumulated vsize (KiB) 71392

Child status: 1
Real time (s): 1571.36
CPU time (s): 1570.79
CPU user time (s): 1565.32
CPU system time (s): 5.46617
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 71464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1565.32
system time used= 5.46617
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94059
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= 13
involuntary context switches= 32710

runsolver used 1.25681 second user time and 3.59445 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Tue May  1 01:47:57 UTC 2007

IDJOB= 429375
IDBENCH= 47904
IDSOLVER= 166
FILE ID= node24/429375-1177984077

PBS_JOBID= 4727967

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=9-P0=251-P1=139-P2=89-P3=173-P4=107-B.opb
COMMAND LINE= glpPBv3 /tmp/evaluation/429375-1177984077/instance-429375-1177984077.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node24/convwatcher-429375-1177984077 -o ROOT/results/node24/conversion-429375-1177984077 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/429375-1177984077/instance-429375-1177984077.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  616d60d0b9e17d59a77d69efb2609a49

RANDOM SEED= 669534135

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.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.238
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.238
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:       1845736 kB
Buffers:         33832 kB
Cached:          91344 kB
SwapCached:      17148 kB
Active:          75660 kB
Inactive:        73496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1845736 kB
SwapTotal:     4192956 kB
SwapFree:      4143580 kB
Dirty:            2380 kB
Writeback:           0 kB
Mapped:          30868 kB
Slab:            46532 kB
Committed_AS:  3887792 kB
PageTables:       1812 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 node24 on Tue May  1 02:14:09 UTC 2007