Trace number 50311

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 1147.25 1148.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_1.opb
MD5SUM775c76356ae7fda7a41e5dcf917f66b2
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 variables51
Total number of constraints13
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 constraints12
Minimum length of a constraint1
Maximum length of a constraint50
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 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3819
Number of bits of the biggest sum of numbers12
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 51 variables and 13 constraints.
0.02	c No problem reductions applied in OPT. instance.
0.02	c	preprocess terminated. Elapsed time: 0.011
0.02	c After prepocess the problem consists of 50 variables and 12 constraints.
0.02	c Initial Lower Bound: 0
0.03	c Restart #1 #Var: 50 LB: 0 @ 0.021
0.05	c Restart #2 #Var: 50 LB: 0 @ 0.043
0.08	c Restart #3 #Var: 50 LB: 0 @ 0.075
0.14	c Restart #4 #Var: 50 LB: 0 @ 0.131
0.19	c Restart #5 #Var: 50 LB: 0 @ 0.186
0.28	c Restart #6 #Var: 50 LB: 0 @ 0.274
0.37	c Restart #7 #Var: 50 LB: 0 @ 0.368
0.49	c Restart #8 #Var: 50 LB: 0 @ 0.485
0.59	c Restart #9 #Var: 50 LB: 0 @ 0.588
0.72	c Restart #10 #Var: 50 LB: 0 @ 0.717
0.87	c Restart #11 #Var: 50 LB: 0 @ 0.868
1.06	c Restart #12 #Var: 50 LB: 0 @ 1.056
1.32	c Restart #13 #Var: 50 LB: 0 @ 1.31
1.73	c Restart #14 #Var: 50 LB: 0 @ 1.727
2.22	c Restart #15 #Var: 50 LB: 0 @ 2.217
2.59	c Restart #16 #Var: 50 LB: 0 @ 2.584
2.95	c Restart #17 #Var: 50 LB: 0 @ 2.947
3.27	c Restart #18 #Var: 50 LB: 0 @ 3.265
3.64	c Restart #19 #Var: 50 LB: 0 @ 3.63
4.01	c Restart #20 #Var: 50 LB: 0 @ 4.008
4.42	c Restart #21 #Var: 50 LB: 0 @ 4.417
4.94	c Restart #22 #Var: 50 LB: 0 @ 4.935
5.51	c Restart #23 #Var: 50 LB: 0 @ 5.501
6.14	c Restart #24 #Var: 50 LB: 0 @ 6.128
7.01	c Restart #25 #Var: 50 LB: 0 @ 6.998
7.78	c Restart #26 #Var: 50 LB: 0 @ 7.767
8.35	c Restart #27 #Var: 50 LB: 0 @ 8.338
8.96	c Restart #28 #Var: 50 LB: 0 @ 8.949
10.01	c Restart #29 #Var: 50 LB: 0 @ 9.994
10.90	c Restart #30 #Var: 50 LB: 0 @ 10.884
11.89	c Restart #31 #Var: 50 LB: 0 @ 11.882
12.93	c Restart #32 #Var: 50 LB: 0 @ 12.921
14.81	c Restart #33 #Var: 50 LB: 0 @ 14.795
16.41	c Restart #34 #Var: 50 LB: 0 @ 16.395
17.47	c Restart #35 #Var: 50 LB: 0 @ 17.453
19.25	c Restart #36 #Var: 50 LB: 0 @ 19.234
20.97	c Restart #37 #Var: 50 LB: 0 @ 20.951
22.47	c Restart #38 #Var: 50 LB: 0 @ 22.452
23.74	c Restart #39 #Var: 50 LB: 0 @ 23.72
24.93	c Restart #40 #Var: 50 LB: 0 @ 24.913
26.52	c Restart #41 #Var: 50 LB: 0 @ 26.503
28.50	c Restart #42 #Var: 50 LB: 0 @ 28.482
29.81	c Restart #43 #Var: 50 LB: 0 @ 29.787
31.21	c Restart #44 #Var: 50 LB: 0 @ 31.191
32.92	c Restart #45 #Var: 50 LB: 0 @ 32.906
34.40	c Restart #46 #Var: 50 LB: 0 @ 34.379
36.13	c Restart #47 #Var: 50 LB: 0 @ 36.109
38.08	c Restart #48 #Var: 50 LB: 0 @ 38.059
40.11	c Restart #49 #Var: 50 LB: 0 @ 40.084
42.56	c Restart #50 #Var: 50 LB: 0 @ 42.541
45.05	c Restart #51 #Var: 50 LB: 0 @ 45.026
47.16	c Restart #52 #Var: 50 LB: 0 @ 47.134
48.90	c Restart #53 #Var: 50 LB: 0 @ 48.878
50.97	c Restart #54 #Var: 50 LB: 0 @ 50.949
53.46	c Restart #55 #Var: 50 LB: 0 @ 53.437
55.16	c Restart #56 #Var: 50 LB: 0 @ 55.131
57.51	c Restart #57 #Var: 50 LB: 0 @ 57.488
60.07	c Restart #58 #Var: 50 LB: 0 @ 60.047
62.92	c Restart #59 #Var: 50 LB: 0 @ 62.89
67.26	c Restart #60 #Var: 50 LB: 0 @ 67.231
72.30	c Restart #61 #Var: 50 LB: 0 @ 72.269
76.08	c Restart #62 #Var: 50 LB: 0 @ 76.044
79.53	c Restart #63 #Var: 50 LB: 0 @ 79.496
84.41	c Restart #64 #Var: 50 LB: 0 @ 84.371
89.48	c Restart #65 #Var: 50 LB: 0 @ 89.445
95.96	c Restart #66 #Var: 50 LB: 0 @ 95.923
103.16	c Restart #67 #Var: 50 LB: 0 @ 103.12
105.32	c Restart #68 #Var: 50 LB: 0 @ 105.27
108.08	c Restart #69 #Var: 50 LB: 0 @ 108.04
111.64	c Restart #70 #Var: 50 LB: 0 @ 111.6
115.99	c Restart #71 #Var: 50 LB: 0 @ 115.95
119.55	c Restart #72 #Var: 50 LB: 0 @ 119.5
123.07	c Restart #73 #Var: 50 LB: 0 @ 123.02
127.46	c Restart #74 #Var: 50 LB: 0 @ 127.41
135.16	c Restart #75 #Var: 50 LB: 0 @ 135.1
145.63	c Restart #76 #Var: 50 LB: 0 @ 145.57
156.90	c Restart #77 #Var: 50 LB: 0 @ 156.85
164.41	c Restart #78 #Var: 50 LB: 0 @ 164.35
176.67	c Restart #79 #Var: 50 LB: 0 @ 176.61
189.12	c Restart #80 #Var: 50 LB: 0 @ 189.05
200.08	c Restart #81 #Var: 50 LB: 0 @ 200
210.85	c Restart #82 #Var: 50 LB: 0 @ 210.77
230.55	c Restart #83 #Var: 50 LB: 0 @ 230.47
246.51	c Restart #84 #Var: 50 LB: 0 @ 246.42
260.71	c Restart #85 #Var: 50 LB: 0 @ 260.62
278.62	c Restart #86 #Var: 50 LB: 0 @ 278.52
296.32	c Restart #87 #Var: 50 LB: 0 @ 296.22
307.94	c Restart #88 #Var: 50 LB: 0 @ 307.82
318.69	c Restart #89 #Var: 50 LB: 0 @ 318.54
331.29	c Restart #90 #Var: 50 LB: 0 @ 331.12
345.04	c Restart #91 #Var: 50 LB: 0 @ 344.86
358.24	c Restart #92 #Var: 50 LB: 0 @ 358.06
369.78	c Restart #93 #Var: 50 LB: 0 @ 369.23
379.87	c Restart #94 #Var: 50 LB: 0 @ 379.32
393.55	c Restart #95 #Var: 50 LB: 0 @ 393
405.82	c Restart #96 #Var: 50 LB: 0 @ 405.27
419.03	c Restart #97 #Var: 50 LB: 0 @ 418.47
432.74	c Restart #98 #Var: 50 LB: 0 @ 432.17
446.06	c Restart #99 #Var: 50 LB: 0 @ 445.49
457.92	c Restart #100 #Var: 50 LB: 0 @ 457.35
469.36	c Restart #101 #Var: 50 LB: 0 @ 468.78
483.08	c Restart #102 #Var: 50 LB: 0 @ 482.5
504.50	c Restart #103 #Var: 50 LB: 0 @ 503.91
519.01	c Restart #104 #Var: 50 LB: 0 @ 518.41
532.21	c Restart #105 #Var: 50 LB: 0 @ 531.62
540.45	c Restart #106 #Var: 50 LB: 0 @ 539.86
554.69	c Restart #107 #Var: 50 LB: 0 @ 554.09
568.46	c Restart #108 #Var: 50 LB: 0 @ 567.85
579.14	c Restart #109 #Var: 50 LB: 0 @ 578.53
590.03	c Restart #110 #Var: 50 LB: 0 @ 589.41
604.62	c Restart #111 #Var: 50 LB: 0 @ 604
621.68	c Restart #112 #Var: 50 LB: 0 @ 621.05
632.30	c Restart #113 #Var: 50 LB: 0 @ 631.68
644.21	c Restart #114 #Var: 50 LB: 0 @ 643.58
654.19	c Restart #115 #Var: 50 LB: 0 @ 653.55
665.70	c Restart #116 #Var: 50 LB: 0 @ 665.07
675.04	c Restart #117 #Var: 50 LB: 0 @ 674.4
681.94	c Restart #118 #Var: 50 LB: 0 @ 681.3
690.90	c Restart #119 #Var: 50 LB: 0 @ 690.26
702.20	c Restart #120 #Var: 50 LB: 0 @ 701.55
712.63	c Restart #121 #Var: 50 LB: 0 @ 711.98
723.76	c Restart #122 #Var: 50 LB: 0 @ 723.11
736.52	c Restart #123 #Var: 50 LB: 0 @ 735.86
749.06	c Restart #124 #Var: 50 LB: 0 @ 748.4
761.89	c Restart #125 #Var: 50 LB: 0 @ 761.22
770.73	c Restart #126 #Var: 50 LB: 0 @ 770.06
781.18	c Restart #127 #Var: 50 LB: 0 @ 780.51
794.33	c Restart #128 #Var: 50 LB: 0 @ 793.66
803.93	c Restart #129 #Var: 50 LB: 0 @ 803.25
814.12	c Restart #130 #Var: 50 LB: 0 @ 813.44
825.12	c Restart #131 #Var: 50 LB: 0 @ 824.44
834.15	c Restart #132 #Var: 50 LB: 0 @ 833.46
843.95	c Restart #133 #Var: 50 LB: 0 @ 843.26
855.99	c Restart #134 #Var: 50 LB: 0 @ 855.3
869.09	c Restart #135 #Var: 50 LB: 0 @ 868.4
881.53	c Restart #136 #Var: 50 LB: 0 @ 880.83
899.18	c Restart #137 #Var: 50 LB: 0 @ 898.47
916.39	c CHANGE Heuristic... 
916.39	c Restart #0 #Var: 50 LB: 0 @ 915.68
926.08	c Restart #1 #Var: 50 LB: 0 @ 925.37
937.14	c Restart #2 #Var: 50 LB: 0 @ 936.42
944.97	c Restart #3 #Var: 50 LB: 0 @ 944.25
951.87	c Restart #4 #Var: 50 LB: 0 @ 951.14
960.19	c Restart #5 #Var: 50 LB: 0 @ 959.47
969.00	c Restart #6 #Var: 50 LB: 0 @ 968.27
975.40	c Restart #7 #Var: 50 LB: 0 @ 974.67
984.36	c Restart #8 #Var: 50 LB: 0 @ 983.62
994.68	c Restart #9 #Var: 50 LB: 0 @ 993.95
1002.39	c Restart #10 #Var: 50 LB: 0 @ 1001.7
1009.37	c Restart #11 #Var: 50 LB: 0 @ 1008.6
1017.51	c Restart #12 #Var: 50 LB: 0 @ 1016.8
1023.38	c Restart #13 #Var: 50 LB: 0 @ 1022.6
1027.88	c Restart #14 #Var: 50 LB: 0 @ 1027.1
1032.06	c Restart #15 #Var: 50 LB: 0 @ 1031.3
1035.58	c Restart #16 #Var: 50 LB: 0 @ 1034.8
1040.08	c Restart #17 #Var: 50 LB: 0 @ 1039.3
1044.18	c Restart #18 #Var: 50 LB: 0 @ 1043.4
1047.86	c Restart #19 #Var: 50 LB: 0 @ 1047.1
1051.38	c Restart #20 #Var: 50 LB: 0 @ 1050.6
1055.01	c Restart #21 #Var: 50 LB: 0 @ 1054.2
1058.74	c Restart #22 #Var: 50 LB: 0 @ 1058
1062.65	c Restart #23 #Var: 50 LB: 0 @ 1061.9
1066.61	c Restart #24 #Var: 50 LB: 0 @ 1065.8
1070.55	c Restart #25 #Var: 50 LB: 0 @ 1069.8
1075.02	c Restart #26 #Var: 50 LB: 0 @ 1074.3
1079.64	c Restart #27 #Var: 50 LB: 0 @ 1078.9
1084.20	c Restart #28 #Var: 50 LB: 0 @ 1083.4
1089.56	c Restart #29 #Var: 50 LB: 0 @ 1088.8
1094.04	c Restart #30 #Var: 50 LB: 0 @ 1093.3
1098.29	c Restart #31 #Var: 50 LB: 0 @ 1097.5
1103.03	c Restart #32 #Var: 50 LB: 0 @ 1102.3
1108.67	c Restart #33 #Var: 50 LB: 0 @ 1107.9
1114.17	c Restart #34 #Var: 50 LB: 0 @ 1113.4
1119.08	c Restart #35 #Var: 50 LB: 0 @ 1118.3
1124.11	c Restart #36 #Var: 50 LB: 0 @ 1123.3
1129.18	c Restart #37 #Var: 50 LB: 0 @ 1128.4
1134.14	c Restart #38 #Var: 50 LB: 0 @ 1133.4
1139.14	c Restart #39 #Var: 50 LB: 0 @ 1138.4
1145.38	c Restart #40 #Var: 50 LB: 0 @ 1144.6

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/node77/watcher-50311-1149904557 -o ROOT/results/node77/solver-50311-1149904557 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node77/50311-1149904557/instance-50311-1149904557.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1666016/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=4620 CPUtime=0
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 172 0 0 0 0 0 0 0 19 0 1 0 256094861 4730880 143 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4157826389 0 0 4096 0 0 0 0 17 1 0 0
/proc/29355/statm: 1155 152 112 55 0 46 0

[startup+10.0029 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1586792/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=84032 CPUtime=9.98
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 20165 0 0 0 984 14 0 0 25 0 1 0 256094861 86048768 20072 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 21008 20072 294 55 0 19899 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 84032

[startup+20.0091 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1541992/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=129032 CPUtime=19.98
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 31369 0 0 0 1977 21 0 0 25 0 1 0 256094861 132128768 31257 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 32258 31257 294 55 0 31149 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 129032

[startup+30.0143 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1496104/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=174864 CPUtime=29.99
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 42819 0 0 0 2970 29 0 0 25 0 1 0 256094861 179060736 42692 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 43716 42692 294 55 0 42607 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 174864

[startup+40.0206 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1447720/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=223388 CPUtime=39.99
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 54916 0 0 0 3963 36 0 0 25 0 1 0 256094861 228749312 54771 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 55847 54771 294 55 0 54738 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 223388

[startup+50.0268 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1406312/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=265388 CPUtime=50
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 65278 0 0 0 4956 44 0 0 25 0 1 0 256094861 271757312 65100 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 66347 65100 294 55 0 65238 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 265388

[startup+60.033 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1363304/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=308476 CPUtime=59.99
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 76030 0 0 0 5949 50 0 0 25 0 1 0 256094861 315879424 75834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 77119 75834 294 55 0 76010 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 308476

[startup+70.0393 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1336488/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=335412 CPUtime=70
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 82731 0 0 0 6944 56 0 0 25 0 1 0 256094861 343461888 82508 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 83853 82508 294 55 0 82744 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 335412

[startup+80.0465 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1310376/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=361900 CPUtime=80
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 89338 0 0 0 7939 61 0 0 25 0 1 0 256094861 370585600 89030 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 90475 89030 294 55 0 89366 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 361900

[startup+90.0518 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1287400/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=385020 CPUtime=90
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 95158 0 0 0 8935 65 0 0 25 0 1 0 256094861 394260480 94767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 96255 94767 294 55 0 95146 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 385020

[startup+100.057 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1269224/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=403776 CPUtime=100.01
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 99777 0 0 0 9932 69 0 0 25 0 1 0 256094861 413466624 99296 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 100944 99296 294 55 0 99835 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 403776

[startup+110.063 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1234920/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=438280 CPUtime=110.01
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 108421 0 0 0 10926 75 0 0 25 0 1 0 256094861 448798720 107851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 109570 107851 294 55 0 108461 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 438280

[startup+120.069 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1203752/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=469604 CPUtime=120.01
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 116253 0 0 0 11921 80 0 0 25 0 1 0 256094861 480874496 115637 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1898539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 117401 115637 294 55 0 116292 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 469604

[startup+130.076 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1172200/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=501148 CPUtime=130.01
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 124130 0 0 0 12915 86 0 0 25 0 1 0 256094861 513175552 123506 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1898539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 125287 123506 294 55 0 124178 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 501148

[startup+140.082 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1156584/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=516784 CPUtime=140.02
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 128049 0 0 0 13911 91 0 0 25 0 1 0 256094861 529186816 127406 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 129196 127406 294 55 0 128087 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 516784

[startup+150.088 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1145384/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=528068 CPUtime=150.02
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 130857 0 0 0 14909 93 0 0 25 0 1 0 256094861 540741632 130207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534790 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 132017 130207 294 55 0 130908 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 528068

[startup+160.094 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1131816/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=541916 CPUtime=160.03
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 134320 0 0 0 15906 97 0 0 25 0 1 0 256094861 554921984 133584 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 135479 133584 294 55 0 134370 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 541916

[startup+170.101 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1119272/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=554544 CPUtime=170.02
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 137460 0 0 0 16902 100 0 0 25 0 1 0 256094861 567853056 136719 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 138636 136719 294 55 0 137527 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 554544

[startup+180.107 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1109160/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=564444 CPUtime=180.03
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 139973 0 0 0 17901 102 0 0 25 0 1 0 256094861 577990656 139232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 141111 139232 294 55 0 140002 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 564444

[startup+190.113 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1096744/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=576852 CPUtime=190.03
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 143077 0 0 0 18898 105 0 0 25 0 1 0 256094861 590696448 142336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 144213 142336 294 55 0 143104 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 576852

[startup+200.119 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355
/proc/meminfo: memFree=1083304/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=590188 CPUtime=200.04
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 146421 0 0 0 19895 109 0 0 25 0 1 0 256094861 604352512 145680 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 147547 145680 294 55 0 146438 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 590188

[startup+210.126 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 29355

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

Current children cumulated CPU time (s) 929.84
Current children cumulated vsize (Kb) 1698828

[startup+940.574 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=16296/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1699092 CPUtime=939.85
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 427431 0 0 0 93628 357 0 0 25 0 1 0 256094861 1739870208 420350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 424773 420350 294 55 0 423664 0
Current children cumulated CPU time (s) 939.85
Current children cumulated vsize (Kb) 1699092

[startup+950.58 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=15208/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1700148 CPUtime=949.85
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 427710 0 0 0 94628 357 0 0 25 0 1 0 256094861 1740951552 420629 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 425037 420629 294 55 0 423928 0
Current children cumulated CPU time (s) 949.85
Current children cumulated vsize (Kb) 1700148

[startup+960.586 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=15528/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1702220 CPUtime=959.84
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 428344 0 0 0 95627 357 0 0 25 0 1 0 256094861 1743073280 420939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534815 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 425555 420939 294 55 0 424446 0
Current children cumulated CPU time (s) 959.84
Current children cumulated vsize (Kb) 1702220

[startup+970.592 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=15912/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1703012 CPUtime=969.86
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 428637 0 0 0 96628 358 0 0 25 0 1 0 256094861 1743884288 421232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 425753 421232 294 55 0 424644 0
Current children cumulated CPU time (s) 969.86
Current children cumulated vsize (Kb) 1703012

[startup+980.598 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=15400/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1704992 CPUtime=979.85
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 429142 0 0 0 97627 358 0 0 25 0 1 0 256094861 1745911808 421737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 426248 421737 294 55 0 425139 0
Current children cumulated CPU time (s) 979.85
Current children cumulated vsize (Kb) 1704992

[startup+990.604 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=15592/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1706180 CPUtime=989.86
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 429496 0 0 0 98627 359 0 0 25 0 1 0 256094861 1747128320 422091 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 426545 422091 294 55 0 425436 0
Current children cumulated CPU time (s) 989.86
Current children cumulated vsize (Kb) 1706180

[startup+1000.61 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=14824/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1709308 CPUtime=999.86
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 430365 0 0 0 99626 360 0 0 25 0 1 0 256094861 1750331392 422634 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 427327 422634 294 55 0 426218 0
Current children cumulated CPU time (s) 999.86
Current children cumulated vsize (Kb) 1709308

[startup+1010.62 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=15656/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1712064 CPUtime=1009.86
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 431112 0 0 0 100625 361 0 0 25 0 1 0 256094861 1753153536 423219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 428016 423219 294 55 0 426907 0
Current children cumulated CPU time (s) 1009.86
Current children cumulated vsize (Kb) 1712064

[startup+1020.62 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=15656/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1714968 CPUtime=1019.87
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 431867 0 0 0 101624 363 0 0 25 0 1 0 256094861 1756127232 423974 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 428742 423974 294 55 0 427633 0
Current children cumulated CPU time (s) 1019.87
Current children cumulated vsize (Kb) 1714968

[startup+1030.63 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=15912/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1720644 CPUtime=1029.86
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 433347 0 0 0 102621 365 0 0 25 0 1 0 256094861 1761939456 425454 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 430161 425454 294 55 0 429052 0
Current children cumulated CPU time (s) 1029.86
Current children cumulated vsize (Kb) 1720644

[startup+1040.64 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=14888/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1726188 CPUtime=1039.87
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 434747 0 0 0 103621 366 0 0 25 0 1 0 256094861 1767616512 426854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 431547 426854 294 55 0 430438 0
Current children cumulated CPU time (s) 1039.87
Current children cumulated vsize (Kb) 1726188

[startup+1050.64 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=16104/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1736468 CPUtime=1049.87
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 437364 0 0 0 104619 368 0 0 25 0 1 0 256094861 1778143232 429309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 434117 429309 294 55 0 433008 0
Current children cumulated CPU time (s) 1049.87
Current children cumulated vsize (Kb) 1736468

[startup+1060.65 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=15080/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1745056 CPUtime=1059.88
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 439550 0 0 0 105618 370 0 0 25 0 1 0 256094861 1786937344 431495 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1898539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 436264 431495 294 55 0 435155 0
Current children cumulated CPU time (s) 1059.88
Current children cumulated vsize (Kb) 1745056

[startup+1070.65 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=14824/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1755904 CPUtime=1069.88
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 442286 0 0 0 106616 372 0 0 25 0 1 0 256094861 1798045696 434231 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 438976 434231 294 55 0 437867 0
Current children cumulated CPU time (s) 1069.88
Current children cumulated vsize (Kb) 1755904

[startup+1080.66 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=14824/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1764780 CPUtime=1079.88
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 444593 0 0 0 107614 374 0 0 25 0 1 0 256094861 1807134720 436537 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 441195 436537 294 55 0 440086 0
Current children cumulated CPU time (s) 1079.88
Current children cumulated vsize (Kb) 1764780

[startup+1090.67 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=15336/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1776896 CPUtime=1089.89
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 447749 0 0 0 108612 377 0 0 25 0 1 0 256094861 1819541504 439045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 444224 439045 294 55 0 443115 0
Current children cumulated CPU time (s) 1089.89
Current children cumulated vsize (Kb) 1776896

[startup+1100.67 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=15976/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1789832 CPUtime=1099.89
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 451069 0 0 0 109610 379 0 0 25 0 1 0 256094861 1832787968 442365 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 447458 442365 294 55 0 446349 0
Current children cumulated CPU time (s) 1099.89
Current children cumulated vsize (Kb) 1789832

[startup+1110.68 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=15208/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1798148 CPUtime=1109.9
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 453176 0 0 0 110608 382 0 0 25 0 1 0 256094861 1841303552 444472 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 449537 444472 294 55 0 448428 0
Current children cumulated CPU time (s) 1109.9
Current children cumulated vsize (Kb) 1798148

[startup+1120.68 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=14824/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1809284 CPUtime=1119.9
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 455957 0 0 0 111606 384 0 0 25 0 1 0 256094861 1852706816 447251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 452321 447251 294 55 0 451212 0
Current children cumulated CPU time (s) 1119.9
Current children cumulated vsize (Kb) 1809284

[startup+1130.69 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=15016/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1821804 CPUtime=1129.9
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 459157 0 0 0 112604 386 0 0 25 0 1 0 256094861 1865527296 450289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 455451 450289 294 55 0 454342 0
Current children cumulated CPU time (s) 1129.9
Current children cumulated vsize (Kb) 1821804

[startup+1140.7 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 30030
/proc/meminfo: memFree=15976/2055892 swapFree=4085316/4096564
[pid=29355] ppid=29353 vsize=1834608 CPUtime=1139.91
/proc/29355/stat : 29355 (bsolo) R 29353 29355 29309 0 -1 0 462384 0 0 0 113602 389 0 0 25 0 1 0 256094861 1878638592 453516 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29355/statm: 458652 453516 294 55 0 457543 0
Current children cumulated CPU time (s) 1139.91
Current children cumulated vsize (Kb) 1834608

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1148.05
CPU time (s): 1147.25
CPU user time (s): 1143.08
CPU system time (s): 4.16737
CPU usage (%): 99.9303
Max. virtual memory (cumulated for all children) (Kb): 1834608
The end

Launcher Data (download as text)

Begin job on node77 on Sat Jun 10 01:55:57 UTC 2006


FILE ID= 50311-1149904557

PBS_JOBID= 385292

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  775c76356ae7fda7a41e5dcf917f66b2

RANDOM SEED= 137115874


/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.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.16
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
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.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1666224 kB
Buffers:         40792 kB
Cached:         279368 kB
SwapCached:       2500 kB
Active:         109740 kB
Inactive:       219132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1666224 kB
SwapTotal:     4096564 kB
SwapFree:      4085316 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          16108 kB
Slab:            47468 kB
Committed_AS:   619004 kB
PageTables:       1276 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node77 on Sat Jun 10 02:15:05 UTC 2006