Trace number 39869

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05? 1800.23 1801.02

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-usAbbrv.8.25_70.opb
MD5SUM825fd1904b2d777401b7be7f08c7951c
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 variables20611
Total number of constraints3921
Number of constraints which are clauses563
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3358
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 135
Biggest coefficient in the objective function 262118
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524354
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262118
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524354
Number of bits of the biggest sum of numbers20
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.10	c INFO: OSL Context initialized.
0.93	c Initial problem consists of 20611 variables and 3922 constraints.
1.04	c No problem reductions applied in OPT. instance.
1.04	c	preprocess terminated. Elapsed time: 0.945
1.04	c After prepocess the problem consists of 20598 variables and 3922 constraints.
1.04	c Initial Lower Bound: -41
1.70	c Restart #1 #Var: 20598 LB: -41 @ 1.607
4.26	c Restart #2 #Var: 20598 LB: -41 @ 4.161
6.59	c Restart #3 #Var: 20598 LB: -41 @ 6.494
11.25	c Restart #4 #Var: 20598 LB: -41 @ 11.148
16.61	c Restart #5 #Var: 20598 LB: -41 @ 16.504
23.58	c Restart #6 #Var: 20598 LB: -41 @ 23.477
32.50	c Restart #7 #Var: 20598 LB: -41 @ 32.389
40.25	c Restart #8 #Var: 20598 LB: -41 @ 40.142
49.74	c Restart #9 #Var: 20598 LB: -41 @ 49.629
54.42	c Restart #10 #Var: 20598 LB: -41 @ 54.299
59.92	c Restart #11 #Var: 20598 LB: -41 @ 59.803
65.37	c Restart #12 #Var: 20598 LB: -41 @ 65.246
71.92	c Restart #13 #Var: 20598 LB: -41 @ 71.796
78.54	c Restart #14 #Var: 20598 LB: -41 @ 78.417
85.18	c Restart #15 #Var: 20598 LB: -41 @ 85.054
92.41	c Restart #16 #Var: 20598 LB: -41 @ 92.283
99.70	c Restart #17 #Var: 20598 LB: -41 @ 99.57
107.91	c Restart #18 #Var: 20598 LB: -41 @ 107.77
116.03	c Restart #19 #Var: 20598 LB: -41 @ 115.89
125.09	c Restart #20 #Var: 20598 LB: -41 @ 124.95
134.13	c Restart #21 #Var: 20598 LB: -41 @ 133.99
144.07	c Restart #22 #Var: 20598 LB: -41 @ 143.91
153.62	c Restart #23 #Var: 20598 LB: -41 @ 153.44
164.30	c Restart #24 #Var: 20598 LB: -41 @ 164.11
174.92	c Restart #25 #Var: 20598 LB: -41 @ 174.72
187.08	c Restart #26 #Var: 20598 LB: -41 @ 186.88
199.39	c Restart #27 #Var: 20598 LB: -41 @ 199.18
212.89	c Restart #28 #Var: 20598 LB: -41 @ 212.68
225.41	c Restart #29 #Var: 20598 LB: -41 @ 225.2
238.97	c Restart #30 #Var: 20598 LB: -41 @ 238.75
252.03	c Restart #31 #Var: 20598 LB: -41 @ 251.8
266.35	c Restart #32 #Var: 20598 LB: -41 @ 266.12
280.10	c Restart #33 #Var: 20598 LB: -41 @ 279.86
295.38	c Restart #34 #Var: 20598 LB: -41 @ 295.14
310.00	c Restart #35 #Var: 20598 LB: -41 @ 309.75
326.08	c Restart #36 #Var: 20598 LB: -41 @ 325.83
341.38	c Restart #37 #Var: 20598 LB: -41 @ 341.12
358.29	c Restart #38 #Var: 20598 LB: -41 @ 358.03
374.35	c Restart #39 #Var: 20598 LB: -41 @ 374.08
392.10	c Restart #40 #Var: 20598 LB: -41 @ 391.83
408.87	c Restart #41 #Var: 20598 LB: -41 @ 408.58
427.35	c Restart #42 #Var: 20598 LB: -41 @ 427.06
444.88	c Restart #43 #Var: 20598 LB: -41 @ 444.58
464.16	c Restart #44 #Var: 20598 LB: -41 @ 463.85
482.33	c Restart #45 #Var: 20598 LB: -41 @ 482.02
496.76	c Restart #46 #Var: 20598 LB: -41 @ 496.44
509.44	c Restart #47 #Var: 20598 LB: -41 @ 509.12
517.92	c Restart #48 #Var: 20598 LB: -41 @ 517.6
530.98	c Restart #49 #Var: 20598 LB: -41 @ 530.65
538.77	c Restart #50 #Var: 20598 LB: -41 @ 538.44
554.38	c Restart #51 #Var: 20598 LB: -41 @ 554.04
558.90	c Restart #52 #Var: 20598 LB: -41 @ 558.56
564.12	c Restart #53 #Var: 20598 LB: -41 @ 563.78
566.93	c Restart #54 #Var: 20598 LB: -41 @ 566.59
569.24	c Restart #55 #Var: 20598 LB: -41 @ 568.9
570.90	c Restart #56 #Var: 20598 LB: -41 @ 570.56
572.77	c Restart #57 #Var: 20598 LB: -41 @ 572.43
574.57	c Restart #58 #Var: 20598 LB: -41 @ 574.23
577.37	c Restart #59 #Var: 20598 LB: -41 @ 577.03
579.40	c Restart #60 #Var: 20598 LB: -41 @ 579.06
582.64	c Restart #61 #Var: 20598 LB: -41 @ 582.29
584.86	c Restart #62 #Var: 20598 LB: -41 @ 584.52
588.15	c Restart #63 #Var: 20598 LB: -41 @ 587.8
589.99	c Restart #64 #Var: 20598 LB: -41 @ 589.65
596.69	c Restart #65 #Var: 20598 LB: -41 @ 596.34
598.68	c Restart #66 #Var: 20598 LB: -41 @ 598.33
605.86	c Restart #67 #Var: 20598 LB: -41 @ 605.5
607.94	c Restart #68 #Var: 20598 LB: -41 @ 607.59
626.28	c Restart #69 #Var: 20598 LB: -41 @ 625.91
628.61	c Restart #70 #Var: 20598 LB: -41 @ 628.25
631.95	c Restart #71 #Var: 20598 LB: -41 @ 631.59
636.05	c Restart #72 #Var: 20598 LB: -41 @ 635.68
639.76	c Restart #73 #Var: 20598 LB: -41 @ 639.39
643.42	c Restart #74 #Var: 20598 LB: -41 @ 643.05
647.87	c Restart #75 #Var: 20598 LB: -41 @ 647.5
652.26	c Restart #76 #Var: 20598 LB: -41 @ 651.89
656.20	c Restart #77 #Var: 20598 LB: -41 @ 655.83
660.77	c Restart #78 #Var: 20598 LB: -41 @ 660.4
673.74	c Restart #79 #Var: 20598 LB: -41 @ 673.37
694.58	c Restart #80 #Var: 20598 LB: -41 @ 694.2
699.17	c Restart #81 #Var: 20598 LB: -41 @ 698.78
704.69	c Restart #82 #Var: 20598 LB: -41 @ 704.3
711.06	c Restart #83 #Var: 20598 LB: -41 @ 710.66
712.88	c Restart #84 #Var: 20598 LB: -41 @ 712.49
750.41	c Restart #85 #Var: 20598 LB: -41 @ 750.01
765.76	c Restart #86 #Var: 20598 LB: -41 @ 765.35
782.34	c Restart #87 #Var: 20598 LB: -41 @ 781.92
819.57	c Restart #88 #Var: 20598 LB: -41 @ 819.13
838.33	c Restart #89 #Var: 20598 LB: -41 @ 837.89
845.59	c Restart #90 #Var: 20598 LB: -41 @ 845.15
873.37	c Restart #91 #Var: 20598 LB: -41 @ 872.92
906.62	c CHANGE Heuristic... 
906.62	c Restart #0 #Var: 20598 LB: -41 @ 906.15
906.64	c Restart #1 #Var: 20598 LB: -41 @ 906.18
906.67	c Restart #2 #Var: 20598 LB: -41 @ 906.21
906.73	c Restart #3 #Var: 20598 LB: -41 @ 906.27
906.80	c Restart #4 #Var: 20598 LB: -41 @ 906.34
906.90	c Restart #5 #Var: 20598 LB: -41 @ 906.43
907.02	c Restart #6 #Var: 20598 LB: -41 @ 906.56
907.34	c Restart #7 #Var: 20598 LB: -41 @ 906.88
907.58	c Restart #8 #Var: 20598 LB: -41 @ 907.12
907.73	c Restart #9 #Var: 20598 LB: -41 @ 907.27
907.93	c Restart #10 #Var: 20598 LB: -41 @ 907.46
908.56	c Restart #11 #Var: 20598 LB: -41 @ 908.1
908.94	c Restart #12 #Var: 20598 LB: -41 @ 908.47
909.42	c Restart #13 #Var: 20598 LB: -41 @ 908.96
909.95	c Restart #14 #Var: 20598 LB: -41 @ 909.49
910.41	c Restart #15 #Var: 20598 LB: -41 @ 909.95
911.01	c Restart #16 #Var: 20598 LB: -41 @ 910.54
912.80	c Restart #17 #Var: 20598 LB: -41 @ 912.34
913.68	c Restart #18 #Var: 20598 LB: -41 @ 913.21
915.34	c Restart #19 #Var: 20598 LB: -41 @ 914.87
915.74	c Restart #20 #Var: 20598 LB: -41 @ 915.28
916.63	c Restart #21 #Var: 20598 LB: -41 @ 916.16
918.07	c Restart #22 #Var: 20598 LB: -41 @ 917.6
918.78	c Restart #23 #Var: 20598 LB: -41 @ 918.31
919.26	c Restart #24 #Var: 20598 LB: -41 @ 918.79
919.74	c Restart #25 #Var: 20598 LB: -41 @ 919.27
920.35	c Restart #26 #Var: 20598 LB: -41 @ 919.88
921.23	c Restart #27 #Var: 20598 LB: -41 @ 920.76
922.19	c Restart #28 #Var: 20598 LB: -41 @ 921.73
923.02	c Restart #29 #Var: 20598 LB: -41 @ 922.55
923.77	c Restart #30 #Var: 20598 LB: -41 @ 923.3
924.67	c Restart #31 #Var: 20598 LB: -41 @ 924.2
925.43	c Restart #32 #Var: 20598 LB: -41 @ 924.96
926.36	c Restart #33 #Var: 20598 LB: -41 @ 925.89
927.51	c Restart #34 #Var: 20598 LB: -41 @ 927.04
930.28	c Restart #35 #Var: 20598 LB: -41 @ 929.81
943.43	c Restart #36 #Var: 20598 LB: -41 @ 942.95
944.91	c Restart #37 #Var: 20598 LB: -41 @ 944.43
948.23	c Restart #38 #Var: 20598 LB: -41 @ 947.75
951.85	c Restart #39 #Var: 20598 LB: -41 @ 951.37
956.54	c Restart #40 #Var: 20598 LB: -41 @ 956.06
967.93	c Restart #41 #Var: 20598 LB: -41 @ 967.44
971.99	c Restart #42 #Var: 20598 LB: -41 @ 971.51
980.63	c Restart #43 #Var: 20598 LB: -41 @ 980.14
985.70	c Restart #44 #Var: 20598 LB: -41 @ 985.21
989.12	c Restart #45 #Var: 20598 LB: -41 @ 988.63
991.48	c Restart #46 #Var: 20598 LB: -41 @ 990.99
993.54	c Restart #47 #Var: 20598 LB: -41 @ 993.05
996.73	c Restart #48 #Var: 20598 LB: -41 @ 996.24
999.61	c Restart #49 #Var: 20598 LB: -41 @ 999.11
1007.88	c Restart #50 #Var: 20598 LB: -41 @ 1007.4
1013.35	c Restart #51 #Var: 20598 LB: -41 @ 1012.8
1023.62	c Restart #52 #Var: 20598 LB: -41 @ 1023.1
1027.65	c Restart #53 #Var: 20598 LB: -41 @ 1027.1
1032.33	c Restart #54 #Var: 20598 LB: -41 @ 1031.8
1035.92	c Restart #55 #Var: 20598 LB: -41 @ 1035.4
1039.12	c Restart #56 #Var: 20598 LB: -41 @ 1038.6
1045.22	c Restart #57 #Var: 20598 LB: -41 @ 1044.7
1064.71	c Restart #58 #Var: 20598 LB: -41 @ 1064.2
1068.23	c Restart #59 #Var: 20598 LB: -41 @ 1067.7
1072.01	c Restart #60 #Var: 20598 LB: -41 @ 1071.5
1073.81	c Restart #61 #Var: 20598 LB: -41 @ 1073.3
1079.24	c Restart #62 #Var: 20598 LB: -41 @ 1078.7
1082.85	c Restart #63 #Var: 20598 LB: -41 @ 1082.3
1088.62	c Restart #64 #Var: 20598 LB: -41 @ 1088.1
1093.45	c Restart #65 #Var: 20598 LB: -41 @ 1092.9
1097.64	c Restart #66 #Var: 20598 LB: -41 @ 1097.1
1116.69	c Restart #67 #Var: 20598 LB: -41 @ 1116.2
1130.32	c Restart #68 #Var: 20598 LB: -41 @ 1129.8
1136.38	c Restart #69 #Var: 20598 LB: -41 @ 1135.8
1140.76	c Restart #70 #Var: 20598 LB: -41 @ 1140.2
1145.40	c Restart #71 #Var: 20598 LB: -41 @ 1144.8
1149.58	c Restart #72 #Var: 20598 LB: -41 @ 1149
1164.57	c Restart #73 #Var: 20598 LB: -41 @ 1164
1167.32	c Restart #74 #Var: 20598 LB: -41 @ 1166.8
1172.80	c Restart #75 #Var: 20598 LB: -41 @ 1172.2
1180.87	c Restart #76 #Var: 20598 LB: -41 @ 1180.3
1249.67	c Restart #77 #Var: 20598 LB: -41 @ 1249.1
1289.56	c Restart #78 #Var: 20598 LB: -41 @ 1289
1298.49	c Restart #79 #Var: 20598 LB: -41 @ 1297.9
1301.78	c Restart #80 #Var: 20598 LB: -41 @ 1301.2
1309.88	c Restart #81 #Var: 20598 LB: -41 @ 1309.3
1333.64	c Restart #82 #Var: 20598 LB: -41 @ 1333
1355.63	c Restart #83 #Var: 20598 LB: -41 @ 1355
1376.81	c Restart #84 #Var: 20598 LB: -41 @ 1376.2
1400.05	c Restart #85 #Var: 20598 LB: -41 @ 1399.4
1422.20	c Restart #86 #Var: 20598 LB: -41 @ 1421.6
1430.71	c Restart #87 #Var: 20598 LB: -41 @ 1430.1
1434.69	c Restart #88 #Var: 20598 LB: -41 @ 1434
1445.07	c Restart #89 #Var: 20598 LB: -41 @ 1444.4
1466.54	c Restart #90 #Var: 20598 LB: -41 @ 1465.9
1468.36	c Restart #91 #Var: 20598 LB: -41 @ 1467.7
1534.34	c Restart #92 #Var: 20598 LB: -41 @ 1533.7
1544.63	c Restart #93 #Var: 20598 LB: -41 @ 1543.9
1553.38	c Restart #94 #Var: 20598 LB: -41 @ 1552.7
1576.80	c Restart #95 #Var: 20598 LB: -41 @ 1576.1
1619.35	c Restart #96 #Var: 20598 LB: -41 @ 1618.6
1648.89	c Restart #97 #Var: 20598 LB: -41 @ 1648.2
1666.31	c Restart #98 #Var: 20598 LB: -41 @ 1665.6
1685.36	c Restart #99 #Var: 20598 LB: -41 @ 1684.6
1701.98	c Restart #100 #Var: 20598 LB: -41 @ 1701.2
1705.28	c Restart #101 #Var: 20598 LB: -41 @ 1704.5
1800.80	s UNKNOWN
1800.80	c Exit Code: 0
1800.80	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node44/watcher-39869-1149267523 -o ROOT/results/node44/solver-39869-1149267523 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/39869-1149267523/instance-39869-1149267523.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.98 0.99 3/64 14450
/proc/meminfo: memFree=1310680/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=2900 CPUtime=0
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 43 0 0 0 0 0 0 0 18 0 1 0 192419093 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11281188 0 0 4096 0 0 0 0 17 1 0 0
/proc/14450/statm: 725 27 19 55 0 38 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 14450
/proc/meminfo: memFree=1275992/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=9.89
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 980 9 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (Kb) 39744

[startup+20.0083 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 14450
/proc/meminfo: memFree=1276064/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=19.9
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 1977 13 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 19.9
Current children cumulated vsize (Kb) 39744

[startup+30.0141 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 14450
/proc/meminfo: memFree=1276128/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=29.9
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 2975 15 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 39744

[startup+40.02 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 14450
/proc/meminfo: memFree=1276128/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=39.9
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 3971 19 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 39.9
Current children cumulated vsize (Kb) 39744

[startup+50.0258 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 14450
/proc/meminfo: memFree=1276128/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=49.9
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 4964 26 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528470 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 39744

[startup+60.0317 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 14450
/proc/meminfo: memFree=1276192/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=59.9
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 5963 27 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 59.9
Current children cumulated vsize (Kb) 39744

[startup+70.0375 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 14450
/proc/meminfo: memFree=1276192/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=69.91
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 6963 28 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 69.91
Current children cumulated vsize (Kb) 39744

[startup+80.0444 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 14450
/proc/meminfo: memFree=1276192/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=79.91
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 7962 29 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 79.91
Current children cumulated vsize (Kb) 39744

[startup+90.0502 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 14450
/proc/meminfo: memFree=1276192/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=89.91
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 8962 29 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 89.91
Current children cumulated vsize (Kb) 39744

[startup+100.057 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 14450
/proc/meminfo: memFree=1276192/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=99.91
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 9961 30 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 99.91
Current children cumulated vsize (Kb) 39744

[startup+110.064 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 14450
/proc/meminfo: memFree=1276192/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=109.92
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 10961 31 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 109.92
Current children cumulated vsize (Kb) 39744

[startup+120.071 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14450
/proc/meminfo: memFree=1276192/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=119.92
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 11961 31 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718775 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 119.92
Current children cumulated vsize (Kb) 39744

[startup+130.077 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14450
/proc/meminfo: memFree=1276256/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=129.92
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 12961 31 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 129.92
Current children cumulated vsize (Kb) 39744

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 14505
/proc/meminfo: memFree=1274992/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=139.92
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 13960 32 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 139.92
Current children cumulated vsize (Kb) 39744

[startup+150.089 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 14563
/proc/meminfo: memFree=1274864/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=149.91
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 14957 34 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 149.91
Current children cumulated vsize (Kb) 39744

[startup+160.096 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=1275864/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=159.89
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 15954 35 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 159.89
Current children cumulated vsize (Kb) 39744

[startup+170.103 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=1275872/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=169.89
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 16954 35 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541247 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 169.89
Current children cumulated vsize (Kb) 39744

[startup+180.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=1275872/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=179.9
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 17954 36 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 179.9
Current children cumulated vsize (Kb) 39744

[startup+190.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=1275872/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=189.9
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 18954 36 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 189.9
Current children cumulated vsize (Kb) 39744

[startup+200.121 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=1275872/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=39744 CPUtime=199.91
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 19954 37 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537666 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 9936 8948 297 55 0 8828 0
Current children cumulated CPU time (s) 199.91
Current children cumulated vsize (Kb) 39744

[startup+210.127 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=1275872/2055920 swapFree=4181400/4192956

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

/proc/14450/statm: 343075 340241 297 55 0 341967 0
Current children cumulated CPU time (s) 1760.34
Current children cumulated vsize (Kb) 1372300

[startup+1771.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=15208/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1372828 CPUtime=1770.34
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341172 0 0 0 176633 401 0 0 25 0 1 0 192419093 1405775872 340389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343207 340389 297 55 0 342099 0
Current children cumulated CPU time (s) 1770.34
Current children cumulated vsize (Kb) 1372828

[startup+1781.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=16104/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1373488 CPUtime=1780.34
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341321 0 0 0 177633 401 0 0 25 0 1 0 192419093 1406451712 340538 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529208 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343372 340538 297 55 0 342264 0
Current children cumulated CPU time (s) 1780.34
Current children cumulated vsize (Kb) 1373488

[startup+1782.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=16104/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1373488 CPUtime=1781.34
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341333 0 0 0 177733 401 0 0 25 0 1 0 192419093 1406451712 340550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343372 340550 297 55 0 342264 0
Current children cumulated CPU time (s) 1781.34
Current children cumulated vsize (Kb) 1373488

[startup+1783.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=16040/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1373620 CPUtime=1782.35
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341345 0 0 0 177834 401 0 0 25 0 1 0 192419093 1406586880 340562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343405 340562 297 55 0 342297 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (Kb) 1373620

[startup+1784.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=15976/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1373620 CPUtime=1783.35
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341357 0 0 0 177934 401 0 0 25 0 1 0 192419093 1406586880 340574 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343405 340574 297 55 0 342297 0
Current children cumulated CPU time (s) 1783.35
Current children cumulated vsize (Kb) 1373620

[startup+1785.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=15912/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1373620 CPUtime=1784.36
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341368 0 0 0 178035 401 0 0 25 0 1 0 192419093 1406586880 340585 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343405 340585 297 55 0 342297 0
Current children cumulated CPU time (s) 1784.36
Current children cumulated vsize (Kb) 1373620

[startup+1786.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=15848/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1373752 CPUtime=1785.36
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341382 0 0 0 178135 401 0 0 25 0 1 0 192419093 1406722048 340599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343438 340599 297 55 0 342330 0
Current children cumulated CPU time (s) 1785.36
Current children cumulated vsize (Kb) 1373752

[startup+1787.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=15784/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1373752 CPUtime=1786.36
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341397 0 0 0 178235 401 0 0 25 0 1 0 192419093 1406722048 340614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343438 340614 297 55 0 342330 0
Current children cumulated CPU time (s) 1786.36
Current children cumulated vsize (Kb) 1373752

[startup+1788.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=15720/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1373884 CPUtime=1787.37
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341419 0 0 0 178336 401 0 0 25 0 1 0 192419093 1406857216 340636 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557721 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343471 340636 297 55 0 342363 0
Current children cumulated CPU time (s) 1787.37
Current children cumulated vsize (Kb) 1373884

[startup+1789.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=15656/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1374016 CPUtime=1788.37
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341441 0 0 0 178436 401 0 0 25 0 1 0 192419093 1406992384 340658 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343504 340658 297 55 0 342396 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (Kb) 1374016

[startup+1790.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=15592/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1374016 CPUtime=1789.38
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341458 0 0 0 178537 401 0 0 25 0 1 0 192419093 1406992384 340675 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343504 340675 297 55 0 342396 0
Current children cumulated CPU time (s) 1789.38
Current children cumulated vsize (Kb) 1374016

[startup+1791.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=15528/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1374016 CPUtime=1790.38
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341469 0 0 0 178637 401 0 0 25 0 1 0 192419093 1406992384 340686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343504 340686 297 55 0 342396 0
Current children cumulated CPU time (s) 1790.38
Current children cumulated vsize (Kb) 1374016

[startup+1792.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=15464/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1374148 CPUtime=1791.39
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341482 0 0 0 178738 401 0 0 25 0 1 0 192419093 1407127552 340699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343537 340699 297 55 0 342429 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (Kb) 1374148

[startup+1793.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=15400/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1374148 CPUtime=1792.39
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341493 0 0 0 178838 401 0 0 25 0 1 0 192419093 1407127552 340710 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343537 340710 297 55 0 342429 0
Current children cumulated CPU time (s) 1792.39
Current children cumulated vsize (Kb) 1374148

[startup+1794.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=15400/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1374148 CPUtime=1793.39
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341505 0 0 0 178938 401 0 0 25 0 1 0 192419093 1407127552 340722 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343537 340722 297 55 0 342429 0
Current children cumulated CPU time (s) 1793.39
Current children cumulated vsize (Kb) 1374148

[startup+1795.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=15336/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1374280 CPUtime=1794.4
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341517 0 0 0 179039 401 0 0 25 0 1 0 192419093 1407262720 340734 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343570 340734 297 55 0 342462 0
Current children cumulated CPU time (s) 1794.4
Current children cumulated vsize (Kb) 1374280

[startup+1796.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=15272/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1374280 CPUtime=1795.4
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341529 0 0 0 179139 401 0 0 25 0 1 0 192419093 1407262720 340746 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343570 340746 297 55 0 342462 0
Current children cumulated CPU time (s) 1795.4
Current children cumulated vsize (Kb) 1374280

[startup+1797.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=15208/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1374412 CPUtime=1796.41
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341541 0 0 0 179240 401 0 0 25 0 1 0 192419093 1407397888 340758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343603 340758 297 55 0 342495 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (Kb) 1374412

[startup+1798.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=15208/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1374412 CPUtime=1797.41
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341552 0 0 0 179340 401 0 0 25 0 1 0 192419093 1407397888 340769 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343603 340769 297 55 0 342495 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (Kb) 1374412

[startup+1799.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=15080/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1374544 CPUtime=1798.43
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341577 0 0 0 179441 402 0 0 25 0 1 0 192419093 1407533056 340794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343636 340794 297 55 0 342528 0
Current children cumulated CPU time (s) 1798.43
Current children cumulated vsize (Kb) 1374544

[startup+1800.22 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14645
/proc/meminfo: memFree=14952/2055920 swapFree=4181400/4192956
[pid=14450] ppid=14448 vsize=1374676 CPUtime=1799.43
/proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341608 0 0 0 179541 402 0 0 25 0 1 0 192419093 1407668224 340825 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14450/statm: 343669 340825 297 55 0 342561 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (Kb) 1374676

Child status: 0
Real time (s): 1801.02
CPU time (s): 1800.23
CPU user time (s): 1796
CPU system time (s): 4.22936
CPU usage (%): 99.9562
Max. virtual memory (cumulated for all children) (Kb): 1374676

Launcher Data (download as text)

Begin job on node44 on Fri Jun  2 16:58:43 UTC 2006


FILE ID= 39869-1149267523

PBS_JOBID= 298910

BENCH NAME= ROOT/tmp/node44/39869-1149267523/instance-39869-1149267523.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/39869-1149267523/instance-39869-1149267523.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-39869-1149267523 -o ROOT/results/node44/solver-39869-1149267523 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/39869-1149267523/instance-39869-1149267523.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  825fd1904b2d777401b7be7f08c7951c

RANDOM SEED= 745595522


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1310824 kB
Buffers:         28272 kB
Cached:         644704 kB
SwapCached:       3488 kB
Active:          72852 kB
Inactive:       609024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1310824 kB
SwapTotal:     4192956 kB
SwapFree:      4181400 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14948 kB
Slab:            49184 kB
Committed_AS:   245420 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node44 on Fri Jun  2 17:28:44 UTC 2006