Trace number 41449

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
PBS 4.1L? (TO) 1800.55 1801.16

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb
MD5SUMfd717ffc3177aa889b23f16defdc157a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3248
Best CPU time to get the best result obtained on this benchmark1782.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3248
Optimality of the best value was proved NO
Number of variables7195
Total number of constraints900
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)29
Number of constraints which are nor clauses,nor cardinality constraints871
Minimum length of a constraint10
Maximum length of a constraint555
Number of terms in the objective function 421
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 72290
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 524691
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node89/41449-1149355090/instance-41449-1149355090.opb ......
0.19	c done parsing opb.
0.19	o 4687

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node89/watcher-41449-1149355090 -o ROOT/results/node89/solver-41449-1149355090 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41449-1149355090/instance-41449-1149355090.opb 322747529 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1850072/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=2076 CPUtime=0
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 211 0 0 0 0 0 0 0 18 0 1 0 201148067 2125824 196 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 519 197 90 232 0 284 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1844312/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=8732 CPUtime=9.99
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 1577 0 0 0 996 3 0 0 25 0 1 0 201148067 8941568 1554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 2183 1554 108 232 0 1948 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 8732

[startup+20.0082 s]
/proc/loadavg: 0.94 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1842456/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=9004 CPUtime=20
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 2071 0 0 0 1994 6 0 0 25 0 1 0 201148067 9220096 2048 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 2251 2048 108 232 0 2016 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 9004

[startup+30.0141 s]
/proc/loadavg: 0.95 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1840472/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=13560 CPUtime=30
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 2563 0 0 0 2992 8 0 0 25 0 1 0 201148067 13885440 2540 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 3390 2540 108 232 0 3155 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 13560

[startup+40.02 s]
/proc/loadavg: 0.96 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1838552/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=13948 CPUtime=40
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3046 0 0 0 3990 10 0 0 25 0 1 0 201148067 14282752 3023 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 3487 3023 108 232 0 3252 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 13948

[startup+50.0258 s]
/proc/loadavg: 0.96 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1836888/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=14492 CPUtime=50
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3487 0 0 0 4988 12 0 0 25 0 1 0 201148067 14839808 3415 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 3623 3415 108 232 0 3388 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 14492

[startup+60.0317 s]
/proc/loadavg: 0.97 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1836760/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=14672 CPUtime=60
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3545 0 0 0 5986 14 0 0 25 0 1 0 201148067 15024128 3473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 3668 3473 108 232 0 3433 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 14672

[startup+70.0376 s]
/proc/loadavg: 0.97 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1836568/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=14804 CPUtime=70.01
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3602 0 0 0 6984 17 0 0 25 0 1 0 201148067 15159296 3530 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546266 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 3701 3530 108 232 0 3466 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 14804

[startup+80.0434 s]
/proc/loadavg: 0.98 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1836312/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=15160 CPUtime=80.01
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3670 0 0 0 7982 19 0 0 25 0 1 0 201148067 15523840 3598 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 3790 3598 108 232 0 3555 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 15160

[startup+90.0493 s]
/proc/loadavg: 0.98 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1836184/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=15160 CPUtime=90.01
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3697 0 0 0 8981 20 0 0 25 0 1 0 201148067 15523840 3625 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 3790 3625 108 232 0 3555 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 15160

[startup+100.055 s]
/proc/loadavg: 0.98 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1835736/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=15748 CPUtime=100.01
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3850 0 0 0 9979 22 0 0 25 0 1 0 201148067 16125952 3681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 3937 3681 108 232 0 3702 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 15748

[startup+110.061 s]
/proc/loadavg: 0.98 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1835736/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=15948 CPUtime=110.01
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3899 0 0 0 10977 24 0 0 25 0 1 0 201148067 16330752 3730 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 3987 3730 108 232 0 3752 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 15948

[startup+120.067 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1835544/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=16100 CPUtime=120.01
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 3941 0 0 0 11975 26 0 0 25 0 1 0 201148067 16486400 3772 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 4025 3772 108 232 0 3790 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 16100

[startup+130.073 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1835288/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=16344 CPUtime=130.02
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 4018 0 0 0 12973 29 0 0 25 0 1 0 201148067 16736256 3849 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 4086 3849 108 232 0 3851 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 16344

[startup+140.079 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1835160/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=16344 CPUtime=140.02
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 4046 0 0 0 13971 31 0 0 25 0 1 0 201148067 16736256 3877 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 4086 3877 108 232 0 3851 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 16344

[startup+150.084 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1834968/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=16496 CPUtime=150.02
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 4079 0 0 0 14969 33 0 0 25 0 1 0 201148067 16891904 3910 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 4124 3910 108 232 0 3889 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 16496

[startup+160.09 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1834840/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=16584 CPUtime=160.02
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 4112 0 0 0 15967 35 0 0 25 0 1 0 201148067 16982016 3943 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 4146 3943 108 232 0 3911 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 16584

[startup+170.096 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1834776/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=16584 CPUtime=170.03
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 4133 0 0 0 16965 38 0 0 25 0 1 0 201148067 16982016 3964 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 4146 3964 108 232 0 3911 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 16584

[startup+180.102 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1834648/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=16744 CPUtime=180.04
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 4159 0 0 0 17963 41 0 0 25 0 1 0 201148067 17145856 3990 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 4186 3990 108 232 0 3951 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 16744

[startup+190.108 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1834520/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=16864 CPUtime=190.04
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 4201 0 0 0 18961 43 0 0 25 0 1 0 201148067 17268736 4032 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 4216 4032 108 232 0 3981 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 16864

[startup+200.113 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1834328/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=17028 CPUtime=200.04
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 4239 0 0 0 19958 46 0 0 25 0 1 0 201148067 17436672 4070 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 4257 4070 108 232 0 4022 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 17028

[startup+210.119 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29010
/proc/meminfo: memFree=1834008/2055892 swapFree=4085352/4096564

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

/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9110 0 0 0 177785 359 0 0 25 0 1 0 201148067 32292864 7594 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7884 7594 108 232 0 7649 0
Current children cumulated CPU time (s) 1781.44
Current children cumulated vsize (Kb) 31536

[startup+1783.06 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819800/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31536 CPUtime=1782.46
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9111 0 0 0 177886 360 0 0 25 0 1 0 201148067 32292864 7595 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7884 7595 108 232 0 7649 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (Kb) 31536

[startup+1784.07 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819800/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31536 CPUtime=1783.46
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9112 0 0 0 177986 360 0 0 25 0 1 0 201148067 32292864 7596 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7884 7596 108 232 0 7649 0
Current children cumulated CPU time (s) 1783.46
Current children cumulated vsize (Kb) 31536

[startup+1785.07 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819800/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31536 CPUtime=1784.46
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9112 0 0 0 178086 360 0 0 25 0 1 0 201148067 32292864 7596 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7884 7596 108 232 0 7649 0
Current children cumulated CPU time (s) 1784.46
Current children cumulated vsize (Kb) 31536

[startup+1786.08 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819800/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31536 CPUtime=1785.47
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9113 0 0 0 178187 360 0 0 25 0 1 0 201148067 32292864 7597 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7884 7597 108 232 0 7649 0
Current children cumulated CPU time (s) 1785.47
Current children cumulated vsize (Kb) 31536

[startup+1787.08 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819800/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31536 CPUtime=1786.47
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9123 0 0 0 178287 360 0 0 25 0 1 0 201148067 32292864 7607 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7884 7607 108 232 0 7649 0
Current children cumulated CPU time (s) 1786.47
Current children cumulated vsize (Kb) 31536

[startup+1788.09 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31536 CPUtime=1787.47
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9128 0 0 0 178387 360 0 0 25 0 1 0 201148067 32292864 7612 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7884 7612 108 232 0 7649 0
Current children cumulated CPU time (s) 1787.47
Current children cumulated vsize (Kb) 31536

[startup+1789.09 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31536 CPUtime=1788.48
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9129 0 0 0 178487 361 0 0 25 0 1 0 201148067 32292864 7613 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551585 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7884 7613 108 232 0 7649 0
Current children cumulated CPU time (s) 1788.48
Current children cumulated vsize (Kb) 31536

[startup+1790.1 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31536 CPUtime=1789.49
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9129 0 0 0 178588 361 0 0 25 0 1 0 201148067 32292864 7613 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7884 7613 108 232 0 7649 0
Current children cumulated CPU time (s) 1789.49
Current children cumulated vsize (Kb) 31536

[startup+1791.1 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31536 CPUtime=1790.49
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9130 0 0 0 178688 361 0 0 25 0 1 0 201148067 32292864 7614 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7884 7614 108 232 0 7649 0
Current children cumulated CPU time (s) 1790.49
Current children cumulated vsize (Kb) 31536

[startup+1792.11 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31536 CPUtime=1791.49
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9131 0 0 0 178788 361 0 0 25 0 1 0 201148067 32292864 7615 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7884 7615 108 232 0 7649 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (Kb) 31536

[startup+1793.11 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31536 CPUtime=1792.49
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9132 0 0 0 178888 361 0 0 25 0 1 0 201148067 32292864 7616 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549354 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7884 7616 108 232 0 7649 0
Current children cumulated CPU time (s) 1792.49
Current children cumulated vsize (Kb) 31536

[startup+1794.12 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31536 CPUtime=1793.51
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9132 0 0 0 178989 362 0 0 25 0 1 0 201148067 32292864 7616 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551957 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7884 7616 108 232 0 7649 0
Current children cumulated CPU time (s) 1793.51
Current children cumulated vsize (Kb) 31536

[startup+1795.12 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31536 CPUtime=1794.51
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9133 0 0 0 179089 362 0 0 25 0 1 0 201148067 32292864 7617 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7884 7617 108 232 0 7649 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (Kb) 31536

[startup+1796.12 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819736/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31536 CPUtime=1795.51
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9134 0 0 0 179189 362 0 0 25 0 1 0 201148067 32292864 7618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7884 7618 108 232 0 7649 0
Current children cumulated CPU time (s) 1795.51
Current children cumulated vsize (Kb) 31536

[startup+1797.13 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819672/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31616 CPUtime=1796.51
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9140 0 0 0 179289 362 0 0 25 0 1 0 201148067 32374784 7624 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7904 7624 108 232 0 7669 0
Current children cumulated CPU time (s) 1796.51
Current children cumulated vsize (Kb) 31616

[startup+1798.14 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819672/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31616 CPUtime=1797.52
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9141 0 0 0 179390 362 0 0 25 0 1 0 201148067 32374784 7625 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7904 7625 108 232 0 7669 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (Kb) 31616

[startup+1799.14 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819672/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31616 CPUtime=1798.52
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9143 0 0 0 179490 362 0 0 25 0 1 0 201148067 32374784 7627 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7904 7627 108 232 0 7669 0
Current children cumulated CPU time (s) 1798.52
Current children cumulated vsize (Kb) 31616

[startup+1800.14 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819672/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31616 CPUtime=1799.52
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9144 0 0 0 179590 362 0 0 25 0 1 0 201148067 32374784 7628 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7904 7628 108 232 0 7669 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (Kb) 31616

[startup+1801.15 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819672/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31616 CPUtime=1800.53
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9145 0 0 0 179690 363 0 0 25 0 1 0 201148067 32374784 7629 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7904 7629 108 232 0 7669 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (Kb) 31616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.15 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 29012
/proc/meminfo: memFree=1819672/2055892 swapFree=4085352/4096564
[pid=29010] ppid=29008 vsize=31616 CPUtime=1800.54
/proc/29010/stat : 29010 (PBS4L) R 29008 29010 28964 0 -1 4194304 9145 0 0 0 179691 363 0 0 25 0 1 0 201148067 32374784 7629 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29010/statm: 7904 7629 108 232 0 7669 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (Kb) 31616

Sending SIGTERM to -29010
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.16
CPU time (s): 1800.55
CPU user time (s): 1796.91
CPU system time (s): 3.63745
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (Kb): 31616
The end

Launcher Data (download as text)

Begin job on node89 on Sat Jun  3 17:18:10 UTC 2006


FILE ID= 41449-1149355090

PBS_JOBID= 311204

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41449-1149355090/instance-41449-1149355090.opb 322747529
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node89/watcher-41449-1149355090 -o ROOT/results/node89/solver-41449-1149355090 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41449-1149355090/instance-41449-1149355090.opb 322747529

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  fd717ffc3177aa889b23f16defdc157a

RANDOM SEED= 322747529


/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.265
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	: 6006.16
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.265
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	: 5999.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1850280 kB
Buffers:         26860 kB
Cached:         117500 kB
SwapCached:       2384 kB
Active:          51124 kB
Inactive:       101836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1850280 kB
SwapTotal:     4096564 kB
SwapFree:      4085352 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          16524 kB
Slab:            39188 kB
Committed_AS:   367440 kB
PageTables:       1300 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node89 on Sat Jun  3 17:48:11 UTC 2006