Trace number 40766

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.13 1800.95

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-set1ch.opb
MD5SUM6912ca9a7133e8545ef00851da7db75b
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark18508139657
Best CPU time to get the best result obtained on this benchmark1800.49
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 447401599
Optimality of the best value was proved NO
Number of variables14400
Total number of constraints492
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints492
Minimum length of a constraint31
Maximum length of a constraint630
Number of terms in the objective function 7200
Biggest coefficient in the objective function 10737418240
Number of bits for the biggest coefficient in the objective function 34
Sum of the numbers in the objective function 1616658659871
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 10737418240
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 1616658659871
Number of bits of the biggest sum of numbers41
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.09	c INFO: OSL Context initialized.
0.09	c BIG Int formula...
0.36	c Initial problem consists of 14400 variables and 732 constraints.
0.39	c	preprocess terminated. Elapsed time: 0.304
0.39	c After prepocess the problem consists of 9262 variables and 732 constraints.
0.39	c Initial Lower Bound: 0
30.28	c Restart #1 #Var: 9262 LB: 0 @ 30.176
100.01	c Restart #2 #Var: 9262 LB: 0 @ 99.88
201.52	c Restart #3 #Var: 9262 LB: 0 @ 201.35
330.02	c Restart #4 #Var: 9262 LB: 0 @ 329.81
491.77	c Restart #5 #Var: 9262 LB: 0 @ 491.5
684.88	c Restart #6 #Var: 9262 LB: 0 @ 684.54
913.49	c CHANGE Heuristic... 
913.49	c Restart #0 #Var: 9262 LB: 0 @ 913.07
947.87	c Restart #1 #Var: 9194 LB: 0 @ 947.43
963.79	c Restart #2 #Var: 9179 LB: 0 @ 963.35
1016.39	c Restart #3 #Var: 9086 LB: 0 @ 1015.9
1053.62	c Restart #4 #Var: 9062 LB: 0 @ 1053.1
1065.58	c Restart #5 #Var: 9058 LB: 0 @ 1065.1
1069.81	c Restart #6 #Var: 9058 LB: 0 @ 1069.3
1073.12	c Restart #7 #Var: 9058 LB: 0 @ 1072.6
1115.50	c Restart #8 #Var: 9036 LB: 0 @ 1115
1126.20	c Restart #9 #Var: 9036 LB: 0 @ 1125.7
1165.97	c Restart #10 #Var: 9024 LB: 0 @ 1165.5
1171.36	c Restart #11 #Var: 9024 LB: 0 @ 1170.8
1177.25	c Restart #12 #Var: 9024 LB: 0 @ 1176.7
1183.71	c Restart #13 #Var: 9024 LB: 0 @ 1183.2
1190.66	c Restart #14 #Var: 9024 LB: 0 @ 1190.1
1198.13	c Restart #15 #Var: 9024 LB: 0 @ 1197.6
1206.13	c Restart #16 #Var: 9024 LB: 0 @ 1205.6
1214.62	c Restart #17 #Var: 9024 LB: 0 @ 1214.1
1232.33	c Restart #18 #Var: 9022 LB: 0 @ 1231.8
1241.93	c Restart #19 #Var: 9022 LB: 0 @ 1241.4
1251.99	c Restart #20 #Var: 9022 LB: 0 @ 1251.4
1262.52	c Restart #21 #Var: 9022 LB: 0 @ 1262
1273.61	c Restart #22 #Var: 9022 LB: 0 @ 1273.1
1285.26	c Restart #23 #Var: 9022 LB: 0 @ 1284.7
1297.41	c Restart #24 #Var: 9022 LB: 0 @ 1296.9
1310.15	c Restart #25 #Var: 9022 LB: 0 @ 1309.6
1323.43	c Restart #26 #Var: 9022 LB: 0 @ 1322.9
1337.23	c Restart #27 #Var: 9022 LB: 0 @ 1336.7
1351.67	c Restart #28 #Var: 9022 LB: 0 @ 1351.1
1366.65	c Restart #29 #Var: 9022 LB: 0 @ 1366.1
1382.11	c Restart #30 #Var: 9022 LB: 0 @ 1381.5
1398.21	c Restart #31 #Var: 9022 LB: 0 @ 1397.6
1414.96	c Restart #32 #Var: 9022 LB: 0 @ 1414.4
1432.12	c Restart #33 #Var: 9022 LB: 0 @ 1431.5
1449.77	c Restart #34 #Var: 9022 LB: 0 @ 1449.2
1467.90	c Restart #35 #Var: 9022 LB: 0 @ 1467.3
1486.61	c Restart #36 #Var: 9022 LB: 0 @ 1486
1505.93	c Restart #37 #Var: 9022 LB: 0 @ 1505.3
1525.74	c Restart #38 #Var: 9022 LB: 0 @ 1525.1
1551.97	c Restart #39 #Var: 9018 LB: 0 @ 1551.2
1573.07	c Restart #40 #Var: 9018 LB: 0 @ 1572.3
1594.71	c Restart #41 #Var: 9018 LB: 0 @ 1594
1617.17	c Restart #42 #Var: 9018 LB: 0 @ 1616.4
1644.91	c Restart #43 #Var: 9017 LB: 0 @ 1644.2
1668.29	c Restart #44 #Var: 9017 LB: 0 @ 1667.5
1692.01	c Restart #45 #Var: 9017 LB: 0 @ 1691.2
1716.46	c Restart #46 #Var: 9017 LB: 0 @ 1715.7
1741.54	c Restart #47 #Var: 9017 LB: 0 @ 1740.7
1767.18	c Restart #48 #Var: 9017 LB: 0 @ 1766.4
1797.41	c Restart #49 #Var: 9017 LB: 0 @ 1796.6
1800.82	s UNKNOWN
1800.82	c Exit Code: 0
1800.82	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/node44/watcher-40766-1149316550 -o ROOT/results/node44/solver-40766-1149316550 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/40766-1149316550/instance-40766-1149316550.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.94 0.97 2/64 20124
/proc/meminfo: memFree=1861352/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=436 CPUtime=0
/proc/20124/stat : 20124 (bsolo) D 20122 20124 20078 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 197321824 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11281188 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0
/proc/20124/statm: 109 23 18 55 0 18 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.95 0.97 2/64 20124
/proc/meminfo: memFree=1844464/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=22008 CPUtime=9.9
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 4630 0 0 0 987 3 0 0 25 0 1 0 197321824 22536192 4545 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649123 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 5502 4545 296 55 0 4394 0
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (Kb) 22008

[startup+20.0094 s]
/proc/loadavg: 0.94 0.95 0.97 2/64 20124
/proc/meminfo: memFree=1839608/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=26984 CPUtime=19.9
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 5889 0 0 0 1985 5 0 0 25 0 1 0 197321824 27631616 5804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 6746 5804 296 55 0 5638 0
Current children cumulated CPU time (s) 19.9
Current children cumulated vsize (Kb) 26984

[startup+30.0152 s]
/proc/loadavg: 0.95 0.95 0.97 2/64 20124
/proc/meminfo: memFree=1839480/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=27108 CPUtime=29.9
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 5923 0 0 0 2984 6 0 0 25 0 1 0 197321824 27758592 5838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 6777 5838 296 55 0 5669 0
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 27108

[startup+40.0211 s]
/proc/loadavg: 0.95 0.95 0.97 2/64 20124
/proc/meminfo: memFree=1839544/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=27108 CPUtime=39.9
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 5923 0 0 0 3984 6 0 0 25 0 1 0 197321824 27758592 5838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645700 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 6777 5838 296 55 0 5669 0
Current children cumulated CPU time (s) 39.9
Current children cumulated vsize (Kb) 27108

[startup+50.0269 s]
/proc/loadavg: 0.96 0.95 0.97 2/64 20124
/proc/meminfo: memFree=1839544/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=27108 CPUtime=49.9
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 5930 0 0 0 4983 7 0 0 25 0 1 0 197321824 27758592 5845 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 6777 5845 296 55 0 5669 0
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 27108

[startup+60.0328 s]
/proc/loadavg: 0.97 0.95 0.97 2/64 20124
/proc/meminfo: memFree=1839416/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=27240 CPUtime=59.91
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 5953 0 0 0 5982 9 0 0 25 0 1 0 197321824 27893760 5868 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 6810 5868 296 55 0 5702 0
Current children cumulated CPU time (s) 59.91
Current children cumulated vsize (Kb) 27240

[startup+70.0396 s]
/proc/loadavg: 0.97 0.95 0.97 2/64 20124
/proc/meminfo: memFree=1839352/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=27240 CPUtime=69.92
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 5973 0 0 0 6982 10 0 0 25 0 1 0 197321824 27893760 5888 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11713982 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 6810 5888 296 55 0 5702 0
Current children cumulated CPU time (s) 69.92
Current children cumulated vsize (Kb) 27240

[startup+80.0475 s]
/proc/loadavg: 0.97 0.95 0.97 2/64 20124
/proc/meminfo: memFree=1839352/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=27240 CPUtime=79.92
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 5973 0 0 0 7981 11 0 0 25 0 1 0 197321824 27893760 5888 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134556046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 6810 5888 296 55 0 5702 0
Current children cumulated CPU time (s) 79.92
Current children cumulated vsize (Kb) 27240

[startup+90.0533 s]
/proc/loadavg: 0.98 0.95 0.97 2/64 20124
/proc/meminfo: memFree=1839352/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=27240 CPUtime=89.92
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 5973 0 0 0 8979 13 0 0 25 0 1 0 197321824 27893760 5888 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 6810 5888 296 55 0 5702 0
Current children cumulated CPU time (s) 89.92
Current children cumulated vsize (Kb) 27240

[startup+100.059 s]
/proc/loadavg: 0.98 0.95 0.97 2/64 20124
/proc/meminfo: memFree=1838968/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=27652 CPUtime=99.92
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6067 0 0 0 9978 14 0 0 25 0 1 0 197321824 28315648 5982 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 6913 5982 296 55 0 5805 0
Current children cumulated CPU time (s) 99.92
Current children cumulated vsize (Kb) 27652

[startup+110.065 s]
/proc/loadavg: 0.98 0.95 0.97 2/64 20124
/proc/meminfo: memFree=1838968/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=27652 CPUtime=109.92
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6067 0 0 0 10978 14 0 0 25 0 1 0 197321824 28315648 5982 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 6913 5982 296 55 0 5805 0
Current children cumulated CPU time (s) 109.92
Current children cumulated vsize (Kb) 27652

[startup+120.072 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 20124
/proc/meminfo: memFree=1838904/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=27652 CPUtime=119.92
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6076 0 0 0 11977 15 0 0 25 0 1 0 197321824 28315648 5991 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 6913 5991 296 55 0 5805 0
Current children cumulated CPU time (s) 119.92
Current children cumulated vsize (Kb) 27652

[startup+130.078 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 20124
/proc/meminfo: memFree=1838840/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=27784 CPUtime=129.93
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6088 0 0 0 12977 16 0 0 25 0 1 0 197321824 28450816 6003 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 6946 6003 296 55 0 5838 0
Current children cumulated CPU time (s) 129.93
Current children cumulated vsize (Kb) 27784

[startup+140.084 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 20124
/proc/meminfo: memFree=1838776/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=27784 CPUtime=139.93
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6110 0 0 0 13975 18 0 0 25 0 1 0 197321824 28450816 6025 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 6946 6025 296 55 0 5838 0
Current children cumulated CPU time (s) 139.93
Current children cumulated vsize (Kb) 27784

[startup+150.09 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 20124
/proc/meminfo: memFree=1838712/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=27888 CPUtime=149.93
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6116 0 0 0 14973 20 0 0 25 0 1 0 197321824 28557312 6031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 6972 6031 296 55 0 5864 0
Current children cumulated CPU time (s) 149.93
Current children cumulated vsize (Kb) 27888

[startup+160.096 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 20124
/proc/meminfo: memFree=1838712/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=27888 CPUtime=159.94
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6116 0 0 0 15972 22 0 0 25 0 1 0 197321824 28557312 6031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 6972 6031 296 55 0 5864 0
Current children cumulated CPU time (s) 159.94
Current children cumulated vsize (Kb) 27888

[startup+170.102 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 20124
/proc/meminfo: memFree=1838456/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=27888 CPUtime=169.94
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6315 0 0 0 16971 23 0 0 25 0 1 0 197321824 28557312 6053 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 6972 6053 296 55 0 5864 0
Current children cumulated CPU time (s) 169.94
Current children cumulated vsize (Kb) 27888

[startup+180.108 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 20124
/proc/meminfo: memFree=1838328/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=28236 CPUtime=179.94
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6463 0 0 0 17970 24 0 0 25 0 1 0 197321824 28913664 6139 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 7059 6139 296 55 0 5951 0
Current children cumulated CPU time (s) 179.94
Current children cumulated vsize (Kb) 28236

[startup+190.114 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 20124
/proc/meminfo: memFree=1838264/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=28236 CPUtime=189.95
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6463 0 0 0 18970 25 0 0 25 0 1 0 197321824 28913664 6139 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 7059 6139 296 55 0 5951 0
Current children cumulated CPU time (s) 189.95
Current children cumulated vsize (Kb) 28236

[startup+200.12 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 20124
/proc/meminfo: memFree=1838264/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=28236 CPUtime=199.95
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 6463 0 0 0 19968 27 0 0 25 0 1 0 197321824 28913664 6139 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649036 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 7059 6139 296 55 0 5951 0
Current children cumulated CPU time (s) 199.95
Current children cumulated vsize (Kb) 28236

[startup+210.125 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 20124
/proc/meminfo: memFree=1838264/2055920 swapFree=4181400/4192956

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

/proc/20124/statm: 199574 186159 296 55 0 198466 0
Current children cumulated CPU time (s) 1760.24
Current children cumulated vsize (Kb) 798296

[startup+1771.06 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1111808/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=802388 CPUtime=1770.24
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 207979 0 0 0 176738 286 0 0 25 0 1 0 197321824 821645312 187213 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 200597 187213 296 55 0 199489 0
Current children cumulated CPU time (s) 1770.24
Current children cumulated vsize (Kb) 802388

[startup+1781.06 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1100864/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=813192 CPUtime=1780.25
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 210865 0 0 0 177737 288 0 0 25 0 1 0 197321824 832708608 189937 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 203298 189937 296 55 0 202190 0
Current children cumulated CPU time (s) 1780.25
Current children cumulated vsize (Kb) 813192

[startup+1782.07 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1099648/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=814380 CPUtime=1781.25
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 211174 0 0 0 177837 288 0 0 25 0 1 0 197321824 833925120 190246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 203595 190246 296 55 0 202487 0
Current children cumulated CPU time (s) 1781.25
Current children cumulated vsize (Kb) 814380

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1098304/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=815568 CPUtime=1782.25
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 211506 0 0 0 177937 288 0 0 25 0 1 0 197321824 835141632 190578 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 203892 190578 296 55 0 202784 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (Kb) 815568

[startup+1784.08 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1096896/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=816756 CPUtime=1783.26
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 211852 0 0 0 178037 289 0 0 25 0 1 0 197321824 836358144 190924 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 204189 190924 296 55 0 203081 0
Current children cumulated CPU time (s) 1783.26
Current children cumulated vsize (Kb) 816756

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1095680/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=818076 CPUtime=1784.26
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 212166 0 0 0 178137 289 0 0 25 0 1 0 197321824 837709824 191238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 204519 191238 296 55 0 203411 0
Current children cumulated CPU time (s) 1784.26
Current children cumulated vsize (Kb) 818076

[startup+1786.09 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1094400/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=819264 CPUtime=1785.26
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 212481 0 0 0 178237 289 0 0 25 0 1 0 197321824 838926336 191553 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555832 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 204816 191553 296 55 0 203708 0
Current children cumulated CPU time (s) 1785.26
Current children cumulated vsize (Kb) 819264

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1093120/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=820452 CPUtime=1786.27
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 212804 0 0 0 178338 289 0 0 25 0 1 0 197321824 840142848 191876 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 205113 191876 296 55 0 204005 0
Current children cumulated CPU time (s) 1786.27
Current children cumulated vsize (Kb) 820452

[startup+1788.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1091904/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=821640 CPUtime=1787.28
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 213111 0 0 0 178438 290 0 0 25 0 1 0 197321824 841359360 192183 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 205410 192183 296 55 0 204302 0
Current children cumulated CPU time (s) 1787.28
Current children cumulated vsize (Kb) 821640

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1090496/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=822960 CPUtime=1788.28
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 213463 0 0 0 178538 290 0 0 25 0 1 0 197321824 842711040 192535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 205740 192535 296 55 0 204632 0
Current children cumulated CPU time (s) 1788.28
Current children cumulated vsize (Kb) 822960

[startup+1790.11 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1089216/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=824148 CPUtime=1789.28
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 213777 0 0 0 178638 290 0 0 25 0 1 0 197321824 843927552 192849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 206037 192849 296 55 0 204929 0
Current children cumulated CPU time (s) 1789.28
Current children cumulated vsize (Kb) 824148

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1087936/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=825336 CPUtime=1790.28
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 214086 0 0 0 178738 290 0 0 25 0 1 0 197321824 845144064 193158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134556086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 206334 193158 296 55 0 205226 0
Current children cumulated CPU time (s) 1790.28
Current children cumulated vsize (Kb) 825336

[startup+1792.12 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1086656/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=826656 CPUtime=1791.3
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 214417 0 0 0 178839 291 0 0 25 0 1 0 197321824 846495744 193489 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 206664 193489 296 55 0 205556 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (Kb) 826656

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1085312/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=827844 CPUtime=1792.29
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 214747 0 0 0 178938 291 0 0 25 0 1 0 197321824 847712256 193819 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 206961 193820 296 55 0 205853 0
Current children cumulated CPU time (s) 1792.29
Current children cumulated vsize (Kb) 827844

[startup+1794.13 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1084032/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=829032 CPUtime=1793.3
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 215078 0 0 0 179038 292 0 0 25 0 1 0 197321824 848928768 194150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 207258 194150 296 55 0 206150 0
Current children cumulated CPU time (s) 1793.3
Current children cumulated vsize (Kb) 829032

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1082752/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=830220 CPUtime=1794.31
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 215394 0 0 0 179139 292 0 0 25 0 1 0 197321824 850145280 194466 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557885 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 207555 194466 296 55 0 206447 0
Current children cumulated CPU time (s) 1794.31
Current children cumulated vsize (Kb) 830220

[startup+1796.14 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1081728/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=831144 CPUtime=1795.31
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 215637 0 0 0 179239 292 0 0 25 0 1 0 197321824 851091456 194709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 207786 194709 296 55 0 206678 0
Current children cumulated CPU time (s) 1795.31
Current children cumulated vsize (Kb) 831144

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1081728/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=831144 CPUtime=1796.31
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 215637 0 0 0 179339 292 0 0 25 0 1 0 197321824 851091456 194709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 207786 194709 296 55 0 206678 0
Current children cumulated CPU time (s) 1796.31
Current children cumulated vsize (Kb) 831144

[startup+1798.15 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1081728/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=831144 CPUtime=1797.32
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 215637 0 0 0 179440 292 0 0 25 0 1 0 197321824 851091456 194709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534042 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 207786 194709 296 55 0 206678 0
Current children cumulated CPU time (s) 1797.32
Current children cumulated vsize (Kb) 831144

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1081344/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=831540 CPUtime=1798.32
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 215733 0 0 0 179540 292 0 0 25 0 1 0 197321824 851496960 194805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 207885 194805 296 55 0 206777 0
Current children cumulated CPU time (s) 1798.32
Current children cumulated vsize (Kb) 831540

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 20319
/proc/meminfo: memFree=1080448/2055920 swapFree=4181400/4192956
[pid=20124] ppid=20122 vsize=832464 CPUtime=1799.32
/proc/20124/stat : 20124 (bsolo) R 20122 20124 20078 0 -1 0 215968 0 0 0 179640 292 0 0 25 0 1 0 197321824 852443136 195040 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555812 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20124/statm: 208116 195040 296 55 0 207008 0
Current children cumulated CPU time (s) 1799.32
Current children cumulated vsize (Kb) 832464

Child status: 0
Real time (s): 1800.95
CPU time (s): 1800.13
CPU user time (s): 1797.07
CPU system time (s): 3.05553
CPU usage (%): 99.9544
Max. virtual memory (cumulated for all children) (Kb): 832464

Launcher Data (download as text)

Begin job on node44 on Sat Jun  3 06:35:50 UTC 2006


FILE ID= 40766-1149316550

PBS_JOBID= 308379

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  6912ca9a7133e8545ef00851da7db75b

RANDOM SEED= 274007164


/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.261
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.261
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:       1861560 kB
Buffers:         12364 kB
Cached:         117236 kB
SwapCached:       3272 kB
Active:          17020 kB
Inactive:       121288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1861560 kB
SwapTotal:     4192956 kB
SwapFree:      4181400 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14948 kB
Slab:            41944 kB
Committed_AS:   302604 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node44 on Sat Jun  3 07:05:51 UTC 2006