Trace number 40759

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.08 1800.82

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-swath.opb
MD5SUM3553224658521cb15e26e6f30dd8f5c2
Bench CategoryOPT-BIGINT (optimisation, big 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 variables9155
Total number of constraints884
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)423
Number of constraints which are nor clauses,nor cardinality constraints461
Minimum length of a constraint1
Maximum length of a constraint6754
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 16777216000000
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 66042304016951
Number of bits of the biggest sum of numbers46
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.02	c INFO: OSL Context initialized.
0.02	c BIG Int formula...
0.81	c Initial problem consists of 9155 variables and 987 constraints.
0.97	c No problem reductions applied in OPT. instance.
0.97	c	preprocess terminated. Elapsed time: 0.956
0.97	c After prepocess the problem consists of 8754 variables and 586 constraints.
0.97	c Initial Lower Bound: 0
1.42	c Restart #1 #Var: 8754 LB: 0 @ 1.411
2.17	c Restart #2 #Var: 8754 LB: 0 @ 2.159
3.02	c Restart #3 #Var: 8754 LB: 0 @ 3.011
4.07	c Restart #4 #Var: 8754 LB: 0 @ 4.062
5.45	c Restart #5 #Var: 8754 LB: 0 @ 5.434
6.83	c Restart #6 #Var: 8754 LB: 0 @ 6.81
9.17	c Restart #7 #Var: 8754 LB: 0 @ 9.149
13.17	c Restart #8 #Var: 8754 LB: 0 @ 13.149
14.95	c Restart #9 #Var: 8754 LB: 0 @ 14.926
17.22	c Restart #10 #Var: 8754 LB: 0 @ 17.2
19.85	c Restart #11 #Var: 8754 LB: 0 @ 19.83
22.38	c Restart #12 #Var: 8754 LB: 0 @ 22.35
24.22	c Restart #13 #Var: 8754 LB: 0 @ 24.195
26.94	c Restart #14 #Var: 8754 LB: 0 @ 26.913
28.17	c Restart #15 #Var: 8754 LB: 0 @ 28.138
30.66	c Restart #16 #Var: 8754 LB: 0 @ 30.634
32.75	c Restart #17 #Var: 8754 LB: 0 @ 32.716
37.24	c Restart #18 #Var: 8754 LB: 0 @ 37.21
41.66	c Restart #19 #Var: 8754 LB: 0 @ 41.632
43.47	c Restart #20 #Var: 8754 LB: 0 @ 43.44
45.68	c Restart #21 #Var: 8754 LB: 0 @ 45.65
49.15	c Restart #22 #Var: 8754 LB: 0 @ 49.111
52.58	c Restart #23 #Var: 8754 LB: 0 @ 52.548
58.39	c Restart #24 #Var: 8754 LB: 0 @ 58.355
63.65	c Restart #25 #Var: 8754 LB: 0 @ 63.615
70.19	c Restart #26 #Var: 8754 LB: 0 @ 70.144
77.54	c Restart #27 #Var: 8754 LB: 0 @ 77.499
81.77	c Restart #28 #Var: 8754 LB: 0 @ 81.723
90.59	c Restart #29 #Var: 8754 LB: 0 @ 90.54
95.34	c Restart #30 #Var: 8754 LB: 0 @ 95.293
102.25	c Restart #31 #Var: 8754 LB: 0 @ 102.2
110.48	c Restart #32 #Var: 8754 LB: 0 @ 110.42
118.74	c Restart #33 #Var: 8754 LB: 0 @ 118.69
126.15	c Restart #34 #Var: 8754 LB: 0 @ 126.09
135.49	c Restart #35 #Var: 8754 LB: 0 @ 135.43
143.52	c Restart #36 #Var: 8754 LB: 0 @ 143.45
151.54	c Restart #37 #Var: 8754 LB: 0 @ 151.47
163.81	c Restart #38 #Var: 8754 LB: 0 @ 163.73
175.55	c Restart #39 #Var: 8754 LB: 0 @ 175.47
189.32	c Restart #40 #Var: 8754 LB: 0 @ 189.24
200.62	c Restart #41 #Var: 8754 LB: 0 @ 200.53
215.67	c Restart #42 #Var: 8754 LB: 0 @ 215.58
232.84	c Restart #43 #Var: 8754 LB: 0 @ 232.74
248.39	c Restart #44 #Var: 8754 LB: 0 @ 248.29
259.49	c Restart #45 #Var: 8754 LB: 0 @ 259.38
282.03	c Restart #46 #Var: 8754 LB: 0 @ 281.92
298.10	c Restart #47 #Var: 8754 LB: 0 @ 297.98
310.49	c Restart #48 #Var: 8754 LB: 0 @ 310.37
329.44	c Restart #49 #Var: 8754 LB: 0 @ 329.31
341.74	c Restart #50 #Var: 8754 LB: 0 @ 341.61
366.50	c Restart #51 #Var: 8754 LB: 0 @ 366.36
385.48	c Restart #52 #Var: 8754 LB: 0 @ 385.33
407.09	c Restart #53 #Var: 8754 LB: 0 @ 406.94
436.35	c Restart #54 #Var: 8754 LB: 0 @ 436.18
460.62	c Restart #55 #Var: 8754 LB: 0 @ 460.45
493.89	c Restart #56 #Var: 8754 LB: 0 @ 493.7
528.10	c Restart #57 #Var: 8754 LB: 0 @ 527.9
555.74	c Restart #58 #Var: 8754 LB: 0 @ 555.53
570.90	c Restart #59 #Var: 8754 LB: 0 @ 570.69
604.98	c Restart #60 #Var: 8754 LB: 0 @ 604.75
641.53	c Restart #61 #Var: 8754 LB: 0 @ 641.29
686.16	c Restart #62 #Var: 8754 LB: 0 @ 685.9
714.36	c Restart #63 #Var: 8754 LB: 0 @ 714.1
749.84	c Restart #64 #Var: 8754 LB: 0 @ 749.56
798.77	c Restart #65 #Var: 8754 LB: 0 @ 798.48
844.94	c Restart #66 #Var: 8754 LB: 0 @ 844.63
893.69	c Restart #67 #Var: 8754 LB: 0 @ 893.36
929.72	c CHANGE Heuristic... 
929.72	c Restart #0 #Var: 8754 LB: 0 @ 929.38
930.57	c Restart #1 #Var: 8754 LB: 0 @ 930.23
931.36	c Restart #2 #Var: 8754 LB: 0 @ 931.02
932.12	c Restart #3 #Var: 8754 LB: 0 @ 931.78
935.42	c Restart #4 #Var: 8754 LB: 0 @ 935.08
938.08	c Restart #5 #Var: 8754 LB: 0 @ 937.74
945.74	c Restart #6 #Var: 8754 LB: 0 @ 945.39
955.86	c Restart #7 #Var: 8754 LB: 0 @ 955.51
961.60	c Restart #8 #Var: 8754 LB: 0 @ 961.25
976.50	c Restart #9 #Var: 8754 LB: 0 @ 976.14
989.21	c Restart #10 #Var: 8754 LB: 0 @ 988.85
1005.98	c Restart #11 #Var: 8754 LB: 0 @ 1005.6
1019.35	c Restart #12 #Var: 8754 LB: 0 @ 1019
1039.66	c Restart #13 #Var: 8754 LB: 0 @ 1039.3
1059.64	c Restart #14 #Var: 8754 LB: 0 @ 1059.3
1087.16	c Restart #15 #Var: 8754 LB: 0 @ 1086.8
1114.33	c Restart #16 #Var: 8754 LB: 0 @ 1113.9
1133.23	c Restart #17 #Var: 8754 LB: 0 @ 1132.8
1155.46	c Restart #18 #Var: 8754 LB: 0 @ 1155
1174.79	c Restart #19 #Var: 8754 LB: 0 @ 1174.4
1203.19	c Restart #20 #Var: 8754 LB: 0 @ 1202.8
1221.66	c Restart #21 #Var: 8754 LB: 0 @ 1221.2
1251.23	c Restart #22 #Var: 8754 LB: 0 @ 1250.8
1272.47	c Restart #23 #Var: 8754 LB: 0 @ 1272
1308.92	c Restart #24 #Var: 8754 LB: 0 @ 1308.5
1337.96	c Restart #25 #Var: 8754 LB: 0 @ 1337.5
1376.91	c Restart #26 #Var: 8754 LB: 0 @ 1376.4
1419.71	c Restart #27 #Var: 8754 LB: 0 @ 1419.2
1486.82	c Restart #28 #Var: 8754 LB: 0 @ 1486.3
1526.41	c Restart #29 #Var: 8754 LB: 0 @ 1525.9
1596.05	c Restart #30 #Var: 8754 LB: 0 @ 1595.5
1628.90	c Restart #31 #Var: 8754 LB: 0 @ 1628.3
1674.72	c Restart #32 #Var: 8754 LB: 0 @ 1674.1
1722.61	c Restart #33 #Var: 8754 LB: 0 @ 1722
1777.43	c Restart #34 #Var: 8754 LB: 0 @ 1776.7
1800.73	s UNKNOWN
1800.73	c Exit Code: 0
1800.73	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/node38/watcher-40759-1149316330 -o ROOT/results/node38/solver-40759-1149316330 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node38/40759-1149316330/instance-40759-1149316330.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.99 2/64 11294
/proc/meminfo: memFree=1588112/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=2900 CPUtime=0
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 43 0 0 0 0 0 0 0 19 0 1 0 197299282 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8606500 0 0 4096 0 0 0 0 17 1 0 0
/proc/11294/statm: 725 27 19 55 0 38 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.97 0.99 2/64 11294
/proc/meminfo: memFree=1566568/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=26396 CPUtime=9.97
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 5796 0 0 0 984 13 0 0 25 0 1 0 197299282 27029504 5706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 6599 5706 297 55 0 5491 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 26396

[startup+20.0096 s]
/proc/loadavg: 0.94 0.97 0.99 2/64 11294
/proc/meminfo: memFree=1562344/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=30596 CPUtime=19.98
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 6869 0 0 0 1982 16 0 0 25 0 1 0 197299282 31330304 6754 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 7649 6754 297 55 0 6541 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 30596

[startup+30.0246 s]
/proc/loadavg: 0.95 0.97 0.99 2/64 11294
/proc/meminfo: memFree=1554024/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=38896 CPUtime=29.99
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 8938 0 0 0 2979 20 0 0 25 0 1 0 197299282 39829504 8823 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 9724 8823 297 55 0 8616 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 38896

[startup+40.0305 s]
/proc/loadavg: 0.95 0.97 0.99 2/64 11294
/proc/meminfo: memFree=1547112/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=45748 CPUtime=39.99
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 10661 0 0 0 3977 22 0 0 25 0 1 0 197299282 46845952 10546 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 11437 10546 297 55 0 10329 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 45748

[startup+50.0375 s]
/proc/loadavg: 0.96 0.97 0.99 2/64 11294
/proc/meminfo: memFree=1539560/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=53376 CPUtime=49.99
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 12553 0 0 0 4975 24 0 0 25 0 1 0 197299282 54657024 12438 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 13344 12438 297 55 0 12236 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 53376

[startup+60.0434 s]
/proc/loadavg: 0.97 0.97 0.99 2/64 11294
/proc/meminfo: memFree=1533160/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=59788 CPUtime=60
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 14179 0 0 0 5974 26 0 0 25 0 1 0 197299282 61222912 14050 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 14947 14050 297 55 0 13839 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 59788

[startup+70.0504 s]
/proc/loadavg: 0.97 0.97 0.99 2/64 11294
/proc/meminfo: memFree=1526184/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=66784 CPUtime=70
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 15912 0 0 0 6972 28 0 0 25 0 1 0 197299282 68386816 15783 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 16696 15783 297 55 0 15588 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 66784

[startup+80.0573 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 11294
/proc/meminfo: memFree=1520104/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=72816 CPUtime=80
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 17436 0 0 0 7970 30 0 0 25 0 1 0 197299282 74563584 17306 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 18204 17306 297 55 0 17096 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 72816

[startup+90.0633 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 11294
/proc/meminfo: memFree=1515496/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=77436 CPUtime=90.01
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 18584 0 0 0 8969 32 0 0 25 0 1 0 197299282 79294464 18454 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 19359 18454 297 55 0 18251 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 77436

[startup+100.069 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 11294
/proc/meminfo: memFree=1511464/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=81396 CPUtime=100
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 19592 0 0 0 9967 33 0 0 25 0 1 0 197299282 83349504 19462 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 20349 19462 297 55 0 19241 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 81396

[startup+110.075 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 11294
/proc/meminfo: memFree=1503976/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=88904 CPUtime=110.01
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 21457 0 0 0 10965 36 0 0 25 0 1 0 197299282 91037696 21327 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 22226 21327 297 55 0 21118 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 88904

[startup+120.082 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11294
/proc/meminfo: memFree=1497128/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=95756 CPUtime=120.01
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 23167 0 0 0 11964 37 0 0 25 0 1 0 197299282 98054144 23037 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 23939 23037 297 55 0 22831 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 95756

[startup+130.088 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11294
/proc/meminfo: memFree=1489000/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=103800 CPUtime=130.02
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 25194 0 0 0 12963 39 0 0 25 0 1 0 197299282 106291200 25064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542231 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 25950 25064 297 55 0 24842 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 103800

[startup+140.094 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11294
/proc/meminfo: memFree=1482792/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=110080 CPUtime=140.02
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 26739 0 0 0 13961 41 0 0 25 0 1 0 197299282 112721920 26609 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 27520 26609 297 55 0 26412 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 110080

[startup+150.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11294
/proc/meminfo: memFree=1474600/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=118268 CPUtime=150.03
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 28790 0 0 0 14960 43 0 0 25 0 1 0 197299282 121106432 28660 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 29567 28660 297 55 0 28459 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 118268

[startup+160.106 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11294
/proc/meminfo: memFree=1468840/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=123940 CPUtime=160.02
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 30216 0 0 0 15958 44 0 0 25 0 1 0 197299282 126914560 30086 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 30985 30086 297 55 0 29877 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 123940

[startup+170.112 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11296
/proc/meminfo: memFree=1463720/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=129088 CPUtime=170.03
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 31504 0 0 0 16957 46 0 0 25 0 1 0 197299282 132186112 31374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633165 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 32272 31374 297 55 0 31164 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 129088

[startup+180.119 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11296
/proc/meminfo: memFree=1458408/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=134356 CPUtime=180.03
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 32829 0 0 0 17956 47 0 0 25 0 1 0 197299282 137580544 32699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603833 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 33589 32699 297 55 0 32481 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 134356

[startup+190.125 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11296
/proc/meminfo: memFree=1452904/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=139896 CPUtime=190.03
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 34196 0 0 0 18954 49 0 0 25 0 1 0 197299282 143253504 34066 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 34974 34066 297 55 0 33866 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 139896

[startup+200.131 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11296
/proc/meminfo: memFree=1446888/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=145828 CPUtime=200.04
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 35698 0 0 0 19952 52 0 0 25 0 1 0 197299282 149327872 35568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 36457 35568 297 55 0 35349 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 145828

[startup+210.137 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 11296
/proc/meminfo: memFree=1442664/2055920 swapFree=4181196/4192956

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

/proc/11294/statm: 122782 121895 297 55 0 121674 0
Current children cumulated CPU time (s) 1760.55
Current children cumulated vsize (Kb) 491128

[startup+1771.28 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1099240/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=492448 CPUtime=1770.56
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 122359 0 0 0 176849 207 0 0 25 0 1 0 197299282 504266752 122203 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123112 122203 297 55 0 122004 0
Current children cumulated CPU time (s) 1770.56
Current children cumulated vsize (Kb) 492448

[startup+1781.29 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1098024/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=493636 CPUtime=1780.56
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 122669 0 0 0 177848 208 0 0 25 0 1 0 197299282 505483264 122513 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123409 122513 297 55 0 122301 0
Current children cumulated CPU time (s) 1780.56
Current children cumulated vsize (Kb) 493636

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1097960/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=493636 CPUtime=1781.57
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 122682 0 0 0 177949 208 0 0 25 0 1 0 197299282 505483264 122526 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123409 122526 297 55 0 122301 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (Kb) 493636

[startup+1783.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1097832/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=493900 CPUtime=1782.57
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 122718 0 0 0 178049 208 0 0 25 0 1 0 197299282 505753600 122562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123475 122562 297 55 0 122367 0
Current children cumulated CPU time (s) 1782.57
Current children cumulated vsize (Kb) 493900

[startup+1784.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1097512/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=494164 CPUtime=1783.58
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 122811 0 0 0 178150 208 0 0 25 0 1 0 197299282 506023936 122655 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123541 122655 297 55 0 122433 0
Current children cumulated CPU time (s) 1783.58
Current children cumulated vsize (Kb) 494164

[startup+1785.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1097384/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=494296 CPUtime=1784.58
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 122836 0 0 0 178250 208 0 0 25 0 1 0 197299282 506159104 122680 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123574 122680 297 55 0 122466 0
Current children cumulated CPU time (s) 1784.58
Current children cumulated vsize (Kb) 494296

[startup+1786.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1097384/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=494296 CPUtime=1785.58
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 122845 0 0 0 178350 208 0 0 25 0 1 0 197299282 506159104 122689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123574 122689 297 55 0 122466 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (Kb) 494296

[startup+1787.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1097320/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=494428 CPUtime=1786.59
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 122854 0 0 0 178451 208 0 0 25 0 1 0 197299282 506294272 122698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123607 122698 297 55 0 122499 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (Kb) 494428

[startup+1788.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1097320/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=494428 CPUtime=1787.59
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 122866 0 0 0 178551 208 0 0 25 0 1 0 197299282 506294272 122710 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534917 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123607 122710 297 55 0 122499 0
Current children cumulated CPU time (s) 1787.59
Current children cumulated vsize (Kb) 494428

[startup+1789.33 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1097256/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=494428 CPUtime=1788.6
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 122877 0 0 0 178652 208 0 0 25 0 1 0 197299282 506294272 122721 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529509 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123607 122721 297 55 0 122499 0
Current children cumulated CPU time (s) 1788.6
Current children cumulated vsize (Kb) 494428

[startup+1790.33 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1097192/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=494560 CPUtime=1789.6
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 122883 0 0 0 178752 208 0 0 25 0 1 0 197299282 506429440 122727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123640 122727 297 55 0 122532 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (Kb) 494560

[startup+1791.34 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1097192/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=494560 CPUtime=1790.61
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 122888 0 0 0 178853 208 0 0 25 0 1 0 197299282 506429440 122732 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123640 122732 297 55 0 122532 0
Current children cumulated CPU time (s) 1790.61
Current children cumulated vsize (Kb) 494560

[startup+1792.34 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1097064/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=494692 CPUtime=1791.61
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 122926 0 0 0 178953 208 0 0 25 0 1 0 197299282 506564608 122770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123673 122770 297 55 0 122565 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (Kb) 494692

[startup+1793.35 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1096872/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=494824 CPUtime=1792.61
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 122965 0 0 0 179053 208 0 0 25 0 1 0 197299282 506699776 122809 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123706 122809 297 55 0 122598 0
Current children cumulated CPU time (s) 1792.61
Current children cumulated vsize (Kb) 494824

[startup+1794.35 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1096808/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=494956 CPUtime=1793.62
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 122990 0 0 0 179154 208 0 0 25 0 1 0 197299282 506834944 122834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719553 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123739 122834 297 55 0 122631 0
Current children cumulated CPU time (s) 1793.62
Current children cumulated vsize (Kb) 494956

[startup+1795.36 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1096680/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=495088 CPUtime=1794.62
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 123015 0 0 0 179254 208 0 0 25 0 1 0 197299282 506970112 122859 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123772 122859 297 55 0 122664 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (Kb) 495088

[startup+1796.36 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1096552/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=495088 CPUtime=1795.62
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 123042 0 0 0 179354 208 0 0 25 0 1 0 197299282 506970112 122886 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123772 122886 297 55 0 122664 0
Current children cumulated CPU time (s) 1795.62
Current children cumulated vsize (Kb) 495088

[startup+1797.37 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1096360/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=495352 CPUtime=1796.63
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 123102 0 0 0 179455 208 0 0 25 0 1 0 197299282 507240448 122946 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123838 122946 297 55 0 122730 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (Kb) 495352

[startup+1798.37 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1096232/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=495484 CPUtime=1797.64
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 123132 0 0 0 179555 209 0 0 25 0 1 0 197299282 507375616 122976 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123871 122976 297 55 0 122763 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (Kb) 495484

[startup+1799.38 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1096104/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=495616 CPUtime=1798.65
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 123159 0 0 0 179656 209 0 0 25 0 1 0 197299282 507510784 123003 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123904 123003 297 55 0 122796 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (Kb) 495616

[startup+1800.38 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 11491
/proc/meminfo: memFree=1095848/2055920 swapFree=4181196/4192956
[pid=11294] ppid=11292 vsize=495880 CPUtime=1799.65
/proc/11294/stat : 11294 (bsolo) R 11292 11294 11248 0 -1 0 123231 0 0 0 179756 209 0 0 25 0 1 0 197299282 507781120 123075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11294/statm: 123970 123075 297 55 0 122862 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (Kb) 495880

Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.08
CPU user time (s): 1797.91
CPU system time (s): 2.16967
CPU usage (%): 99.9594
Max. virtual memory (cumulated for all children) (Kb): 495880

Launcher Data (download as text)

Begin job on node38 on Sat Jun  3 06:32:10 UTC 2006


FILE ID= 40759-1149316330

PBS_JOBID= 308348

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-swath.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node38/40759-1149316330/instance-40759-1149316330.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-40759-1149316330 -o ROOT/results/node38/solver-40759-1149316330 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node38/40759-1149316330/instance-40759-1149316330.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  3553224658521cb15e26e6f30dd8f5c2

RANDOM SEED= 890441337


/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.267
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.267
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:       1588320 kB
Buffers:         29644 kB
Cached:         367704 kB
SwapCached:       3512 kB
Active:          60620 kB
Inactive:       345484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1588320 kB
SwapTotal:     4192956 kB
SwapFree:      4181196 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14904 kB
Slab:            47476 kB
Committed_AS:   304304 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node38 on Sat Jun  3 07:02:11 UTC 2006