Trace number 40560

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.02 1800.66

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos12.opb
MD5SUMedd986756231058ab35f21017ebd98b6
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25600
Best CPU time to get the best result obtained on this benchmark1801.61
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25600
Optimality of the best value was proved NO
Number of variables22960
Total number of constraints8611
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 constraints8611
Minimum length of a constraint11
Maximum length of a constraint840
Number of terms in the objective function 13440
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 481036336704
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 481036336704
Number of bits of the biggest sum of numbers39
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.01	c BIG Int formula...
1.71	c Initial problem consists of 22960 variables and 9186 constraints.
3.12	c	preprocess terminated. Elapsed time: 3.111
3.12	c After prepocess the problem consists of 12628 variables and 6442 constraints.
3.12	c Initial Lower Bound: 0
64.26	c Restart #1 #Var: 12628 LB: 0 @ 64.224
161.63	c Restart #2 #Var: 12628 LB: 0 @ 161.56
430.30	c Restart #3 #Var: 12628 LB: 0 @ 430.14
748.00	c Restart #4 #Var: 12628 LB: 0 @ 747.72
1201.08	c CHANGE Heuristic... 
1201.08	c Restart #0 #Var: 12628 LB: 0 @ 1200.7
1204.40	c Restart #1 #Var: 12628 LB: 0 @ 1204
1214.32	c Restart #2 #Var: 12628 LB: 0 @ 1213.9
1226.68	c Restart #3 #Var: 12628 LB: 0 @ 1226.2
1244.29	c Restart #4 #Var: 12628 LB: 0 @ 1243.8
1263.44	c Restart #5 #Var: 12628 LB: 0 @ 1263
1281.75	c Restart #6 #Var: 12628 LB: 0 @ 1281.3
1306.07	c Restart #7 #Var: 12628 LB: 0 @ 1305.6
1331.91	c Restart #8 #Var: 12628 LB: 0 @ 1331.4
1364.98	c Restart #9 #Var: 12628 LB: 0 @ 1364.5
1398.27	c Restart #10 #Var: 12628 LB: 0 @ 1397.8
1436.13	c Restart #11 #Var: 12628 LB: 0 @ 1435.6
1480.51	c Restart #12 #Var: 12628 LB: 0 @ 1480
1527.39	c Restart #13 #Var: 12628 LB: 0 @ 1526.9
1576.94	c Restart #14 #Var: 12628 LB: 0 @ 1576.4
1631.08	c Restart #15 #Var: 12628 LB: 0 @ 1630.5
1690.74	c Restart #16 #Var: 12628 LB: 0 @ 1690.1
1761.54	c Restart #17 #Var: 12628 LB: 0 @ 1760.9
1800.64	s UNKNOWN
1800.64	c Exit Code: 0
1800.64	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/node58/watcher-40560-1149304677 -o ROOT/results/node58/solver-40560-1149304677 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node58/40560-1149304677/instance-40560-1149304677.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.07 1.07 1.00 2/64 2300
/proc/meminfo: memFree=1746208/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=4932 CPUtime=0
/proc/2300/stat : 2300 (bsolo) D 2298 2300 2254 0 -1 0 366 0 0 0 0 0 0 0 18 0 1 0 32514597 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0
/proc/2300/statm: 1233 330 226 55 0 125 0

[startup+10.0032 s]
/proc/loadavg: 1.06 1.07 1.00 2/64 2300
/proc/meminfo: memFree=1697280/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=54100 CPUtime=9.98
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19703 0 0 0 990 8 0 0 25 0 1 0 32514597 55398400 12490 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134552112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13525 12490 295 55 0 12417 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 54100

[startup+20.0101 s]
/proc/loadavg: 1.05 1.06 1.00 2/64 2300
/proc/meminfo: memFree=1697472/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=54100 CPUtime=19.98
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19707 0 0 0 1990 8 0 0 25 0 1 0 32514597 55398400 12494 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13525 12494 295 55 0 12417 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 54100

[startup+30.017 s]
/proc/loadavg: 1.04 1.06 1.00 2/64 2300
/proc/meminfo: memFree=1697472/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=54232 CPUtime=29.99
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19726 0 0 0 2990 9 0 0 25 0 1 0 32514597 55533568 12513 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13558 12513 295 55 0 12450 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 54232

[startup+40.0229 s]
/proc/loadavg: 1.04 1.06 1.00 2/64 2300
/proc/meminfo: memFree=1697408/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=54364 CPUtime=39.99
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19748 0 0 0 3989 10 0 0 25 0 1 0 32514597 55668736 12535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13591 12535 295 55 0 12483 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 54364

[startup+50.0299 s]
/proc/loadavg: 1.03 1.06 1.00 2/64 2300
/proc/meminfo: memFree=1697280/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=54364 CPUtime=49.99
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19767 0 0 0 4989 10 0 0 25 0 1 0 32514597 55668736 12554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13591 12554 295 55 0 12483 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 54364

[startup+60.0358 s]
/proc/loadavg: 1.02 1.05 1.00 2/64 2300
/proc/meminfo: memFree=1697280/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=54496 CPUtime=59.99
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19785 0 0 0 5989 10 0 0 25 0 1 0 32514597 55803904 12572 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557885 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13624 12572 295 55 0 12516 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 54496

[startup+70.0417 s]
/proc/loadavg: 1.02 1.05 1.00 2/64 2300
/proc/meminfo: memFree=1696896/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=54628 CPUtime=70
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19878 0 0 0 6989 11 0 0 25 0 1 0 32514597 55939072 12620 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13657 12620 296 55 0 12549 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 54628

[startup+80.0476 s]
/proc/loadavg: 1.02 1.05 1.00 2/64 2300
/proc/meminfo: memFree=1696896/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=54628 CPUtime=80
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19878 0 0 0 7988 12 0 0 25 0 1 0 32514597 55939072 12620 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13657 12620 296 55 0 12549 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 54628

[startup+90.0536 s]
/proc/loadavg: 1.01 1.05 1.00 2/64 2300
/proc/meminfo: memFree=1696960/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=54628 CPUtime=90
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19878 0 0 0 8988 12 0 0 25 0 1 0 32514597 55939072 12620 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555650 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13657 12620 296 55 0 12549 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 54628

[startup+100.059 s]
/proc/loadavg: 1.01 1.05 1.00 2/64 2300
/proc/meminfo: memFree=1696960/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=54760 CPUtime=100
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19893 0 0 0 9988 12 0 0 25 0 1 0 32514597 56074240 12635 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649760 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13690 12635 296 55 0 12582 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 54760

[startup+110.065 s]
/proc/loadavg: 1.01 1.04 1.00 2/64 2300
/proc/meminfo: memFree=1696960/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=54892 CPUtime=110.01
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19924 0 0 0 10988 13 0 0 25 0 1 0 32514597 56209408 12666 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13723 12666 296 55 0 12615 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 54892

[startup+120.071 s]
/proc/loadavg: 1.01 1.04 1.00 2/64 2300
/proc/meminfo: memFree=1696832/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=55024 CPUtime=120
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19953 0 0 0 11987 13 0 0 25 0 1 0 32514597 56344576 12695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13756 12695 296 55 0 12648 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 55024

[startup+130.077 s]
/proc/loadavg: 1.01 1.04 1.00 2/64 2300
/proc/meminfo: memFree=1696768/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=55024 CPUtime=130.01
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 19968 0 0 0 12987 14 0 0 25 0 1 0 32514597 56344576 12710 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555882 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13756 12710 296 55 0 12648 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 55024

[startup+140.083 s]
/proc/loadavg: 1.00 1.04 1.00 2/64 2300
/proc/meminfo: memFree=1696576/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=55156 CPUtime=140.01
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 20003 0 0 0 13987 14 0 0 25 0 1 0 32514597 56479744 12745 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13789 12745 296 55 0 12681 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 55156

[startup+150.089 s]
/proc/loadavg: 1.00 1.04 1.00 2/64 2300
/proc/meminfo: memFree=1696512/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=55288 CPUtime=150.02
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 20024 0 0 0 14987 15 0 0 25 0 1 0 32514597 56614912 12766 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557885 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13822 12766 296 55 0 12714 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 55288

[startup+160.095 s]
/proc/loadavg: 1.00 1.04 1.00 2/64 2300
/proc/meminfo: memFree=1696512/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=55288 CPUtime=160.02
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 20029 0 0 0 15987 15 0 0 25 0 1 0 32514597 56614912 12771 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13822 12771 296 55 0 12714 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 55288

[startup+170.101 s]
/proc/loadavg: 1.00 1.03 1.00 2/64 2300
/proc/meminfo: memFree=1696448/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=55288 CPUtime=170.02
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 20032 0 0 0 16987 15 0 0 25 0 1 0 32514597 56614912 12774 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13822 12774 296 55 0 12714 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 55288

[startup+180.107 s]
/proc/loadavg: 1.00 1.03 1.00 2/64 2300
/proc/meminfo: memFree=1696448/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=55288 CPUtime=180.03
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 20032 0 0 0 17987 16 0 0 25 0 1 0 32514597 56614912 12774 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13822 12774 296 55 0 12714 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 55288

[startup+190.113 s]
/proc/loadavg: 1.00 1.03 1.00 2/64 2300
/proc/meminfo: memFree=1696448/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=55288 CPUtime=190.02
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 20042 0 0 0 18986 16 0 0 25 0 1 0 32514597 56614912 12784 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649243 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13822 12784 296 55 0 12714 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 55288

[startup+200.119 s]
/proc/loadavg: 1.00 1.03 1.00 2/64 2300
/proc/meminfo: memFree=1696384/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=55420 CPUtime=200.03
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 20061 0 0 0 19986 17 0 0 25 0 1 0 32514597 56750080 12803 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 13855 12803 296 55 0 12747 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 55420

[startup+210.125 s]
/proc/loadavg: 1.00 1.03 1.00 2/64 2300
/proc/meminfo: memFree=1696320/2055920 swapFree=4192948/4192956

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

/proc/2300/statm: 25972 24828 296 55 0 24864 0
Current children cumulated CPU time (s) 1760.44
Current children cumulated vsize (Kb) 103888

[startup+1771.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1647424/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=104416 CPUtime=1770.44
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33112 0 0 0 176971 73 0 0 25 0 1 0 32514597 106921984 24951 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26104 24951 296 55 0 24996 0
Current children cumulated CPU time (s) 1770.44
Current children cumulated vsize (Kb) 104416

[startup+1781.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1647104/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=104680 CPUtime=1780.45
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33207 0 0 0 177971 74 0 0 25 0 1 0 32514597 107192320 25046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26170 25046 296 55 0 25062 0
Current children cumulated CPU time (s) 1780.45
Current children cumulated vsize (Kb) 104680

[startup+1782.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1647104/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=104680 CPUtime=1781.46
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33207 0 0 0 178072 74 0 0 25 0 1 0 32514597 107192320 25046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26170 25046 296 55 0 25062 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (Kb) 104680

[startup+1783.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1647104/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=104680 CPUtime=1782.46
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33207 0 0 0 178172 74 0 0 25 0 1 0 32514597 107192320 25046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542265 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26170 25046 296 55 0 25062 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (Kb) 104680

[startup+1784.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1647104/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=104680 CPUtime=1783.47
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33207 0 0 0 178273 74 0 0 25 0 1 0 32514597 107192320 25046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26170 25046 296 55 0 25062 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (Kb) 104680

[startup+1785.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1647040/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=104680 CPUtime=1784.47
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33207 0 0 0 178373 74 0 0 25 0 1 0 32514597 107192320 25046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26170 25046 296 55 0 25062 0
Current children cumulated CPU time (s) 1784.47
Current children cumulated vsize (Kb) 104680

[startup+1786.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1646080/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=105736 CPUtime=1785.47
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33458 0 0 0 178473 74 0 0 25 0 1 0 32514597 108273664 25297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5304470 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26434 25297 296 55 0 25326 0
Current children cumulated CPU time (s) 1785.47
Current children cumulated vsize (Kb) 105736

[startup+1787.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1646080/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=105736 CPUtime=1786.48
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33458 0 0 0 178574 74 0 0 25 0 1 0 32514597 108273664 25297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26434 25297 296 55 0 25326 0
Current children cumulated CPU time (s) 1786.48
Current children cumulated vsize (Kb) 105736

[startup+1788.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1646080/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=105736 CPUtime=1787.48
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33458 0 0 0 178674 74 0 0 25 0 1 0 32514597 108273664 25297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26434 25297 296 55 0 25326 0
Current children cumulated CPU time (s) 1787.48
Current children cumulated vsize (Kb) 105736

[startup+1789.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1646080/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=105736 CPUtime=1788.49
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33458 0 0 0 178775 74 0 0 25 0 1 0 32514597 108273664 25297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542265 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26434 25297 296 55 0 25326 0
Current children cumulated CPU time (s) 1788.49
Current children cumulated vsize (Kb) 105736

[startup+1790.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=105736 CPUtime=1789.49
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 178875 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535097 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26434 25313 296 55 0 25326 0
Current children cumulated CPU time (s) 1789.49
Current children cumulated vsize (Kb) 105736

[startup+1791.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=105736 CPUtime=1790.5
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 178976 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645935 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26434 25313 296 55 0 25326 0
Current children cumulated CPU time (s) 1790.5
Current children cumulated vsize (Kb) 105736

[startup+1792.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=105736 CPUtime=1791.5
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179076 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26434 25313 296 55 0 25326 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (Kb) 105736

[startup+1793.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=105736 CPUtime=1792.51
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179177 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557885 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26434 25313 296 55 0 25326 0
Current children cumulated CPU time (s) 1792.51
Current children cumulated vsize (Kb) 105736

[startup+1794.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=105736 CPUtime=1793.51
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179277 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649759 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26434 25313 296 55 0 25326 0
Current children cumulated CPU time (s) 1793.51
Current children cumulated vsize (Kb) 105736

[startup+1795.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=105736 CPUtime=1794.52
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179378 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26434 25313 296 55 0 25326 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (Kb) 105736

[startup+1796.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=105736 CPUtime=1795.52
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179478 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645214 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26434 25313 296 55 0 25326 0
Current children cumulated CPU time (s) 1795.52
Current children cumulated vsize (Kb) 105736

[startup+1797.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=105736 CPUtime=1796.52
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179578 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26434 25313 296 55 0 25326 0
Current children cumulated CPU time (s) 1796.52
Current children cumulated vsize (Kb) 105736

[startup+1798.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=105736 CPUtime=1797.53
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179679 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555915 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26434 25313 296 55 0 25326 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (Kb) 105736

[startup+1799.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=105736 CPUtime=1798.53
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179779 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26434 25313 296 55 0 25326 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (Kb) 105736

[startup+1800.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2300
/proc/meminfo: memFree=1646016/2055920 swapFree=4192948/4192956
[pid=2300] ppid=2298 vsize=105736 CPUtime=1799.54
/proc/2300/stat : 2300 (bsolo) R 2298 2300 2254 0 -1 0 33474 0 0 0 179880 74 0 0 25 0 1 0 32514597 108273664 25313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649013 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 26434 25313 296 55 0 25326 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (Kb) 105736

Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.02
CPU user time (s): 1799.26
CPU system time (s): 0.760884
CPU usage (%): 99.9647
Max. virtual memory (cumulated for all children) (Kb): 105736

Launcher Data (download as text)

Begin job on node58 on Sat Jun  3 03:17:57 UTC 2006


FILE ID= 40560-1149304677

PBS_JOBID= 307554

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos12.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node58/40560-1149304677/instance-40560-1149304677.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-40560-1149304677 -o ROOT/results/node58/solver-40560-1149304677 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node58/40560-1149304677/instance-40560-1149304677.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  edd986756231058ab35f21017ebd98b6

RANDOM SEED= 120043087


/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.276
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.276
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:       1746352 kB
Buffers:         23576 kB
Cached:         209792 kB
SwapCached:          8 kB
Active:          53136 kB
Inactive:       194836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1746352 kB
SwapTotal:     4192956 kB
SwapFree:      4192948 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          24920 kB
Slab:            47656 kB
Committed_AS:   210908 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node58 on Sat Jun  3 03:47:58 UTC 2006