Trace number 39991

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
bsolo 2006/05? 1800.05 1800.6

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-set1al.opb
MD5SUM8707b70244b4b6d1505bb830d4ab8529
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 42048
Optimality of the best value was proved NO
Number of variables14400
Total number of constraints492
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 constraints492
Minimum length of a constraint31
Maximum length of a constraint630
Number of terms in the objective function 7200
Biggest coefficient in the objective function 3484
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 530256
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262141
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 530256
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 Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.26	c Initial problem consists of 14400 variables and 732 constraints.
0.30	c	preprocess terminated. Elapsed time: 0.292
0.30	c After prepocess the problem consists of 9512 variables and 732 constraints.
0.30	c Initial Lower Bound: 0
20.48	c Restart #1 #Var: 9512 LB: 0 @ 20.466
35.58	c Restart #2 #Var: 9512 LB: 0 @ 35.562
64.93	c Restart #3 #Var: 9512 LB: 0 @ 64.904
608.64	c Restart #4 #Var: 9512 LB: 0 @ 608.45
963.38	c CHANGE Heuristic... 
963.38	c Restart #0 #Var: 9512 LB: 0 @ 963.09
971.52	c Restart #1 #Var: 9503 LB: 0 @ 971.23
975.19	c Restart #2 #Var: 9498 LB: 0 @ 974.89
985.29	c Restart #3 #Var: 9498 LB: 0 @ 984.99
999.24	c Restart #4 #Var: 9450 LB: 0 @ 998.94
1028.49	c Restart #5 #Var: 9437 LB: 0 @ 1028.2
1032.13	c Restart #6 #Var: 9437 LB: 0 @ 1031.8
1051.77	c Restart #7 #Var: 9433 LB: 0 @ 1051.5
1072.03	c Restart #8 #Var: 9433 LB: 0 @ 1071.7
1128.26	c Restart #9 #Var: 9393 LB: 0 @ 1127.9
1144.31	c Restart #10 #Var: 9383 LB: 0 @ 1144
1157.23	c Restart #11 #Var: 9382 LB: 0 @ 1156.9
1205.11	c Restart #12 #Var: 9371 LB: 0 @ 1204.7
1232.74	c Restart #13 #Var: 9371 LB: 0 @ 1232.4
1244.19	c Restart #14 #Var: 9370 LB: 0 @ 1243.8
1258.32	c Restart #15 #Var: 9370 LB: 0 @ 1257.9
1310.27	c Restart #16 #Var: 9360 LB: 0 @ 1309.9
1325.02	c Restart #17 #Var: 9360 LB: 0 @ 1324.6
1338.59	c Restart #18 #Var: 9351 LB: 0 @ 1338.2
1362.41	c Restart #19 #Var: 9348 LB: 0 @ 1362
1398.93	c Restart #20 #Var: 9348 LB: 0 @ 1398.5
1416.87	c Restart #21 #Var: 9345 LB: 0 @ 1416.4
1433.84	c Restart #22 #Var: 9345 LB: 0 @ 1433.4
1472.62	c Restart #23 #Var: 9327 LB: 0 @ 1472.2
1494.85	c Restart #24 #Var: 9324 LB: 0 @ 1494.4
1522.54	c Restart #25 #Var: 9320 LB: 0 @ 1522.1
1555.95	c Restart #26 #Var: 9317 LB: 0 @ 1555.5
1573.91	c Restart #27 #Var: 9317 LB: 0 @ 1573.4
1603.69	c Restart #28 #Var: 9316 LB: 0 @ 1603.2
1630.26	c Restart #29 #Var: 9316 LB: 0 @ 1629.8
1691.58	c Restart #30 #Var: 9316 LB: 0 @ 1691.1
1716.16	c Restart #31 #Var: 9313 LB: 0 @ 1715.6
1757.29	c Restart #32 #Var: 9307 LB: 0 @ 1756.8
1800.55	s UNKNOWN
1800.55	c Exit Code: 0
1800.55	c Total time: 1800 s

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/node62/watcher-39991-1149348273 -o ROOT/results/node62/solver-39991-1149348273 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/39991-1149348273/instance-39991-1149348273.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.01 0.96 3/64 14529
/proc/meminfo: memFree=1215632/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=4664 CPUtime=0
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 167 0 0 0 0 0 0 0 18 0 1 0 44030858 4775936 147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8076642 0 0 4096 0 0 0 0 17 1 0 0
/proc/14529/statm: 1166 151 112 55 0 46 0

[startup+10.0032 s]
/proc/loadavg: 1.00 1.01 0.96 2/64 14529
/proc/meminfo: memFree=1195160/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=25436 CPUtime=9.98
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 5510 0 0 0 995 3 0 0 25 0 1 0 44030858 26046464 5425 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535092 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 6359 5425 296 55 0 5251 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 25436

[startup+20.0104 s]
/proc/loadavg: 1.00 1.01 0.96 2/64 14529
/proc/meminfo: memFree=1179416/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=41768 CPUtime=19.99
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 9442 0 0 0 1993 6 0 0 25 0 1 0 44030858 42770432 9355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 10442 9355 296 55 0 9334 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 41768

[startup+30.0166 s]
/proc/loadavg: 1.00 1.01 0.96 2/64 14529
/proc/meminfo: memFree=1178648/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=42584 CPUtime=29.99
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 9642 0 0 0 2993 6 0 0 25 0 1 0 44030858 43606016 9555 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 10646 9555 296 55 0 9538 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 42584

[startup+40.0228 s]
/proc/loadavg: 1.00 1.01 0.96 2/64 14529
/proc/meminfo: memFree=1178136/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=42584 CPUtime=40
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 9762 0 0 0 3992 8 0 0 25 0 1 0 44030858 43606016 9675 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 10646 9675 296 55 0 9538 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 42584

[startup+50.0289 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14529
/proc/meminfo: memFree=1178072/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=42584 CPUtime=50
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 9776 0 0 0 4991 9 0 0 25 0 1 0 44030858 43606016 9689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 10646 9689 296 55 0 9538 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 42584

[startup+60.0351 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14529
/proc/meminfo: memFree=1171352/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=49348 CPUtime=59.99
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11468 0 0 0 5989 10 0 0 25 0 1 0 44030858 50532352 11381 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555534 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 12337 11381 296 55 0 11229 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 49348

[startup+70.0413 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14529
/proc/meminfo: memFree=1171288/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=49348 CPUtime=70
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11476 0 0 0 6989 11 0 0 25 0 1 0 44030858 50532352 11389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 12337 11389 296 55 0 11229 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 49348

[startup+80.0485 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14529
/proc/meminfo: memFree=1171224/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=49348 CPUtime=80.01
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11485 0 0 0 7989 12 0 0 25 0 1 0 44030858 50532352 11398 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649150 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 12337 11398 296 55 0 11229 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 49348

[startup+90.0537 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14529
/proc/meminfo: memFree=1171288/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=49348 CPUtime=90.01
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11485 0 0 0 8988 13 0 0 25 0 1 0 44030858 50532352 11398 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555645 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 12337 11398 296 55 0 11229 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 49348

[startup+100.06 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14529
/proc/meminfo: memFree=1170776/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=49880 CPUtime=100.01
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11618 0 0 0 9987 14 0 0 25 0 1 0 44030858 51077120 11531 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 12470 11531 296 55 0 11362 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 49880

[startup+110.066 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14529
/proc/meminfo: memFree=1170712/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=49880 CPUtime=110.02
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11627 0 0 0 10986 16 0 0 25 0 1 0 44030858 51077120 11540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 12470 11540 296 55 0 11362 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 49880

[startup+120.072 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14529
/proc/meminfo: memFree=1170648/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=49880 CPUtime=120.02
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11633 0 0 0 11984 18 0 0 25 0 1 0 44030858 51077120 11546 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557876 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 12470 11546 296 55 0 11362 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 49880

[startup+130.078 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14529
/proc/meminfo: memFree=1170648/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=50012 CPUtime=130.02
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11641 0 0 0 12983 19 0 0 25 0 1 0 44030858 51212288 11554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 12503 11554 296 55 0 11395 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 50012

[startup+140.085 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14529
/proc/meminfo: memFree=1170584/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=50012 CPUtime=140.03
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11653 0 0 0 13983 20 0 0 25 0 1 0 44030858 51212288 11566 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 12503 11566 296 55 0 11395 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 50012

[startup+150.091 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14529
/proc/meminfo: memFree=1170584/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=50012 CPUtime=150.02
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11655 0 0 0 14981 21 0 0 25 0 1 0 44030858 51212288 11568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696642 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 12503 11568 296 55 0 11395 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 50012

[startup+160.097 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14529
/proc/meminfo: memFree=1170520/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=50012 CPUtime=160.03
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11663 0 0 0 15980 23 0 0 25 0 1 0 44030858 51212288 11576 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 12503 11576 296 55 0 11395 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 50012

[startup+170.103 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14529
/proc/meminfo: memFree=1170520/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=50012 CPUtime=170.03
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11668 0 0 0 16979 24 0 0 25 0 1 0 44030858 51212288 11581 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 12503 11581 296 55 0 11395 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 50012

[startup+180.109 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14529
/proc/meminfo: memFree=1170520/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=50144 CPUtime=180.03
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11675 0 0 0 17978 25 0 0 25 0 1 0 44030858 51347456 11588 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 12536 11588 296 55 0 11428 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 50144

[startup+190.116 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14529
/proc/meminfo: memFree=1170456/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=50144 CPUtime=190.05
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11686 0 0 0 18978 27 0 0 25 0 1 0 44030858 51347456 11599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 12536 11599 296 55 0 11428 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 50144

[startup+200.122 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14529
/proc/meminfo: memFree=1170456/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=50144 CPUtime=200.04
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 11686 0 0 0 19977 27 0 0 25 0 1 0 44030858 51347456 11599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 12536 11599 296 55 0 11428 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 50144

[startup+210.127 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14529
/proc/meminfo: memFree=1170456/2055920 swapFree=4191908/4192956

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

/proc/14529/statm: 61394 59649 296 55 0 60286 0
Current children cumulated CPU time (s) 1760.53
Current children cumulated vsize (Kb) 245576

[startup+1771.08 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=976792/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=246500 CPUtime=1770.53
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 60299 0 0 0 176841 212 0 0 25 0 1 0 44030858 252416000 59885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 61625 59885 296 55 0 60517 0
Current children cumulated CPU time (s) 1770.53
Current children cumulated vsize (Kb) 246500

[startup+1781.09 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=972568/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=251028 CPUtime=1780.54
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61385 0 0 0 177840 214 0 0 25 0 1 0 44030858 257052672 60966 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 62757 60966 296 55 0 61649 0
Current children cumulated CPU time (s) 1780.54
Current children cumulated vsize (Kb) 251028

[startup+1782.09 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=971608/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=251952 CPUtime=1781.55
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61619 0 0 0 177941 214 0 0 25 0 1 0 44030858 257998848 61199 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 62988 61199 296 55 0 61880 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 251952

[startup+1783.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=971416/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=252216 CPUtime=1782.55
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61666 0 0 0 178041 214 0 0 25 0 1 0 44030858 258269184 61246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63054 61246 296 55 0 61946 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (Kb) 252216

[startup+1784.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=252480 CPUtime=1783.55
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178141 214 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555529 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63120 61305 296 55 0 62012 0
Current children cumulated CPU time (s) 1783.55
Current children cumulated vsize (Kb) 252480

[startup+1785.11 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=252480 CPUtime=1784.56
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178242 214 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63120 61305 296 55 0 62012 0
Current children cumulated CPU time (s) 1784.56
Current children cumulated vsize (Kb) 252480

[startup+1786.11 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=252480 CPUtime=1785.56
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178342 214 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63120 61305 296 55 0 62012 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (Kb) 252480

[startup+1787.12 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=252480 CPUtime=1786.56
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178442 214 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644502 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63120 61305 296 55 0 62012 0
Current children cumulated CPU time (s) 1786.56
Current children cumulated vsize (Kb) 252480

[startup+1788.12 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=252480 CPUtime=1787.57
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178543 214 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63120 61305 296 55 0 62012 0
Current children cumulated CPU time (s) 1787.57
Current children cumulated vsize (Kb) 252480

[startup+1789.13 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=252480 CPUtime=1788.57
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178643 214 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63120 61305 296 55 0 62012 0
Current children cumulated CPU time (s) 1788.57
Current children cumulated vsize (Kb) 252480

[startup+1790.13 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=252480 CPUtime=1789.58
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178744 214 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134556049 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63120 61305 296 55 0 62012 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (Kb) 252480

[startup+1791.14 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=252480 CPUtime=1790.58
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178844 214 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63120 61305 296 55 0 62012 0
Current children cumulated CPU time (s) 1790.58
Current children cumulated vsize (Kb) 252480

[startup+1792.14 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=252480 CPUtime=1791.59
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61725 0 0 0 178944 215 0 0 25 0 1 0 44030858 258539520 61305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63120 61305 296 55 0 62012 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (Kb) 252480

[startup+1793.14 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=971160/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=252480 CPUtime=1792.6
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61727 0 0 0 179045 215 0 0 25 0 1 0 44030858 258539520 61307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63120 61307 296 55 0 62012 0
Current children cumulated CPU time (s) 1792.6
Current children cumulated vsize (Kb) 252480

[startup+1794.15 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=971032/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=252612 CPUtime=1793.6
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61760 0 0 0 179145 215 0 0 25 0 1 0 44030858 258674688 61340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63153 61340 296 55 0 62045 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (Kb) 252612

[startup+1795.15 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=970776/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=252744 CPUtime=1794.61
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 61821 0 0 0 179246 215 0 0 25 0 1 0 44030858 258809856 61401 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63186 61401 296 55 0 62078 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (Kb) 252744

[startup+1796.16 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=970008/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=253536 CPUtime=1795.61
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 62014 0 0 0 179346 215 0 0 25 0 1 0 44030858 259620864 61594 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63384 61594 296 55 0 62276 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (Kb) 253536

[startup+1797.16 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=969816/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=253800 CPUtime=1796.61
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 62058 0 0 0 179446 215 0 0 25 0 1 0 44030858 259891200 61638 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555648 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63450 61638 296 55 0 62342 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (Kb) 253800

[startup+1798.17 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=969688/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=253932 CPUtime=1797.62
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 62094 0 0 0 179546 216 0 0 25 0 1 0 44030858 260026368 61674 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63483 61674 296 55 0 62375 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (Kb) 253932

[startup+1799.17 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=969624/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=253932 CPUtime=1798.63
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 62106 0 0 0 179647 216 0 0 25 0 1 0 44030858 260026368 61686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63483 61686 296 55 0 62375 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (Kb) 253932

[startup+1800.18 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 14529
/proc/meminfo: memFree=969624/2055920 swapFree=4191908/4192956
[pid=14529] ppid=14527 vsize=253932 CPUtime=1799.63
/proc/14529/stat : 14529 (bsolo) R 14527 14529 14483 0 -1 0 62106 0 0 0 179747 216 0 0 25 0 1 0 44030858 260026368 61686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14529/statm: 63483 61686 296 55 0 62375 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (Kb) 253932

Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.05
CPU user time (s): 1797.85
CPU system time (s): 2.20067
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (Kb): 253932

Launcher Data (download as text)

Begin job on node62 on Sat Jun  3 15:24:33 UTC 2006


FILE ID= 39991-1149348273

PBS_JOBID= 310829

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-set1al.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/39991-1149348273/instance-39991-1149348273.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-39991-1149348273 -o ROOT/results/node62/solver-39991-1149348273 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/39991-1149348273/instance-39991-1149348273.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  8707b70244b4b6d1505bb830d4ab8529

RANDOM SEED= 398639651


/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.225
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.225
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:       1215840 kB
Buffers:         35328 kB
Cached:         725564 kB
SwapCached:        572 kB
Active:          76880 kB
Inactive:       698172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1215840 kB
SwapTotal:     4192956 kB
SwapFree:      4191908 kB
Dirty:             220 kB
Writeback:           0 kB
Mapped:          23728 kB
Slab:            50992 kB
Committed_AS:   286220 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node62 on Sat Jun  3 15:54:34 UTC 2006