Trace number 40746

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05? 1800.02 1800.55

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb
MD5SUM72b327feddced7495a083616b5e4ecd7
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 variables13898
Total number of constraints672
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints656
Minimum length of a constraint7
Maximum length of a constraint1500
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 13421772800
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 53690300878
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.02	c BIG Int formula...
0.55	c Initial problem consists of 13898 variables and 816 constraints.
0.63	c	preprocess terminated. Elapsed time: 0.622
0.63	c After prepocess the problem consists of 7792 variables and 816 constraints.
0.63	c Initial Lower Bound: 0
10.61	c Restart #1 #Var: 7792 LB: 0 @ 10.597
21.57	c Restart #2 #Var: 7792 LB: 0 @ 21.553
33.83	c Restart #3 #Var: 7792 LB: 0 @ 33.812
46.76	c Restart #4 #Var: 7792 LB: 0 @ 46.737
60.04	c Restart #5 #Var: 7792 LB: 0 @ 60.02
73.37	c Restart #6 #Var: 7792 LB: 0 @ 73.338
86.71	c Restart #7 #Var: 7792 LB: 0 @ 86.673
100.95	c Restart #8 #Var: 7792 LB: 0 @ 100.91
116.65	c Restart #9 #Var: 7792 LB: 0 @ 116.61
129.40	c Restart #10 #Var: 7792 LB: 0 @ 129.35
142.24	c Restart #11 #Var: 7792 LB: 0 @ 142.19
272.72	c Restart #12 #Var: 7792 LB: 0 @ 272.63
285.11	c Restart #13 #Var: 7792 LB: 0 @ 285.02
291.71	c Restart #14 #Var: 7792 LB: 0 @ 291.62
297.98	c Restart #15 #Var: 7792 LB: 0 @ 297.88
302.13	c Restart #16 #Var: 7792 LB: 0 @ 302.03
308.84	c Restart #17 #Var: 7792 LB: 0 @ 308.74
322.19	c Restart #18 #Var: 7792 LB: 0 @ 322.08
326.15	c Restart #19 #Var: 7792 LB: 0 @ 326.04
330.76	c Restart #20 #Var: 7792 LB: 0 @ 330.66
334.22	c Restart #21 #Var: 7792 LB: 0 @ 334.12
338.00	c Restart #22 #Var: 7792 LB: 0 @ 337.89
341.17	c Restart #23 #Var: 7792 LB: 0 @ 341.06
349.48	c Restart #24 #Var: 7792 LB: 0 @ 349.37
354.44	c Restart #25 #Var: 7792 LB: 0 @ 354.33
356.86	c Restart #26 #Var: 7792 LB: 0 @ 356.75
371.34	c Restart #27 #Var: 7792 LB: 0 @ 371.23
380.48	c Restart #28 #Var: 7792 LB: 0 @ 380.36
384.64	c Restart #29 #Var: 7792 LB: 0 @ 384.53
404.39	c Restart #30 #Var: 7792 LB: 0 @ 404.26
408.48	c Restart #31 #Var: 7792 LB: 0 @ 408.36
415.63	c Restart #32 #Var: 7792 LB: 0 @ 415.51
422.72	c Restart #33 #Var: 7792 LB: 0 @ 422.6
426.93	c Restart #34 #Var: 7792 LB: 0 @ 426.81
435.09	c Restart #35 #Var: 7792 LB: 0 @ 434.96
439.91	c Restart #36 #Var: 7792 LB: 0 @ 439.78
448.62	c Restart #37 #Var: 7792 LB: 0 @ 448.48
467.85	c Restart #38 #Var: 7792 LB: 0 @ 467.71
475.39	c Restart #39 #Var: 7792 LB: 0 @ 475.24
481.86	c Restart #40 #Var: 7792 LB: 0 @ 481.72
491.18	c Restart #41 #Var: 7792 LB: 0 @ 491.03
498.28	c Restart #42 #Var: 7792 LB: 0 @ 498.12
506.91	c Restart #43 #Var: 7792 LB: 0 @ 506.76
527.04	c Restart #44 #Var: 7792 LB: 0 @ 526.87
539.52	c Restart #45 #Var: 7792 LB: 0 @ 539.36
553.79	c Restart #46 #Var: 7792 LB: 0 @ 553.62
561.70	c Restart #47 #Var: 7792 LB: 0 @ 561.53
566.76	c Restart #48 #Var: 7792 LB: 0 @ 566.58
573.06	c Restart #49 #Var: 7792 LB: 0 @ 572.88
584.00	c Restart #50 #Var: 7792 LB: 0 @ 583.82
591.67	c Restart #51 #Var: 7792 LB: 0 @ 591.49
599.47	c Restart #52 #Var: 7792 LB: 0 @ 599.29
614.76	c Restart #53 #Var: 7792 LB: 0 @ 614.58
624.27	c Restart #54 #Var: 7792 LB: 0 @ 624.08
635.87	c Restart #55 #Var: 7792 LB: 0 @ 635.68
644.89	c Restart #56 #Var: 7792 LB: 0 @ 644.69
715.68	c Restart #57 #Var: 7792 LB: 0 @ 715.46
721.85	c Restart #58 #Var: 7792 LB: 0 @ 721.63
756.99	c Restart #59 #Var: 7792 LB: 0 @ 756.76
782.79	c Restart #60 #Var: 7792 LB: 0 @ 782.56
803.52	c Restart #61 #Var: 7792 LB: 0 @ 803.28
811.35	c Restart #62 #Var: 7792 LB: 0 @ 811.11
823.85	c Restart #63 #Var: 7792 LB: 0 @ 823.6
846.54	c Restart #64 #Var: 7792 LB: 0 @ 846.29
864.45	c Restart #65 #Var: 7792 LB: 0 @ 864.19
884.34	c Restart #66 #Var: 7792 LB: 0 @ 884.08
894.91	c Restart #67 #Var: 7792 LB: 0 @ 894.64
924.78	c CHANGE Heuristic... 
924.78	c Restart #0 #Var: 7792 LB: 0 @ 924.5
928.02	c Restart #1 #Var: 7792 LB: 0 @ 927.74
928.89	c Restart #2 #Var: 7792 LB: 0 @ 928.61
930.06	c Restart #3 #Var: 7792 LB: 0 @ 929.78
931.11	c Restart #4 #Var: 7792 LB: 0 @ 930.83
932.18	c Restart #5 #Var: 7792 LB: 0 @ 931.9
939.58	c Restart #6 #Var: 7792 LB: 0 @ 939.3
941.75	c Restart #7 #Var: 7792 LB: 0 @ 941.47
947.74	c Restart #8 #Var: 7792 LB: 0 @ 947.46
962.30	c Restart #9 #Var: 7792 LB: 0 @ 962.01
974.43	c Restart #10 #Var: 7792 LB: 0 @ 974.14
977.63	c Restart #11 #Var: 7792 LB: 0 @ 977.33
982.99	c Restart #12 #Var: 7792 LB: 0 @ 982.69
986.97	c Restart #13 #Var: 7792 LB: 0 @ 986.68
992.47	c Restart #14 #Var: 7792 LB: 0 @ 992.17
1007.12	c Restart #15 #Var: 7792 LB: 0 @ 1006.8
1019.12	c Restart #16 #Var: 7792 LB: 0 @ 1018.8
1040.16	c Restart #17 #Var: 7792 LB: 0 @ 1039.8
1047.27	c Restart #18 #Var: 7792 LB: 0 @ 1047
1058.12	c Restart #19 #Var: 7792 LB: 0 @ 1057.8
1081.49	c Restart #20 #Var: 7792 LB: 0 @ 1081.2
1103.63	c Restart #21 #Var: 7792 LB: 0 @ 1103.3
1129.77	c Restart #22 #Var: 7792 LB: 0 @ 1129.4
1143.03	c Restart #23 #Var: 7792 LB: 0 @ 1142.7
1169.33	c Restart #24 #Var: 7792 LB: 0 @ 1169
1187.22	c Restart #25 #Var: 7792 LB: 0 @ 1186.9
1206.09	c Restart #26 #Var: 7792 LB: 0 @ 1205.7
1230.10	c Restart #27 #Var: 7792 LB: 0 @ 1229.7
1252.99	c Restart #28 #Var: 7792 LB: 0 @ 1252.6
1279.95	c Restart #29 #Var: 7792 LB: 0 @ 1279.6
1305.35	c Restart #30 #Var: 7792 LB: 0 @ 1305
1332.72	c Restart #31 #Var: 7792 LB: 0 @ 1332.3
1349.13	c Restart #32 #Var: 7792 LB: 0 @ 1348.7
1358.74	c Restart #33 #Var: 7792 LB: 0 @ 1358.3
1377.48	c Restart #34 #Var: 7792 LB: 0 @ 1377.1
1385.89	c Restart #35 #Var: 7792 LB: 0 @ 1385.5
1394.50	c Restart #36 #Var: 7792 LB: 0 @ 1394.1
1437.43	c Restart #37 #Var: 7792 LB: 0 @ 1437
1493.55	c Restart #38 #Var: 7792 LB: 0 @ 1493.1
1545.85	c Restart #39 #Var: 7792 LB: 0 @ 1545.4
1610.53	c Restart #40 #Var: 7792 LB: 0 @ 1610.1
1681.66	c Restart #41 #Var: 7792 LB: 0 @ 1681.2
1758.67	c Restart #42 #Var: 7792 LB: 0 @ 1758.2
1800.54	s UNKNOWN
1800.54	c Exit Code: 0
1800.54	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/node81/watcher-40746-1149315045 -o ROOT/results/node81/solver-40746-1149315045 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/40746-1149315045/instance-40746-1149315045.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.88 0.95 0.98 2/68 31214
/proc/meminfo: memFree=953496/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=3368 CPUtime=0
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 58 0 0 0 0 0 0 0 19 0 1 0 197143929 3448832 42 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10101684 0 0 4096 0 0 0 0 17 1 0 0
/proc/31214/statm: 860 42 31 55 0 40 0

[startup+10.0025 s]
/proc/loadavg: 0.90 0.95 0.98 2/68 31214
/proc/meminfo: memFree=932400/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=26104 CPUtime=9.99
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 5654 0 0 0 996 3 0 0 25 0 1 0 197143929 26730496 5570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557876 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31214/statm: 6526 5570 293 55 0 5417 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 26104

[startup+20.0086 s]
/proc/loadavg: 0.91 0.96 0.98 2/68 31214
/proc/meminfo: memFree=931760/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=26636 CPUtime=19.98
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 5817 0 0 0 1994 4 0 0 25 0 1 0 197143929 27275264 5733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6659 5733 293 55 0 5550 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 26636

[startup+30.0147 s]
/proc/loadavg: 0.92 0.96 0.98 2/68 31214
/proc/meminfo: memFree=931440/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27036 CPUtime=29.99
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 5905 0 0 0 2994 5 0 0 25 0 1 0 197143929 27684864 5821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696636 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6759 5821 293 55 0 5650 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 27036

[startup+40.0208 s]
/proc/loadavg: 0.94 0.96 0.98 2/68 31214
/proc/meminfo: memFree=931120/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27164 CPUtime=39.99
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 5995 0 0 0 3992 7 0 0 25 0 1 0 197143929 27815936 5868 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6791 5868 293 55 0 5682 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 27164

[startup+50.0279 s]
/proc/loadavg: 0.95 0.96 0.98 2/68 31214
/proc/meminfo: memFree=931120/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27272 CPUtime=50
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6021 0 0 0 4991 9 0 0 25 0 1 0 197143929 27926528 5894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6818 5894 293 55 0 5709 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 27272

[startup+60.0331 s]
/proc/loadavg: 0.95 0.96 0.98 3/68 31214
/proc/meminfo: memFree=931184/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27288 CPUtime=60
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6047 0 0 0 5991 9 0 0 25 0 1 0 197143929 27942912 5895 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537841 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6822 5895 293 55 0 5713 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 27288

[startup+70.0392 s]
/proc/loadavg: 0.96 0.96 0.98 2/68 31214
/proc/meminfo: memFree=931184/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27288 CPUtime=70
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6047 0 0 0 6990 10 0 0 25 0 1 0 197143929 27942912 5895 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6822 5895 293 55 0 5713 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 27288

[startup+80.0453 s]
/proc/loadavg: 0.97 0.96 0.98 2/68 31214
/proc/meminfo: memFree=930800/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27580 CPUtime=80.01
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6139 0 0 0 7990 11 0 0 25 0 1 0 197143929 28241920 5971 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644452 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6895 5971 293 55 0 5786 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 27580

[startup+90.0514 s]
/proc/loadavg: 0.97 0.96 0.98 2/68 31214
/proc/meminfo: memFree=930672/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27580 CPUtime=90.01
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6179 0 0 0 8989 12 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6895 5973 293 55 0 5786 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 27580

[startup+100.058 s]
/proc/loadavg: 0.97 0.96 0.98 2/68 31214
/proc/meminfo: memFree=930672/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27580 CPUtime=100.01
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 9987 14 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6895 5973 293 55 0 5786 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 27580

[startup+110.064 s]
/proc/loadavg: 0.98 0.96 0.98 2/68 31214
/proc/meminfo: memFree=930736/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27580 CPUtime=110.01
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 10986 15 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6895 5973 293 55 0 5786 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 27580

[startup+120.069 s]
/proc/loadavg: 0.98 0.97 0.98 2/68 31214
/proc/meminfo: memFree=930736/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27580 CPUtime=120.01
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 11985 16 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649188 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6895 5973 293 55 0 5786 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 27580

[startup+130.075 s]
/proc/loadavg: 0.98 0.97 0.98 2/68 31214
/proc/meminfo: memFree=930736/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27580 CPUtime=130.02
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 12984 18 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557876 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6895 5973 293 55 0 5786 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 27580

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31214
/proc/meminfo: memFree=930736/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27580 CPUtime=140.03
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 13983 20 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6895 5973 293 55 0 5786 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 27580

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31214
/proc/meminfo: memFree=930736/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27580 CPUtime=150.03
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 14982 21 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555536 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6895 5973 293 55 0 5786 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 27580

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31214
/proc/meminfo: memFree=930736/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27580 CPUtime=160.03
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 15981 22 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6895 5973 293 55 0 5786 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 27580

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31214
/proc/meminfo: memFree=930736/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27580 CPUtime=170.04
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 16980 24 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6895 5973 293 55 0 5786 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 27580

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31214
/proc/meminfo: memFree=930736/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27580 CPUtime=180.03
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 17979 24 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555884 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6895 5973 293 55 0 5786 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 27580

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31214
/proc/meminfo: memFree=930800/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27580 CPUtime=190.04
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 18979 25 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134556067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6895 5973 293 55 0 5786 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 27580

[startup+200.118 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31214
/proc/meminfo: memFree=930800/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=27580 CPUtime=200.05
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 19979 26 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 6895 5973 293 55 0 5786 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 27580

[startup+210.124 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31214
/proc/meminfo: memFree=930800/2055892 swapFree=4085344/4096564

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

/proc/31214/statm: 17454 16477 293 55 0 16345 0
Current children cumulated CPU time (s) 1760.52
Current children cumulated vsize (Kb) 69816

[startup+1771.05 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=887664/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=70824 CPUtime=1770.52
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 17427 0 0 0 176906 146 0 0 25 0 1 0 197143929 72523776 16728 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 17706 16728 293 55 0 16597 0
Current children cumulated CPU time (s) 1770.52
Current children cumulated vsize (Kb) 70824

[startup+1781.06 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=885296/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=73064 CPUtime=1780.53
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18006 0 0 0 177906 147 0 0 25 0 1 0 197143929 74817536 17307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 18266 17307 293 55 0 17157 0
Current children cumulated CPU time (s) 1780.53
Current children cumulated vsize (Kb) 73064

[startup+1782.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=885296/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=73064 CPUtime=1781.53
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18006 0 0 0 178006 147 0 0 25 0 1 0 197143929 74817536 17307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537571 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 18266 17307 293 55 0 17157 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (Kb) 73064

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=885168/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=73196 CPUtime=1782.54
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18041 0 0 0 178107 147 0 0 25 0 1 0 197143929 74952704 17342 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644482 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 18299 17342 293 55 0 17190 0
Current children cumulated CPU time (s) 1782.54
Current children cumulated vsize (Kb) 73196

[startup+1784.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=884592/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=73796 CPUtime=1783.54
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18182 0 0 0 178207 147 0 0 25 0 1 0 197143929 75567104 17483 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 18449 17483 293 55 0 17340 0
Current children cumulated CPU time (s) 1783.54
Current children cumulated vsize (Kb) 73796

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=884208/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=74180 CPUtime=1784.54
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18286 0 0 0 178307 147 0 0 25 0 1 0 197143929 75960320 17587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 18545 17587 293 55 0 17436 0
Current children cumulated CPU time (s) 1784.54
Current children cumulated vsize (Kb) 74180

[startup+1786.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=883952/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=74440 CPUtime=1785.55
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18346 0 0 0 178408 147 0 0 25 0 1 0 197143929 76226560 17647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644482 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 18610 17647 293 55 0 17501 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (Kb) 74440

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=883952/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=74440 CPUtime=1786.55
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18346 0 0 0 178508 147 0 0 25 0 1 0 197143929 76226560 17647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 18610 17647 293 55 0 17501 0
Current children cumulated CPU time (s) 1786.55
Current children cumulated vsize (Kb) 74440

[startup+1788.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=883888/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=74572 CPUtime=1787.56
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18360 0 0 0 178609 147 0 0 25 0 1 0 197143929 76361728 17661 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 18643 17661 293 55 0 17534 0
Current children cumulated CPU time (s) 1787.56
Current children cumulated vsize (Kb) 74572

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=883312/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=75108 CPUtime=1788.56
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18502 0 0 0 178709 147 0 0 25 0 1 0 197143929 76910592 17803 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 18777 17803 293 55 0 17668 0
Current children cumulated CPU time (s) 1788.56
Current children cumulated vsize (Kb) 75108

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=882928/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=75504 CPUtime=1789.56
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18599 0 0 0 178809 147 0 0 25 0 1 0 197143929 77316096 17900 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134601376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 18876 17900 293 55 0 17767 0
Current children cumulated CPU time (s) 1789.56
Current children cumulated vsize (Kb) 75504

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=882736/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=75768 CPUtime=1790.58
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18649 0 0 0 178910 148 0 0 25 0 1 0 197143929 77586432 17950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 18942 17950 293 55 0 17833 0
Current children cumulated CPU time (s) 1790.58
Current children cumulated vsize (Kb) 75768

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=882736/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=75768 CPUtime=1791.58
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18649 0 0 0 179010 148 0 0 25 0 1 0 197143929 77586432 17950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 18942 17950 293 55 0 17833 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (Kb) 75768

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=882480/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=76032 CPUtime=1792.58
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18717 0 0 0 179110 148 0 0 25 0 1 0 197143929 77856768 18018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 19008 18018 293 55 0 17899 0
Current children cumulated CPU time (s) 1792.58
Current children cumulated vsize (Kb) 76032

[startup+1794.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=882480/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=75952 CPUtime=1793.59
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18736 0 0 0 179211 148 0 0 25 0 1 0 197143929 77774848 18012 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 18988 18012 293 55 0 17879 0
Current children cumulated CPU time (s) 1793.59
Current children cumulated vsize (Kb) 75952

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=882480/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=75952 CPUtime=1794.59
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18736 0 0 0 179311 148 0 0 25 0 1 0 197143929 77774848 18012 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 18988 18012 293 55 0 17879 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (Kb) 75952

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=882352/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=76084 CPUtime=1795.59
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18760 0 0 0 179411 148 0 0 25 0 1 0 197143929 77910016 18036 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 19021 18036 293 55 0 17912 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (Kb) 76084

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=882032/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=76348 CPUtime=1796.6
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18841 0 0 0 179512 148 0 0 25 0 1 0 197143929 78180352 18117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 19087 18117 293 55 0 17978 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (Kb) 76348

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=881904/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=76480 CPUtime=1797.6
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18883 0 0 0 179612 148 0 0 25 0 1 0 197143929 78315520 18159 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 19120 18159 293 55 0 18011 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (Kb) 76480

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=881648/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=76644 CPUtime=1798.61
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18934 0 0 0 179713 148 0 0 25 0 1 0 197143929 78483456 18200 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644495 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 19161 18200 293 55 0 18052 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (Kb) 76644

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 31216
/proc/meminfo: memFree=881648/2055892 swapFree=4085344/4096564
[pid=31214] ppid=31212 vsize=76644 CPUtime=1799.61
/proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18934 0 0 0 179813 148 0 0 25 0 1 0 197143929 78483456 18200 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528844 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31214/statm: 19161 18200 293 55 0 18052 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (Kb) 76644

Child status: 0
Real time (s): 1800.55
CPU time (s): 1800.02
CPU user time (s): 1798.52
CPU system time (s): 1.49777
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (Kb): 76644

Launcher Data (download as text)

Begin job on node81 on Sat Jun  3 06:10:45 UTC 2006


FILE ID= 40746-1149315045

PBS_JOBID= 308298

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  72b327feddced7495a083616b5e4ecd7

RANDOM SEED= 152453741


/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.248
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.19
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.248
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:      2055892 kB
MemFree:        953704 kB
Buffers:         45276 kB
Cached:         976624 kB
SwapCached:       2656 kB
Active:         179700 kB
Inactive:       851128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:        953704 kB
SwapTotal:     4096564 kB
SwapFree:      4085344 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          16520 kB
Slab:            57968 kB
Committed_AS:   289572 kB
PageTables:       1288 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node81 on Sat Jun  3 06:40:45 UTC 2006