Trace number 354775

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)300 1800.14 1774.91

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_2.opb
MD5SUM1d334f36842eecbe8db395477b7c6bcb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark39
Best CPU time to get the best result obtained on this benchmark1802.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint85
Maximum length of a constraint86
Number of terms in the objective function 128
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 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1943
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6340
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.08/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.13	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.13	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.14	c no version file found!!!
0.08/0.14	c sun.arch.data.model	32
0.08/0.14	c java.version	1.6.0
0.08/0.14	c os.name	Linux
0.08/0.14	c os.version	2.6.9-22.EL.rootsmp
0.08/0.14	c os.arch	i386
0.08/0.14	c Free memory 1651659224
0.08/0.14	c Max memory 1654456320
0.08/0.14	c Total memory 1654456320
0.08/0.14	c Number of processors 2
0.20/0.20	c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver)
0.20/0.20	--- Begin Solver configuration ---
0.20/0.20	c Stops conflict analysis at the first Unique Implication Point
0.20/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/0.20	c Learn all clauses as in MiniSAT
0.20/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 
0.20/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20/0.20	c No reason simplification
0.20/0.20	c --- End Solver configuration ---
0.20/0.20	c solving /tmp/evaluation/354775-1176725387/instance-354775-1176725387.opb
0.20/0.20	c reading problem ... 
0.32/0.36	c ... done. Wall clock time 0.157s.
0.32/0.36	c CPU time (experimental) 0.29s.
0.32/0.36	c #vars     198
0.32/0.36	c #constraints  16
6.23/4.42	c SATISFIABLE
6.23/4.42	c OPTIMIZING...
6.23/4.42	c Got one! Elapsed wall clock time (in seconds):4.225
6.23/4.43	o 2688
9.15/7.13	c Got one! Elapsed wall clock time (in seconds):6.931
9.15/7.13	o 2656
12.07/9.84	c Got one! Elapsed wall clock time (in seconds):9.644
12.07/9.84	o 2592
14.70/12.46	c Got one! Elapsed wall clock time (in seconds):12.26
14.70/12.46	o 2512
17.31/15.08	c Got one! Elapsed wall clock time (in seconds):14.885
17.31/15.08	o 2272
20.12/17.82	c Got one! Elapsed wall clock time (in seconds):17.626
20.12/17.82	o 2184
22.96/20.64	c Got one! Elapsed wall clock time (in seconds):20.44
22.96/20.64	o 2024
25.87/23.54	c Got one! Elapsed wall clock time (in seconds):23.347
25.87/23.54	o 1988
28.89/26.54	c Got one! Elapsed wall clock time (in seconds):26.345
28.89/26.54	o 1960
32.04/29.61	c Got one! Elapsed wall clock time (in seconds):29.414
32.04/29.61	o 1906
35.19/32.78	c Got one! Elapsed wall clock time (in seconds):32.577
35.19/32.78	o 1896
38.52/36.07	c Got one! Elapsed wall clock time (in seconds):35.875
38.52/36.07	o 1892
41.95/39.46	c Got one! Elapsed wall clock time (in seconds):39.265
41.95/39.46	o 1636
45.60/43.00	c Got one! Elapsed wall clock time (in seconds):42.804
45.60/43.00	o 1510
49.28/46.64	c Got one! Elapsed wall clock time (in seconds):46.446
49.28/46.64	o 1434
53.22/50.56	c Got one! Elapsed wall clock time (in seconds):50.357
53.22/50.56	o 1432
57.45/54.70	c Got one! Elapsed wall clock time (in seconds):54.498
57.45/54.70	o 1386
61.38/58.64	c Got one! Elapsed wall clock time (in seconds):58.442
61.38/58.64	o 1362
65.52/62.71	c Got one! Elapsed wall clock time (in seconds):62.512
65.52/62.71	o 1358
69.76/66.90	c Got one! Elapsed wall clock time (in seconds):66.702
69.76/66.90	o 1356
74.82/71.96	c Got one! Elapsed wall clock time (in seconds):71.753
74.82/71.96	o 1346
79.57/76.64	c Got one! Elapsed wall clock time (in seconds):76.44
79.57/76.64	o 1336
84.41/81.40	c Got one! Elapsed wall clock time (in seconds):81.205
84.41/81.40	o 1330
89.06/86.03	c Got one! Elapsed wall clock time (in seconds):85.835
89.06/86.03	o 1324
93.89/90.82	c Got one! Elapsed wall clock time (in seconds):90.622
93.89/90.82	o 1308
98.74/95.62	c Got one! Elapsed wall clock time (in seconds):95.418
98.74/95.62	o 1304
103.98/100.90	c Got one! Elapsed wall clock time (in seconds):100.698
103.98/100.90	o 1298
109.63/106.44	c Got one! Elapsed wall clock time (in seconds):106.247
109.63/106.45	o 1288
115.59/112.40	c Got one! Elapsed wall clock time (in seconds):112.198
115.59/112.40	o 1282
121.05/117.79	c Got one! Elapsed wall clock time (in seconds):117.588
121.05/117.79	o 1278
127.69/124.33	c Got one! Elapsed wall clock time (in seconds):124.136
127.69/124.33	o 1262
133.04/129.65	c Got one! Elapsed wall clock time (in seconds):129.455
133.04/129.65	o 1258
139.28/135.85	c Got one! Elapsed wall clock time (in seconds):135.653
139.28/135.85	o 1254
145.58/142.06	c Got one! Elapsed wall clock time (in seconds):141.857
145.58/142.06	o 1237
152.04/148.44	c Got one! Elapsed wall clock time (in seconds):148.245
152.04/148.44	o 1181
158.09/154.49	c Got one! Elapsed wall clock time (in seconds):154.29
158.09/154.49	o 1149
165.16/161.41	c Got one! Elapsed wall clock time (in seconds):161.211
165.16/161.41	o 1142
181.50/177.63	c Got one! Elapsed wall clock time (in seconds):177.436
181.50/177.63	o 1126
188.27/184.37	c Got one! Elapsed wall clock time (in seconds):184.174
188.27/184.37	o 1080
202.98/198.89	c Got one! Elapsed wall clock time (in seconds):198.688
202.98/198.89	o 1018
211.96/207.78	c Got one! Elapsed wall clock time (in seconds):207.579
211.96/207.78	o 1009
220.64/216.38	c Got one! Elapsed wall clock time (in seconds):216.184
220.64/216.38	o 986
240.01/235.58	c Got one! Elapsed wall clock time (in seconds):235.379
240.01/235.58	o 965
256.56/251.97	c Got one! Elapsed wall clock time (in seconds):251.768
256.56/251.97	o 962
269.47/264.73	c Got one! Elapsed wall clock time (in seconds):264.53
269.47/264.73	o 958
279.16/274.39	c Got one! Elapsed wall clock time (in seconds):274.189
279.16/274.39	o 942
291.68/286.72	c Got one! Elapsed wall clock time (in seconds):286.525
291.68/286.72	o 904
301.96/296.92	c Got one! Elapsed wall clock time (in seconds):296.718
301.96/296.92	o 894
311.56/306.48	c Got one! Elapsed wall clock time (in seconds):306.282
311.56/306.48	o 892
321.74/316.51	c Got one! Elapsed wall clock time (in seconds):316.313
321.74/316.51	o 890
334.96/329.69	c Got one! Elapsed wall clock time (in seconds):329.488
334.96/329.69	o 874
345.50/340.02	c Got one! Elapsed wall clock time (in seconds):339.822
345.50/340.02	o 873
356.09/350.53	c Got one! Elapsed wall clock time (in seconds):350.33
356.09/350.53	o 860
366.90/361.22	c Got one! Elapsed wall clock time (in seconds):361.018
366.90/361.22	o 849
377.69/371.95	c Got one! Elapsed wall clock time (in seconds):371.755
377.69/371.95	o 779
388.39/382.53	c Got one! Elapsed wall clock time (in seconds):382.33
388.39/382.53	o 654
399.08/393.15	c Got one! Elapsed wall clock time (in seconds):392.951
399.08/393.15	o 641
410.08/404.07	c Got one! Elapsed wall clock time (in seconds):403.865
410.08/404.07	o 637
422.00/415.82	c Got one! Elapsed wall clock time (in seconds):415.622
422.00/415.82	o 607
438.24/431.96	c Got one! Elapsed wall clock time (in seconds):431.755
438.24/431.96	o 600
449.96/443.50	c Got one! Elapsed wall clock time (in seconds):443.304
449.96/443.50	o 598
466.32/459.73	c Got one! Elapsed wall clock time (in seconds):459.537
466.32/459.74	o 596
487.32/480.59	c Got one! Elapsed wall clock time (in seconds):480.388
487.32/480.59	o 581
499.92/493.06	c Got one! Elapsed wall clock time (in seconds):492.864
499.92/493.06	o 575
511.54/504.57	c Got one! Elapsed wall clock time (in seconds):504.373
511.54/504.57	o 547
524.18/517.06	c Got one! Elapsed wall clock time (in seconds):516.858
524.18/517.06	o 529
540.24/532.90	c Got one! Elapsed wall clock time (in seconds):532.703
540.24/532.90	o 528
554.78/547.33	c Got one! Elapsed wall clock time (in seconds):547.137
554.78/547.33	o 520
579.20/571.44	c Got one! Elapsed wall clock time (in seconds):571.243
579.20/571.44	o 516
596.80/588.81	c Got one! Elapsed wall clock time (in seconds):588.608
596.80/588.81	o 513
612.24/604.14	c Got one! Elapsed wall clock time (in seconds):603.946
612.24/604.14	o 511
632.47/624.19	c Got one! Elapsed wall clock time (in seconds):623.997
632.47/624.19	o 505
662.93/654.23	c Got one! Elapsed wall clock time (in seconds):654.034
662.93/654.23	o 478
701.36/692.28	c Got one! Elapsed wall clock time (in seconds):692.078
701.36/692.28	o 468
732.32/722.82	c Got one! Elapsed wall clock time (in seconds):722.618
732.32/722.82	o 460
768.44/758.55	c Got one! Elapsed wall clock time (in seconds):758.356
768.44/758.55	o 459
791.71/781.54	c Got one! Elapsed wall clock time (in seconds):781.346
791.71/781.54	o 444
832.30/821.66	c Got one! Elapsed wall clock time (in seconds):821.458
832.30/821.66	o 442
865.81/854.77	c Got one! Elapsed wall clock time (in seconds):854.575
865.81/854.77	o 440
985.08/972.41	c Got one! Elapsed wall clock time (in seconds):972.21
985.08/972.41	o 436
1012.96/999.95	c Got one! Elapsed wall clock time (in seconds):999.754
1012.96/999.95	o 422
1073.39/1059.59	c Got one! Elapsed wall clock time (in seconds):1059.397
1073.39/1059.59	o 421
1119.22/1104.70	c Got one! Elapsed wall clock time (in seconds):1104.505
1119.22/1104.70	o 409
1154.78/1139.81	c Got one! Elapsed wall clock time (in seconds):1139.613
1154.78/1139.81	o 403
1187.32/1171.91	c Got one! Elapsed wall clock time (in seconds):1171.717
1187.32/1171.93	o 401
1233.10/1217.04	c Got one! Elapsed wall clock time (in seconds):1216.839
1233.10/1217.04	o 391
1301.31/1284.26	c Got one! Elapsed wall clock time (in seconds):1284.065
1301.31/1284.26	o 390
1359.77/1341.87	c Got one! Elapsed wall clock time (in seconds):1341.67
1359.77/1341.87	o 383
1394.48/1376.02	c Got one! Elapsed wall clock time (in seconds):1375.821
1394.48/1376.02	o 382
1435.63/1416.54	c Got one! Elapsed wall clock time (in seconds):1416.34
1435.63/1416.54	o 370
1482.49/1462.61	c Got one! Elapsed wall clock time (in seconds):1462.411
1482.49/1462.61	o 359
1506.77/1486.57	c Got one! Elapsed wall clock time (in seconds):1486.375
1506.77/1486.57	o 350
1535.41/1514.79	c Got one! Elapsed wall clock time (in seconds):1514.592
1535.41/1514.79	o 348
1562.02/1540.92	c Got one! Elapsed wall clock time (in seconds):1540.724
1562.02/1540.92	o 334
1618.07/1596.08	c Got one! Elapsed wall clock time (in seconds):1595.881
1618.07/1596.08	o 330
1712.80/1689.20	c Got one! Elapsed wall clock time (in seconds):1688.999
1712.80/1689.20	o 326
1751.02/1726.72	c Got one! Elapsed wall clock time (in seconds):1726.525
1751.02/1726.72	o 300
1800.03/1774.81	c starts		: 196
1800.03/1774.81	c conflicts		: 20923
1800.03/1774.81	c decisions		: 84277
1800.03/1774.81	c propagations		: 364805
1800.03/1774.81	c inspects		: 455708361
1800.03/1774.81	c learnt literals	: 0
1800.03/1774.81	c learnt binary clauses	: 0
1800.03/1774.81	c learnt ternary clauses	: 0
1800.03/1774.81	c learnt clauses	: 20923
1800.03/1774.81	c root simplifications	: 0
1800.03/1774.81	c removed literals (reason simplification)	: 0
1800.03/1774.81	c reason swapping (by a shorter reason)	: 0
1800.03/1774.81	c Calls to reduceDB	: 0
1800.03/1774.81	c speed (decisions/second)	: 1752.5578106804192
1800.03/1774.81	c non guided choices	3136
1800.03/1774.81	s SATISFIABLE
1800.03/1774.81	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.03/1774.81	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.03/1774.81	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 x83
1800.03/1774.81	v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107
1800.03/1774.81	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 x126 x127 -x128
1800.03/1774.81	v -x129 x130 x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 x139 -x140 -x141 x142 -x143 x144 x145 x146 -x147 x148 x149 x150 -x151
1800.03/1774.81	v -x152 x153 -x154 x155 -x156 -x157 x158 -x159 -x160 x161 -x162 -x163 -x164 x165 x166 -x167 -x168 x169 x170 x171 x172 x173 -x174
1800.03/1774.81	v x175 x176 -x177 x178 x179 -x180 x181 -x182 x183 x184 -x185 -x186 -x187 -x188 x189 -x190 x191 x192 x193 -x194 x195 x196 -x197
1800.03/1774.81	v x198
1800.03/1774.81	c objective function=300
1800.03/1774.81	c Total wall clock time (ms): 1774.617

Verifier Data (download as text)

OK	300

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node51/watcher-354775-1176725387 -o ROOT/results/node51/solver-354775-1176725387 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354775-1176725387/sat4jPseudoCP.jar /tmp/evaluation/354775-1176725387/instance-354775-1176725387.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.85 0.97 0.99 3/64 26709
/proc/meminfo: memFree=1859120/2055920 swapFree=4183780/4192956
[pid=26709] ppid=26707 vsize=272 CPUtime=0
/proc/26709/stat : 26709 (java) D 26707 26709 25454 0 -1 0 54 0 0 0 0 0 0 0 18 0 1 0 27383874 278528 37 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 2618148 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/26709/statm: 68 37 28 9 0 6 0

[startup+0.0100211 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 26709
/proc/meminfo: memFree=1859120/2055920 swapFree=4183780/4192956
[pid=26709] ppid=26707 vsize=1800 CPUtime=0
/proc/26709/stat : 26709 (java) D 26707 26709 25454 0 -1 0 334 0 0 0 0 0 0 0 18 0 1 0 27383874 1843200 143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/26709/statm: 450 143 106 9 0 92 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1800

[startup+0.101035 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 26709
/proc/meminfo: memFree=1859120/2055920 swapFree=4183780/4192956
[pid=26709] ppid=26707 vsize=1780108 CPUtime=0.08
/proc/26709/stat : 26709 (java) S 26707 26709 25454 0 -1 0 3979 0 1 0 6 2 0 0 18 0 12 0 27383874 1822830592 3720 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26709/statm: 445027 3720 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301053 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 26709
/proc/meminfo: memFree=1859120/2055920 swapFree=4183780/4192956
[pid=26709] ppid=26707 vsize=1782232 CPUtime=0.32
/proc/26709/stat : 26709 (java) S 26707 26709 25454 0 -1 0 5133 0 1 0 29 3 0 0 18 0 12 0 27383874 1825005568 4871 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26709/statm: 445558 4871 1269 9 0 443170 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1782232

[startup+0.70109 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 26709
/proc/meminfo: memFree=1859120/2055920 swapFree=4183780/4192956
[pid=26709] ppid=26707 vsize=1783820 CPUtime=1.02
/proc/26709/stat : 26709 (java) S 26707 26709 25454 0 -1 0 8447 0 1 0 98 4 0 0 18 0 13 0 27383874 1826631680 7390 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26709/statm: 445955 7392 1307 9 0 443567 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 1783820

[startup+1.50216 s]
/proc/loadavg: 0.85 0.97 0.99 4/77 26722
/proc/meminfo: memFree=1815944/2055920 swapFree=4183780/4192956
[pid=26709] ppid=26707 vsize=1797408 CPUtime=2.48
/proc/26709/stat : 26709 (java) S 26707 26709 25454 0 -1 0 25731 0 1 0 237 11 0 0 18 0 13 0 27383874 1840545792 20367 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26709/statm: 449352 20367 1310 9 0 446964 0
[pid=26709/tid=26711] ppid=26707 vsize=1797408 CPUtime=1
/proc/26709/task/26711/stat : 26711 (java) R 26707 26709 25454 0 -1 64 15830 0 1 0 93 7 0 0 18 0 13 0 27383875 1840545792 20367 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109185700 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26712] ppid=26707 vsize=1797408 CPUtime=0
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 25454 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 27383877 1840545792 20368 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26713] ppid=26707 vsize=1797408 CPUtime=0
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 25454 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 27383877 1840545792 20368 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26714] ppid=26707 vsize=1797408 CPUtime=0
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 25454 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 27383879 1840545792 20369 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26715] ppid=26707 vsize=1797408 CPUtime=0
/proc/26709/task/26715/stat : 26715 (java) S 26707 26709 25454 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 27383879 1840545792 20369 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26716] ppid=26707 vsize=1797408 CPUtime=0
/proc/26709/task/26716/stat : 26716 (java) S 26707 26709 25454 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 27383879 1840545792 20369 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26717] ppid=26707 vsize=1797408 CPUtime=0
/proc/26709/task/26717/stat : 26717 (java) S 26707 26709 25454 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 27383883 1840545792 20370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26718] ppid=26707 vsize=1797408 CPUtime=0.57
/proc/26709/task/26718/stat : 26718 (java) R 26707 26709 25454 0 -1 64 2944 0 0 0 56 1 0 0 19 0 13 0 27383883 1840545792 20370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 101902080 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26719] ppid=26707 vsize=1797408 CPUtime=0.88
/proc/26709/task/26719/stat : 26719 (java) R 26707 26709 25454 0 -1 64 6231 0 0 0 86 2 0 0 18 0 13 0 27383883 1840545792 20370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336786 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26720] ppid=26707 vsize=1797408 CPUtime=0
/proc/26709/task/26720/stat : 26720 (java) S 26707 26709 25454 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27383883 1840545792 20372 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26721] ppid=26707 vsize=1797408 CPUtime=0
/proc/26709/task/26721/stat : 26721 (java) R 26707 26709 25454 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27383883 1840545792 20372 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26722] ppid=26707 vsize=1797408 CPUtime=0
/proc/26709/task/26722/stat : 26722 (java) S 26707 26709 25454 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 27383911 1840545792 20374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 1797408

[startup+3.10231 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 26722
/proc/meminfo: memFree=1758792/2055920 swapFree=4183780/4192956
[pid=26709] ppid=26707 vsize=1801376 CPUtime=4.81
/proc/26709/stat : 26709 (java) S 26707 26709 25454 0 -1 0 53000 0 1 0 458 23 0 0 18 0 13 0 27383874 1844609024 43538 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26709/statm: 450344 43538 1325 9 0 447956 0
[pid=26709/tid=26711] ppid=26707 vsize=1801376 CPUtime=2.13
/proc/26709/task/26711/stat : 26711 (java) R 26707 26709 25454 0 -1 64 37710 0 1 0 197 16 0 0 20 0 13 0 27383875 1844609024 43538 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109632792 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26712] ppid=26707 vsize=1801376 CPUtime=0
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 25454 0 -1 64 161 0 0 0 0 0 0 0 16 0 13 0 27383877 1844609024 43538 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26713] ppid=26707 vsize=1801376 CPUtime=0
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 25454 0 -1 64 128 0 0 0 0 0 0 0 16 0 13 0 27383877 1844609024 43538 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26714] ppid=26707 vsize=1801376 CPUtime=0
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 25454 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 27383879 1844609024 43538 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26715] ppid=26707 vsize=1801376 CPUtime=0
/proc/26709/task/26715/stat : 26715 (java) S 26707 26709 25454 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 27383879 1844609024 43538 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26716] ppid=26707 vsize=1801376 CPUtime=0
/proc/26709/task/26716/stat : 26716 (java) S 26707 26709 25454 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 27383879 1844609024 43538 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26717] ppid=26707 vsize=1801376 CPUtime=0
/proc/26709/task/26717/stat : 26717 (java) S 26707 26709 25454 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 27383883 1844609024 43538 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26718] ppid=26707 vsize=1801376 CPUtime=1.14
/proc/26709/task/26718/stat : 26718 (java) S 26707 26709 25454 0 -1 64 5119 0 0 0 112 2 0 0 16 0 13 0 27383883 1844609024 43538 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26719] ppid=26707 vsize=1801376 CPUtime=1.5
/proc/26709/task/26719/stat : 26719 (java) S 26707 26709 25454 0 -1 64 9152 0 0 0 147 3 0 0 16 0 13 0 27383883 1844609024 43538 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26720] ppid=26707 vsize=1801376 CPUtime=0
/proc/26709/task/26720/stat : 26720 (java) S 26707 26709 25454 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27383883 1844609024 43538 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26721] ppid=26707 vsize=1801376 CPUtime=0
/proc/26709/task/26721/stat : 26721 (java) S 26707 26709 25454 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27383883 1844609024 43538 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26722] ppid=26707 vsize=1801376 CPUtime=0
/proc/26709/task/26722/stat : 26722 (java) S 26707 26709 25454 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 27383911 1844609024 43538 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 1801376

[startup+6.30159 s]
/proc/loadavg: 0.86 0.97 0.99 2/77 26723
/proc/meminfo: memFree=1685440/2055920 swapFree=4183780/4192956
[pid=26709] ppid=26707 vsize=1800700 CPUtime=8.17
/proc/26709/stat : 26709 (java) S 26707 26709 25454 0 -1 0 54412 0 1 0 794 23 0 0 18 0 13 0 27383874 1843916800 44022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26709/statm: 450175 44022 1327 9 0 447787 0
[pid=26709/tid=26711] ppid=26707 vsize=1800700 CPUtime=5.24
/proc/26709/task/26711/stat : 26711 (java) R 26707 26709 25454 0 -1 64 37720 0 1 0 508 16 0 0 17 0 13 0 27383875 1843916800 44022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109566179 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26712] ppid=26707 vsize=1800700 CPUtime=0.03
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 25454 0 -1 64 893 0 0 0 3 0 0 0 16 0 13 0 27383877 1843916800 44022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26713] ppid=26707 vsize=1800700 CPUtime=0.03
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 25454 0 -1 64 776 0 0 0 3 0 0 0 17 0 13 0 27383877 1843916800 44022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26714] ppid=26707 vsize=1800700 CPUtime=0
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 25454 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 27383879 1843916800 44022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26715] ppid=26707 vsize=1800700 CPUtime=0
/proc/26709/task/26715/stat : 26715 (java) S 26707 26709 25454 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 27383879 1843916800 44022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26716] ppid=26707 vsize=1800700 CPUtime=0
/proc/26709/task/26716/stat : 26716 (java) S 26707 26709 25454 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 27383879 1843916800 44022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26717] ppid=26707 vsize=1800700 CPUtime=0
/proc/26709/task/26717/stat : 26717 (java) S 26707 26709 25454 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 27383883 1843916800 44022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26718] ppid=26707 vsize=1800700 CPUtime=1.22
/proc/26709/task/26718/stat : 26718 (java) S 26707 26709 25454 0 -1 64 5125 0 0 0 120 2 0 0 17 0 13 0 27383883 1843916800 44022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26719] ppid=26707 vsize=1800700 CPUtime=1.61
/proc/26709/task/26719/stat : 26719 (java) S 26707 26709 25454 0 -1 64 9159 0 0 0 158 3 0 0 16 0 13 0 27383883 1843916800 44022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26720] ppid=26707 vsize=1800700 CPUtime=0
/proc/26709/task/26720/stat : 26720 (java) S 26707 26709 25454 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27383883 1843916800 44022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26721] ppid=26707 vsize=1800700 CPUtime=0
/proc/26709/task/26721/stat : 26721 (java) S 26707 26709 25454 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27383883 1843916800 44022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26723] ppid=26707 vsize=1800700 CPUtime=0
/proc/26709/task/26723/stat : 26723 (java) S 26707 26709 25454 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 27384317 1843916800 44022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.17
Current children cumulated vsize (KiB) 1800700

[startup+12.7022 s]
/proc/loadavg: 0.87 0.97 0.99 2/77 26725
/proc/meminfo: memFree=1644656/2055920 swapFree=4183780/4192956
[pid=26709] ppid=26707 vsize=1801024 CPUtime=15
/proc/26709/stat : 26709 (java) S 26707 26709 25454 0 -1 0 66604 0 1 0 1471 29 0 0 18 0 13 0 27383874 1844248576 55075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26709/statm: 450256 55075 1327 9 0 447868 0
[pid=26709/tid=26711] ppid=26707 vsize=1801024 CPUtime=11.47
/proc/26709/task/26711/stat : 26711 (java) R 26707 26709 25454 0 -1 64 43851 0 1 0 1129 18 0 0 18 0 13 0 27383875 1844248576 55075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109551458 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26712] ppid=26707 vsize=1801024 CPUtime=0.1
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 25454 0 -1 64 3412 0 0 0 9 1 0 0 16 0 13 0 27383877 1844248576 55075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26713] ppid=26707 vsize=1801024 CPUtime=0.1
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 25454 0 -1 64 3295 0 0 0 9 1 0 0 16 0 13 0 27383877 1844248576 55075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26714] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 25454 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 27383879 1844248576 55075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26715] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26715/stat : 26715 (java) S 26707 26709 25454 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 27383879 1844248576 55075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26716] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26716/stat : 26716 (java) S 26707 26709 25454 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 27383879 1844248576 55075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26717] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26717/stat : 26717 (java) S 26707 26709 25454 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 27383883 1844248576 55075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26718] ppid=26707 vsize=1801024 CPUtime=1.52
/proc/26709/task/26718/stat : 26718 (java) S 26707 26709 25454 0 -1 64 6113 0 0 0 150 2 0 0 16 0 13 0 27383883 1844248576 55075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26719] ppid=26707 vsize=1801024 CPUtime=1.74
/proc/26709/task/26719/stat : 26719 (java) S 26707 26709 25454 0 -1 64 9172 0 0 0 171 3 0 0 16 0 13 0 27383883 1844248576 55075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26720] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26720/stat : 26720 (java) S 26707 26709 25454 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27383883 1844248576 55075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26721] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26721/stat : 26721 (java) S 26707 26709 25454 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27383883 1844248576 55075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15
Current children cumulated vsize (KiB) 1801024

[startup+25.5013 s]
/proc/loadavg: 0.90 0.97 0.99 2/77 26730
/proc/meminfo: memFree=1657864/2055920 swapFree=4183780/4192956
[pid=26709] ppid=26707 vsize=1801024 CPUtime=27.89
/proc/26709/stat : 26709 (java) S 26707 26709 25454 0 -1 0 69354 0 1 0 2758 31 0 0 18 0 13 0 27383874 1844248576 51277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26709/statm: 450256 51277 1328 9 0 447868 0
[pid=26709/tid=26711] ppid=26707 vsize=1801024 CPUtime=24.15
/proc/26709/task/26711/stat : 26711 (java) R 26707 26709 25454 0 -1 64 43870 0 1 0 2397 18 0 0 23 0 13 0 27383875 1844248576 51277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109565905 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26712] ppid=26707 vsize=1801024 CPUtime=0.18
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 25454 0 -1 64 4829 0 0 0 16 2 0 0 16 0 13 0 27383877 1844248576 51277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26713] ppid=26707 vsize=1801024 CPUtime=0.19
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 25454 0 -1 64 4602 0 0 0 17 2 0 0 16 0 13 0 27383877 1844248576 51277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26714] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 25454 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 27383879 1844248576 51277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

[pid=26709] ppid=26707 vsize=1801024 CPUtime=1563.45
/proc/26709/stat : 26709 (java) S 26707 26709 25454 0 -1 0 188782 0 1 0 156243 102 0 0 18 0 13 0 27383874 1844248576 127869 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26709/statm: 450256 127869 1336 9 0 447868 0
[pid=26709/tid=26711] ppid=26707 vsize=1801024 CPUtime=1521.08
/proc/26709/task/26711/stat : 26711 (java) R 26707 26709 25454 0 -1 64 71162 0 1 0 152073 35 0 0 21 0 13 0 27383875 1844248576 127869 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109557218 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26712] ppid=26707 vsize=1801024 CPUtime=19.09
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 25454 0 -1 64 50896 0 0 0 1886 23 0 0 16 0 13 0 27383877 1844248576 127869 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26713] ppid=26707 vsize=1801024 CPUtime=19.1
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 25454 0 -1 64 50402 0 0 0 1888 22 0 0 16 0 13 0 27383877 1844248576 127869 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26714] ppid=26707 vsize=1801024 CPUtime=0.29
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 25454 0 -1 64 124 0 0 0 17 12 0 0 15 0 13 0 27383879 1844248576 127869 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26715] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26715/stat : 26715 (java) S 26707 26709 25454 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 27383879 1844248576 127869 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26716] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26716/stat : 26716 (java) S 26707 26709 25454 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 27383879 1844248576 127869 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26717] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26717/stat : 26717 (java) S 26707 26709 25454 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 27383883 1844248576 127869 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26718] ppid=26707 vsize=1801024 CPUtime=1.74
/proc/26709/task/26718/stat : 26718 (java) S 26707 26709 25454 0 -1 64 6126 0 0 0 172 2 0 0 17 0 13 0 27383883 1844248576 127869 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26719] ppid=26707 vsize=1801024 CPUtime=2.06
/proc/26709/task/26719/stat : 26719 (java) S 26707 26709 25454 0 -1 64 9192 0 0 0 203 3 0 0 17 0 13 0 27383883 1844248576 127869 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26720] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26720/stat : 26720 (java) S 26707 26709 25454 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27383883 1844248576 127869 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26721] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26721/stat : 26721 (java) S 26707 26709 25454 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27383883 1844248576 127869 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26816] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26816/stat : 26816 (java) S 26707 26709 25454 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 27537967 1844248576 127869 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1563.45
Current children cumulated vsize (KiB) 1801024

[startup+1602.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/77 26817
/proc/meminfo: memFree=1343824/2055920 swapFree=4183780/4192956
[pid=26709] ppid=26707 vsize=1801024 CPUtime=1624.46
/proc/26709/stat : 26709 (java) S 26707 26709 25454 0 -1 0 190315 0 1 0 162343 103 0 0 18 0 13 0 27383874 1844248576 129297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26709/statm: 450256 129297 1336 9 0 447868 0
[pid=26709/tid=26711] ppid=26707 vsize=1801024 CPUtime=1580.02
/proc/26709/task/26711/stat : 26711 (java) R 26707 26709 25454 0 -1 64 71192 0 1 0 157967 35 0 0 25 0 13 0 27383875 1844248576 129297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109995784 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26712] ppid=26707 vsize=1801024 CPUtime=20.12
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 25454 0 -1 64 51373 0 0 0 1989 23 0 0 16 0 13 0 27383877 1844248576 129297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26713] ppid=26707 vsize=1801024 CPUtime=20.14
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 25454 0 -1 64 51426 0 0 0 1991 23 0 0 17 0 13 0 27383877 1844248576 129297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26714] ppid=26707 vsize=1801024 CPUtime=0.3
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 25454 0 -1 64 124 0 0 0 17 13 0 0 16 0 13 0 27383879 1844248576 129297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26715] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26715/stat : 26715 (java) S 26707 26709 25454 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 27383879 1844248576 129297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26716] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26716/stat : 26716 (java) S 26707 26709 25454 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 27383879 1844248576 129297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26717] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26717/stat : 26717 (java) S 26707 26709 25454 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 27383883 1844248576 129297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26718] ppid=26707 vsize=1801024 CPUtime=1.74
/proc/26709/task/26718/stat : 26718 (java) S 26707 26709 25454 0 -1 64 6126 0 0 0 172 2 0 0 17 0 13 0 27383883 1844248576 129297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26719] ppid=26707 vsize=1801024 CPUtime=2.06
/proc/26709/task/26719/stat : 26719 (java) S 26707 26709 25454 0 -1 64 9192 0 0 0 203 3 0 0 16 0 13 0 27383883 1844248576 129297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26720] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26720/stat : 26720 (java) S 26707 26709 25454 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27383883 1844248576 129297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26721] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26721/stat : 26721 (java) S 26707 26709 25454 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27383883 1844248576 129297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26817] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26817/stat : 26817 (java) S 26707 26709 25454 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 27543482 1844248576 129297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1624.46
Current children cumulated vsize (KiB) 1801024

[startup+1662.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/77 26817
/proc/meminfo: memFree=1338000/2055920 swapFree=4183780/4192956
[pid=26709] ppid=26707 vsize=1801024 CPUtime=1685.53
/proc/26709/stat : 26709 (java) S 26707 26709 25454 0 -1 0 191998 0 1 0 168449 104 0 0 18 0 13 0 27383874 1844248576 130791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26709/statm: 450256 130791 1336 9 0 447868 0
[pid=26709/tid=26711] ppid=26707 vsize=1801024 CPUtime=1638.9
/proc/26709/task/26711/stat : 26711 (java) R 26707 26709 25454 0 -1 64 71222 0 1 0 163855 35 0 0 16 0 13 0 27383875 1844248576 130791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109578614 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26712] ppid=26707 vsize=1801024 CPUtime=21.22
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 25454 0 -1 64 52581 0 0 0 2098 24 0 0 16 0 13 0 27383877 1844248576 130791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26713] ppid=26707 vsize=1801024 CPUtime=21.22
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 25454 0 -1 64 51871 0 0 0 2099 23 0 0 16 0 13 0 27383877 1844248576 130791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26714] ppid=26707 vsize=1801024 CPUtime=0.31
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 25454 0 -1 64 124 0 0 0 18 13 0 0 15 0 13 0 27383879 1844248576 130791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26715] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26715/stat : 26715 (java) S 26707 26709 25454 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 27383879 1844248576 130791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26716] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26716/stat : 26716 (java) S 26707 26709 25454 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 27383879 1844248576 130791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26717] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26717/stat : 26717 (java) S 26707 26709 25454 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 27383883 1844248576 130791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26718] ppid=26707 vsize=1801024 CPUtime=1.74
/proc/26709/task/26718/stat : 26718 (java) S 26707 26709 25454 0 -1 64 6126 0 0 0 172 2 0 0 17 0 13 0 27383883 1844248576 130791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26719] ppid=26707 vsize=1801024 CPUtime=2.06
/proc/26709/task/26719/stat : 26719 (java) S 26707 26709 25454 0 -1 64 9192 0 0 0 203 3 0 0 16 0 13 0 27383883 1844248576 130791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26720] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26720/stat : 26720 (java) S 26707 26709 25454 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27383883 1844248576 130791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26721] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26721/stat : 26721 (java) S 26707 26709 25454 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27383883 1844248576 130791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26817] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26817/stat : 26817 (java) S 26707 26709 25454 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 27543482 1844248576 130791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1685.53
Current children cumulated vsize (KiB) 1801024

[startup+1722.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/77 26818
/proc/meminfo: memFree=1331784/2055920 swapFree=4183780/4192956
[pid=26709] ppid=26707 vsize=1801024 CPUtime=1746.55
/proc/26709/stat : 26709 (java) S 26707 26709 25454 0 -1 0 193645 0 1 0 174549 106 0 0 18 0 13 0 27383874 1844248576 132281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26709/statm: 450256 132281 1336 9 0 447868 0
[pid=26709/tid=26711] ppid=26707 vsize=1801024 CPUtime=1697.83
/proc/26709/task/26711/stat : 26711 (java) R 26707 26709 25454 0 -1 64 71251 0 1 0 169748 35 0 0 25 0 13 0 27383875 1844248576 132281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109557218 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26712] ppid=26707 vsize=1801024 CPUtime=22.26
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 25454 0 -1 64 53720 0 0 0 2201 25 0 0 17 0 13 0 27383877 1844248576 132281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26713] ppid=26707 vsize=1801024 CPUtime=22.27
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 25454 0 -1 64 52349 0 0 0 2203 24 0 0 16 0 13 0 27383877 1844248576 132281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26714] ppid=26707 vsize=1801024 CPUtime=0.31
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 25454 0 -1 64 124 0 0 0 18 13 0 0 16 0 13 0 27383879 1844248576 132281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26715] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26715/stat : 26715 (java) S 26707 26709 25454 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 27383879 1844248576 132281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26716] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26716/stat : 26716 (java) S 26707 26709 25454 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 27383879 1844248576 132281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26717] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26717/stat : 26717 (java) S 26707 26709 25454 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 27383883 1844248576 132281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26718] ppid=26707 vsize=1801024 CPUtime=1.74
/proc/26709/task/26718/stat : 26718 (java) S 26707 26709 25454 0 -1 64 6126 0 0 0 172 2 0 0 17 0 13 0 27383883 1844248576 132281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26719] ppid=26707 vsize=1801024 CPUtime=2.06
/proc/26709/task/26719/stat : 26719 (java) S 26707 26709 25454 0 -1 64 9192 0 0 0 203 3 0 0 16 0 13 0 27383883 1844248576 132281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26720] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26720/stat : 26720 (java) S 26707 26709 25454 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27383883 1844248576 132281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26721] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26721/stat : 26721 (java) S 26707 26709 25454 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27383883 1844248576 132281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26818] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26818/stat : 26818 (java) S 26707 26709 25454 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 27552794 1844248576 132281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1746.55
Current children cumulated vsize (KiB) 1801024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1774.8 s]
/proc/loadavg: 1.06 1.02 1.00 2/77 26819
/proc/meminfo: memFree=1325632/2055920 swapFree=4183780/4192956
[pid=26709] ppid=26707 vsize=1801024 CPUtime=1800.03
/proc/26709/stat : 26709 (java) S 26707 26709 25454 0 -1 0 195360 0 1 0 179895 108 0 0 18 0 13 0 27383874 1844248576 133801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26709/statm: 450256 133801 1336 9 0 447868 0
[pid=26709/tid=26711] ppid=26707 vsize=1801024 CPUtime=1749.33
/proc/26709/task/26711/stat : 26711 (java) R 26707 26709 25454 0 -1 64 71278 0 1 0 174897 36 0 0 25 0 13 0 27383875 1844248576 133801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109529697 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26712] ppid=26707 vsize=1801024 CPUtime=23.24
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 25454 0 -1 64 54640 0 0 0 2299 25 0 0 16 0 13 0 27383877 1844248576 133801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26713] ppid=26707 vsize=1801024 CPUtime=23.24
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 25454 0 -1 64 53115 0 0 0 2300 24 0 0 16 0 13 0 27383877 1844248576 133801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26714] ppid=26707 vsize=1801024 CPUtime=0.32
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 25454 0 -1 64 124 0 0 0 19 13 0 0 16 0 13 0 27383879 1844248576 133801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26715] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26715/stat : 26715 (java) S 26707 26709 25454 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 27383879 1844248576 133801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26716] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26716/stat : 26716 (java) S 26707 26709 25454 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 27383879 1844248576 133801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26717] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26717/stat : 26717 (java) S 26707 26709 25454 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 27383883 1844248576 133801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26718] ppid=26707 vsize=1801024 CPUtime=1.74
/proc/26709/task/26718/stat : 26718 (java) S 26707 26709 25454 0 -1 64 6126 0 0 0 172 2 0 0 17 0 13 0 27383883 1844248576 133801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26719] ppid=26707 vsize=1801024 CPUtime=2.06
/proc/26709/task/26719/stat : 26719 (java) S 26707 26709 25454 0 -1 64 9192 0 0 0 203 3 0 0 16 0 13 0 27383883 1844248576 133801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26720] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26720/stat : 26720 (java) S 26707 26709 25454 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27383883 1844248576 133801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26721] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26721/stat : 26721 (java) S 26707 26709 25454 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27383883 1844248576 133801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26709/tid=26819] ppid=26707 vsize=1801024 CPUtime=0
/proc/26709/task/26819/stat : 26819 (java) S 26707 26709 25454 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 27556547 1844248576 133801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1801024

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

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

Child status: 143
Real time (s): 1774.91
CPU time (s): 1800.14
CPU user time (s): 1798.98
CPU system time (s): 1.16182
CPU usage (%): 101.422
Max. virtual memory (cumulated for all children) (KiB): 1804856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.16182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195376
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= 46216
involuntary context switches= 31435

runsolver used 1.73574 second user time and 4.75428 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Mon Apr 16 12:09:48 UTC 2007

IDJOB= 354775
IDBENCH= 2895
IDSOLVER= 160
FILE ID= node51/354775-1176725387

PBS_JOBID= 4559459

Free space on /tmp= 66535 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_8_70_2.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354775-1176725387/sat4jPseudoCP.jar /tmp/evaluation/354775-1176725387/instance-354775-1176725387.opb       
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-354775-1176725387 -o ROOT/results/node51/solver-354775-1176725387 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354775-1176725387/sat4jPseudoCP.jar /tmp/evaluation/354775-1176725387/instance-354775-1176725387.opb       

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  1d334f36842eecbe8db395477b7c6bcb

RANDOM SEED= 410317851

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.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.223
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.223
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:       1859656 kB
Buffers:         14844 kB
Cached:         133196 kB
SwapCached:       3668 kB
Active:          74932 kB
Inactive:        84148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1859656 kB
SwapTotal:     4192956 kB
SwapFree:      4183780 kB
Dirty:            3700 kB
Writeback:           0 kB
Mapped:          16372 kB
Slab:            23268 kB
Committed_AS:  2532984 kB
PageTables:       1412 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= 66535 MiB

End job on node51 on Mon Apr 16 12:39:25 UTC 2007