Trace number 46287

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.01 1800.55

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-35-30.opb
MD5SUMc31072fad7bb81e0a58c1598fe2e2bbc
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 variables1050
Total number of constraints17885
Number of constraints which are clauses17885
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 constraint30
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 31
Number of bits of the biggest sum of numbers5
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.02	c INFO: OSL Context initialized.
0.27	c Initial problem consists of 1050 variables and 17885 constraints.
0.40	c Using non-optimization problem switches.
0.40	c No problem reductions applied in OPT. instance.
0.40	c	preprocess terminated. Elapsed time: 0.387
0.40	c After prepocess the problem consists of 1050 variables and 17885 constraints.
0.46	c Restart #1 #Var: 1050 LB: 0 @ 0.447
0.64	c Restart #2 #Var: 1050 LB: 0 @ 0.621
0.93	c Restart #3 #Var: 1050 LB: 0 @ 0.913
1.38	c Restart #4 #Var: 1050 LB: 0 @ 1.366
2.00	c Restart #5 #Var: 1050 LB: 0 @ 1.983
2.78	c Restart #6 #Var: 1050 LB: 0 @ 2.765
3.74	c Restart #7 #Var: 1050 LB: 0 @ 3.72
4.70	c Restart #8 #Var: 1050 LB: 0 @ 4.685
5.95	c Restart #9 #Var: 1050 LB: 0 @ 5.932
7.29	c Restart #10 #Var: 1050 LB: 0 @ 7.27
8.80	c Restart #11 #Var: 1050 LB: 0 @ 8.787
10.59	c Restart #12 #Var: 1050 LB: 0 @ 10.574
12.54	c Restart #13 #Var: 1050 LB: 0 @ 12.519
14.78	c Restart #14 #Var: 1050 LB: 0 @ 14.757
17.01	c Restart #15 #Var: 1050 LB: 0 @ 16.986
19.44	c Restart #16 #Var: 1050 LB: 0 @ 19.42
22.11	c Restart #17 #Var: 1050 LB: 0 @ 22.087
24.77	c Restart #18 #Var: 1050 LB: 0 @ 24.745
27.67	c Restart #19 #Var: 1050 LB: 0 @ 27.648
30.77	c Restart #20 #Var: 1050 LB: 0 @ 30.74
34.08	c Restart #21 #Var: 1050 LB: 0 @ 34.058
37.49	c Restart #22 #Var: 1050 LB: 0 @ 37.465
41.07	c Restart #23 #Var: 1050 LB: 0 @ 41.042
45.09	c Restart #24 #Var: 1050 LB: 0 @ 45.056
49.12	c Restart #25 #Var: 1050 LB: 0 @ 49.088
53.51	c Restart #26 #Var: 1050 LB: 0 @ 53.476
57.84	c Restart #27 #Var: 1050 LB: 0 @ 57.809
62.12	c Restart #28 #Var: 1050 LB: 0 @ 62.086
66.97	c Restart #29 #Var: 1050 LB: 0 @ 66.937
71.78	c Restart #30 #Var: 1050 LB: 0 @ 71.745
76.81	c Restart #31 #Var: 1050 LB: 0 @ 76.769
81.91	c Restart #32 #Var: 1050 LB: 0 @ 81.871
86.89	c Restart #33 #Var: 1050 LB: 0 @ 86.844
92.48	c Restart #34 #Var: 1050 LB: 0 @ 92.435
98.28	c Restart #35 #Var: 1050 LB: 0 @ 98.233
103.95	c Restart #36 #Var: 1050 LB: 0 @ 103.9
109.97	c Restart #37 #Var: 1050 LB: 0 @ 109.92
116.39	c Restart #38 #Var: 1050 LB: 0 @ 116.34
123.10	c Restart #39 #Var: 1050 LB: 0 @ 123.05
129.44	c Restart #40 #Var: 1050 LB: 0 @ 129.39
135.77	c Restart #41 #Var: 1050 LB: 0 @ 135.72
142.73	c Restart #42 #Var: 1050 LB: 0 @ 142.67
149.97	c Restart #43 #Var: 1050 LB: 0 @ 149.91
157.38	c Restart #44 #Var: 1050 LB: 0 @ 157.32
164.71	c Restart #45 #Var: 1050 LB: 0 @ 164.65
172.60	c Restart #46 #Var: 1050 LB: 0 @ 172.54
180.86	c Restart #47 #Var: 1050 LB: 0 @ 180.79
188.95	c Restart #48 #Var: 1050 LB: 0 @ 188.88
197.46	c Restart #49 #Var: 1050 LB: 0 @ 197.39
206.25	c Restart #50 #Var: 1050 LB: 0 @ 206.18
215.29	c Restart #51 #Var: 1050 LB: 0 @ 215.21
223.96	c Restart #52 #Var: 1050 LB: 0 @ 223.88
232.98	c Restart #53 #Var: 1050 LB: 0 @ 232.9
242.06	c Restart #54 #Var: 1050 LB: 0 @ 241.98
251.44	c Restart #55 #Var: 1050 LB: 0 @ 251.35
261.11	c Restart #56 #Var: 1050 LB: 0 @ 261.02
270.95	c Restart #57 #Var: 1050 LB: 0 @ 270.86
281.07	c Restart #58 #Var: 1050 LB: 0 @ 280.98
291.61	c Restart #59 #Var: 1050 LB: 0 @ 291.51
302.67	c Restart #60 #Var: 1050 LB: 0 @ 302.57
314.07	c Restart #61 #Var: 1050 LB: 0 @ 313.96
325.65	c Restart #62 #Var: 1050 LB: 0 @ 325.53
336.95	c Restart #63 #Var: 1050 LB: 0 @ 336.82
348.27	c Restart #64 #Var: 1050 LB: 0 @ 348.14
360.77	c Restart #65 #Var: 1050 LB: 0 @ 360.63
373.26	c Restart #66 #Var: 1050 LB: 0 @ 373.12
386.42	c Restart #67 #Var: 1050 LB: 0 @ 386.27
398.77	c Restart #68 #Var: 1050 LB: 0 @ 398.62
412.04	c Restart #69 #Var: 1050 LB: 0 @ 411.89
425.88	c Restart #70 #Var: 1050 LB: 0 @ 425.73
439.62	c Restart #71 #Var: 1050 LB: 0 @ 439.46
453.07	c Restart #72 #Var: 1050 LB: 0 @ 452.91
467.59	c Restart #73 #Var: 1050 LB: 0 @ 467.43
482.04	c Restart #74 #Var: 1050 LB: 0 @ 481.87
496.51	c Restart #75 #Var: 1050 LB: 0 @ 496.34
510.73	c Restart #76 #Var: 1050 LB: 0 @ 510.55
525.09	c Restart #77 #Var: 1050 LB: 0 @ 524.91
539.73	c Restart #78 #Var: 1050 LB: 0 @ 539.54
555.14	c Restart #79 #Var: 1050 LB: 0 @ 554.95
570.35	c Restart #80 #Var: 1050 LB: 0 @ 570.16
585.99	c Restart #81 #Var: 1050 LB: 0 @ 585.79
602.98	c Restart #82 #Var: 1050 LB: 0 @ 602.77
619.24	c Restart #83 #Var: 1050 LB: 0 @ 619.03
636.21	c Restart #84 #Var: 1050 LB: 0 @ 635.99
652.96	c Restart #85 #Var: 1050 LB: 0 @ 652.74
670.24	c Restart #86 #Var: 1050 LB: 0 @ 670.02
686.89	c Restart #87 #Var: 1050 LB: 0 @ 686.66
704.01	c Restart #88 #Var: 1050 LB: 0 @ 703.78
722.34	c Restart #89 #Var: 1050 LB: 0 @ 722.11
740.64	c Restart #90 #Var: 1050 LB: 0 @ 740.4
759.11	c Restart #91 #Var: 1050 LB: 0 @ 758.87
777.70	c Restart #92 #Var: 1050 LB: 0 @ 777.44
795.92	c Restart #93 #Var: 1050 LB: 0 @ 795.66
814.81	c Restart #94 #Var: 1050 LB: 0 @ 814.55
834.56	c Restart #95 #Var: 1050 LB: 0 @ 834.29
853.30	c Restart #96 #Var: 1050 LB: 0 @ 853.03
873.60	c Restart #97 #Var: 1050 LB: 0 @ 873.32
893.80	c Restart #98 #Var: 1050 LB: 0 @ 893.52
913.99	c CHANGE Heuristic... 
913.99	c Restart #0 #Var: 1050 LB: 0 @ 913.7
914.14	c Restart #1 #Var: 1050 LB: 0 @ 913.85
914.47	c Restart #2 #Var: 1050 LB: 0 @ 914.18
914.92	c Restart #3 #Var: 1050 LB: 0 @ 914.62
915.50	c Restart #4 #Var: 1050 LB: 0 @ 915.21
916.36	c Restart #5 #Var: 1050 LB: 0 @ 916.07
917.34	c Restart #6 #Var: 1050 LB: 0 @ 917.05
918.54	c Restart #7 #Var: 1050 LB: 0 @ 918.25
919.80	c Restart #8 #Var: 1050 LB: 0 @ 919.51
921.37	c Restart #9 #Var: 1050 LB: 0 @ 921.07
923.09	c Restart #10 #Var: 1050 LB: 0 @ 922.79
925.00	c Restart #11 #Var: 1050 LB: 0 @ 924.71
926.92	c Restart #12 #Var: 1050 LB: 0 @ 926.63
929.15	c Restart #13 #Var: 1050 LB: 0 @ 928.86
931.61	c Restart #14 #Var: 1050 LB: 0 @ 931.31
933.95	c Restart #15 #Var: 1050 LB: 0 @ 933.65
936.78	c Restart #16 #Var: 1050 LB: 0 @ 936.48
939.65	c Restart #17 #Var: 1050 LB: 0 @ 939.35
942.59	c Restart #18 #Var: 1050 LB: 0 @ 942.29
945.72	c Restart #19 #Var: 1050 LB: 0 @ 945.43
948.72	c Restart #20 #Var: 1050 LB: 0 @ 948.41
952.21	c Restart #21 #Var: 1050 LB: 0 @ 951.91
956.07	c Restart #22 #Var: 1050 LB: 0 @ 955.77
959.64	c Restart #23 #Var: 1050 LB: 0 @ 959.34
963.53	c Restart #24 #Var: 1050 LB: 0 @ 963.23
967.65	c Restart #25 #Var: 1050 LB: 0 @ 967.35
971.97	c Restart #26 #Var: 1050 LB: 0 @ 971.66
976.93	c Restart #27 #Var: 1050 LB: 0 @ 976.62
981.82	c Restart #28 #Var: 1050 LB: 0 @ 981.51
986.30	c Restart #29 #Var: 1050 LB: 0 @ 985.99
991.13	c Restart #30 #Var: 1050 LB: 0 @ 990.82
996.42	c Restart #31 #Var: 1050 LB: 0 @ 996.11
1001.15	c Restart #32 #Var: 1050 LB: 0 @ 1000.8
1006.31	c Restart #33 #Var: 1050 LB: 0 @ 1006
1012.40	c Restart #34 #Var: 1050 LB: 0 @ 1012.1
1018.81	c Restart #35 #Var: 1050 LB: 0 @ 1018.5
1025.53	c Restart #36 #Var: 1050 LB: 0 @ 1025.2
1032.31	c Restart #37 #Var: 1050 LB: 0 @ 1032
1039.18	c Restart #38 #Var: 1050 LB: 0 @ 1038.9
1045.57	c Restart #39 #Var: 1050 LB: 0 @ 1045.2
1052.45	c Restart #40 #Var: 1050 LB: 0 @ 1052.1
1059.36	c Restart #41 #Var: 1050 LB: 0 @ 1059
1066.84	c Restart #42 #Var: 1050 LB: 0 @ 1066.5
1074.07	c Restart #43 #Var: 1050 LB: 0 @ 1073.7
1081.75	c Restart #44 #Var: 1050 LB: 0 @ 1081.4
1089.95	c Restart #45 #Var: 1050 LB: 0 @ 1089.6
1098.88	c Restart #46 #Var: 1050 LB: 0 @ 1098.5
1107.88	c Restart #47 #Var: 1050 LB: 0 @ 1107.5
1116.69	c Restart #48 #Var: 1050 LB: 0 @ 1116.3
1125.74	c Restart #49 #Var: 1050 LB: 0 @ 1125.4
1134.76	c Restart #50 #Var: 1050 LB: 0 @ 1134.4
1143.94	c Restart #51 #Var: 1050 LB: 0 @ 1143.6
1153.67	c Restart #52 #Var: 1050 LB: 0 @ 1153.3
1163.85	c Restart #53 #Var: 1050 LB: 0 @ 1163.5
1174.82	c Restart #54 #Var: 1050 LB: 0 @ 1174.5
1185.73	c Restart #55 #Var: 1050 LB: 0 @ 1185.4
1197.01	c Restart #56 #Var: 1050 LB: 0 @ 1196.6
1207.78	c Restart #57 #Var: 1050 LB: 0 @ 1207.4
1218.94	c Restart #58 #Var: 1050 LB: 0 @ 1218.6
1230.63	c Restart #59 #Var: 1050 LB: 0 @ 1230.3
1241.86	c Restart #60 #Var: 1050 LB: 0 @ 1241.5
1254.11	c Restart #61 #Var: 1050 LB: 0 @ 1253.7
1265.83	c Restart #62 #Var: 1050 LB: 0 @ 1265.4
1278.74	c Restart #63 #Var: 1050 LB: 0 @ 1278.4
1291.10	c Restart #64 #Var: 1050 LB: 0 @ 1290.7
1304.03	c Restart #65 #Var: 1050 LB: 0 @ 1303.6
1317.33	c Restart #66 #Var: 1050 LB: 0 @ 1316.9
1331.45	c Restart #67 #Var: 1050 LB: 0 @ 1331
1345.64	c Restart #68 #Var: 1050 LB: 0 @ 1345.2
1360.31	c Restart #69 #Var: 1050 LB: 0 @ 1359.9
1375.00	c Restart #70 #Var: 1050 LB: 0 @ 1374.6
1389.44	c Restart #71 #Var: 1050 LB: 0 @ 1389
1405.00	c Restart #72 #Var: 1050 LB: 0 @ 1404.6
1421.00	c Restart #73 #Var: 1050 LB: 0 @ 1420.6
1438.13	c Restart #74 #Var: 1050 LB: 0 @ 1437.7
1454.25	c Restart #75 #Var: 1050 LB: 0 @ 1453.8
1469.97	c Restart #76 #Var: 1050 LB: 0 @ 1469.5
1487.19	c Restart #77 #Var: 1050 LB: 0 @ 1486.7
1504.59	c Restart #78 #Var: 1050 LB: 0 @ 1504.1
1522.29	c Restart #79 #Var: 1050 LB: 0 @ 1521.8
1540.66	c Restart #80 #Var: 1050 LB: 0 @ 1540.2
1559.23	c Restart #81 #Var: 1050 LB: 0 @ 1558.8
1577.35	c Restart #82 #Var: 1050 LB: 0 @ 1576.9
1596.78	c Restart #83 #Var: 1050 LB: 0 @ 1596.3
1614.79	c Restart #84 #Var: 1050 LB: 0 @ 1614.3
1633.21	c Restart #85 #Var: 1050 LB: 0 @ 1632.7
1652.30	c Restart #86 #Var: 1050 LB: 0 @ 1651.8
1672.70	c Restart #87 #Var: 1050 LB: 0 @ 1672.2
1692.26	c Restart #88 #Var: 1050 LB: 0 @ 1691.8
1711.04	c Restart #89 #Var: 1050 LB: 0 @ 1710.5
1731.71	c Restart #90 #Var: 1050 LB: 0 @ 1731.2
1751.40	c Restart #91 #Var: 1050 LB: 0 @ 1750.9
1771.71	c Restart #92 #Var: 1050 LB: 0 @ 1771.2
1792.37	c Restart #93 #Var: 1050 LB: 0 @ 1791.8
1800.54	s UNKNOWN
1800.54	c Exit Code: 0
1800.54	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.07 1.00 1.00 3/64 29896
/proc/meminfo: memFree=1519528/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=436 CPUtime=0
/proc/29896/stat : 29896 (bsolo) D 29894 29896 29847 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 153484876 446464 23 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 5534500 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/29896/statm: 110 24 18 55 0 19 0

[startup+10.0019 s]
/proc/loadavg: 1.06 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1508224/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=15836 CPUtime=9.98
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 3248 0 0 0 996 2 0 0 25 0 1 0 153484876 16216064 3149 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 3959 3149 296 55 0 2851 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 15836

[startup+20.0078 s]
/proc/loadavg: 1.05 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1507968/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=16208 CPUtime=19.97
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 3336 0 0 0 1995 2 0 0 25 0 1 0 153484876 16596992 3221 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4052 3221 296 55 0 2944 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 16208

[startup+30.0138 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1507584/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=16520 CPUtime=29.98
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 3434 0 0 0 2996 2 0 0 25 0 1 0 153484876 16916480 3319 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4130 3319 296 55 0 3022 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 16520

[startup+40.0198 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1507200/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=16860 CPUtime=39.98
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 3522 0 0 0 3995 3 0 0 25 0 1 0 153484876 17264640 3405 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4215 3405 296 55 0 3107 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 16860

[startup+50.0268 s]
/proc/loadavg: 1.03 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1507072/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=17052 CPUtime=49.98
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 3563 0 0 0 4994 4 0 0 25 0 1 0 153484876 17461248 3446 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4263 3446 296 55 0 3155 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 17052

[startup+60.0318 s]
/proc/loadavg: 1.03 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1506816/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=17316 CPUtime=59.99
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 3630 0 0 0 5994 5 0 0 25 0 1 0 153484876 17731584 3513 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4329 3513 296 55 0 3221 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 17316

[startup+70.0378 s]
/proc/loadavg: 1.02 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1506688/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=17448 CPUtime=69.99
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 3660 0 0 0 6993 6 0 0 25 0 1 0 153484876 17866752 3543 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4362 3543 296 55 0 3254 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 17448

[startup+80.0438 s]
/proc/loadavg: 1.02 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1506432/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=17680 CPUtime=80
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 3750 0 0 0 7992 8 0 0 25 0 1 0 153484876 18104320 3604 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4420 3604 296 55 0 3312 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 17680

[startup+90.0498 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1506304/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=17812 CPUtime=90
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 3786 0 0 0 8991 9 0 0 25 0 1 0 153484876 18239488 3640 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542274 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4453 3640 296 55 0 3345 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 17812

[startup+100.056 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1506112/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=18044 CPUtime=100.01
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 3828 0 0 0 9990 11 0 0 25 0 1 0 153484876 18477056 3673 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4511 3673 296 55 0 3403 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 18044

[startup+110.063 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1506048/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=18104 CPUtime=110.01
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 3876 0 0 0 10989 12 0 0 25 0 1 0 153484876 18538496 3714 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4526 3714 296 55 0 3418 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 18104

[startup+120.069 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1505792/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=18368 CPUtime=120.01
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 3931 0 0 0 11988 13 0 0 25 0 1 0 153484876 18808832 3769 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4592 3769 296 55 0 3484 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 18368

[startup+130.075 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1505664/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=18468 CPUtime=130.02
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 3964 0 0 0 12988 14 0 0 25 0 1 0 153484876 18911232 3802 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4617 3802 296 55 0 3509 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 18468

[startup+140.081 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1505600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=18468 CPUtime=140.02
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 3969 0 0 0 13987 15 0 0 25 0 1 0 153484876 18911232 3807 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4617 3807 296 55 0 3509 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 18468

[startup+150.087 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1505536/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=18572 CPUtime=150.02
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 3989 0 0 0 14986 16 0 0 25 0 1 0 153484876 19017728 3827 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4643 3827 296 55 0 3535 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 18572

[startup+160.093 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1505472/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=18572 CPUtime=160.02
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 3994 0 0 0 15986 16 0 0 25 0 1 0 153484876 19017728 3832 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4643 3832 296 55 0 3535 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 18572

[startup+170.099 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1505472/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=18692 CPUtime=170.03
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 4013 0 0 0 16985 18 0 0 25 0 1 0 153484876 19140608 3851 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529471 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4673 3851 296 55 0 3565 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 18692

[startup+180.105 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1505408/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=18800 CPUtime=180.03
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 4031 0 0 0 17984 19 0 0 25 0 1 0 153484876 19251200 3866 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4700 3866 296 55 0 3592 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 18800

[startup+190.111 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1505280/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=18932 CPUtime=190.03
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 4062 0 0 0 18983 20 0 0 25 0 1 0 153484876 19386368 3897 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4733 3897 296 55 0 3625 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 18932

[startup+200.117 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29896
/proc/meminfo: memFree=1505280/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=18820 CPUtime=200.04
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 4062 0 0 0 19983 21 0 0 25 0 1 0 153484876 19271680 3895 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 4705 3895 296 55 0 3597 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 18820

[startup+210.123 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29896

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

Current children cumulated CPU time (s) 1760.56
Current children cumulated vsize (Kb) 29024

[startup+1771.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1770.56
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6691 0 0 0 176837 219 0 0 25 0 1 0 153484876 29855744 6452 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718274 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6452 296 55 0 6181 0
Current children cumulated CPU time (s) 1770.56
Current children cumulated vsize (Kb) 29156

[startup+1781.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1780.56
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 177836 220 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533791 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1780.56
Current children cumulated vsize (Kb) 29156

[startup+1782.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1781.58
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 177937 221 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (Kb) 29156

[startup+1783.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1782.58
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 178037 221 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1782.58
Current children cumulated vsize (Kb) 29156

[startup+1784.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1783.58
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 178137 221 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542177 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1783.58
Current children cumulated vsize (Kb) 29156

[startup+1785.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1784.59
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 178238 221 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1784.59
Current children cumulated vsize (Kb) 29156

[startup+1786.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1785.59
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 178338 221 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1785.59
Current children cumulated vsize (Kb) 29156

[startup+1787.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1786.59
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 178438 221 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (Kb) 29156

[startup+1788.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1787.6
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 178539 221 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134541606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1787.6
Current children cumulated vsize (Kb) 29156

[startup+1789.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1788.6
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 178639 221 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1788.6
Current children cumulated vsize (Kb) 29156

[startup+1790.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1789.6
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 178739 221 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (Kb) 29156

[startup+1791.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1790.62
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 178840 222 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1790.62
Current children cumulated vsize (Kb) 29156

[startup+1792.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1791.62
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 178940 222 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (Kb) 29156

[startup+1793.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1792.62
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 179040 222 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134603340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1792.62
Current children cumulated vsize (Kb) 29156

[startup+1794.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1793.63
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 179141 222 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1793.63
Current children cumulated vsize (Kb) 29156

[startup+1795.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1794.63
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 179241 222 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (Kb) 29156

[startup+1796.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1795.64
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 179342 222 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1795.64
Current children cumulated vsize (Kb) 29156

[startup+1797.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1796.64
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 179442 222 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1796.64
Current children cumulated vsize (Kb) 29156

[startup+1798.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1797.64
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 179542 222 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (Kb) 29156

[startup+1799.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1798.65
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 179643 222 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (Kb) 29156

[startup+1800.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30094
/proc/meminfo: memFree=1494600/2055920 swapFree=4184148/4192956
[pid=29896] ppid=29894 vsize=29156 CPUtime=1799.65
/proc/29896/stat : 29896 (bsolo) R 29894 29896 29847 0 -1 0 6698 0 0 0 179743 222 0 0 25 0 1 0 153484876 29855744 6459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528880 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29896/statm: 7289 6459 296 55 0 6181 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (Kb) 29156

Child status: 0
Real time (s): 1800.55
CPU time (s): 1800.01
CPU user time (s): 1797.77
CPU system time (s): 2.23366
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (Kb): 29156
The end

Launcher Data (download as text)

Begin job on node60 on Fri Jul 28 05:55:51 UTC 2006


FILE ID= 46287-1154066151

PBS_JOBID= 882458

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  c31072fad7bb81e0a58c1598fe2e2bbc

RANDOM SEED= 972817492

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.231
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.231
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:       1519744 kB
Buffers:         27880 kB
Cached:         433848 kB
SwapCached:       2576 kB
Active:          41748 kB
Inactive:       428592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1519744 kB
SwapTotal:     4192956 kB
SwapFree:      4184148 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14584 kB
Slab:            51796 kB
Committed_AS:  1059704 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node60 on Fri Jul 28 06:25:51 UTC 2006