Trace number 46251

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 NameAnswerCPU timeWall clock time
bsolo 2006/05? 1800.02 1800.76

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-51-50.opb
MD5SUM60bac2da31df829d5469efd732e15a50
Bench CategorySATUNSAT-SMALLINT (no 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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2550
Total number of constraints63801
Number of constraints which are clauses63801
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint50
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
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.02	c Time Limit set via PBTIMEOUT to 1800
0.05	c INFO: OSL Context initialized.
0.95	c Initial problem consists of 2550 variables and 63801 constraints.
1.63	c Using non-optimization problem switches.
1.63	c No problem reductions applied in OPT. instance.
1.63	c	preprocess terminated. Elapsed time: 1.592
1.63	c After prepocess the problem consists of 2550 variables and 63801 constraints.
1.78	c Restart #1 #Var: 2550 LB: 0 @ 1.748
2.22	c Restart #2 #Var: 2550 LB: 0 @ 2.183
2.87	c Restart #3 #Var: 2550 LB: 0 @ 2.835
3.73	c Restart #4 #Var: 2550 LB: 0 @ 3.691
4.74	c Restart #5 #Var: 2550 LB: 0 @ 4.701
5.92	c Restart #6 #Var: 2550 LB: 0 @ 5.878
7.42	c Restart #7 #Var: 2550 LB: 0 @ 7.378
8.95	c Restart #8 #Var: 2550 LB: 0 @ 8.908
10.66	c Restart #9 #Var: 2550 LB: 0 @ 10.613
12.92	c Restart #10 #Var: 2550 LB: 0 @ 12.878
15.33	c Restart #11 #Var: 2550 LB: 0 @ 15.284
18.06	c Restart #12 #Var: 2550 LB: 0 @ 18.016
21.01	c Restart #13 #Var: 2550 LB: 0 @ 20.959
24.19	c Restart #14 #Var: 2550 LB: 0 @ 24.137
27.49	c Restart #15 #Var: 2550 LB: 0 @ 27.44
30.97	c Restart #16 #Var: 2550 LB: 0 @ 30.919
34.74	c Restart #17 #Var: 2550 LB: 0 @ 34.687
38.98	c Restart #18 #Var: 2550 LB: 0 @ 38.93
43.74	c Restart #19 #Var: 2550 LB: 0 @ 43.685
48.72	c Restart #20 #Var: 2550 LB: 0 @ 48.662
54.22	c Restart #21 #Var: 2550 LB: 0 @ 54.163
59.88	c Restart #22 #Var: 2550 LB: 0 @ 59.818
65.68	c Restart #23 #Var: 2550 LB: 0 @ 65.616
71.82	c Restart #24 #Var: 2550 LB: 0 @ 71.753
78.03	c Restart #25 #Var: 2550 LB: 0 @ 77.961
84.34	c Restart #26 #Var: 2550 LB: 0 @ 84.271
90.82	c Restart #27 #Var: 2550 LB: 0 @ 90.748
97.43	c Restart #28 #Var: 2550 LB: 0 @ 97.356
103.77	c Restart #29 #Var: 2550 LB: 0 @ 103.69
110.56	c Restart #30 #Var: 2550 LB: 0 @ 110.48
117.69	c Restart #31 #Var: 2550 LB: 0 @ 117.61
125.38	c Restart #32 #Var: 2550 LB: 0 @ 125.3
132.86	c Restart #33 #Var: 2550 LB: 0 @ 132.77
141.14	c Restart #34 #Var: 2550 LB: 0 @ 141.05
149.61	c Restart #35 #Var: 2550 LB: 0 @ 149.51
158.56	c Restart #36 #Var: 2550 LB: 0 @ 158.46
167.40	c Restart #37 #Var: 2550 LB: 0 @ 167.29
176.13	c Restart #38 #Var: 2550 LB: 0 @ 176.02
185.27	c Restart #39 #Var: 2550 LB: 0 @ 185.16
194.62	c Restart #40 #Var: 2550 LB: 0 @ 194.5
204.50	c Restart #41 #Var: 2550 LB: 0 @ 204.38
214.07	c Restart #42 #Var: 2550 LB: 0 @ 213.95
222.98	c Restart #43 #Var: 2550 LB: 0 @ 222.86
232.46	c Restart #44 #Var: 2550 LB: 0 @ 232.34
242.53	c Restart #45 #Var: 2550 LB: 0 @ 242.4
253.13	c Restart #46 #Var: 2550 LB: 0 @ 253
263.76	c Restart #47 #Var: 2550 LB: 0 @ 263.63
274.67	c Restart #48 #Var: 2550 LB: 0 @ 274.53
286.10	c Restart #49 #Var: 2550 LB: 0 @ 285.96
297.86	c Restart #50 #Var: 2550 LB: 0 @ 297.71
309.63	c Restart #51 #Var: 2550 LB: 0 @ 309.47
322.66	c Restart #52 #Var: 2550 LB: 0 @ 322.5
335.53	c Restart #53 #Var: 2550 LB: 0 @ 335.37
348.60	c Restart #54 #Var: 2550 LB: 0 @ 348.43
361.65	c Restart #55 #Var: 2550 LB: 0 @ 361.47
374.75	c Restart #56 #Var: 2550 LB: 0 @ 374.57
388.62	c Restart #57 #Var: 2550 LB: 0 @ 388.44
403.07	c Restart #58 #Var: 2550 LB: 0 @ 402.89
418.22	c Restart #59 #Var: 2550 LB: 0 @ 418.02
433.45	c Restart #60 #Var: 2550 LB: 0 @ 433.26
448.94	c Restart #61 #Var: 2550 LB: 0 @ 448.73
465.42	c Restart #62 #Var: 2550 LB: 0 @ 465.21
482.31	c Restart #63 #Var: 2550 LB: 0 @ 482.09
499.27	c Restart #64 #Var: 2550 LB: 0 @ 499.05
516.12	c Restart #65 #Var: 2550 LB: 0 @ 515.89
532.63	c Restart #66 #Var: 2550 LB: 0 @ 532.4
549.07	c Restart #67 #Var: 2550 LB: 0 @ 548.84
566.25	c Restart #68 #Var: 2550 LB: 0 @ 566.01
582.68	c Restart #69 #Var: 2550 LB: 0 @ 582.43
600.41	c Restart #70 #Var: 2550 LB: 0 @ 600.15
617.32	c Restart #71 #Var: 2550 LB: 0 @ 617.05
634.59	c Restart #72 #Var: 2550 LB: 0 @ 634.32
651.57	c Restart #73 #Var: 2550 LB: 0 @ 651.29
668.76	c Restart #74 #Var: 2550 LB: 0 @ 668.48
687.19	c Restart #75 #Var: 2550 LB: 0 @ 686.9
705.37	c Restart #76 #Var: 2550 LB: 0 @ 705.07
723.61	c Restart #77 #Var: 2550 LB: 0 @ 723.31
742.62	c Restart #78 #Var: 2550 LB: 0 @ 742.31
762.52	c Restart #79 #Var: 2550 LB: 0 @ 762.2
782.91	c Restart #80 #Var: 2550 LB: 0 @ 782.59
801.85	c Restart #81 #Var: 2550 LB: 0 @ 801.52
821.44	c Restart #82 #Var: 2550 LB: 0 @ 821.11
842.34	c Restart #83 #Var: 2550 LB: 0 @ 841.99
862.86	c Restart #84 #Var: 2550 LB: 0 @ 862.5
883.74	c Restart #85 #Var: 2550 LB: 0 @ 883.38
905.01	c CHANGE Heuristic... 
905.01	c Restart #0 #Var: 2550 LB: 0 @ 904.64
905.29	c Restart #1 #Var: 2550 LB: 0 @ 904.92
905.84	c Restart #2 #Var: 2550 LB: 0 @ 905.47
906.61	c Restart #3 #Var: 2550 LB: 0 @ 906.24
907.52	c Restart #4 #Var: 2550 LB: 0 @ 907.16
908.68	c Restart #5 #Var: 2550 LB: 0 @ 908.32
910.18	c Restart #6 #Var: 2550 LB: 0 @ 909.81
911.86	c Restart #7 #Var: 2550 LB: 0 @ 911.49
913.73	c Restart #8 #Var: 2550 LB: 0 @ 913.36
915.94	c Restart #9 #Var: 2550 LB: 0 @ 915.57
918.24	c Restart #10 #Var: 2550 LB: 0 @ 917.87
921.06	c Restart #11 #Var: 2550 LB: 0 @ 920.69
924.07	c Restart #12 #Var: 2550 LB: 0 @ 923.69
927.23	c Restart #13 #Var: 2550 LB: 0 @ 926.86
930.51	c Restart #14 #Var: 2550 LB: 0 @ 930.14
933.92	c Restart #15 #Var: 2550 LB: 0 @ 933.54
937.66	c Restart #16 #Var: 2550 LB: 0 @ 937.28
941.79	c Restart #17 #Var: 2550 LB: 0 @ 941.4
945.85	c Restart #18 #Var: 2550 LB: 0 @ 945.47
950.39	c Restart #19 #Var: 2550 LB: 0 @ 950.01
954.97	c Restart #20 #Var: 2550 LB: 0 @ 954.58
959.95	c Restart #21 #Var: 2550 LB: 0 @ 959.56
965.41	c Restart #22 #Var: 2550 LB: 0 @ 965.02
970.44	c Restart #23 #Var: 2550 LB: 0 @ 970.05
975.30	c Restart #24 #Var: 2550 LB: 0 @ 974.91
980.58	c Restart #25 #Var: 2550 LB: 0 @ 980.19
986.13	c Restart #26 #Var: 2550 LB: 0 @ 985.73
992.28	c Restart #27 #Var: 2550 LB: 0 @ 991.88
998.55	c Restart #28 #Var: 2550 LB: 0 @ 998.14
1005.25	c Restart #29 #Var: 2550 LB: 0 @ 1004.8
1012.02	c Restart #30 #Var: 2550 LB: 0 @ 1011.6
1019.69	c Restart #31 #Var: 2550 LB: 0 @ 1019.2
1028.43	c Restart #32 #Var: 2550 LB: 0 @ 1028
1036.22	c Restart #33 #Var: 2550 LB: 0 @ 1035.8
1044.26	c Restart #34 #Var: 2550 LB: 0 @ 1043.8
1052.38	c Restart #35 #Var: 2550 LB: 0 @ 1051.9
1061.05	c Restart #36 #Var: 2550 LB: 0 @ 1060.6
1069.67	c Restart #37 #Var: 2550 LB: 0 @ 1069.2
1078.53	c Restart #38 #Var: 2550 LB: 0 @ 1078.1
1088.14	c Restart #39 #Var: 2550 LB: 0 @ 1087.7
1098.12	c Restart #40 #Var: 2550 LB: 0 @ 1097.6
1108.44	c Restart #41 #Var: 2550 LB: 0 @ 1108
1120.23	c Restart #42 #Var: 2550 LB: 0 @ 1119.7
1132.23	c Restart #43 #Var: 2550 LB: 0 @ 1131.7
1144.66	c Restart #44 #Var: 2550 LB: 0 @ 1144.2
1156.63	c Restart #45 #Var: 2550 LB: 0 @ 1156.1
1168.17	c Restart #46 #Var: 2550 LB: 0 @ 1167.7
1180.32	c Restart #47 #Var: 2550 LB: 0 @ 1179.8
1192.90	c Restart #48 #Var: 2550 LB: 0 @ 1192.4
1206.38	c Restart #49 #Var: 2550 LB: 0 @ 1205.9
1220.63	c Restart #50 #Var: 2550 LB: 0 @ 1220.1
1234.07	c Restart #51 #Var: 2550 LB: 0 @ 1233.5
1247.29	c Restart #52 #Var: 2550 LB: 0 @ 1246.8
1259.71	c Restart #53 #Var: 2550 LB: 0 @ 1259.2
1272.44	c Restart #54 #Var: 2550 LB: 0 @ 1271.9
1284.74	c Restart #55 #Var: 2550 LB: 0 @ 1284.2
1298.56	c Restart #56 #Var: 2550 LB: 0 @ 1298
1311.87	c Restart #57 #Var: 2550 LB: 0 @ 1311.3
1325.73	c Restart #58 #Var: 2550 LB: 0 @ 1325.2
1339.96	c Restart #59 #Var: 2550 LB: 0 @ 1339.4
1354.84	c Restart #60 #Var: 2550 LB: 0 @ 1354.3
1369.73	c Restart #61 #Var: 2550 LB: 0 @ 1369.1
1384.83	c Restart #62 #Var: 2550 LB: 0 @ 1384.2
1399.59	c Restart #63 #Var: 2550 LB: 0 @ 1399
1415.08	c Restart #64 #Var: 2550 LB: 0 @ 1414.5
1431.12	c Restart #65 #Var: 2550 LB: 0 @ 1430.5
1447.21	c Restart #66 #Var: 2550 LB: 0 @ 1446.6
1464.63	c Restart #67 #Var: 2550 LB: 0 @ 1464
1481.46	c Restart #68 #Var: 2550 LB: 0 @ 1480.8
1498.41	c Restart #69 #Var: 2550 LB: 0 @ 1497.8
1515.33	c Restart #70 #Var: 2550 LB: 0 @ 1514.7
1532.84	c Restart #71 #Var: 2550 LB: 0 @ 1532.2
1550.96	c Restart #72 #Var: 2550 LB: 0 @ 1550.3
1569.29	c Restart #73 #Var: 2550 LB: 0 @ 1568.6
1587.73	c Restart #74 #Var: 2550 LB: 0 @ 1587.1
1605.99	c Restart #75 #Var: 2550 LB: 0 @ 1605.3
1625.38	c Restart #76 #Var: 2550 LB: 0 @ 1624.7
1643.77	c Restart #77 #Var: 2550 LB: 0 @ 1643.1
1662.98	c Restart #78 #Var: 2550 LB: 0 @ 1662.3
1683.25	c Restart #79 #Var: 2550 LB: 0 @ 1682.6
1703.89	c Restart #80 #Var: 2550 LB: 0 @ 1703.2
1725.74	c Restart #81 #Var: 2550 LB: 0 @ 1725
1747.97	c Restart #82 #Var: 2550 LB: 0 @ 1747.3
1769.28	c Restart #83 #Var: 2550 LB: 0 @ 1768.6
1788.91	c Restart #84 #Var: 2550 LB: 0 @ 1788.2
1800.74	s UNKNOWN
1800.74	c Exit Code: 0
1800.74	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

runsolver version 3.0.3 (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/node2/watcher-46251-1154054670 -o ROOT/results/node2/solver-46251-1154054670 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node2/46251-1154054670/instance-46251-1154054670.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/64 24474
/proc/meminfo: memFree=1564936/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=2900 CPUtime=0
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 43 0 1 0 0 0 0 0 18 0 1 0 152328588 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10535716 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/24474/statm: 725 27 19 55 0 38 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1528400/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=38588 CPUtime=9.95
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 8891 0 10 0 990 5 0 0 25 0 1 0 152328588 39514112 8795 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 9647 8795 296 55 0 8539 0
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 38588

[startup+20.0094 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1528336/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=38744 CPUtime=19.95
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 8963 0 10 0 1989 6 0 0 25 0 1 0 152328588 39673856 8864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 9686 8864 296 55 0 8578 0
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 38744

[startup+30.0153 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1528208/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=38964 CPUtime=29.95
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9015 0 10 0 2988 7 0 0 25 0 1 0 152328588 39899136 8916 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134523844 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 9741 8916 296 55 0 8633 0
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 38964

[startup+40.0211 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1527952/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=39244 CPUtime=39.95
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9074 0 10 0 3987 8 0 0 25 0 1 0 152328588 40185856 8975 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534953 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 9811 8975 296 55 0 8703 0
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 39244

[startup+50.027 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1528016/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=39148 CPUtime=49.96
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9074 0 10 0 4987 9 0 0 25 0 1 0 152328588 40087552 8965 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 9787 8965 296 55 0 8679 0
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 39148

[startup+60.0328 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1527760/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=39464 CPUtime=59.97
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9143 0 10 0 5987 10 0 0 25 0 1 0 152328588 40411136 9034 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10965144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 9866 9034 296 55 0 8758 0
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 39464

[startup+70.0387 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1527888/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=39380 CPUtime=69.96
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9183 0 10 0 6986 10 0 0 25 0 1 0 152328588 40325120 9008 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 9845 9008 296 55 0 8737 0
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 39380

[startup+80.0445 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1527888/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=39160 CPUtime=79.96
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9188 0 10 0 7985 11 0 0 25 0 1 0 152328588 40099840 8968 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 9790 8968 296 55 0 8682 0
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 39160

[startup+90.0503 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1527824/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=39376 CPUtime=89.97
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9277 0 10 0 8984 13 0 0 25 0 1 0 152328588 40321024 9017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 9844 9017 296 55 0 8736 0
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 39376

[startup+100.056 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1527760/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=39456 CPUtime=99.97
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9310 0 10 0 9983 14 0 0 25 0 1 0 152328588 40402944 9042 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 9864 9042 296 55 0 8756 0
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 39456

[startup+110.062 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1527568/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=39772 CPUtime=109.97
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9412 0 10 0 10983 14 0 0 25 0 1 0 152328588 40726528 9091 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 9943 9091 296 55 0 8835 0
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 39772

[startup+120.068 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1527504/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=39608 CPUtime=119.97
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9429 0 10 0 11982 15 0 0 25 0 1 0 152328588 40558592 9080 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 9902 9080 296 55 0 8794 0
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 39608

[startup+130.074 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1527376/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=40004 CPUtime=129.98
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9504 0 10 0 12982 16 0 0 25 0 1 0 152328588 40964096 9155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 10001 9155 296 55 0 8893 0
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 40004

[startup+140.081 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1527312/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=40044 CPUtime=139.98
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9543 0 10 0 13981 17 0 0 25 0 1 0 152328588 41005056 9161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540623 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 10011 9161 296 55 0 8903 0
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 40044

[startup+150.087 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1527184/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=40140 CPUtime=149.98
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9577 0 10 0 14980 18 0 0 25 0 1 0 152328588 41103360 9195 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 10035 9195 296 55 0 8927 0
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 40140

[startup+160.094 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1527184/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=40072 CPUtime=159.98
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9577 0 10 0 15979 19 0 0 25 0 1 0 152328588 41033728 9195 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 10018 9195 296 55 0 8910 0
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 40072

[startup+170.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1527184/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=39880 CPUtime=169.99
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9577 0 10 0 16979 20 0 0 25 0 1 0 152328588 40837120 9148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 9970 9148 296 55 0 8862 0
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 39880

[startup+180.106 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1527184/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=39880 CPUtime=180
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9577 0 10 0 17979 21 0 0 25 0 1 0 152328588 40837120 9148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 9970 9148 296 55 0 8862 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 39880

[startup+190.113 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1527184/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=39880 CPUtime=189.99
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9577 0 10 0 18978 21 0 0 25 0 1 0 152328588 40837120 9148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 9970 9148 296 55 0 8862 0
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 39880

[startup+200.119 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24474
/proc/meminfo: memFree=1527184/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=40012 CPUtime=200
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 9584 0 10 0 19978 22 0 0 25 0 1 0 152328588 40972288 9155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 10003 9155 296 55 0 8895 0
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 40012

[startup+210.124 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24474

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

Current children cumulated CPU time (s) 1760.33
Current children cumulated vsize (Kb) 44148

[startup+1771.06 s]
/proc/loadavg: 1.05 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522840/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1770.33
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 176882 151 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1770.33
Current children cumulated vsize (Kb) 44148

[startup+1781.06 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522840/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1780.33
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 177881 152 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1780.33
Current children cumulated vsize (Kb) 44148

[startup+1782.07 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522840/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1781.33
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 177981 152 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1781.33
Current children cumulated vsize (Kb) 44148

[startup+1783.07 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522840/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1782.33
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 178081 152 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (Kb) 44148

[startup+1784.08 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522840/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1783.34
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 178182 152 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1783.34
Current children cumulated vsize (Kb) 44148

[startup+1785.08 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522840/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1784.34
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 178282 152 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537772 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1784.34
Current children cumulated vsize (Kb) 44148

[startup+1786.09 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522840/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1785.35
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 178383 152 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1785.35
Current children cumulated vsize (Kb) 44148

[startup+1787.09 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522840/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1786.35
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 178483 152 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1786.35
Current children cumulated vsize (Kb) 44148

[startup+1788.1 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522840/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1787.36
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 178583 153 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1787.36
Current children cumulated vsize (Kb) 44148

[startup+1789.1 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522840/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1788.37
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 178684 153 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (Kb) 44148

[startup+1790.11 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522840/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1789.37
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 178784 153 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1789.37
Current children cumulated vsize (Kb) 44148

[startup+1791.11 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522840/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1790.38
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 178885 153 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1790.38
Current children cumulated vsize (Kb) 44148

[startup+1792.12 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522840/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1791.37
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 178984 153 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (Kb) 44148

[startup+1793.12 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522840/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1792.38
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 179085 153 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1792.38
Current children cumulated vsize (Kb) 44148

[startup+1794.13 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522840/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1793.38
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 179185 153 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1793.38
Current children cumulated vsize (Kb) 44148

[startup+1795.13 s]
/proc/loadavg: 1.03 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522776/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1794.39
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 179286 153 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1794.39
Current children cumulated vsize (Kb) 44148

[startup+1796.14 s]
/proc/loadavg: 1.03 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522776/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1795.4
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 179386 154 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1795.4
Current children cumulated vsize (Kb) 44148

[startup+1797.14 s]
/proc/loadavg: 1.03 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522776/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1796.4
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 179486 154 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (Kb) 44148

[startup+1798.15 s]
/proc/loadavg: 1.03 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522776/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1797.41
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 179587 154 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (Kb) 44148

[startup+1799.15 s]
/proc/loadavg: 1.03 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522776/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=44148 CPUtime=1798.41
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 179687 154 0 0 25 0 1 0 152328588 45207552 10219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632832 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 11037 10219 296 55 0 9929 0
Current children cumulated CPU time (s) 1798.41
Current children cumulated vsize (Kb) 44148

[startup+1800.16 s]
/proc/loadavg: 1.03 1.00 1.00 2/64 24672
/proc/meminfo: memFree=1522904/2055920 swapFree=4182684/4192956
[pid=24474] ppid=24472 vsize=43848 CPUtime=1799.41
/proc/24474/stat : 24474 (bsolo) R 24472 24474 24425 0 -1 0 11312 0 10 0 179787 154 0 0 25 0 1 0 152328588 44900352 10144 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134599015 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24474/statm: 10962 10144 296 55 0 9854 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (Kb) 43848

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.02
CPU user time (s): 1798.46
CPU system time (s): 1.55376
CPU usage (%): 99.9589
Max. virtual memory (cumulated for all children) (Kb): 44196
The end

Launcher Data (download as text)

Begin job on node2 on Fri Jul 28 02:44:30 UTC 2006


FILE ID= 46251-1154054670

PBS_JOBID= 881990

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-51-50.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node2/46251-1154054670/instance-46251-1154054670.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-46251-1154054670 -o ROOT/results/node2/solver-46251-1154054670 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node2/46251-1154054670/instance-46251-1154054670.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  60bac2da31df829d5469efd732e15a50

RANDOM SEED= 537530327

TIMEOUT= 1800 seconds


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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.276
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1565144 kB
Buffers:         32900 kB
Cached:         399596 kB
SwapCached:       3996 kB
Active:          54656 kB
Inactive:       386776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1565144 kB
SwapTotal:     4192956 kB
SwapFree:      4182684 kB
Dirty:             212 kB
Writeback:           0 kB
Mapped:          14528 kB
Slab:            35272 kB
Committed_AS:   620236 kB
PageTables:       1492 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node2 on Fri Jul 28 03:14:31 UTC 2006