Trace number 50335

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/05Signal 1318.51 1318.91

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_1.opb
MD5SUMc7543821508efc06c2ce41424051ab2c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables71
Total number of constraints17
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint1
Maximum length of a constraint70
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1884
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5652
Number of bits of the biggest sum of numbers13
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 Initial problem consists of 71 variables and 17 constraints.
0.02	c No problem reductions applied in OPT. instance.
0.02	c	preprocess terminated. Elapsed time: 0.009
0.02	c After prepocess the problem consists of 70 variables and 16 constraints.
0.02	c Initial Lower Bound: 0
0.03	c Restart #1 #Var: 70 LB: 0 @ 0.023
0.06	c Restart #2 #Var: 70 LB: 0 @ 0.05
0.11	c Restart #3 #Var: 70 LB: 0 @ 0.098
0.18	c Restart #4 #Var: 70 LB: 0 @ 0.173
0.27	c Restart #5 #Var: 70 LB: 0 @ 0.259
0.39	c Restart #6 #Var: 70 LB: 0 @ 0.379
0.61	c Restart #7 #Var: 70 LB: 0 @ 0.598
0.90	c Restart #8 #Var: 70 LB: 0 @ 0.892
1.03	c Restart #9 #Var: 70 LB: 0 @ 1.018
1.18	c Restart #10 #Var: 70 LB: 0 @ 1.166
1.34	c Restart #11 #Var: 70 LB: 0 @ 1.327
1.52	c Restart #12 #Var: 70 LB: 0 @ 1.509
1.75	c Restart #13 #Var: 70 LB: 0 @ 1.738
1.99	c Restart #14 #Var: 70 LB: 0 @ 1.981
2.29	c Restart #15 #Var: 70 LB: 0 @ 2.276
2.63	c Restart #16 #Var: 70 LB: 0 @ 2.614
3.07	c Restart #17 #Var: 70 LB: 0 @ 3.056
3.61	c Restart #18 #Var: 70 LB: 0 @ 3.597
4.11	c Restart #19 #Var: 70 LB: 0 @ 4.096
4.49	c Restart #20 #Var: 70 LB: 0 @ 4.474
5.21	c Restart #21 #Var: 70 LB: 0 @ 5.196
5.99	c Restart #22 #Var: 70 LB: 0 @ 5.977
6.70	c Restart #23 #Var: 70 LB: 0 @ 6.688
7.29	c Restart #24 #Var: 70 LB: 0 @ 7.275
8.02	c Restart #25 #Var: 70 LB: 0 @ 8.009
8.79	c Restart #26 #Var: 70 LB: 0 @ 8.781
9.41	c Restart #27 #Var: 70 LB: 0 @ 9.396
10.22	c Restart #28 #Var: 70 LB: 0 @ 10.207
11.15	c Restart #29 #Var: 70 LB: 0 @ 11.13
12.00	c Restart #30 #Var: 70 LB: 0 @ 11.983
13.03	c Restart #31 #Var: 70 LB: 0 @ 13.013
13.93	c Restart #32 #Var: 70 LB: 0 @ 13.914
14.92	c Restart #33 #Var: 70 LB: 0 @ 14.899
15.73	c Restart #34 #Var: 70 LB: 0 @ 15.712
16.59	c Restart #35 #Var: 70 LB: 0 @ 16.568
17.79	c Restart #36 #Var: 70 LB: 0 @ 17.774
19.20	c Restart #37 #Var: 70 LB: 0 @ 19.184
20.49	c Restart #38 #Var: 70 LB: 0 @ 20.469
21.81	c Restart #39 #Var: 70 LB: 0 @ 21.793
23.59	c Restart #40 #Var: 70 LB: 0 @ 23.569
25.45	c Restart #41 #Var: 70 LB: 0 @ 25.433
27.66	c Restart #42 #Var: 70 LB: 0 @ 27.632
29.84	c Restart #43 #Var: 70 LB: 0 @ 29.818
33.34	c Restart #44 #Var: 70 LB: 0 @ 33.317
38.22	c Restart #45 #Var: 70 LB: 0 @ 38.192
47.86	c Restart #46 #Var: 70 LB: 0 @ 47.827
62.59	c Restart #47 #Var: 70 LB: 0 @ 62.554
73.81	c Restart #48 #Var: 70 LB: 0 @ 73.771
90.52	c Restart #49 #Var: 70 LB: 0 @ 90.482
98.09	c Restart #50 #Var: 70 LB: 0 @ 98.051
106.25	c Restart #51 #Var: 70 LB: 0 @ 106.21
121.80	c Restart #52 #Var: 70 LB: 0 @ 121.75
135.60	c Restart #53 #Var: 70 LB: 0 @ 135.55
146.16	c Restart #54 #Var: 70 LB: 0 @ 146.1
152.28	c Restart #55 #Var: 70 LB: 0 @ 152.22
161.65	c Restart #56 #Var: 70 LB: 0 @ 161.59
173.76	c Restart #57 #Var: 70 LB: 0 @ 173.7
182.82	c Restart #58 #Var: 70 LB: 0 @ 182.75
194.12	c Restart #59 #Var: 70 LB: 0 @ 194.06
200.96	c Restart #60 #Var: 70 LB: 0 @ 200.89
213.20	c Restart #61 #Var: 70 LB: 0 @ 213.13
228.75	c Restart #62 #Var: 70 LB: 0 @ 228.68
249.53	c Restart #63 #Var: 70 LB: 0 @ 249.45
262.14	c Restart #64 #Var: 70 LB: 0 @ 262.06
275.61	c Restart #65 #Var: 70 LB: 0 @ 275.53
288.26	c Restart #66 #Var: 70 LB: 0 @ 288.17
301.89	c Restart #67 #Var: 70 LB: 0 @ 301.79
309.97	c Restart #68 #Var: 70 LB: 0 @ 309.87
319.51	c Restart #69 #Var: 70 LB: 0 @ 319.41
327.21	c Restart #70 #Var: 70 LB: 0 @ 327.11
332.58	c Restart #71 #Var: 70 LB: 0 @ 332.47
337.83	c Restart #72 #Var: 70 LB: 0 @ 337.73
344.50	c Restart #73 #Var: 70 LB: 0 @ 344.4
354.51	c Restart #74 #Var: 70 LB: 0 @ 354.4
369.03	c Restart #75 #Var: 70 LB: 0 @ 368.91
383.48	c Restart #76 #Var: 70 LB: 0 @ 383.36
402.02	c Restart #77 #Var: 70 LB: 0 @ 401.89
415.65	c Restart #78 #Var: 70 LB: 0 @ 415.52
434.56	c Restart #79 #Var: 70 LB: 0 @ 434.43
458.64	c Restart #80 #Var: 70 LB: 0 @ 458.5
479.80	c Restart #81 #Var: 70 LB: 0 @ 479.65
495.36	c Restart #82 #Var: 70 LB: 0 @ 495.21
510.69	c Restart #83 #Var: 70 LB: 0 @ 510.54
526.37	c Restart #84 #Var: 70 LB: 0 @ 526.21
536.58	c Restart #85 #Var: 70 LB: 0 @ 536.42
549.11	c Restart #86 #Var: 70 LB: 0 @ 548.95
567.62	c Restart #87 #Var: 70 LB: 0 @ 567.45
581.61	c Restart #88 #Var: 70 LB: 0 @ 581.43
596.45	c Restart #89 #Var: 70 LB: 0 @ 596.27
606.68	c Restart #90 #Var: 70 LB: 0 @ 606.49
625.95	c Restart #91 #Var: 70 LB: 0 @ 625.76
652.08	c Restart #92 #Var: 70 LB: 0 @ 651.89
666.98	c Restart #93 #Var: 70 LB: 0 @ 666.78
694.94	c Restart #94 #Var: 70 LB: 0 @ 694.73
734.51	c Restart #95 #Var: 70 LB: 0 @ 734.3
757.55	c Restart #96 #Var: 70 LB: 0 @ 757.33
779.07	c Restart #97 #Var: 70 LB: 0 @ 778.84
800.48	c Restart #98 #Var: 70 LB: 0 @ 800.25
823.86	c Restart #99 #Var: 70 LB: 0 @ 823.62
852.22	c Restart #100 #Var: 70 LB: 0 @ 851.97
870.75	c Restart #101 #Var: 70 LB: 0 @ 870.5
885.73	c Restart #102 #Var: 70 LB: 0 @ 885.48
898.17	c Restart #103 #Var: 70 LB: 0 @ 897.91
909.18	c CHANGE Heuristic... 
909.18	c Restart #0 #Var: 70 LB: 0 @ 908.92
914.46	c Restart #1 #Var: 70 LB: 0 @ 914.2
919.32	c Restart #2 #Var: 70 LB: 0 @ 919.05
923.32	c Restart #3 #Var: 70 LB: 0 @ 923.05
928.25	c Restart #4 #Var: 70 LB: 0 @ 927.98
931.60	c Restart #5 #Var: 70 LB: 0 @ 931.33
935.08	c Restart #6 #Var: 70 LB: 0 @ 934.81
938.22	c Restart #7 #Var: 70 LB: 0 @ 937.94
941.73	c Restart #8 #Var: 70 LB: 0 @ 941.46
945.11	c Restart #9 #Var: 70 LB: 0 @ 944.84
948.13	c Restart #10 #Var: 70 LB: 0 @ 947.85
953.69	c Restart #11 #Var: 70 LB: 0 @ 953.42
959.09	c Restart #12 #Var: 70 LB: 0 @ 958.81
965.93	c Restart #13 #Var: 70 LB: 0 @ 965.66
970.62	c Restart #14 #Var: 70 LB: 0 @ 970.34
978.53	c Restart #15 #Var: 70 LB: 0 @ 978.25
983.08	c Restart #16 #Var: 70 LB: 0 @ 982.79
987.25	c Restart #17 #Var: 70 LB: 0 @ 986.96
991.08	c Restart #18 #Var: 70 LB: 0 @ 990.79
1001.17	c Restart #19 #Var: 70 LB: 0 @ 1000.9
1010.42	c Restart #20 #Var: 70 LB: 0 @ 1010.1
1016.45	c Restart #21 #Var: 70 LB: 0 @ 1016.2
1022.23	c Restart #22 #Var: 70 LB: 0 @ 1021.9
1027.61	c Restart #23 #Var: 70 LB: 0 @ 1027.3
1031.76	c Restart #24 #Var: 70 LB: 0 @ 1031.5
1039.93	c Restart #25 #Var: 70 LB: 0 @ 1039.6
1047.24	c Restart #26 #Var: 70 LB: 0 @ 1046.9
1052.45	c Restart #27 #Var: 70 LB: 0 @ 1052.1
1057.58	c Restart #28 #Var: 70 LB: 0 @ 1057.3
1063.82	c Restart #29 #Var: 70 LB: 0 @ 1063.5
1068.45	c Restart #30 #Var: 70 LB: 0 @ 1068.1
1072.80	c Restart #31 #Var: 70 LB: 0 @ 1072.5
1081.66	c Restart #32 #Var: 70 LB: 0 @ 1081.3
1090.12	c Restart #33 #Var: 70 LB: 0 @ 1089.8
1098.39	c Restart #34 #Var: 70 LB: 0 @ 1098.1
1104.70	c Restart #35 #Var: 70 LB: 0 @ 1104.4
1109.44	c Restart #36 #Var: 70 LB: 0 @ 1109.1
1113.84	c Restart #37 #Var: 70 LB: 0 @ 1113.5
1118.44	c Restart #38 #Var: 70 LB: 0 @ 1118.1
1123.59	c Restart #39 #Var: 70 LB: 0 @ 1123.3
1130.23	c Restart #40 #Var: 70 LB: 0 @ 1129.9
1137.06	c Restart #41 #Var: 70 LB: 0 @ 1136.7
1143.34	c Restart #42 #Var: 70 LB: 0 @ 1143
1148.17	c Restart #43 #Var: 70 LB: 0 @ 1147.8
1153.51	c Restart #44 #Var: 70 LB: 0 @ 1153.2
1157.99	c Restart #45 #Var: 70 LB: 0 @ 1157.7
1162.77	c Restart #46 #Var: 70 LB: 0 @ 1162.4
1167.61	c Restart #47 #Var: 70 LB: 0 @ 1167.3
1172.01	c Restart #48 #Var: 70 LB: 0 @ 1171.7
1176.06	c Restart #49 #Var: 70 LB: 0 @ 1175.7
1180.70	c Restart #50 #Var: 70 LB: 0 @ 1180.4
1185.95	c Restart #51 #Var: 70 LB: 0 @ 1185.6
1191.38	c Restart #52 #Var: 70 LB: 0 @ 1191
1198.05	c Restart #53 #Var: 70 LB: 0 @ 1197.7
1208.03	c Restart #54 #Var: 70 LB: 0 @ 1207.7
1218.15	c Restart #55 #Var: 70 LB: 0 @ 1217.8
1224.67	c Restart #56 #Var: 70 LB: 0 @ 1224.3
1231.15	c Restart #57 #Var: 70 LB: 0 @ 1230.8
1239.63	c Restart #58 #Var: 70 LB: 0 @ 1239.3
1247.06	c Restart #59 #Var: 70 LB: 0 @ 1246.7
1253.40	c Restart #60 #Var: 70 LB: 0 @ 1253
1260.71	c Restart #61 #Var: 70 LB: 0 @ 1260.4
1267.84	c Restart #62 #Var: 70 LB: 0 @ 1267.5
1274.94	c Restart #63 #Var: 70 LB: 0 @ 1274.6
1283.49	c Restart #64 #Var: 70 LB: 0 @ 1283.1
1291.15	c Restart #65 #Var: 70 LB: 0 @ 1290.8
1300.76	c Restart #66 #Var: 70 LB: 0 @ 1300.4
1314.17	c Restart #67 #Var: 70 LB: 0 @ 1313.8

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

runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node87/watcher-50335-1149934139 -o ROOT/results/node87/solver-50335-1149934139 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/50335-1149934139/instance-50335-1149934139.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1620728/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=2900 CPUtime=0
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 42 0 0 0 0 0 0 0 19 0 1 0 259053075 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11239867 0 0 4096 0 0 0 0 17 1 0 0
/proc/26048/statm: 725 27 19 55 0 38 0

[startup+10.0028 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1525064/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=100460 CPUtime=9.97
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 24276 0 0 0 984 13 0 0 25 0 1 0 259053075 102871040 24178 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 0 0 0
/proc/26048/statm: 25115 24178 294 55 0 24006 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 100460

[startup+20.0089 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1445384/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=180404 CPUtime=19.98
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 44182 0 0 0 1972 26 0 0 25 0 1 0 259053075 184733696 44065 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 45101 44065 294 55 0 43992 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 180404

[startup+30.0141 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1393736/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=232000 CPUtime=29.98
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 57085 0 0 0 2962 36 0 0 25 0 1 0 259053075 237568000 56957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 58000 56957 294 55 0 56891 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 232000

[startup+40.0203 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1368392/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=257504 CPUtime=39.99
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 63413 0 0 0 3958 41 0 0 25 0 1 0 259053075 263684096 63280 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 64376 63280 294 55 0 63267 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 257504

[startup+50.0264 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1360136/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=265896 CPUtime=49.98
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 65507 0 0 0 4956 42 0 0 25 0 1 0 259053075 272277504 65366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11675691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 66474 65366 294 55 0 65365 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 265896

[startup+60.0326 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1353544/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=272364 CPUtime=59.99
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 67142 0 0 0 5955 44 0 0 25 0 1 0 259053075 278900736 67001 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 68091 67001 294 55 0 66982 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 272364

[startup+70.0387 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1342280/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=283768 CPUtime=69.99
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 69953 0 0 0 6952 47 0 0 25 0 1 0 259053075 290578432 69808 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 70942 69808 294 55 0 69833 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 283768

[startup+80.0449 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1335816/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=290312 CPUtime=80
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 71585 0 0 0 7951 49 0 0 25 0 1 0 259053075 297279488 71433 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 72578 71433 294 55 0 71469 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 290312

[startup+90.05 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1328968/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=297228 CPUtime=90
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 73294 0 0 0 8949 51 0 0 25 0 1 0 259053075 304361472 73138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550818 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 74307 73138 294 55 0 73198 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 297228

[startup+100.056 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1314248/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=311884 CPUtime=100.01
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 76960 0 0 0 9946 55 0 0 25 0 1 0 259053075 319369216 76804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 77971 76804 294 55 0 76862 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 311884

[startup+110.062 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1301192/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=324952 CPUtime=110
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 80214 0 0 0 10941 59 0 0 25 0 1 0 259053075 332750848 80056 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 81238 80056 294 55 0 80129 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 324952

[startup+120.069 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1294728/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=331420 CPUtime=120.01
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 81824 0 0 0 11940 61 0 0 25 0 1 0 259053075 339374080 81666 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 82855 81666 294 55 0 81746 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 331420

[startup+130.075 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1287432/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=338948 CPUtime=130.02
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 83694 0 0 0 12937 65 0 0 25 0 1 0 259053075 347082752 83517 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533970 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 84737 83517 294 55 0 83628 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 338948

[startup+140.081 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1276872/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=349376 CPUtime=140.02
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 86315 0 0 0 13935 67 0 0 25 0 1 0 259053075 357761024 86138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 87344 86138 294 55 0 86235 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 349376

[startup+150.087 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1259400/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=366932 CPUtime=150.03
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 90686 0 0 0 14931 72 0 0 25 0 1 0 259053075 375738368 90508 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11673757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 91733 90509 294 55 0 90624 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 366932

[startup+160.093 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1244360/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=381956 CPUtime=160.02
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 94432 0 0 0 15926 76 0 0 25 0 1 0 259053075 391122944 94248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 95489 94248 294 55 0 94380 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 381956

[startup+170.099 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1233224/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=393044 CPUtime=170.03
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 97212 0 0 0 16924 79 0 0 25 0 1 0 259053075 402477056 97027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 98261 97027 294 55 0 97152 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 393044

[startup+180.105 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1219208/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=407116 CPUtime=180.03
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 100720 0 0 0 17921 82 0 0 25 0 1 0 259053075 416886784 100530 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 101779 100530 294 55 0 100670 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 407116

[startup+190.112 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1204808/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=421436 CPUtime=190.03
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 104318 0 0 0 18918 85 0 0 25 0 1 0 259053075 431550464 104122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 105359 104122 294 55 0 104250 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 421436

[startup+200.118 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=1189320/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=437036 CPUtime=200.04
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 108182 0 0 0 19915 89 0 0 25 0 1 0 259053075 447524864 107986 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 109259 107986 294 55 0 108150 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 437036

[startup+210.124 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048

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

Current children cumulated CPU time (s) 1100.34
Current children cumulated vsize (Kb) 1439952

[startup+1110.67 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=175752/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=1455716 CPUtime=1110.34
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 363934 0 0 0 110696 338 0 0 25 0 1 0 259053075 1490653184 360859 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 363929 360859 294 55 0 362820 0
Current children cumulated CPU time (s) 1110.34
Current children cumulated vsize (Kb) 1455716

[startup+1120.67 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=155400/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=1475996 CPUtime=1120.35
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 369013 0 0 0 111693 342 0 0 25 0 1 0 259053075 1511419904 365937 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 368999 365937 294 55 0 367890 0
Current children cumulated CPU time (s) 1120.35
Current children cumulated vsize (Kb) 1475996

[startup+1130.68 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=139848/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=1491444 CPUtime=1130.35
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 372888 0 0 0 112690 345 0 0 25 0 1 0 259053075 1527238656 369812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 372861 369812 294 55 0 371752 0
Current children cumulated CPU time (s) 1130.35
Current children cumulated vsize (Kb) 1491444

[startup+1140.69 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=124616/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=1506504 CPUtime=1140.35
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 376701 0 0 0 113686 349 0 0 25 0 1 0 259053075 1542660096 373624 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11675691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 376626 373624 294 55 0 375517 0
Current children cumulated CPU time (s) 1140.35
Current children cumulated vsize (Kb) 1506504

[startup+1150.69 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=105544/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=1525900 CPUtime=1150.35
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 381603 0 0 0 114683 352 0 0 25 0 1 0 259053075 1562521600 378364 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 381475 378364 294 55 0 380366 0
Current children cumulated CPU time (s) 1150.35
Current children cumulated vsize (Kb) 1525900

[startup+1160.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=82504/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=1548916 CPUtime=1160.35
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 387363 0 0 0 115679 356 0 0 25 0 1 0 259053075 1586089984 384124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 387229 384124 294 55 0 386120 0
Current children cumulated CPU time (s) 1160.35
Current children cumulated vsize (Kb) 1548916

[startup+1170.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=57864/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=1573468 CPUtime=1170.35
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 393518 0 0 0 116674 361 0 0 25 0 1 0 259053075 1611231232 390279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11675691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 393367 390279 294 55 0 392258 0
Current children cumulated CPU time (s) 1170.35
Current children cumulated vsize (Kb) 1573468

[startup+1180.71 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=32456/2055888 swapFree=4085404/4096564
[pid=26048] ppid=26046 vsize=1598712 CPUtime=1180.37
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 399839 0 0 0 117672 365 0 0 25 0 1 0 259053075 1637081088 396598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 399678 396598 294 55 0 398569 0
Current children cumulated CPU time (s) 1180.37
Current children cumulated vsize (Kb) 1598712

[startup+1190.72 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=15368/2055888 swapFree=4085380/4096564
[pid=26048] ppid=26046 vsize=1622796 CPUtime=1190.37
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 405872 0 0 0 118669 368 0 0 25 0 1 0 259053075 1661743104 402631 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 405699 402631 294 55 0 404590 0
Current children cumulated CPU time (s) 1190.37
Current children cumulated vsize (Kb) 1622796

[startup+1200.72 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=16072/2055888 swapFree=4085380/4096564
[pid=26048] ppid=26046 vsize=1639208 CPUtime=1200.37
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 409985 0 0 0 119666 371 0 0 25 0 1 0 259053075 1678548992 406659 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 409802 406659 294 55 0 408693 0
Current children cumulated CPU time (s) 1200.37
Current children cumulated vsize (Kb) 1639208

[startup+1210.73 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=14856/2055888 swapFree=4085380/4096564
[pid=26048] ppid=26046 vsize=1649636 CPUtime=1210.37
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 412604 0 0 0 120662 375 0 0 25 0 1 0 259053075 1689227264 409278 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 412409 409278 294 55 0 411300 0
Current children cumulated CPU time (s) 1210.37
Current children cumulated vsize (Kb) 1649636

[startup+1220.74 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=15432/2055888 swapFree=4085324/4096564
[pid=26048] ppid=26046 vsize=1664424 CPUtime=1220.38
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 416339 0 0 0 121659 379 0 0 25 0 1 0 259053075 1704370176 413013 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11675691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 416106 413013 294 55 0 414997 0
Current children cumulated CPU time (s) 1220.38
Current children cumulated vsize (Kb) 1664424

[startup+1230.74 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=15688/2055888 swapFree=4085324/4096564
[pid=26048] ppid=26046 vsize=1687776 CPUtime=1230.38
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 422195 0 0 0 122655 383 0 0 25 0 1 0 259053075 1728282624 418782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 421944 418782 294 55 0 420835 0
Current children cumulated CPU time (s) 1230.38
Current children cumulated vsize (Kb) 1687776

[startup+1240.75 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=15880/2055888 swapFree=4085324/4096564
[pid=26048] ppid=26046 vsize=1702528 CPUtime=1240.39
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 425911 0 0 0 123652 387 0 0 25 0 1 0 259053075 1743388672 422250 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 425632 422250 294 55 0 424523 0
Current children cumulated CPU time (s) 1240.39
Current children cumulated vsize (Kb) 1702528

[startup+1250.75 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=15176/2055888 swapFree=4085324/4096564
[pid=26048] ppid=26046 vsize=1724708 CPUtime=1250.39
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 431510 0 0 0 124648 391 0 0 25 0 1 0 259053075 1766100992 427849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 431177 427849 294 55 0 430068 0
Current children cumulated CPU time (s) 1250.39
Current children cumulated vsize (Kb) 1724708

[startup+1260.76 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=14984/2055888 swapFree=4085324/4096564
[pid=26048] ppid=26046 vsize=1744704 CPUtime=1260.39
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 436537 0 0 0 125644 395 0 0 25 0 1 0 259053075 1786576896 432872 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 436176 432872 294 55 0 435067 0
Current children cumulated CPU time (s) 1260.39
Current children cumulated vsize (Kb) 1744704

[startup+1270.77 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=16072/2055888 swapFree=4085324/4096564
[pid=26048] ppid=26046 vsize=1766624 CPUtime=1270.4
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 442060 0 0 0 126641 399 0 0 25 0 1 0 259053075 1809022976 438394 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 441656 438394 294 55 0 440547 0
Current children cumulated CPU time (s) 1270.4
Current children cumulated vsize (Kb) 1766624

[startup+1280.77 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=15240/2055888 swapFree=4085324/4096564
[pid=26048] ppid=26046 vsize=1784720 CPUtime=1280.4
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 446573 0 0 0 127638 402 0 0 25 0 1 0 259053075 1827553280 442906 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11675691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 446180 442906 294 55 0 445071 0
Current children cumulated CPU time (s) 1280.4
Current children cumulated vsize (Kb) 1784720

[startup+1290.78 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=16008/2055888 swapFree=4085324/4096564
[pid=26048] ppid=26046 vsize=1804804 CPUtime=1290.4
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 451643 0 0 0 128634 406 0 0 25 0 1 0 259053075 1848119296 447814 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529334 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 451201 447814 294 55 0 450092 0
Current children cumulated CPU time (s) 1290.4
Current children cumulated vsize (Kb) 1804804

[startup+1300.79 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=16200/2055888 swapFree=4085324/4096564
[pid=26048] ppid=26046 vsize=1820576 CPUtime=1300.4
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 455555 0 0 0 129631 409 0 0 25 0 1 0 259053075 1864269824 451720 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 455144 451720 294 55 0 454035 0
Current children cumulated CPU time (s) 1300.4
Current children cumulated vsize (Kb) 1820576

[startup+1310.79 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 26048
/proc/meminfo: memFree=16200/2055888 swapFree=4085324/4096564
[pid=26048] ppid=26046 vsize=1833044 CPUtime=1310.41
/proc/26048/stat : 26048 (bsolo) R 26046 26048 26002 0 -1 0 458736 0 0 0 130629 412 0 0 25 0 1 0 259053075 1877037056 454819 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26048/statm: 458261 454819 294 55 0 457152 0
Current children cumulated CPU time (s) 1310.41
Current children cumulated vsize (Kb) 1833044

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1318.91
CPU time (s): 1318.51
CPU user time (s): 1314.11
CPU system time (s): 4.40833
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (Kb): 1833044
The end

Launcher Data (download as text)

Begin job on node87 on Sat Jun 10 10:08:59 UTC 2006


FILE ID= 50335-1149934139

PBS_JOBID= 385604

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/50335-1149934139/instance-50335-1149934139.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node87/watcher-50335-1149934139 -o ROOT/results/node87/solver-50335-1149934139 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/50335-1149934139/instance-50335-1149934139.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  c7543821508efc06c2ce41424051ab2c

RANDOM SEED= 787611392


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


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1620872 kB
Buffers:         39132 kB
Cached:         323980 kB
SwapCached:       2388 kB
Active:         125924 kB
Inactive:       245908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1620872 kB
SwapTotal:     4096564 kB
SwapFree:      4085404 kB
Dirty:             208 kB
Writeback:           0 kB
Mapped:          16832 kB
Slab:            49836 kB
Committed_AS:   609892 kB
PageTables:       1280 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node87 on Sat Jun 10 10:30:58 UTC 2006