Trace number 354944

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
sat4jPseudoCP 2007-03-23SAT (TO)127 1800.18 1772.33

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
MD5SUMa70b0edfadf87ffd0bc1b32400cae43b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark1802.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint74
Maximum length of a constraint76
Number of terms in the objective function 112
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5454
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.07/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.07/0.16	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.07/0.16	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.07/0.17	c no version file found!!!
0.07/0.17	c sun.arch.data.model	32
0.07/0.17	c java.version	1.6.0
0.07/0.17	c os.name	Linux
0.07/0.17	c os.version	2.6.9-22.EL.rootsmp
0.07/0.17	c os.arch	i386
0.07/0.17	c Free memory 1651659224
0.07/0.17	c Max memory 1654456320
0.07/0.17	c Total memory 1654456320
0.07/0.17	c Number of processors 2
0.16/0.23	c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver)
0.16/0.23	--- Begin Solver configuration ---
0.16/0.23	c Stops conflict analysis at the first Unique Implication Point
0.16/0.23	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.16/0.23	c Learn all clauses as in MiniSAT
0.16/0.23	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 
0.16/0.23	c VSIDS like heuristics from MiniSAT using a heap
0.16/0.23	c No reason simplification
0.16/0.23	c --- End Solver configuration ---
0.16/0.23	c solving /tmp/evaluation/354944-1176738090/instance-354944-1176738090.opb
0.16/0.23	c reading problem ... 
0.28/0.35	c ... done. Wall clock time 0.12s.
0.28/0.35	c CPU time (experimental) 0.27s.
0.28/0.35	c #vars     172
0.28/0.35	c #constraints  14
4.84/3.02	c SATISFIABLE
4.84/3.02	c OPTIMIZING...
4.84/3.02	c Got one! Elapsed wall clock time (in seconds):2.789
4.84/3.02	o 2021
6.30/4.31	c Got one! Elapsed wall clock time (in seconds):4.083
6.30/4.31	o 1925
7.56/5.53	c Got one! Elapsed wall clock time (in seconds):5.305
7.56/5.53	o 1921
9.16/6.85	c Got one! Elapsed wall clock time (in seconds):6.621
9.16/6.85	o 1917
10.41/8.08	c Got one! Elapsed wall clock time (in seconds):7.856
10.41/8.08	o 1911
11.85/9.48	c Got one! Elapsed wall clock time (in seconds):9.246
11.85/9.48	o 1901
13.27/10.82	c Got one! Elapsed wall clock time (in seconds):10.596
13.27/10.82	o 1869
14.70/12.27	c Got one! Elapsed wall clock time (in seconds):12.04
14.70/12.27	o 1853
16.22/13.72	c Got one! Elapsed wall clock time (in seconds):13.491
16.22/13.72	o 1757
17.63/15.19	c Got one! Elapsed wall clock time (in seconds):14.966
17.63/15.19	o 1753
19.28/16.74	c Got one! Elapsed wall clock time (in seconds):16.513
19.28/16.74	o 1625
20.89/18.34	c Got one! Elapsed wall clock time (in seconds):18.117
20.89/18.35	o 1599
22.50/19.99	c Got one! Elapsed wall clock time (in seconds):19.759
22.50/19.99	o 1597
24.23/21.69	c Got one! Elapsed wall clock time (in seconds):21.457
24.23/21.69	o 1587
26.05/23.44	c Got one! Elapsed wall clock time (in seconds):23.213
26.05/23.44	o 1583
27.86/25.25	c Got one! Elapsed wall clock time (in seconds):25.027
27.86/25.25	o 1575
29.79/27.13	c Got one! Elapsed wall clock time (in seconds):26.901
29.79/27.13	o 1573
31.75/29.10	c Got one! Elapsed wall clock time (in seconds):28.866
31.75/29.10	o 1565
33.87/31.15	c Got one! Elapsed wall clock time (in seconds):30.926
33.87/31.15	o 1561
36.19/33.41	c Got one! Elapsed wall clock time (in seconds):33.179
36.19/33.41	o 1367
38.91/36.11	c Got one! Elapsed wall clock time (in seconds):35.883
38.91/36.11	o 1289
41.03/38.26	c Got one! Elapsed wall clock time (in seconds):38.037
41.03/38.26	o 1195
43.25/40.49	c Got one! Elapsed wall clock time (in seconds):40.264
43.25/40.49	o 1189
45.59/42.78	c Got one! Elapsed wall clock time (in seconds):42.555
45.59/42.78	o 1187
48.01/45.17	c Got one! Elapsed wall clock time (in seconds):44.94
48.01/45.17	o 1163
50.44/47.53	c Got one! Elapsed wall clock time (in seconds):47.301
50.44/47.53	o 1161
52.86/49.96	c Got one! Elapsed wall clock time (in seconds):49.732
52.86/49.96	o 1159
55.48/52.51	c Got one! Elapsed wall clock time (in seconds):52.276
55.48/52.51	o 1091
57.90/54.98	c Got one! Elapsed wall clock time (in seconds):54.749
57.90/54.98	o 1083
60.52/57.53	c Got one! Elapsed wall clock time (in seconds):57.302
60.52/57.53	o 1073
63.25/60.27	c Got one! Elapsed wall clock time (in seconds):60.041
63.25/60.27	o 1069
66.48/63.44	c Got one! Elapsed wall clock time (in seconds):63.208
66.48/63.44	o 1068
70.62/67.52	c Got one! Elapsed wall clock time (in seconds):67.289
70.62/67.52	o 978
73.44/70.38	c Got one! Elapsed wall clock time (in seconds):70.154
73.44/70.38	o 958
77.49/74.30	c Got one! Elapsed wall clock time (in seconds):74.072
77.49/74.30	o 956
80.54/77.36	c Got one! Elapsed wall clock time (in seconds):77.128
80.54/77.36	o 946
84.27/81.05	c Got one! Elapsed wall clock time (in seconds):80.826
84.27/81.05	o 930
87.61/84.33	c Got one! Elapsed wall clock time (in seconds):84.104
87.61/84.33	o 922
91.59/88.25	c Got one! Elapsed wall clock time (in seconds):88.024
91.59/88.25	o 920
96.34/92.95	c Got one! Elapsed wall clock time (in seconds):92.722
96.34/92.95	o 888
101.07/97.62	c Got one! Elapsed wall clock time (in seconds):97.393
101.07/97.62	o 886
104.49/101.07	c Got one! Elapsed wall clock time (in seconds):100.838
104.49/101.07	o 878
108.04/104.57	c Got one! Elapsed wall clock time (in seconds):104.346
108.04/104.57	o 877
112.27/108.79	c Got one! Elapsed wall clock time (in seconds):108.564
112.27/108.79	o 876
116.70/113.11	c Got one! Elapsed wall clock time (in seconds):112.877
116.70/113.11	o 865
121.05/117.41	c Got one! Elapsed wall clock time (in seconds):117.18
121.05/117.41	o 857
125.50/121.81	c Got one! Elapsed wall clock time (in seconds):121.577
125.50/121.81	o 855
129.94/126.29	c Got one! Elapsed wall clock time (in seconds):126.066
129.94/126.29	o 847
134.68/130.95	c Got one! Elapsed wall clock time (in seconds):130.726
134.68/130.95	o 839
139.42/135.62	c Got one! Elapsed wall clock time (in seconds):135.396
139.42/135.62	o 837
144.98/141.13	c Got one! Elapsed wall clock time (in seconds):140.904
144.98/141.13	o 725
149.91/146.00	c Got one! Elapsed wall clock time (in seconds):145.772
149.91/146.00	o 722
154.26/150.38	c Got one! Elapsed wall clock time (in seconds):150.148
154.26/150.38	o 721
158.88/155.00	c Got one! Elapsed wall clock time (in seconds):154.768
158.88/155.00	o 720
164.33/160.38	c Got one! Elapsed wall clock time (in seconds):160.153
164.33/160.38	o 661
170.10/166.01	c Got one! Elapsed wall clock time (in seconds):165.785
170.10/166.01	o 657
175.43/171.37	c Got one! Elapsed wall clock time (in seconds):171.144
175.43/171.37	o 601
180.98/176.87	c Got one! Elapsed wall clock time (in seconds):176.643
180.98/176.87	o 600
186.65/182.49	c Got one! Elapsed wall clock time (in seconds):182.258
186.65/182.49	o 596
192.82/188.54	c Got one! Elapsed wall clock time (in seconds):188.308
192.82/188.54	o 595
199.08/194.71	c Got one! Elapsed wall clock time (in seconds):194.48
199.08/194.71	o 591
206.65/202.25	c Got one! Elapsed wall clock time (in seconds):202.019
206.65/202.25	o 589
213.01/208.57	c Got one! Elapsed wall clock time (in seconds):208.346
213.01/208.57	o 585
219.46/214.92	c Got one! Elapsed wall clock time (in seconds):214.696
219.46/214.92	o 578
226.11/221.60	c Got one! Elapsed wall clock time (in seconds):221.369
226.11/221.60	o 570
232.98/228.30	c Got one! Elapsed wall clock time (in seconds):228.072
232.98/228.30	o 558
240.25/235.60	c Got one! Elapsed wall clock time (in seconds):235.368
240.25/235.60	o 552
247.61/242.90	c Got one! Elapsed wall clock time (in seconds):242.667
247.61/242.90	o 548
255.07/250.25	c Got one! Elapsed wall clock time (in seconds):250.018
255.07/250.25	o 546
262.85/257.93	c Got one! Elapsed wall clock time (in seconds):257.706
262.85/257.93	o 539
270.01/265.06	c Got one! Elapsed wall clock time (in seconds):264.835
270.01/265.06	o 536
277.07/272.08	c Got one! Elapsed wall clock time (in seconds):271.845
277.07/272.08	o 512
285.66/280.51	c Got one! Elapsed wall clock time (in seconds):280.281
285.66/280.51	o 509
292.01/286.83	c Got one! Elapsed wall clock time (in seconds):286.602
292.01/286.83	o 506
298.88/293.61	c Got one! Elapsed wall clock time (in seconds):293.385
298.88/293.61	o 425
308.03/302.64	c Got one! Elapsed wall clock time (in seconds):302.408
308.03/302.64	o 416
327.12/321.58	c Got one! Elapsed wall clock time (in seconds):321.355
327.12/321.58	o 402
335.10/329.48	c Got one! Elapsed wall clock time (in seconds):329.249
335.10/329.48	o 394
346.11/340.30	c Got one! Elapsed wall clock time (in seconds):340.076
346.11/340.30	o 390
357.40/351.57	c Got one! Elapsed wall clock time (in seconds):351.346
357.40/351.57	o 373
365.09/359.10	c Got one! Elapsed wall clock time (in seconds):358.873
365.09/359.11	o 370
375.78/369.76	c Got one! Elapsed wall clock time (in seconds):369.537
375.78/369.76	o 366
390.74/384.58	c Got one! Elapsed wall clock time (in seconds):384.354
390.74/384.58	o 351
402.04/395.71	c Got one! Elapsed wall clock time (in seconds):395.483
402.04/395.71	o 343
416.38/409.95	c Got one! Elapsed wall clock time (in seconds):409.724
416.38/409.96	o 342
427.52/420.93	c Got one! Elapsed wall clock time (in seconds):420.702
427.52/420.93	o 341
438.72/432.08	c Got one! Elapsed wall clock time (in seconds):431.856
438.72/432.08	o 339
455.90/449.06	c Got one! Elapsed wall clock time (in seconds):448.83
455.90/449.06	o 337
473.48/466.40	c Got one! Elapsed wall clock time (in seconds):466.173
473.48/466.40	o 335
484.69/477.50	c Got one! Elapsed wall clock time (in seconds):477.268
484.69/477.50	o 326
510.90/503.46	c Got one! Elapsed wall clock time (in seconds):503.228
510.90/503.46	o 315
524.23/516.63	c Got one! Elapsed wall clock time (in seconds):516.407
524.23/516.64	o 313
535.98/528.21	c Got one! Elapsed wall clock time (in seconds):527.978
535.98/528.21	o 299
564.39/556.34	c Got one! Elapsed wall clock time (in seconds):556.116
564.39/556.34	o 290
608.31/599.70	c Got one! Elapsed wall clock time (in seconds):599.469
608.31/599.70	o 289
625.82/617.07	c Got one! Elapsed wall clock time (in seconds):616.842
625.82/617.07	o 288
671.94/662.60	c Got one! Elapsed wall clock time (in seconds):662.37
671.94/662.60	o 282
720.80/710.86	c Got one! Elapsed wall clock time (in seconds):710.628
720.80/710.86	o 274
789.32/778.54	c Got one! Elapsed wall clock time (in seconds):778.309
789.32/778.54	o 267
809.60/798.52	c Got one! Elapsed wall clock time (in seconds):798.294
809.60/798.52	o 256
825.42/814.12	c Got one! Elapsed wall clock time (in seconds):813.892
825.42/814.12	o 255
842.86/831.35	c Got one! Elapsed wall clock time (in seconds):831.122
842.86/831.35	o 253
861.28/849.51	c Got one! Elapsed wall clock time (in seconds):849.282
861.28/849.51	o 251
875.78/863.86	c Got one! Elapsed wall clock time (in seconds):863.633
875.78/863.86	o 233
919.09/906.54	c Got one! Elapsed wall clock time (in seconds):906.309
919.09/906.54	o 213
936.63/923.85	c Got one! Elapsed wall clock time (in seconds):923.626
936.63/923.85	o 211
1006.08/992.25	c Got one! Elapsed wall clock time (in seconds):992.023
1006.08/992.25	o 191
1025.67/1011.51	c Got one! Elapsed wall clock time (in seconds):1011.277
1025.67/1011.51	o 184
1059.97/1045.31	c Got one! Elapsed wall clock time (in seconds):1045.081
1059.97/1045.31	o 182
1080.60/1065.62	c Got one! Elapsed wall clock time (in seconds):1065.388
1080.60/1065.62	o 180
1102.64/1087.30	c Got one! Elapsed wall clock time (in seconds):1087.076
1102.64/1087.30	o 175
1136.34/1120.53	c Got one! Elapsed wall clock time (in seconds):1120.303
1136.34/1120.53	o 167
1175.73/1159.39	c Got one! Elapsed wall clock time (in seconds):1159.16
1175.73/1159.39	o 166
1204.14/1187.30	c Got one! Elapsed wall clock time (in seconds):1187.071
1204.14/1187.30	o 161
1247.68/1230.24	c Got one! Elapsed wall clock time (in seconds):1230.008
1247.68/1230.24	o 159
1271.27/1253.44	c Got one! Elapsed wall clock time (in seconds):1253.212
1271.27/1253.44	o 156
1295.16/1276.97	c Got one! Elapsed wall clock time (in seconds):1276.739
1295.16/1276.97	o 154
1326.38/1307.66	c Got one! Elapsed wall clock time (in seconds):1307.434
1326.38/1307.66	o 146
1373.89/1354.30	c Got one! Elapsed wall clock time (in seconds):1354.072
1373.89/1354.30	o 143
1394.82/1374.93	c Got one! Elapsed wall clock time (in seconds):1374.704
1394.82/1374.93	o 141
1416.59/1396.38	c Got one! Elapsed wall clock time (in seconds):1396.148
1416.59/1396.38	o 139
1448.14/1427.31	c Got one! Elapsed wall clock time (in seconds):1427.081
1448.14/1427.31	o 137
1469.83/1448.61	c Got one! Elapsed wall clock time (in seconds):1448.384
1469.83/1448.61	o 135
1491.87/1470.31	c Got one! Elapsed wall clock time (in seconds):1470.077
1491.87/1470.31	o 132
1525.98/1503.83	c Got one! Elapsed wall clock time (in seconds):1503.601
1525.98/1503.83	o 131
1551.41/1528.87	c Got one! Elapsed wall clock time (in seconds):1528.646
1551.41/1528.87	o 129
1572.51/1549.52	c Got one! Elapsed wall clock time (in seconds):1549.289
1572.51/1549.52	o 127
1800.04/1772.21	c starts		: 256
1800.04/1772.21	c conflicts		: 24220
1800.04/1772.21	c decisions		: 85823
1800.04/1772.21	c propagations		: 390726
1800.04/1772.21	c inspects		: 492752277
1800.04/1772.21	c learnt literals	: 0
1800.04/1772.21	c learnt binary clauses	: 0
1800.04/1772.21	c learnt ternary clauses	: 0
1800.04/1772.21	c learnt clauses	: 24219
1800.04/1772.21	c root simplifications	: 0
1800.04/1772.21	c removed literals (reason simplification)	: 0
1800.04/1772.21	c reason swapping (by a shorter reason)	: 0
1800.04/1772.21	c Calls to reduceDB	: 0
1800.04/1772.21	c speed (decisions/second)	: 385.38878810195246
1800.04/1772.21	c non guided choices	3584
1800.04/1772.21	s SATISFIABLE
1800.04/1772.21	v -x1 -x2 x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 x28 -x29
1800.04/1772.21	v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 x53 -x54 -x55 -x56
1800.04/1772.21	v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82
1800.04/1772.21	v -x83 x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
1800.04/1772.21	v x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 x119 x120 x121 -x122 x123 x124 -x125 x126 -x127 x128
1800.04/1772.21	v x129 x130 -x131 -x132 x133 -x134 x135 x136 x137 -x138 x139 x140 x141 -x142 x143 x144 x145 x146 x147 -x148 -x149 -x150 x151 x152
1800.04/1772.21	v -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 x163 x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 x172
1800.04/1772.21	c objective function=127
1800.04/1772.21	c Total wall clock time (ms): 1771.984

Verifier Data (download as text)

OK	127

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node13/watcher-354944-1176738090 -o ROOT/results/node13/solver-354944-1176738090 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354944-1176738090/sat4jPseudoCP.jar /tmp/evaluation/354944-1176738090/instance-354944-1176738090.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.87 0.95 0.98 2/77 18806
/proc/meminfo: memFree=1739264/2055920 swapFree=4175332/4192956
[pid=18806] ppid=18804 vsize=200 CPUtime=0
/proc/18806/stat : 18806 (java) R 18804 18806 16385 0 -1 0 49 0 0 0 0 0 0 0 19 0 1 0 121726825 204800 33 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 11879204 0 0 4096 0 0 0 0 17 1 0 0
/proc/18806/statm: 66 34 26 9 0 4 0

[startup+0.042157 s]
/proc/loadavg: 0.87 0.95 0.98 2/77 18806
/proc/meminfo: memFree=1739264/2055920 swapFree=4175332/4192956
[pid=18806] ppid=18804 vsize=1776088 CPUtime=0.03
/proc/18806/stat : 18806 (java) S 18804 18806 16385 0 -1 0 3226 0 1 0 1 2 0 0 18 0 4 0 121726825 1818714112 2973 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/18806/statm: 444022 2973 887 9 0 441658 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1776088

[startup+0.101166 s]
/proc/loadavg: 0.87 0.95 0.98 2/77 18806
/proc/meminfo: memFree=1739264/2055920 swapFree=4175332/4192956
[pid=18806] ppid=18804 vsize=1777844 CPUtime=0.07
/proc/18806/stat : 18806 (java) S 18804 18806 16385 0 -1 0 3874 0 1 0 5 2 0 0 18 0 7 0 121726825 1820512256 3616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/18806/statm: 444461 3616 1096 9 0 442097 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1777844

[startup+0.30121 s]
/proc/loadavg: 0.87 0.95 0.98 2/77 18806
/proc/meminfo: memFree=1739264/2055920 swapFree=4175332/4192956
[pid=18806] ppid=18804 vsize=1782436 CPUtime=0.28
/proc/18806/stat : 18806 (java) S 18804 18806 16385 0 -1 0 5067 0 1 0 24 4 0 0 18 0 12 0 121726825 1825214464 4805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18806/statm: 445609 4805 1263 9 0 443221 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1782436

[startup+0.701295 s]
/proc/loadavg: 0.87 0.95 0.98 2/77 18806
/proc/meminfo: memFree=1739264/2055920 swapFree=4175332/4192956
[pid=18806] ppid=18804 vsize=1784576 CPUtime=0.96
/proc/18806/stat : 18806 (java) S 18804 18806 16385 0 -1 0 8486 0 1 0 91 5 0 0 18 0 13 0 121726825 1827405824 8009 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18806/statm: 446144 8009 1303 9 0 443756 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 1784576

[startup+1.50247 s]
/proc/loadavg: 0.87 0.95 0.98 4/90 18819
/proc/meminfo: memFree=1691032/2055920 swapFree=4175332/4192956
[pid=18806] ppid=18804 vsize=1799748 CPUtime=2.5
/proc/18806/stat : 18806 (java) S 18804 18806 16385 0 -1 0 24589 0 1 0 238 12 0 0 18 0 13 0 121726825 1842941952 19455 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18806/statm: 449937 19457 1306 9 0 447549 0
[pid=18806/tid=18808] ppid=18804 vsize=1799748 CPUtime=0.92
/proc/18806/task/18808/stat : 18808 (java) R 18804 18806 16385 0 -1 64 14494 0 1 0 84 8 0 0 18 0 13 0 121726827 1842941952 19457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109556728 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18809] ppid=18804 vsize=1799748 CPUtime=0
/proc/18806/task/18809/stat : 18809 (java) S 18804 18806 16385 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 121726828 1842941952 19459 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18810] ppid=18804 vsize=1799748 CPUtime=0
/proc/18806/task/18810/stat : 18810 (java) S 18804 18806 16385 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 121726828 1842941952 19459 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18811] ppid=18804 vsize=1799748 CPUtime=0
/proc/18806/task/18811/stat : 18811 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 121726831 1842941952 19459 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18812] ppid=18804 vsize=1799748 CPUtime=0
/proc/18806/task/18812/stat : 18812 (java) S 18804 18806 16385 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 121726831 1842941952 19461 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18813] ppid=18804 vsize=1799748 CPUtime=0
/proc/18806/task/18813/stat : 18813 (java) S 18804 18806 16385 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 121726831 1842941952 19462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18814] ppid=18804 vsize=1799748 CPUtime=0
/proc/18806/task/18814/stat : 18814 (java) S 18804 18806 16385 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 121726837 1842941952 19462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18815] ppid=18804 vsize=1799748 CPUtime=0.7
/proc/18806/task/18815/stat : 18815 (java) R 18804 18806 16385 0 -1 64 4321 0 0 0 69 1 0 0 18 0 13 0 121726837 1842941952 19464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105054455 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18816] ppid=18804 vsize=1799748 CPUtime=0.86
/proc/18806/task/18816/stat : 18816 (java) R 18804 18806 16385 0 -1 64 5049 0 0 0 84 2 0 0 17 0 13 0 121726837 1842941952 19465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103334214 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18817] ppid=18804 vsize=1799748 CPUtime=0
/proc/18806/task/18817/stat : 18817 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 121726837 1842941952 19465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18818] ppid=18804 vsize=1799748 CPUtime=0
/proc/18806/task/18818/stat : 18818 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121726837 1842941952 19466 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18819] ppid=18804 vsize=1799748 CPUtime=0
/proc/18806/task/18819/stat : 18819 (java) S 18804 18806 16385 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 121726861 1842941952 19467 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 1799748

[startup+3.10281 s]
/proc/loadavg: 1.04 0.99 0.99 3/90 18819
/proc/meminfo: memFree=1608984/2055920 swapFree=4175332/4192956
[pid=18806] ppid=18804 vsize=1799260 CPUtime=5.04
/proc/18806/stat : 18806 (java) S 18804 18806 16385 0 -1 0 52555 0 1 0 480 24 0 0 18 0 13 0 121726825 1842442240 43305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18806/statm: 449815 43305 1326 9 0 447427 0
[pid=18806/tid=18808] ppid=18804 vsize=1799260 CPUtime=2.19
/proc/18806/task/18808/stat : 18808 (java) R 18804 18806 16385 0 -1 64 37736 0 1 0 201 18 0 0 24 0 13 0 121726827 1842442240 43305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18809] ppid=18804 vsize=1799260 CPUtime=0
/proc/18806/task/18809/stat : 18809 (java) S 18804 18806 16385 0 -1 64 159 0 0 0 0 0 0 0 16 0 13 0 121726828 1842442240 43305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18810] ppid=18804 vsize=1799260 CPUtime=0
/proc/18806/task/18810/stat : 18810 (java) S 18804 18806 16385 0 -1 64 144 0 0 0 0 0 0 0 16 0 13 0 121726828 1842442240 43305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18811] ppid=18804 vsize=1799260 CPUtime=0
/proc/18806/task/18811/stat : 18811 (java) S 18804 18806 16385 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 121726831 1842442240 43305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18812] ppid=18804 vsize=1799260 CPUtime=0
/proc/18806/task/18812/stat : 18812 (java) S 18804 18806 16385 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121726831 1842442240 43305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18813] ppid=18804 vsize=1799260 CPUtime=0
/proc/18806/task/18813/stat : 18813 (java) S 18804 18806 16385 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 121726831 1842442240 43305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18814] ppid=18804 vsize=1799260 CPUtime=0
/proc/18806/task/18814/stat : 18814 (java) S 18804 18806 16385 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 121726837 1842442240 43305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18815] ppid=18804 vsize=1799260 CPUtime=1.35
/proc/18806/task/18815/stat : 18815 (java) R 18804 18806 16385 0 -1 64 6303 0 0 0 133 2 0 0 17 0 13 0 121726837 1842442240 43305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102599627 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18816] ppid=18804 vsize=1799260 CPUtime=1.46
/proc/18806/task/18816/stat : 18816 (java) R 18804 18806 16385 0 -1 64 7480 0 0 0 144 2 0 0 16 0 13 0 121726837 1842442240 43305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104812700 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18817] ppid=18804 vsize=1799260 CPUtime=0
/proc/18806/task/18817/stat : 18817 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 121726837 1842442240 43305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18818] ppid=18804 vsize=1799260 CPUtime=0
/proc/18806/task/18818/stat : 18818 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121726837 1842442240 43305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.04
Current children cumulated vsize (KiB) 1799260

[startup+6.30249 s]
/proc/loadavg: 1.04 0.99 0.99 2/90 18821
/proc/meminfo: memFree=1569032/2055920 swapFree=4175332/4192956
[pid=18806] ppid=18804 vsize=1797400 CPUtime=8.63
/proc/18806/stat : 18806 (java) S 18804 18806 16385 0 -1 0 55575 0 1 0 837 26 0 0 18 0 13 0 121726825 1840537600 44758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18806/statm: 449350 44758 1327 9 0 446962 0
[pid=18806/tid=18808] ppid=18804 vsize=1797400 CPUtime=5.25
/proc/18806/task/18808/stat : 18808 (java) R 18804 18806 16385 0 -1 64 37748 0 1 0 507 18 0 0 20 0 13 0 121726827 1840537600 44758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109569515 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18809] ppid=18804 vsize=1797400 CPUtime=0.04
/proc/18806/task/18809/stat : 18809 (java) S 18804 18806 16385 0 -1 64 1182 0 0 0 4 0 0 0 16 0 13 0 121726828 1840537600 44758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18810] ppid=18804 vsize=1797400 CPUtime=0.06
/proc/18806/task/18810/stat : 18810 (java) S 18804 18806 16385 0 -1 64 1785 0 0 0 6 0 0 0 16 0 13 0 121726828 1840537600 44758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18811] ppid=18804 vsize=1797400 CPUtime=0
/proc/18806/task/18811/stat : 18811 (java) S 18804 18806 16385 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 121726831 1840537600 44758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18812] ppid=18804 vsize=1797400 CPUtime=0
/proc/18806/task/18812/stat : 18812 (java) S 18804 18806 16385 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121726831 1840537600 44758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18813] ppid=18804 vsize=1797400 CPUtime=0
/proc/18806/task/18813/stat : 18813 (java) S 18804 18806 16385 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 121726831 1840537600 44758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18814] ppid=18804 vsize=1797400 CPUtime=0
/proc/18806/task/18814/stat : 18814 (java) S 18804 18806 16385 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 121726837 1840537600 44758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18815] ppid=18804 vsize=1797400 CPUtime=1.67
/proc/18806/task/18815/stat : 18815 (java) S 18804 18806 16385 0 -1 64 6622 0 0 0 165 2 0 0 19 0 13 0 121726837 1840537600 44758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18816] ppid=18804 vsize=1797400 CPUtime=1.54
/proc/18806/task/18816/stat : 18816 (java) S 18804 18806 16385 0 -1 64 7486 0 0 0 152 2 0 0 16 0 13 0 121726837 1840537600 44758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18817] ppid=18804 vsize=1797400 CPUtime=0
/proc/18806/task/18817/stat : 18817 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 121726837 1840537600 44758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18818] ppid=18804 vsize=1797400 CPUtime=0
/proc/18806/task/18818/stat : 18818 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121726837 1840537600 44758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.63
Current children cumulated vsize (KiB) 1797400

[startup+12.7029 s]
/proc/loadavg: 1.03 0.99 0.99 2/90 18826
/proc/meminfo: memFree=1524008/2055920 swapFree=4175332/4192956
[pid=18806] ppid=18804 vsize=1797308 CPUtime=15.21
/proc/18806/stat : 18806 (java) S 18804 18806 16385 0 -1 0 66325 0 1 0 1489 32 0 0 18 0 13 0 121726825 1840443392 55065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18806/statm: 449327 55065 1328 9 0 446939 0
[pid=18806/tid=18808] ppid=18804 vsize=1797308 CPUtime=11.52
/proc/18806/task/18808/stat : 18808 (java) R 18804 18806 16385 0 -1 64 43325 0 1 0 1131 21 0 0 20 0 13 0 121726827 1840443392 55065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109214005 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18809] ppid=18804 vsize=1797308 CPUtime=0.15
/proc/18806/task/18809/stat : 18809 (java) S 18804 18806 16385 0 -1 64 3674 0 0 0 13 2 0 0 16 0 13 0 121726828 1840443392 55065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18810] ppid=18804 vsize=1797308 CPUtime=0.16
/proc/18806/task/18810/stat : 18810 (java) S 18804 18806 16385 0 -1 64 4456 0 0 0 15 1 0 0 16 0 13 0 121726828 1840443392 55065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18811] ppid=18804 vsize=1797308 CPUtime=0.01
/proc/18806/task/18811/stat : 18811 (java) S 18804 18806 16385 0 -1 64 28 0 0 0 1 0 0 0 15 0 13 0 121726831 1840443392 55065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18812] ppid=18804 vsize=1797308 CPUtime=0
/proc/18806/task/18812/stat : 18812 (java) S 18804 18806 16385 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121726831 1840443392 55065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18813] ppid=18804 vsize=1797308 CPUtime=0
/proc/18806/task/18813/stat : 18813 (java) S 18804 18806 16385 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 121726831 1840443392 55065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18814] ppid=18804 vsize=1797308 CPUtime=0
/proc/18806/task/18814/stat : 18814 (java) S 18804 18806 16385 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 121726837 1840443392 55065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18815] ppid=18804 vsize=1797308 CPUtime=1.72
/proc/18806/task/18815/stat : 18815 (java) S 18804 18806 16385 0 -1 64 6622 0 0 0 170 2 0 0 16 0 13 0 121726837 1840443392 55065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18816] ppid=18804 vsize=1797308 CPUtime=1.59
/proc/18806/task/18816/stat : 18816 (java) S 18804 18806 16385 0 -1 64 7487 0 0 0 157 2 0 0 16 0 13 0 121726837 1840443392 55065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18817] ppid=18804 vsize=1797308 CPUtime=0
/proc/18806/task/18817/stat : 18817 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 121726837 1840443392 55065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18818] ppid=18804 vsize=1797308 CPUtime=0
/proc/18806/task/18818/stat : 18818 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121726837 1840443392 55065 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.21
Current children cumulated vsize (KiB) 1797308

[startup+25.5016 s]
/proc/loadavg: 1.03 0.99 0.99 2/90 18834
/proc/meminfo: memFree=1528232/2055920 swapFree=4175332/4192956
[pid=18806] ppid=18804 vsize=1797308 CPUtime=28.17
/proc/18806/stat : 18806 (java) S 18804 18806 16385 0 -1 0 69476 0 1 0 2783 34 0 0 18 0 13 0 121726825 1840443392 53329 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18806/statm: 449327 53329 1334 9 0 446939 0
[pid=18806/tid=18808] ppid=18804 vsize=1797308 CPUtime=24.17
/proc/18806/task/18808/stat : 18808 (java) R 18804 18806 16385 0 -1 64 43345 0 1 0 2396 21 0 0 17 0 13 0 121726827 1840443392 53329 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109543268 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18809] ppid=18804 vsize=1797308 CPUtime=0.25
/proc/18806/task/18809/stat : 18809 (java) S 18804 18806 16385 0 -1 64 5198 0 0 0 23 2 0 0 17 0 13 0 121726828 1840443392 53329 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18810] ppid=18804 vsize=1797308 CPUtime=0.28
/proc/18806/task/18810/stat : 18810 (java) S 18804 18806 16385 0 -1 64 6042 0 0 0 26 2 0 0 16 0 13 0 121726828 1840443392 53329 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18811] ppid=18804 vsize=1797308 CPUtime=0.01
/proc/18806/task/18811/stat : 18811 (java) S 18804 18806 16385 0 -1 64 28 0 0 0 1 0 0 0 15 0 13 0 121726831 1840443392 53329 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18812] ppid=18804 vsize=1797308 CPUtime=0
/proc/18806/task/18812/stat : 18812 (java) S 18804 18806 16385 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121726831 1840443392 53329 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18813] ppid=18804 vsize=1797308 CPUtime=0
/proc/18806/task/18813/stat : 18813 (java) S 18804 18806 16385 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 121726831 1840443392 53329 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=18806/tid=18811] ppid=18804 vsize=1797632 CPUtime=0.25
/proc/18806/task/18811/stat : 18811 (java) S 18804 18806 16385 0 -1 64 142 0 0 0 16 9 0 0 16 0 13 0 121726831 1840775168 124610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18812] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18812/stat : 18812 (java) S 18804 18806 16385 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121726831 1840775168 124610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18813] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18813/stat : 18813 (java) S 18804 18806 16385 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 121726831 1840775168 124610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18814] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18814/stat : 18814 (java) S 18804 18806 16385 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 121726837 1840775168 124610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18815] ppid=18804 vsize=1797632 CPUtime=1.94
/proc/18806/task/18815/stat : 18815 (java) S 18804 18806 16385 0 -1 64 6627 0 0 0 192 2 0 0 16 0 13 0 121726837 1840775168 124610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18816] ppid=18804 vsize=1797632 CPUtime=1.82
/proc/18806/task/18816/stat : 18816 (java) S 18804 18806 16385 0 -1 64 7503 0 0 0 180 2 0 0 16 0 13 0 121726837 1840775168 124610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18817] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18817/stat : 18817 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 121726837 1840775168 124610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18818] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18818/stat : 18818 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121726837 1840775168 124610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=19143] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/19143/stat : 19143 (java) S 18804 18806 16385 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 121879713 1840775168 124610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1565.15
Current children cumulated vsize (KiB) 1797632

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 19144
/proc/meminfo: memFree=1235368/2055920 swapFree=4175332/4192956
[pid=18806] ppid=18804 vsize=1797632 CPUtime=1626.32
/proc/18806/stat : 18806 (java) S 18804 18806 16385 0 -1 0 173574 0 1 0 162528 104 0 0 18 0 13 0 121726825 1840775168 126334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18806/statm: 449408 126334 1336 9 0 447020 0
[pid=18806/tid=18808] ppid=18804 vsize=1797632 CPUtime=1577.86
/proc/18806/task/18808/stat : 18808 (java) R 18804 18806 16385 0 -1 64 61518 0 1 0 157740 46 0 0 25 0 13 0 121726827 1840775168 126334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109542626 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18809] ppid=18804 vsize=1797632 CPUtime=22.16
/proc/18806/task/18809/stat : 18809 (java) S 18804 18806 16385 0 -1 64 47735 0 0 0 2194 22 0 0 16 0 13 0 121726828 1840775168 126334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18810] ppid=18804 vsize=1797632 CPUtime=22.18
/proc/18806/task/18810/stat : 18810 (java) S 18804 18806 16385 0 -1 64 49113 0 0 0 2200 18 0 0 16 0 13 0 121726828 1840775168 126334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18811] ppid=18804 vsize=1797632 CPUtime=0.25
/proc/18806/task/18811/stat : 18811 (java) S 18804 18806 16385 0 -1 64 142 0 0 0 16 9 0 0 16 0 13 0 121726831 1840775168 126334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18812] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18812/stat : 18812 (java) S 18804 18806 16385 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121726831 1840775168 126334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18813] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18813/stat : 18813 (java) S 18804 18806 16385 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 121726831 1840775168 126334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18814] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18814/stat : 18814 (java) S 18804 18806 16385 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 121726837 1840775168 126334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18815] ppid=18804 vsize=1797632 CPUtime=1.94
/proc/18806/task/18815/stat : 18815 (java) S 18804 18806 16385 0 -1 64 6627 0 0 0 192 2 0 0 16 0 13 0 121726837 1840775168 126334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18816] ppid=18804 vsize=1797632 CPUtime=1.82
/proc/18806/task/18816/stat : 18816 (java) S 18804 18806 16385 0 -1 64 7503 0 0 0 180 2 0 0 16 0 13 0 121726837 1840775168 126334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18817] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18817/stat : 18817 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 121726837 1840775168 126334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18818] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18818/stat : 18818 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121726837 1840775168 126334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=19144] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/19144/stat : 19144 (java) S 18804 18806 16385 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 121881778 1840775168 126334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1626.32
Current children cumulated vsize (KiB) 1797632

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 19144
/proc/meminfo: memFree=1228520/2055920 swapFree=4175332/4192956
[pid=18806] ppid=18804 vsize=1797632 CPUtime=1687.64
/proc/18806/stat : 18806 (java) S 18804 18806 16385 0 -1 0 175444 0 1 0 168657 107 0 0 18 0 13 0 121726825 1840775168 128038 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18806/statm: 449408 128038 1336 9 0 447020 0
[pid=18806/tid=18808] ppid=18804 vsize=1797632 CPUtime=1636.49
/proc/18806/task/18808/stat : 18808 (java) R 18804 18806 16385 0 -1 64 61550 0 1 0 163602 47 0 0 25 0 13 0 121726827 1840775168 128038 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109497586 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18809] ppid=18804 vsize=1797632 CPUtime=23.51
/proc/18806/task/18809/stat : 18809 (java) S 18804 18806 16385 0 -1 64 49084 0 0 0 2328 23 0 0 16 0 13 0 121726828 1840775168 128038 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18810] ppid=18804 vsize=1797632 CPUtime=23.53
/proc/18806/task/18810/stat : 18810 (java) S 18804 18806 16385 0 -1 64 49602 0 0 0 2334 19 0 0 17 0 13 0 121726828 1840775168 128038 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18811] ppid=18804 vsize=1797632 CPUtime=0.27
/proc/18806/task/18811/stat : 18811 (java) S 18804 18806 16385 0 -1 64 142 0 0 0 17 10 0 0 16 0 13 0 121726831 1840775168 128038 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18812] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18812/stat : 18812 (java) S 18804 18806 16385 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121726831 1840775168 128038 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18813] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18813/stat : 18813 (java) S 18804 18806 16385 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 121726831 1840775168 128038 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18814] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18814/stat : 18814 (java) S 18804 18806 16385 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 121726837 1840775168 128038 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18815] ppid=18804 vsize=1797632 CPUtime=1.94
/proc/18806/task/18815/stat : 18815 (java) S 18804 18806 16385 0 -1 64 6627 0 0 0 192 2 0 0 16 0 13 0 121726837 1840775168 128038 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18816] ppid=18804 vsize=1797632 CPUtime=1.82
/proc/18806/task/18816/stat : 18816 (java) S 18804 18806 16385 0 -1 64 7503 0 0 0 180 2 0 0 16 0 13 0 121726837 1840775168 128038 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18817] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18817/stat : 18817 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 121726837 1840775168 128038 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18818] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18818/stat : 18818 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121726837 1840775168 128038 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=19144] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/19144/stat : 19144 (java) S 18804 18806 16385 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 121881778 1840775168 128038 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1687.64
Current children cumulated vsize (KiB) 1797632

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 19144
/proc/meminfo: memFree=1221928/2055920 swapFree=4175332/4192956
[pid=18806] ppid=18804 vsize=1797632 CPUtime=1748.95
/proc/18806/stat : 18806 (java) S 18804 18806 16385 0 -1 0 177355 0 1 0 174786 109 0 0 18 0 13 0 121726825 1840775168 129675 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18806/statm: 449408 129675 1336 9 0 447020 0
[pid=18806/tid=18808] ppid=18804 vsize=1797632 CPUtime=1695.12
/proc/18806/task/18808/stat : 18808 (java) R 18804 18806 16385 0 -1 64 61581 0 1 0 169464 48 0 0 25 0 13 0 121726827 1840775168 129675 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109546598 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18809] ppid=18804 vsize=1797632 CPUtime=24.84
/proc/18806/task/18809/stat : 18809 (java) S 18804 18806 16385 0 -1 64 50286 0 0 0 2460 24 0 0 16 0 13 0 121726828 1840775168 129675 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18810] ppid=18804 vsize=1797632 CPUtime=24.86
/proc/18806/task/18810/stat : 18810 (java) S 18804 18806 16385 0 -1 64 50280 0 0 0 2467 19 0 0 17 0 13 0 121726828 1840775168 129675 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18811] ppid=18804 vsize=1797632 CPUtime=0.27
/proc/18806/task/18811/stat : 18811 (java) S 18804 18806 16385 0 -1 64 142 0 0 0 17 10 0 0 16 0 13 0 121726831 1840775168 129675 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18812] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18812/stat : 18812 (java) S 18804 18806 16385 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121726831 1840775168 129675 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18813] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18813/stat : 18813 (java) S 18804 18806 16385 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 121726831 1840775168 129675 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18814] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18814/stat : 18814 (java) S 18804 18806 16385 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 121726837 1840775168 129675 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18815] ppid=18804 vsize=1797632 CPUtime=1.94
/proc/18806/task/18815/stat : 18815 (java) S 18804 18806 16385 0 -1 64 6627 0 0 0 192 2 0 0 16 0 13 0 121726837 1840775168 129675 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18816] ppid=18804 vsize=1797632 CPUtime=1.82
/proc/18806/task/18816/stat : 18816 (java) S 18804 18806 16385 0 -1 64 7503 0 0 0 180 2 0 0 16 0 13 0 121726837 1840775168 129675 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18817] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18817/stat : 18817 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 121726837 1840775168 129675 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18818] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18818/stat : 18818 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121726837 1840775168 129675 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=19144] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/19144/stat : 19144 (java) S 18804 18806 16385 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 121881778 1840775168 129675 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1748.95
Current children cumulated vsize (KiB) 1797632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1772.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 19144
/proc/meminfo: memFree=1214888/2055920 swapFree=4175332/4192956
[pid=18806] ppid=18804 vsize=1797632 CPUtime=1800.04
/proc/18806/stat : 18806 (java) S 18804 18806 16385 0 -1 0 179331 0 1 0 179893 111 0 0 18 0 13 0 121726825 1840775168 131427 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18806/statm: 449408 131427 1336 9 0 447020 0
[pid=18806/tid=18808] ppid=18804 vsize=1797632 CPUtime=1743.77
/proc/18806/task/18808/stat : 18808 (java) R 18804 18806 16385 0 -1 64 61609 0 1 0 174329 48 0 0 17 0 13 0 121726827 1840775168 131427 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109566538 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=18809] ppid=18804 vsize=1797632 CPUtime=26.07
/proc/18806/task/18809/stat : 18809 (java) S 18804 18806 16385 0 -1 64 51230 0 0 0 2582 25 0 0 17 0 13 0 121726828 1840775168 131427 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18810] ppid=18804 vsize=1797632 CPUtime=26.08
/proc/18806/task/18810/stat : 18810 (java) S 18804 18806 16385 0 -1 64 51284 0 0 0 2588 20 0 0 17 0 13 0 121726828 1840775168 131427 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18811] ppid=18804 vsize=1797632 CPUtime=0.28
/proc/18806/task/18811/stat : 18811 (java) S 18804 18806 16385 0 -1 64 142 0 0 0 18 10 0 0 16 0 13 0 121726831 1840775168 131427 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18812] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18812/stat : 18812 (java) S 18804 18806 16385 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121726831 1840775168 131427 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18813] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18813/stat : 18813 (java) S 18804 18806 16385 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 121726831 1840775168 131427 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18814] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18814/stat : 18814 (java) S 18804 18806 16385 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 121726837 1840775168 131427 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18815] ppid=18804 vsize=1797632 CPUtime=1.94
/proc/18806/task/18815/stat : 18815 (java) S 18804 18806 16385 0 -1 64 6627 0 0 0 192 2 0 0 16 0 13 0 121726837 1840775168 131427 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18816] ppid=18804 vsize=1797632 CPUtime=1.82
/proc/18806/task/18816/stat : 18816 (java) S 18804 18806 16385 0 -1 64 7503 0 0 0 180 2 0 0 16 0 13 0 121726837 1840775168 131427 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18817] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18817/stat : 18817 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 121726837 1840775168 131427 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18806/tid=18818] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/18818/stat : 18818 (java) S 18804 18806 16385 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121726837 1840775168 131427 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18806/tid=19144] ppid=18804 vsize=1797632 CPUtime=0
/proc/18806/task/19144/stat : 19144 (java) S 18804 18806 16385 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 121881778 1840775168 131427 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1797632

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1772.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 19144
/proc/meminfo: memFree=1214888/2055920 swapFree=4175332/4192956
[pid=18806] ppid=18804 vsize=0 CPUtime=1800.15
/proc/18806/stat : 18806 (java) Z 18804 18806 16385 0 -1 1036 179345 0 1 0 179898 117 0 0 16 0 2 0 121726825 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18806/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1772.33
CPU time (s): 1800.18
CPU user time (s): 1798.98
CPU system time (s): 1.19182
CPU usage (%): 101.571
Max. virtual memory (cumulated for all children) (KiB): 1801532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.19182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179345
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46141
involuntary context switches= 49914

runsolver used 1.65875 second user time and 4.94225 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Mon Apr 16 15:41:30 UTC 2007

IDJOB= 354944
IDBENCH= 2924
IDSOLVER= 160
FILE ID= node13/354944-1176738090

PBS_JOBID= 4559511

Free space on /tmp= 66475 MiB

SOLVER NAME= sat4jPseudoCP 2007-03-23
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354944-1176738090/sat4jPseudoCP.jar /tmp/evaluation/354944-1176738090/instance-354944-1176738090.opb       
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-354944-1176738090 -o ROOT/results/node13/solver-354944-1176738090 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354944-1176738090/sat4jPseudoCP.jar /tmp/evaluation/354944-1176738090/instance-354944-1176738090.opb       

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  a70b0edfadf87ffd0bc1b32400cae43b

RANDOM SEED= 12956992

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.259
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.259
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:       1739864 kB
Buffers:         55440 kB
Cached:         172156 kB
SwapCached:       2992 kB
Active:          39548 kB
Inactive:       217908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1739864 kB
SwapTotal:     4192956 kB
SwapFree:      4175332 kB
Dirty:            3736 kB
Writeback:           0 kB
Mapped:          40480 kB
Slab:            44056 kB
Committed_AS:  6503864 kB
PageTables:       1872 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66475 MiB

End job on node13 on Mon Apr 16 16:11:04 UTC 2007