Trace number 39996

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.09 1800.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc06.opb
MD5SUM81740feb43d84f849129894fa9d60802
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables51018
Total number of constraints820
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 constraints820
Minimum length of a constraint30
Maximum length of a constraint13471
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 535398
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.
2.68	c Initial problem consists of 51018 variables and 1070 constraints.
2.84	c No problem reductions applied in OPT. instance.
2.84	c	preprocess terminated. Elapsed time: 2.832
2.84	c After prepocess the problem consists of 28680 variables and 965 constraints.
2.84	c Initial Lower Bound: 0
3.21	c Restart #1 #Var: 28680 LB: 0 @ 3.203
3.80	c Restart #2 #Var: 28680 LB: 0 @ 3.786
4.56	c Restart #3 #Var: 28680 LB: 0 @ 4.547
5.50	c Restart #4 #Var: 28680 LB: 0 @ 5.489
6.57	c Restart #5 #Var: 28680 LB: 0 @ 6.564
7.85	c Restart #6 #Var: 28680 LB: 0 @ 7.834
9.25	c Restart #7 #Var: 28680 LB: 0 @ 9.244
15.40	c Restart #8 #Var: 28680 LB: 0 @ 15.381
53.01	c Restart #9 #Var: 28680 LB: 0 @ 52.982
64.24	c Restart #10 #Var: 28680 LB: 0 @ 64.202
66.79	c Restart #11 #Var: 28680 LB: 0 @ 66.755
72.86	c Restart #12 #Var: 28680 LB: 0 @ 72.821
74.56	c Restart #13 #Var: 28680 LB: 0 @ 74.525
75.76	c Restart #14 #Var: 28679 LB: 0 @ 75.724
76.82	c Restart #15 #Var: 28679 LB: 0 @ 76.782
78.71	c Restart #16 #Var: 28679 LB: 0 @ 78.674
79.99	c Restart #17 #Var: 28679 LB: 0 @ 79.948
81.07	c Restart #18 #Var: 28679 LB: 0 @ 81.031
82.15	c Restart #19 #Var: 28679 LB: 0 @ 82.105
83.63	c Restart #20 #Var: 28679 LB: 0 @ 83.593
101.62	c Restart #21 #Var: 28679 LB: 0 @ 101.57
132.86	c Restart #22 #Var: 28679 LB: 0 @ 132.8
134.94	c Restart #23 #Var: 28679 LB: 0 @ 134.88
138.36	c Restart #24 #Var: 28677 LB: 0 @ 138.3
141.79	c Restart #25 #Var: 28677 LB: 0 @ 141.73
145.28	c Restart #26 #Var: 28677 LB: 0 @ 145.22
151.15	c Restart #27 #Var: 28677 LB: 0 @ 151.08
156.15	c Restart #28 #Var: 28677 LB: 0 @ 156.08
163.65	c Restart #29 #Var: 28677 LB: 0 @ 163.58
170.87	c Restart #30 #Var: 28677 LB: 0 @ 170.8
177.95	c Restart #31 #Var: 28677 LB: 0 @ 177.88
187.14	c Restart #32 #Var: 28677 LB: 0 @ 187.06
196.43	c Restart #33 #Var: 28677 LB: 0 @ 196.35
205.46	c Restart #34 #Var: 28677 LB: 0 @ 205.38
219.68	c Restart #35 #Var: 28677 LB: 0 @ 219.59
240.98	c Restart #36 #Var: 28676 LB: 0 @ 240.88
260.87	c Restart #37 #Var: 28676 LB: 0 @ 260.76
300.32	c Restart #38 #Var: 28676 LB: 0 @ 300.2
328.66	c Restart #39 #Var: 28676 LB: 0 @ 328.53
360.60	c Restart #40 #Var: 28670 LB: 0 @ 360.45
385.87	c Restart #41 #Var: 28670 LB: 0 @ 385.72
425.42	c Restart #42 #Var: 28670 LB: 0 @ 425.26
461.06	c Restart #43 #Var: 28670 LB: 0 @ 460.88
494.56	c Restart #44 #Var: 28670 LB: 0 @ 494.37
533.61	c Restart #45 #Var: 28670 LB: 0 @ 533.4
602.26	c Restart #46 #Var: 28670 LB: 0 @ 602.03
664.15	c Restart #47 #Var: 28669 LB: 0 @ 663.9
712.63	c Restart #48 #Var: 28669 LB: 0 @ 712.36
767.91	c Restart #49 #Var: 28669 LB: 0 @ 767.62
835.26	c Restart #50 #Var: 28669 LB: 0 @ 834.95
915.38	c CHANGE Heuristic... 
915.38	c Restart #0 #Var: 28664 LB: 0 @ 915.03
916.20	c Restart #1 #Var: 28664 LB: 0 @ 915.86
916.44	c Restart #2 #Var: 28664 LB: 0 @ 916.1
916.94	c Restart #3 #Var: 28646 LB: 0 @ 916.6
918.52	c Restart #4 #Var: 28642 LB: 0 @ 918.18
921.44	c Restart #5 #Var: 28639 LB: 0 @ 921.09
925.93	c Restart #6 #Var: 28636 LB: 0 @ 925.58
931.87	c Restart #7 #Var: 28635 LB: 0 @ 931.52
947.75	c Restart #8 #Var: 28635 LB: 0 @ 947.4
959.71	c Restart #9 #Var: 28635 LB: 0 @ 959.36
971.82	c Restart #10 #Var: 28634 LB: 0 @ 971.46
986.26	c Restart #11 #Var: 28633 LB: 0 @ 985.89
1008.20	c Restart #12 #Var: 28629 LB: 0 @ 1007.8
1027.00	c Restart #13 #Var: 28627 LB: 0 @ 1026.6
1040.82	c Restart #14 #Var: 28622 LB: 0 @ 1040.4
1048.66	c Restart #15 #Var: 28615 LB: 0 @ 1048.3
1071.34	c Restart #16 #Var: 28615 LB: 0 @ 1070.9
1077.35	c Restart #17 #Var: 28614 LB: 0 @ 1076.9
1109.11	c Restart #18 #Var: 28614 LB: 0 @ 1108.6
1134.58	c Restart #19 #Var: 28614 LB: 0 @ 1134.1
1162.28	c Restart #20 #Var: 28614 LB: 0 @ 1161.8
1192.45	c Restart #21 #Var: 28613 LB: 0 @ 1191.9
1231.83	c Restart #22 #Var: 28612 LB: 0 @ 1231.3
1267.20	c Restart #23 #Var: 28607 LB: 0 @ 1266.7
1283.32	c Restart #24 #Var: 28607 LB: 0 @ 1282.8
1312.27	c Restart #25 #Var: 28607 LB: 0 @ 1311.7
1315.37	c Restart #26 #Var: 28607 LB: 0 @ 1314.8
1341.33	c Restart #27 #Var: 28607 LB: 0 @ 1340.8
1389.59	c Restart #28 #Var: 28607 LB: 0 @ 1389
1440.06	c Restart #29 #Var: 28607 LB: 0 @ 1439.5
1476.68	c Restart #30 #Var: 28607 LB: 0 @ 1476.1
1517.99	c Restart #31 #Var: 28607 LB: 0 @ 1517.4
1591.92	c Restart #32 #Var: 28607 LB: 0 @ 1591.3
1663.77	c Restart #33 #Var: 28606 LB: 0 @ 1663.1
1683.21	c Restart #34 #Var: 28606 LB: 0 @ 1682.5
1724.16	c Restart #35 #Var: 28606 LB: 0 @ 1723.4
1773.59	c Restart #36 #Var: 28606 LB: 0 @ 1772.9
1800.76	s UNKNOWN
1800.76	c Exit Code: 0
1800.76	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/node80/watcher-39996-1149349412 -o ROOT/results/node80/solver-39996-1149349412 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node80/39996-1149349412/instance-39996-1149349412.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1517912/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=4672 CPUtime=0
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 155 0 0 0 0 0 0 0 18 0 1 0 200579729 4784128 136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11377560 0 0 4096 0 0 0 0 17 1 0 0
/proc/8911/statm: 1168 139 107 55 0 46 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1456024/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=68504 CPUtime=9.98
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 56734 0 0 0 955 43 0 0 25 0 1 0 200579729 70148096 15773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 17126 15773 294 55 0 16017 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 68504

[startup+20.0087 s]
/proc/loadavg: 0.94 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1455576/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=68996 CPUtime=19.98
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 56860 0 0 0 1946 52 0 0 25 0 1 0 200579729 70651904 15895 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 17249 15895 294 55 0 16140 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 68996

[startup+30.0148 s]
/proc/loadavg: 0.95 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1455064/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=69412 CPUtime=29.98
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 57037 0 0 0 2946 52 0 0 25 0 1 0 200579729 71077888 16016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 17353 16016 294 55 0 16244 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 69412

[startup+40.0209 s]
/proc/loadavg: 0.96 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1453336/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=71196 CPUtime=39.98
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 57473 0 0 0 3946 52 0 0 25 0 1 0 200579729 72904704 16452 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 17799 16452 294 55 0 16690 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 71196

[startup+50.0269 s]
/proc/loadavg: 0.96 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1453208/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=71328 CPUtime=49.98
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 57520 0 0 0 4946 52 0 0 25 0 1 0 200579729 73039872 16499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 17832 16499 294 55 0 16723 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 71328

[startup+60.033 s]
/proc/loadavg: 0.97 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1454296/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=70028 CPUtime=59.99
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 57536 0 0 0 5946 53 0 0 25 0 1 0 200579729 71708672 16179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 17507 16179 294 55 0 16398 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 70028

[startup+70.0391 s]
/proc/loadavg: 0.97 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1454168/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=70424 CPUtime=69.99
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 57614 0 0 0 6943 56 0 0 25 0 1 0 200579729 72114176 16257 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 17606 16257 294 55 0 16497 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 70424

[startup+80.0451 s]
/proc/loadavg: 0.98 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1447128/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=77380 CPUtime=79.99
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 59368 0 0 0 7938 61 0 0 25 0 1 0 200579729 79237120 18011 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 19345 18011 294 55 0 18236 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 77380

[startup+90.0512 s]
/proc/loadavg: 0.98 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1440024/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=84492 CPUtime=90
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 61143 0 0 0 8936 64 0 0 25 0 1 0 200579729 86519808 19786 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 21123 19786 294 55 0 20014 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 84492

[startup+100.057 s]
/proc/loadavg: 0.98 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1439256/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=85284 CPUtime=100
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 61333 0 0 0 9936 64 0 0 25 0 1 0 200579729 87330816 19976 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696489 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 21321 19976 294 55 0 20212 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 85284

[startup+110.063 s]
/proc/loadavg: 0.98 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1439064/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=85316 CPUtime=110
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 61378 0 0 0 10935 65 0 0 25 0 1 0 200579729 87363584 20001 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 21329 20001 294 55 0 20220 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 85316

[startup+120.069 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1438488/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=85976 CPUtime=120
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 61534 0 0 0 11934 66 0 0 25 0 1 0 200579729 88039424 20157 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 21494 20157 294 55 0 20385 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 85976

[startup+130.076 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1437848/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=86768 CPUtime=130.01
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 61710 0 0 0 12933 68 0 0 25 0 1 0 200579729 88850432 20333 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 21692 20333 294 55 0 20583 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 86768

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1423128/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=101396 CPUtime=140.01
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 65388 0 0 0 13929 72 0 0 25 0 1 0 200579729 103829504 24011 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 25349 24011 294 55 0 24240 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 101396

[startup+150.088 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1409944/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=114592 CPUtime=150.01
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 68674 0 0 0 14925 76 0 0 25 0 1 0 200579729 117342208 27297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 28648 27297 294 55 0 27539 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 114592

[startup+160.094 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1398680/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=125800 CPUtime=160.01
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 71481 0 0 0 15922 79 0 0 25 0 1 0 200579729 128819200 30104 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 31450 30104 294 55 0 30341 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 125800

[startup+170.099 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1390680/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=133712 CPUtime=170.01
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 73475 0 0 0 16919 82 0 0 25 0 1 0 200579729 136921088 32098 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 33428 32098 294 55 0 32319 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 133712

[startup+180.105 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1383384/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=140960 CPUtime=180.01
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 75282 0 0 0 17917 84 0 0 25 0 1 0 200579729 144343040 33905 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 35240 33905 294 55 0 34131 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 140960

[startup+190.11 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1376664/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=147692 CPUtime=190.02
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 76955 0 0 0 18915 87 0 0 25 0 1 0 200579729 151236608 35578 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534036 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 36923 35578 294 55 0 35814 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 147692

[startup+200.115 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1368088/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=156268 CPUtime=200.02
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 79093 0 0 0 19912 90 0 0 25 0 1 0 200579729 160018432 37716 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 39067 37716 294 55 0 37958 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 156268

[startup+210.122 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 8911
/proc/meminfo: memFree=1361816/2055888 swapFree=4085432/4096564

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

/proc/8911/statm: 112442 111041 294 55 0 111333 0
Current children cumulated CPU time (s) 1760.33
Current children cumulated vsize (Kb) 449768

[startup+1771.07 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1072920/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=450688 CPUtime=1770.34
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 152951 0 0 0 176825 209 0 0 25 0 1 0 200579729 461504512 111266 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 112672 111266 294 55 0 111563 0
Current children cumulated CPU time (s) 1770.34
Current children cumulated vsize (Kb) 450688

[startup+1781.08 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1072024/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=451480 CPUtime=1780.34
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153167 0 0 0 177825 209 0 0 25 0 1 0 200579729 462315520 111482 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 112870 111482 294 55 0 111761 0
Current children cumulated CPU time (s) 1780.34
Current children cumulated vsize (Kb) 451480

[startup+1782.09 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1071832/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=451612 CPUtime=1781.35
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153209 0 0 0 177926 209 0 0 25 0 1 0 200579729 462450688 111524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 112903 111524 294 55 0 111794 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (Kb) 451612

[startup+1783.09 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1071704/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=451744 CPUtime=1782.35
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153238 0 0 0 178026 209 0 0 25 0 1 0 200579729 462585856 111553 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 112936 111553 294 55 0 111827 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (Kb) 451744

[startup+1784.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1071704/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=451744 CPUtime=1783.35
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153245 0 0 0 178126 209 0 0 25 0 1 0 200579729 462585856 111560 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 112936 111560 294 55 0 111827 0
Current children cumulated CPU time (s) 1783.35
Current children cumulated vsize (Kb) 451744

[startup+1785.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1071704/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=451744 CPUtime=1784.36
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153245 0 0 0 178227 209 0 0 25 0 1 0 200579729 462585856 111560 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 112936 111560 294 55 0 111827 0
Current children cumulated CPU time (s) 1784.36
Current children cumulated vsize (Kb) 451744

[startup+1786.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1071640/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=451876 CPUtime=1785.36
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153255 0 0 0 178327 209 0 0 25 0 1 0 200579729 462721024 111570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 112969 111570 294 55 0 111860 0
Current children cumulated CPU time (s) 1785.36
Current children cumulated vsize (Kb) 451876

[startup+1787.11 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1071640/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=451876 CPUtime=1786.37
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153267 0 0 0 178428 209 0 0 25 0 1 0 200579729 462721024 111582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 112969 111582 294 55 0 111860 0
Current children cumulated CPU time (s) 1786.37
Current children cumulated vsize (Kb) 451876

[startup+1788.11 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1071384/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=452140 CPUtime=1787.37
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153323 0 0 0 178528 209 0 0 25 0 1 0 200579729 462991360 111638 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 113035 111638 294 55 0 111926 0
Current children cumulated CPU time (s) 1787.37
Current children cumulated vsize (Kb) 452140

[startup+1789.12 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1071192/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=452272 CPUtime=1788.37
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153369 0 0 0 178628 209 0 0 25 0 1 0 200579729 463126528 111684 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529265 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 113068 111684 294 55 0 111959 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (Kb) 452272

[startup+1790.12 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1071064/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=452404 CPUtime=1789.38
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153405 0 0 0 178729 209 0 0 25 0 1 0 200579729 463261696 111720 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 113101 111720 294 55 0 111992 0
Current children cumulated CPU time (s) 1789.38
Current children cumulated vsize (Kb) 452404

[startup+1791.13 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1070936/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=452536 CPUtime=1790.38
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153440 0 0 0 178829 209 0 0 25 0 1 0 200579729 463396864 111755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 113134 111755 294 55 0 112025 0
Current children cumulated CPU time (s) 1790.38
Current children cumulated vsize (Kb) 452536

[startup+1792.13 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1070936/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=452536 CPUtime=1791.39
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153443 0 0 0 178930 209 0 0 25 0 1 0 200579729 463396864 111758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 113134 111758 294 55 0 112025 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (Kb) 452536

[startup+1793.14 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1070808/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=452672 CPUtime=1792.39
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153461 0 0 0 179030 209 0 0 25 0 1 0 200579729 463536128 111776 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 113168 111776 294 55 0 112059 0
Current children cumulated CPU time (s) 1792.39
Current children cumulated vsize (Kb) 452672

[startup+1794.14 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1070808/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=452672 CPUtime=1793.4
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153473 0 0 0 179131 209 0 0 25 0 1 0 200579729 463536128 111788 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 113168 111788 294 55 0 112059 0
Current children cumulated CPU time (s) 1793.4
Current children cumulated vsize (Kb) 452672

[startup+1795.15 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1070744/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=452804 CPUtime=1794.4
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153491 0 0 0 179231 209 0 0 25 0 1 0 200579729 463671296 111806 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 113201 111806 294 55 0 112092 0
Current children cumulated CPU time (s) 1794.4
Current children cumulated vsize (Kb) 452804

[startup+1796.15 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1070680/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=452936 CPUtime=1795.4
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153511 0 0 0 179331 209 0 0 25 0 1 0 200579729 463806464 111826 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 113234 111826 294 55 0 112125 0
Current children cumulated CPU time (s) 1795.4
Current children cumulated vsize (Kb) 452936

[startup+1797.16 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1070680/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=452936 CPUtime=1796.41
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153522 0 0 0 179432 209 0 0 25 0 1 0 200579729 463806464 111837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 113234 111837 294 55 0 112125 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (Kb) 452936

[startup+1798.16 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1070616/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=452936 CPUtime=1797.41
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153537 0 0 0 179532 209 0 0 25 0 1 0 200579729 463806464 111852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 113234 111852 294 55 0 112125 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (Kb) 452936

[startup+1799.17 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1070488/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=453068 CPUtime=1798.43
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153560 0 0 0 179633 210 0 0 25 0 1 0 200579729 463941632 111875 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 113267 111875 294 55 0 112158 0
Current children cumulated CPU time (s) 1798.43
Current children cumulated vsize (Kb) 453068

[startup+1800.17 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9110
/proc/meminfo: memFree=1070424/2055888 swapFree=4085432/4096564
[pid=8911] ppid=8909 vsize=453068 CPUtime=1799.43
/proc/8911/stat : 8911 (bsolo) R 8909 8911 8865 0 -1 0 153571 0 0 0 179733 210 0 0 25 0 1 0 200579729 463941632 111886 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8911/statm: 113267 111886 294 55 0 112158 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (Kb) 453068

Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.09
CPU user time (s): 1797.92
CPU system time (s): 2.16667
CPU usage (%): 99.9588
Max. virtual memory (cumulated for all children) (Kb): 453068

Launcher Data (download as text)

Begin job on node80 on Sat Jun  3 15:43:32 UTC 2006


FILE ID= 39996-1149349412

PBS_JOBID= 310899

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  81740feb43d84f849129894fa9d60802

RANDOM SEED= 841823023


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


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1518184 kB
Buffers:         19600 kB
Cached:         454508 kB
SwapCached:       2436 kB
Active:          42036 kB
Inactive:       440864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1518184 kB
SwapTotal:     4096564 kB
SwapFree:      4085432 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          16648 kB
Slab:            41468 kB
Committed_AS:   373540 kB
PageTables:       1276 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node80 on Sat Jun  3 16:13:33 UTC 2006