Trace number 3456374

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
Sat4j CuttingPlanes 2.3.0? (TO) 1800.39 1797.12

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-3-c.opb
MD5SUMbc7893eb7aff4749139e472af91e587e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2650
Total number of constraints6619
Number of constraints which are clauses6619
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 2650
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2650
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2650
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		9996466904
0.03/0.09	c Max memory 		10048897024
0.03/0.09	c Total memory 		10048897024
0.03/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3456374-1307220165.opb
0.11/0.11	c reading problem ... 
0.47/0.35	c ... done. Wall clock time 0.243s.
0.47/0.35	c #vars     2650
0.47/0.35	c #constraints  6619
0.47/0.35	c constraints type 
0.47/0.35	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1697
0.47/0.35	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4922
8.55/7.82	c cleaning 0 clauses out of 5000 with flag 0/5000
16.99/16.16	c cleaning 0 clauses out of 11000 with flag 0/11000
26.53/25.68	c cleaning 0 clauses out of 18000 with flag 0/18001
37.38/36.49	c cleaning 0 clauses out of 26000 with flag 0/26001
49.44/48.49	c cleaning 0 clauses out of 35000 with flag 0/35001
61.84/60.83	c cleaning 0 clauses out of 45000 with flag 0/45001
72.04/71.02	c cleaning 0 clauses out of 54999 with flag 0/55000
81.84/80.82	c cleaning 0 clauses out of 65000 with flag 0/65001
90.24/89.20	c cleaning 0 clauses out of 74999 with flag 0/75000
98.85/97.88	c cleaning 0 clauses out of 85000 with flag 0/85001
107.85/106.81	c cleaning 0 clauses out of 95001 with flag 0/95002
116.66/115.66	c cleaning 0 clauses out of 104999 with flag 0/105000
126.16/125.19	c cleaning 0 clauses out of 115000 with flag 0/115001
135.66/134.62	c cleaning 0 clauses out of 124999 with flag 0/125000
145.08/144.05	c cleaning 0 clauses out of 134999 with flag 0/135000
154.77/153.70	c cleaning 0 clauses out of 145000 with flag 0/145001
164.67/163.62	c cleaning 0 clauses out of 155000 with flag 0/155001
174.58/173.60	c cleaning 0 clauses out of 164999 with flag 0/165000
185.69/184.60	c cleaning 0 clauses out of 174999 with flag 0/175000
196.70/195.66	c cleaning 0 clauses out of 184999 with flag 0/185000
207.61/206.59	c cleaning 0 clauses out of 195000 with flag 0/195001
218.71/217.65	c cleaning 0 clauses out of 204999 with flag 0/205000
229.52/228.43	c cleaning 0 clauses out of 215000 with flag 0/215001
240.22/239.19	c cleaning 0 clauses out of 224999 with flag 0/225000
251.73/250.71	c cleaning 0 clauses out of 234999 with flag 0/235000
263.14/262.09	c cleaning 0 clauses out of 245000 with flag 0/245001
274.85/273.81	c cleaning 0 clauses out of 254999 with flag 0/255000
287.85/286.80	c cleaning 0 clauses out of 264999 with flag 0/265000
299.56/298.49	c cleaning 0 clauses out of 274999 with flag 0/275000
311.87/310.73	c cleaning 0 clauses out of 284999 with flag 0/285000
323.78/322.61	c cleaning 0 clauses out of 294999 with flag 0/295000
336.09/334.91	c cleaning 0 clauses out of 304999 with flag 0/305000
348.20/347.04	c cleaning 0 clauses out of 314999 with flag 0/315000
360.51/359.37	c cleaning 0 clauses out of 325000 with flag 0/325001
372.32/371.11	c cleaning 0 clauses out of 335001 with flag 0/335002
384.14/382.95	c cleaning 0 clauses out of 345001 with flag 0/345002
397.35/396.13	c cleaning 0 clauses out of 354999 with flag 0/355000
411.47/410.22	c cleaning 0 clauses out of 365000 with flag 0/365001
425.47/424.27	c cleaning 0 clauses out of 375000 with flag 0/375001
439.38/438.19	c cleaning 0 clauses out of 384999 with flag 0/385000
454.79/453.51	c cleaning 0 clauses out of 394999 with flag 0/395000
469.01/467.74	c cleaning 0 clauses out of 404999 with flag 0/405000
482.92/481.70	c cleaning 0 clauses out of 415000 with flag 0/415001
497.05/495.70	c cleaning 0 clauses out of 425000 with flag 0/425001
510.26/508.98	c cleaning 0 clauses out of 434999 with flag 0/435000
523.49/522.14	c cleaning 0 clauses out of 445000 with flag 0/445001
537.01/535.62	c cleaning 0 clauses out of 455000 with flag 0/455001
550.12/548.70	c cleaning 0 clauses out of 464999 with flag 0/465000
563.23/561.86	c cleaning 0 clauses out of 475003 with flag 0/475004
576.14/574.78	c cleaning 0 clauses out of 485000 with flag 0/485001
589.56/588.15	c cleaning 0 clauses out of 494999 with flag 0/495000
601.78/600.31	c cleaning 0 clauses out of 505000 with flag 0/505001
614.39/612.93	c cleaning 0 clauses out of 515000 with flag 0/515001
627.42/625.96	c cleaning 0 clauses out of 524999 with flag 0/525000
639.73/638.21	c cleaning 0 clauses out of 534999 with flag 0/535000
651.66/650.18	c cleaning 0 clauses out of 544999 with flag 0/545000
664.22/662.67	c cleaning 0 clauses out of 554999 with flag 0/555000
677.73/676.19	c cleaning 0 clauses out of 564999 with flag 0/565000
691.36/689.80	c cleaning 0 clauses out of 574999 with flag 0/575000
705.06/703.42	c cleaning 0 clauses out of 584999 with flag 0/585000
719.77/718.16	c cleaning 0 clauses out of 594999 with flag 0/595000
732.79/731.19	c cleaning 0 clauses out of 604999 with flag 0/605000
745.22/743.61	c cleaning 0 clauses out of 614999 with flag 0/615000
757.52/755.86	c cleaning 0 clauses out of 625000 with flag 0/625001
770.43/768.70	c cleaning 0 clauses out of 635000 with flag 0/635001
783.04/781.35	c cleaning 0 clauses out of 645002 with flag 0/645003
795.98/794.24	c cleaning 0 clauses out of 654999 with flag 0/655000
808.89/807.13	c cleaning 0 clauses out of 664999 with flag 0/665000
822.11/820.39	c cleaning 0 clauses out of 674999 with flag 0/675000
835.54/833.76	c cleaning 0 clauses out of 685000 with flag 0/685001
848.35/846.52	c cleaning 0 clauses out of 694999 with flag 0/695000
861.26/859.43	c cleaning 0 clauses out of 704999 with flag 0/705000
874.78/872.95	c cleaning 0 clauses out of 714999 with flag 0/715000
888.09/886.26	c cleaning 0 clauses out of 725000 with flag 0/725001
900.81/898.96	c cleaning 0 clauses out of 734999 with flag 0/735000
913.84/911.94	c cleaning 0 clauses out of 744999 with flag 0/745000
927.13/925.27	c cleaning 0 clauses out of 755000 with flag 0/755001
941.05/939.18	c cleaning 0 clauses out of 765000 with flag 0/765001
955.76/953.86	c cleaning 0 clauses out of 775001 with flag 0/775002
970.09/968.15	c cleaning 0 clauses out of 784999 with flag 0/785000
983.81/981.89	c cleaning 0 clauses out of 794999 with flag 0/795000
997.25/995.28	c cleaning 0 clauses out of 804999 with flag 0/805000
1010.58/1008.51	c cleaning 0 clauses out of 815000 with flag 0/815001
1024.30/1022.29	c cleaning 0 clauses out of 825000 with flag 0/825001
1038.52/1036.44	c cleaning 0 clauses out of 834999 with flag 0/835000
1053.14/1051.01	c cleaning 0 clauses out of 844999 with flag 0/845000
1067.56/1065.42	c cleaning 0 clauses out of 854999 with flag 0/855000
1082.29/1080.12	c cleaning 0 clauses out of 864999 with flag 0/865000
1096.60/1094.47	c cleaning 0 clauses out of 874999 with flag 0/875000
1113.22/1111.02	c cleaning 0 clauses out of 885002 with flag 0/885003
1129.53/1127.30	c cleaning 0 clauses out of 895001 with flag 0/895002
1144.35/1142.11	c cleaning 0 clauses out of 904999 with flag 0/905000
1159.57/1157.30	c cleaning 0 clauses out of 914999 with flag 0/915000
1174.19/1171.97	c cleaning 0 clauses out of 925000 with flag 0/925001
1190.22/1187.93	c cleaning 0 clauses out of 934999 with flag 0/935000
1205.92/1203.62	c cleaning 0 clauses out of 945001 with flag 0/945002
1221.95/1219.60	c cleaning 0 clauses out of 955000 with flag 0/955001
1237.58/1235.27	c cleaning 0 clauses out of 965001 with flag 0/965002
1253.19/1250.88	c cleaning 0 clauses out of 974999 with flag 0/975000
1268.33/1266.00	c cleaning 0 clauses out of 985000 with flag 0/985001
1283.65/1281.21	c cleaning 0 clauses out of 995000 with flag 0/995001
1299.77/1297.39	c cleaning 0 clauses out of 1005000 with flag 0/1005001
1316.08/1313.69	c cleaning 0 clauses out of 1015001 with flag 0/1015002
1332.10/1329.66	c cleaning 0 clauses out of 1025000 with flag 0/1025001
1348.33/1345.82	c cleaning 0 clauses out of 1035003 with flag 0/1035004
1364.54/1362.07	c cleaning 0 clauses out of 1044999 with flag 0/1045000
1381.16/1378.61	c cleaning 0 clauses out of 1055000 with flag 0/1055001
1396.79/1394.24	c cleaning 0 clauses out of 1065000 with flag 0/1065001
1412.72/1410.16	c cleaning 0 clauses out of 1074999 with flag 0/1075000
1429.43/1426.89	c cleaning 0 clauses out of 1085000 with flag 0/1085001
1444.35/1441.71	c cleaning 0 clauses out of 1095000 with flag 0/1095001
1459.98/1457.40	c cleaning 0 clauses out of 1104999 with flag 0/1105000
1476.02/1473.34	c cleaning 0 clauses out of 1115000 with flag 0/1115001
1491.94/1489.31	c cleaning 0 clauses out of 1124999 with flag 0/1125000
1507.65/1504.93	c cleaning 0 clauses out of 1135000 with flag 0/1135001
1523.38/1520.63	c cleaning 0 clauses out of 1145000 with flag 0/1145001
1539.79/1537.05	c cleaning 0 clauses out of 1154999 with flag 0/1155000
1556.12/1553.37	c cleaning 0 clauses out of 1165001 with flag 0/1165002
1573.23/1570.48	c cleaning 0 clauses out of 1174999 with flag 0/1175000
1590.95/1588.19	c cleaning 0 clauses out of 1184999 with flag 0/1185000
1607.18/1604.35	c cleaning 0 clauses out of 1195000 with flag 0/1195001
1622.70/1619.84	c cleaning 0 clauses out of 1205003 with flag 0/1205004
1638.83/1635.98	c cleaning 0 clauses out of 1215000 with flag 0/1215001
1654.97/1652.06	c cleaning 0 clauses out of 1225001 with flag 0/1225002
1671.60/1668.68	c cleaning 0 clauses out of 1234999 with flag 0/1235000
1687.81/1684.89	c cleaning 0 clauses out of 1244999 with flag 0/1245000
1704.33/1701.36	c cleaning 0 clauses out of 1255002 with flag 0/1255003
1721.05/1718.05	c cleaning 0 clauses out of 1264999 with flag 0/1265000
1737.57/1734.50	c cleaning 0 clauses out of 1275000 with flag 0/1275001
1754.09/1751.10	c cleaning 0 clauses out of 1285000 with flag 0/1285001
1770.92/1767.80	c cleaning 0 clauses out of 1294999 with flag 0/1295000
1788.14/1785.06	c cleaning 0 clauses out of 1305000 with flag 0/1305001
1800.07/1796.92	c starts		: 190
1800.07/1796.92	c conflicts		: 1312095
1800.07/1796.92	c decisions		: 1458620
1800.07/1796.92	c propagations		: 809143168
1800.07/1796.92	c inspects		: 8868875000
1800.07/1796.92	c shortcuts		: 0
1800.07/1796.92	c learnt literals	: 1
1800.07/1796.92	c learnt binary clauses	: 36
1800.07/1796.92	c learnt ternary clauses	: 27
1800.07/1796.92	c learnt constraints	: 1312094
1800.07/1796.92	c ignored constraints	: 0
1800.07/1796.92	c root simplifications	: 0
1800.07/1796.92	c removed literals (reason simplification)	: 0
1800.07/1796.92	c reason swapping (by a shorter reason)	: 0
1800.07/1796.92	c Calls to reduceDB	: 132
1800.07/1796.92	c number of reductions to clauses (during analyze)	: 0
1800.07/1796.92	c number of learned constraints concerned by reduction	: 0
1800.07/1796.92	c number of learning phase by resolution	: 0
1800.07/1796.92	c number of learning phase by cutting planes	: 0
1800.07/1796.92	c speed (assignments/second)	: 450383.4884905361
1800.07/1796.92	c non guided choices	0
1800.07/1797.01	c learnt constraints type 
1800.07/1797.01	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1312103
1800.07/1797.01	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 36
1800.07/1797.01	c constraints type 
1800.07/1797.01	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1697
1800.07/1797.01	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4922
1800.07/1797.01	s UNKNOWN
1800.07/1797.01	c Total wall clock time (in seconds): 1796.901

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456374-1307220165/watcher-3456374-1307220165 -o /tmp/evaluation-result-3456374-1307220165/solver-3456374-1307220165 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456374-1307220165.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 1.95 2/395 17461
/proc/meminfo: memFree=29974284/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 1984 0 1 0 0 0 0 0 25 0 2 0 833616231 10681323520 1685 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2607745 1698 906 9 0 2598901 0
[pid=17461/tid=17462] ppid=17459 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 3036 0 1 0 0 0 0 0 25 0 2 0 833616232 10694979584 3852 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 0 0 0 0

[startup+0.0398241 s]
/proc/loadavg: 2.00 2.01 1.95 2/395 17461
/proc/meminfo: memFree=29974284/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10466452 CPUtime=0.03 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 11065 0 1 0 2 1 0 0 25 0 12 0 833616231 10717646848 10763 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2616613 10763 1629 9 0 2607361 0
[pid=17461/tid=17462] ppid=17459 vsize=10466452 CPUtime=0.02 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) S 17459 17461 15661 0 -1 4202560 9940 0 1 0 1 1 0 0 25 0 12 0 833616232 10717646848 10763 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16784584 18446604451718724608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10466452

[startup+0.106165 s]
/proc/loadavg: 2.00 2.01 1.95 2/395 17461
/proc/meminfo: memFree=29974284/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10539836 CPUtime=0.11 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 13081 0 1 0 9 2 0 0 25 0 18 0 833616231 10792792064 12777 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2634959 12777 2092 9 0 2625693 0
[pid=17461/tid=17462] ppid=17459 vsize=10539836 CPUtime=0.09 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 11201 0 1 0 7 2 0 0 18 0 18 0 833616232 10792792064 12777 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237278566080 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539836

[startup+0.301081 s]
/proc/loadavg: 2.00 2.01 1.95 2/395 17461
/proc/meminfo: memFree=29974284/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10541984 CPUtime=0.47 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 15968 0 1 0 45 2 0 0 25 0 18 0 833616231 10794991616 15312 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2635496 15313 2200 9 0 2626230 0
[pid=17461/tid=17462] ppid=17459 vsize=10541984 CPUtime=0.29 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 13041 0 1 0 27 2 0 0 18 0 18 0 833616232 10794991616 15313 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 46912505585379 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541984

[startup+0.701142 s]
/proc/loadavg: 2.00 2.01 1.95 2/395 17461
/proc/meminfo: memFree=29974284/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10544628 CPUtime=1.32 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 27154 0 1 0 128 4 0 0 25 0 19 0 833616231 10797699072 25384 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2636157 25384 2228 9 0 2626891 0
[pid=17461/tid=17462] ppid=17459 vsize=10544628 CPUtime=0.69 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 21934 0 1 0 66 3 0 0 19 0 19 0 833616232 10797699072 25384 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 46912505762318 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 10544628

[startup+1.50095 s]
/proc/loadavg: 2.00 2.01 1.95 5/437 17556
/proc/meminfo: memFree=29777436/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10544308 CPUtime=2.2 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 63154 0 1 0 212 8 0 0 25 0 19 0 833616231 10797371392 61103 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2636077 61105 2231 9 0 2626811 0
[pid=17461/tid=17462] ppid=17459 vsize=10544308 CPUtime=1.48 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 57687 0 1 0 141 7 0 0 18 0 19 0 833616232 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 46912505904964 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17461/tid=17466] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17466/stat : 17466 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17467] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17467/stat : 17467 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17468] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17468/stat : 17468 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17469] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17469/stat : 17469 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17470] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17470/stat : 17470 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17471] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17471/stat : 17471 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17472] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17472/stat : 17472 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17473] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17473/stat : 17473 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 61105 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17474] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17474/stat : 17474 (java) S 17459 17461 15661 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 833616235 10797371392 61111 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 0 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17475] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17475/stat : 17475 (java) S 17459 17461 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833616235 10797371392 61113 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17476] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17476/stat : 17476 (java) S 17459 17461 15661 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833616235 10797371392 61115 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17482] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17482/stat : 17482 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616237 10797371392 61117 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290703281 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17483] ppid=17459 vsize=10544308 CPUtime=0.36 cores=0,2,4,6
/proc/17461/task/17483/stat : 17483 (java) S 17459 17461 15661 0 -1 4202560 1556 0 0 0 36 0 0 0 15 0 19 0 833616237 10797371392 61119 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17485] ppid=17459 vsize=10544308 CPUtime=0.34 cores=0,2,4,6
/proc/17461/task/17485/stat : 17485 (java) S 17459 17461 15661 0 -1 4202560 2752 0 0 0 34 0 0 0 15 0 19 0 833616238 10797371392 61121 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17486] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17486/stat : 17486 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616238 10797371392 61122 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17487] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17487/stat : 17487 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833616238 10797371392 61124 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17510] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17510/stat : 17510 (java) S 17459 17461 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833616269 10797371392 61125 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 10544308

[startup+3.10063 s]
/proc/loadavg: 2.16 2.05 1.96 5/437 17648
/proc/meminfo: memFree=29578704/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10544308 CPUtime=3.8 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 138864 0 1 0 364 16 0 0 25 0 19 0 833616231 10797371392 136814 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2636077 136816 2231 9 0 2626811 0
[pid=17461/tid=17462] ppid=17459 vsize=10544308 CPUtime=3.08 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 133399 0 1 0 293 15 0 0 21 0 19 0 833616232 10797371392 136817 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 46912505836937 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17461/tid=17466] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17466/stat : 17466 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 136819 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17467] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17467/stat : 17467 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 136820 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17468] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17468/stat : 17468 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 136822 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17469] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17469/stat : 17469 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 136823 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17470] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17470/stat : 17470 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 136825 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17471] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17471/stat : 17471 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 136826 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17472] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17472/stat : 17472 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 136828 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17473] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17473/stat : 17473 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797371392 136829 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17474] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17474/stat : 17474 (java) S 17459 17461 15661 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 833616235 10797371392 136831 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 0 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17475] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17475/stat : 17475 (java) S 17459 17461 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833616235 10797371392 136832 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17476] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17476/stat : 17476 (java) S 17459 17461 15661 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833616235 10797371392 136834 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17482] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17482/stat : 17482 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616237 10797371392 136835 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290703281 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17483] ppid=17459 vsize=10544308 CPUtime=0.36 cores=0,2,4,6
/proc/17461/task/17483/stat : 17483 (java) S 17459 17461 15661 0 -1 4202560 1556 0 0 0 36 0 0 0 15 0 19 0 833616237 10797371392 136837 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17485] ppid=17459 vsize=10544308 CPUtime=0.34 cores=0,2,4,6
/proc/17461/task/17485/stat : 17485 (java) S 17459 17461 15661 0 -1 4202560 2752 0 0 0 34 0 0 0 15 0 19 0 833616238 10797371392 136838 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17486] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17486/stat : 17486 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616238 10797371392 136840 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17487] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17487/stat : 17487 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833616238 10797371392 136841 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17510] ppid=17459 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17510/stat : 17510 (java) S 17459 17461 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833616269 10797371392 136842 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 10544308

[startup+6.30109 s]
/proc/loadavg: 2.16 2.05 1.96 3/437 17694
/proc/meminfo: memFree=28628724/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10544644 CPUtime=7.04 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 281900 0 1 0 672 32 0 0 25 0 19 0 833616231 10797715456 279840 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2636161 279841 2232 9 0 2626895 0
[pid=17461/tid=17462] ppid=17459 vsize=10544644 CPUtime=6.29 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 276384 0 1 0 598 31 0 0 25 0 19 0 833616232 10797715456 279842 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 46912505366039 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17461/tid=17466] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17466/stat : 17466 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797715456 279843 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17467] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17467/stat : 17467 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797715456 279844 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17468] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17468/stat : 17468 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797715456 279845 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17469] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17469/stat : 17469 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797715456 279846 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17470] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17470/stat : 17470 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797715456 279848 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17471] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17471/stat : 17471 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797715456 279850 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17472] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17472/stat : 17472 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797715456 279851 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17473] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17473/stat : 17473 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616234 10797715456 279852 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17474] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17474/stat : 17474 (java) S 17459 17461 15661 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 833616235 10797715456 279853 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 0 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17475] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17475/stat : 17475 (java) S 17459 17461 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833616235 10797715456 279855 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17476] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17476/stat : 17476 (java) S 17459 17461 15661 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833616235 10797715456 279856 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17482] ppid=17459 vsize=10544644 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17482/stat : 17482 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616237 10797715456 279857 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290703281 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17483] ppid=17459 vsize=10544644 CPUtime=0.38 cores=0,2,4,6
/proc/17461/task/17483/stat : 17483 (java) S 17459 17461 15661 0 -1 4202560 1603 0 0 0 38 0 0 0 15 0 19 0 833616237 10797715456 279858 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17485] ppid=17459 vsize=10544644 CPUtime=0.35 cores=0,2,4,6
/proc/17461/task/17485/stat : 17485 (java) S 17459 17461 15661 0 -1 4202560 2754 0 0 0 35 0 0 0 15 0 19 0 833616238 10797715456 279859 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 4 0 0 0

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

[pid=17461/tid=17510] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17510/stat : 17510 (java) S 17459 17461 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833616269 10797588480 663974 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1665.29
Current children cumulated vsize (KiB) 10544520

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 17797
/proc/meminfo: memFree=23432548/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10544520 CPUtime=1725.37 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 668990 0 1 0 172457 80 0 0 25 0 19 0 833616231 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2636130 666304 2262 9 0 2626864 0
[pid=17461/tid=17462] ppid=17459 vsize=10544520 CPUtime=1690.73 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 574645 0 1 0 169007 66 0 0 25 0 19 0 833616232 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 46912505756304 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17461/tid=17466] ppid=17459 vsize=10544520 CPUtime=0.32 cores=0,2,4,6
/proc/17461/task/17466/stat : 17466 (java) S 17459 17461 15661 0 -1 4202560 614 0 0 0 32 0 0 0 15 0 19 0 833616234 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17467] ppid=17459 vsize=10544520 CPUtime=0.39 cores=0,2,4,6
/proc/17461/task/17467/stat : 17467 (java) S 17459 17461 15661 0 -1 4202560 332 0 0 0 39 0 0 0 16 0 19 0 833616234 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17468] ppid=17459 vsize=10544520 CPUtime=0.32 cores=0,2,4,6
/proc/17461/task/17468/stat : 17468 (java) S 17459 17461 15661 0 -1 4202560 124 0 0 0 32 0 0 0 16 0 19 0 833616234 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17469] ppid=17459 vsize=10544520 CPUtime=0.38 cores=0,2,4,6
/proc/17461/task/17469/stat : 17469 (java) S 17459 17461 15661 0 -1 4202560 438 0 0 0 38 0 0 0 15 0 19 0 833616234 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17470] ppid=17459 vsize=10544520 CPUtime=0.33 cores=0,2,4,6
/proc/17461/task/17470/stat : 17470 (java) S 17459 17461 15661 0 -1 4202560 187 0 0 0 33 0 0 0 16 0 19 0 833616234 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17471] ppid=17459 vsize=10544520 CPUtime=0.33 cores=0,2,4,6
/proc/17461/task/17471/stat : 17471 (java) S 17459 17461 15661 0 -1 4202560 720 0 0 0 33 0 0 0 16 0 19 0 833616234 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17472] ppid=17459 vsize=10544520 CPUtime=0.38 cores=0,2,4,6
/proc/17461/task/17472/stat : 17472 (java) S 17459 17461 15661 0 -1 4202560 540 0 0 0 38 0 0 0 15 0 19 0 833616234 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17473] ppid=17459 vsize=10544520 CPUtime=0.43 cores=0,2,4,6
/proc/17461/task/17473/stat : 17473 (java) S 17459 17461 15661 0 -1 4202560 617 0 0 0 43 0 0 0 15 0 19 0 833616234 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17474] ppid=17459 vsize=10544520 CPUtime=30.58 cores=0,2,4,6
/proc/17461/task/17474/stat : 17474 (java) S 17459 17461 15661 0 -1 4202560 84778 0 0 0 3048 10 0 0 15 0 19 0 833616235 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 0 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17475] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17475/stat : 17475 (java) S 17459 17461 15661 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833616235 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17476] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17476/stat : 17476 (java) S 17459 17461 15661 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 833616235 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17482] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17482/stat : 17482 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616237 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290703281 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17483] ppid=17459 vsize=10544520 CPUtime=0.7 cores=0,2,4,6
/proc/17461/task/17483/stat : 17483 (java) S 17459 17461 15661 0 -1 4202560 1967 0 0 0 70 0 0 0 15 0 19 0 833616237 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17485] ppid=17459 vsize=10544520 CPUtime=0.4 cores=0,2,4,6
/proc/17461/task/17485/stat : 17485 (java) S 17459 17461 15661 0 -1 4202560 2776 0 0 0 40 0 0 0 16 0 19 0 833616238 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17486] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17486/stat : 17486 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616238 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17487] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17487/stat : 17487 (java) S 17459 17461 15661 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 833616238 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17510] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17510/stat : 17510 (java) S 17459 17461 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833616269 10797588480 666304 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1725.37
Current children cumulated vsize (KiB) 10544520

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 17799
/proc/meminfo: memFree=23421108/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10544520 CPUtime=1785.44 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 670731 0 1 0 178464 80 0 0 25 0 19 0 833616231 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2636130 668036 2262 9 0 2626864 0
[pid=17461/tid=17462] ppid=17459 vsize=10544520 CPUtime=1749.43 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 574648 0 1 0 174877 66 0 0 25 0 19 0 833616232 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 46912505756304 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17461/tid=17466] ppid=17459 vsize=10544520 CPUtime=0.33 cores=0,2,4,6
/proc/17461/task/17466/stat : 17466 (java) S 17459 17461 15661 0 -1 4202560 614 0 0 0 33 0 0 0 15 0 19 0 833616234 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17467] ppid=17459 vsize=10544520 CPUtime=0.41 cores=0,2,4,6
/proc/17461/task/17467/stat : 17467 (java) S 17459 17461 15661 0 -1 4202560 332 0 0 0 41 0 0 0 15 0 19 0 833616234 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17468] ppid=17459 vsize=10544520 CPUtime=0.34 cores=0,2,4,6
/proc/17461/task/17468/stat : 17468 (java) S 17459 17461 15661 0 -1 4202560 124 0 0 0 34 0 0 0 16 0 19 0 833616234 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17469] ppid=17459 vsize=10544520 CPUtime=0.38 cores=0,2,4,6
/proc/17461/task/17469/stat : 17469 (java) S 17459 17461 15661 0 -1 4202560 438 0 0 0 38 0 0 0 15 0 19 0 833616234 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17470] ppid=17459 vsize=10544520 CPUtime=0.34 cores=0,2,4,6
/proc/17461/task/17470/stat : 17470 (java) S 17459 17461 15661 0 -1 4202560 187 0 0 0 34 0 0 0 16 0 19 0 833616234 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17471] ppid=17459 vsize=10544520 CPUtime=0.36 cores=0,2,4,6
/proc/17461/task/17471/stat : 17471 (java) S 17459 17461 15661 0 -1 4202560 720 0 0 0 36 0 0 0 16 0 19 0 833616234 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17472] ppid=17459 vsize=10544520 CPUtime=0.38 cores=0,2,4,6
/proc/17461/task/17472/stat : 17472 (java) S 17459 17461 15661 0 -1 4202560 540 0 0 0 38 0 0 0 15 0 19 0 833616234 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17473] ppid=17459 vsize=10544520 CPUtime=0.43 cores=0,2,4,6
/proc/17461/task/17473/stat : 17473 (java) S 17459 17461 15661 0 -1 4202560 617 0 0 0 43 0 0 0 16 0 19 0 833616234 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17474] ppid=17459 vsize=10544520 CPUtime=31.83 cores=0,2,4,6
/proc/17461/task/17474/stat : 17474 (java) S 17459 17461 15661 0 -1 4202560 86514 0 0 0 3173 10 0 0 15 0 19 0 833616235 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 0 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17475] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17475/stat : 17475 (java) S 17459 17461 15661 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833616235 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17476] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17476/stat : 17476 (java) S 17459 17461 15661 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 833616235 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17482] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17482/stat : 17482 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616237 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290703281 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17483] ppid=17459 vsize=10544520 CPUtime=0.7 cores=0,2,4,6
/proc/17461/task/17483/stat : 17483 (java) S 17459 17461 15661 0 -1 4202560 1967 0 0 0 70 0 0 0 15 0 19 0 833616237 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17485] ppid=17459 vsize=10544520 CPUtime=0.4 cores=0,2,4,6
/proc/17461/task/17485/stat : 17485 (java) S 17459 17461 15661 0 -1 4202560 2776 0 0 0 40 0 0 0 16 0 19 0 833616238 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17486] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17486/stat : 17486 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616238 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17487] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17487/stat : 17487 (java) S 17459 17461 15661 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833616238 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17510] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17510/stat : 17510 (java) S 17459 17461 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833616269 10797588480 668036 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1785.44
Current children cumulated vsize (KiB) 10544520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 17799
/proc/meminfo: memFree=23403984/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=10544520 CPUtime=1800.07 cores=0,2,4,6
/proc/17461/stat : 17461 (java) S 17459 17461 15661 0 -1 4202496 671321 0 1 0 179927 80 0 0 25 0 19 0 833616231 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 2636130 668623 2262 9 0 2626864 0
[pid=17461/tid=17462] ppid=17459 vsize=10544520 CPUtime=1763.4 cores=0,2,4,6
/proc/17461/task/17462/stat : 17462 (java) R 17459 17461 15661 0 -1 4202560 574649 0 1 0 176274 66 0 0 25 0 19 0 833616232 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 46912505729667 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17461/tid=17466] ppid=17459 vsize=10544520 CPUtime=0.34 cores=0,2,4,6
/proc/17461/task/17466/stat : 17466 (java) S 17459 17461 15661 0 -1 4202560 614 0 0 0 34 0 0 0 15 0 19 0 833616234 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17467] ppid=17459 vsize=10544520 CPUtime=0.42 cores=0,2,4,6
/proc/17461/task/17467/stat : 17467 (java) S 17459 17461 15661 0 -1 4202560 334 0 0 0 42 0 0 0 15 0 19 0 833616234 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17468] ppid=17459 vsize=10544520 CPUtime=0.35 cores=0,2,4,6
/proc/17461/task/17468/stat : 17468 (java) S 17459 17461 15661 0 -1 4202560 124 0 0 0 35 0 0 0 16 0 19 0 833616234 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17469] ppid=17459 vsize=10544520 CPUtime=0.39 cores=0,2,4,6
/proc/17461/task/17469/stat : 17469 (java) S 17459 17461 15661 0 -1 4202560 438 0 0 0 39 0 0 0 16 0 19 0 833616234 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17470] ppid=17459 vsize=10544520 CPUtime=0.34 cores=0,2,4,6
/proc/17461/task/17470/stat : 17470 (java) S 17459 17461 15661 0 -1 4202560 187 0 0 0 34 0 0 0 15 0 19 0 833616234 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17471] ppid=17459 vsize=10544520 CPUtime=0.36 cores=0,2,4,6
/proc/17461/task/17471/stat : 17471 (java) S 17459 17461 15661 0 -1 4202560 720 0 0 0 36 0 0 0 15 0 19 0 833616234 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17472] ppid=17459 vsize=10544520 CPUtime=0.38 cores=0,2,4,6
/proc/17461/task/17472/stat : 17472 (java) S 17459 17461 15661 0 -1 4202560 540 0 0 0 38 0 0 0 16 0 19 0 833616234 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17473] ppid=17459 vsize=10544520 CPUtime=0.44 cores=0,2,4,6
/proc/17461/task/17473/stat : 17473 (java) S 17459 17461 15661 0 -1 4202560 617 0 0 0 44 0 0 0 16 0 19 0 833616234 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17474] ppid=17459 vsize=10544520 CPUtime=32.47 cores=0,2,4,6
/proc/17461/task/17474/stat : 17474 (java) S 17459 17461 15661 0 -1 4202560 87099 0 0 0 3237 10 0 0 15 0 19 0 833616235 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 0 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17475] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17475/stat : 17475 (java) S 17459 17461 15661 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833616235 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17476] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17476/stat : 17476 (java) S 17459 17461 15661 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 833616235 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
[pid=17461/tid=17482] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17482/stat : 17482 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616237 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290703281 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17483] ppid=17459 vsize=10544520 CPUtime=0.7 cores=0,2,4,6
/proc/17461/task/17483/stat : 17483 (java) S 17459 17461 15661 0 -1 4202560 1967 0 0 0 70 0 0 0 15 0 19 0 833616237 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17485] ppid=17459 vsize=10544520 CPUtime=0.4 cores=0,2,4,6
/proc/17461/task/17485/stat : 17485 (java) S 17459 17461 15661 0 -1 4202560 2776 0 0 0 40 0 0 0 16 0 19 0 833616238 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 4 0 0 0
[pid=17461/tid=17486] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17486/stat : 17486 (java) S 17459 17461 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616238 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290695577 0 4 0 16800975 18446604451718724608 0 0 -1 6 0 0 0
[pid=17461/tid=17487] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17487/stat : 17487 (java) S 17459 17461 15661 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 833616238 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 2 0 0 0
[pid=17461/tid=17510] ppid=17459 vsize=10544520 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17510/stat : 17510 (java) S 17459 17461 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833616269 10797588480 668623 33554432000 1073741824 1073778376 140734643342112 18446744073709551615 237290696192 0 4 0 16800975 18446604451718724608 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10544520

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

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

[startup+1797.02 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 17799
/proc/meminfo: memFree=23403984/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/17461/stat : 17461 (java) Z 17459 17461 15661 0 -1 4203548 671356 0 1 0 179948 81 0 0 17 0 2 0 833616231 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 0 0 0 0 0 0 0
[pid=17461/tid=17486] ppid=17459 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/17461/task/17486/stat : 17486 (java) R 17459 17461 15661 0 -1 4203588 1 0 0 0 0 0 0 0 18 0 2 0 833616238 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 17799
/proc/meminfo: memFree=23403984/32950904 swapFree=56615552/67111528
[pid=17461] ppid=17459 vsize=0 CPUtime=1800.37 cores=0,2,4,6
/proc/17461/stat : 17461 (java) Z 17459 17461 15661 0 -1 4203548 671356 0 1 0 179948 89 0 0 17 0 2 0 833616231 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17461/statm: 0 0 0 0 0 0 0
[pid=17461/tid=17486] ppid=17459 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/17461/task/17486/stat : 17486 (java) R 17459 17461 15661 0 -1 4203588 1 0 0 0 0 8 0 0 18 0 2 0 833616238 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1797.12
CPU time (s): 1800.39
CPU user time (s): 1799.48
CPU system time (s): 0.909861
CPU usage (%): 100.182
Max. virtual memory (cumulated for all children) (KiB): 10545544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.909861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 671356
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= 40727
involuntary context switches= 10474

runsolver used 7.53785 second user time and 15.7906 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-04 22:42:45
IDJOB=3456374
IDBENCH=2175
IDSOLVER=1951
FILE ID=node121/3456374-1307220165
RUNJOBID= node121-1307216569-17128
PBS_JOBID= 13509038
Free space on /tmp= 73940 MiB

SOLVER NAME= Sat4j CuttingPlanes 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3456374-1307220165/watcher-3456374-1307220165 -o /tmp/evaluation-result-3456374-1307220165/solver-3456374-1307220165 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456374-1307220165.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bc7893eb7aff4749139e472af91e587e
RANDOM SEED=1319670235

node121.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      29974532 kB
Buffers:        340124 kB
Cached:         530656 kB
SwapCached:       9896 kB
Active:        2255872 kB
Inactive:       459748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      29974532 kB
SwapTotal:    67111528 kB
SwapFree:     56615552 kB
Dirty:             480 kB
Writeback:           0 kB
AnonPages:     1841964 kB
Mapped:          12348 kB
Slab:           142596 kB
PageTables:      51844 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 83504192 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73956 MiB
End job on node121 at 2011-06-04 23:12:44