Trace number 2662133

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 PB RES // CP 2.2.0 2010-05-31? (TO) 1800.29 929.855

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f2000.opb
MD5SUMfad56081e554a0467e4020315c4dfc76
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 variables4000
Total number of constraints10500
Number of constraints which are clauses10500
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 4000
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 4000
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 4000
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.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.15	c version 2.2.0.v20100531
0.08/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.15	c java.vm.version	11.2-b01
0.08/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version		1.6.0_12
0.08/0.15	c os.name		Linux
0.08/0.15	c os.version		2.6.18-164.el5
0.08/0.15	c os.arch		i386
0.08/0.15	c Free memory 		1393557488
0.08/0.15	c Max memory 		1395916800
0.08/0.15	c Total memory 		1395916800
0.08/0.15	c Number of processors 	2
0.25/0.21	c Pseudo Boolean Optimization
0.25/0.21	c ManyCore solver with 2 solvers running in parallel
0.25/0.21	c --- Begin Solver configuration ---
0.25/0.21	c Stops conflict analysis at the first Unique Implication Point
0.25/0.21	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5
0.25/0.21	c Learn all clauses as in MiniSAT
0.25/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.25/0.21	c Expensive reason simplification
0.25/0.21	c Armin Biere (Picosat) restarts strategy
0.25/0.21	c Glucose learned constraints deletion strategy
0.25/0.21	c timeout=2147483s
0.25/0.21	c DB Simplification allowed=false
0.25/0.21	c --- End Solver configuration ---
0.25/0.21	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.25/0.21	c --- Begin Solver configuration ---
0.25/0.21	c Stops conflict analysis at the first Unique Implication Point
0.25/0.21	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3
0.25/0.21	c Learn all clauses as in MiniSAT
0.25/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.21	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.25/0.21	c No reason simplification
0.25/0.21	c Armin Biere (Picosat) restarts strategy
0.25/0.21	c Glucose learned constraints deletion strategy
0.25/0.21	c timeout=2147483s
0.25/0.21	c DB Simplification allowed=false
0.25/0.21	c --- End Solver configuration ---
0.25/0.21	
0.25/0.21	c solving HOME/instance-2662133-1276468447.opb
0.25/0.21	c reading problem ... 
1.96/1.12	c ... done. Wall clock time 0.904s.
1.96/1.12	c #vars     4000
1.96/1.12	c #constraints  10500
1.96/1.12	c constraints type 
1.96/1.12	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8500
1.96/1.12	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2000
1.96/1.12	c constraints type 
1.96/1.12	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2000
1.96/1.12	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8500
9.87/5.12	c cleaning 2497 clauses out of 5002 with flag 5002/5002
14.18/7.36	c cleaning 4251 clauses out of 8505 with flag 11002/11002
15.75/8.17	c cleaning 0 clauses out of 5000 with flag 0/5000
19.82/10.26	c cleaning 5626 clauses out of 11254 with flag 18002/18002
26.49/13.68	c cleaning 6808 clauses out of 13626 with flag 26000/26000
28.02/14.42	c cleaning 0 clauses out of 11000 with flag 0/11000
35.10/18.01	c cleaning 7905 clauses out of 15819 with flag 35001/35001
43.15/22.18	c cleaning 0 clauses out of 18001 with flag 0/18001
44.86/23.10	c cleaning 8951 clauses out of 17913 with flag 45000/45000
55.89/28.67	c cleaning 9979 clauses out of 19965 with flag 56003/56003
62.53/32.07	c cleaning 0 clauses out of 26001 with flag 0/26001
68.21/34.99	c cleaning 10488 clauses out of 20984 with flag 67001/67001
80.38/41.12	c cleaning 10743 clauses out of 21496 with flag 78001/78001
88.05/45.01	c cleaning 0 clauses out of 35001 with flag 0/35001
92.31/47.29	c cleaning 10871 clauses out of 21754 with flag 89002/89002
105.29/53.85	c cleaning 10934 clauses out of 21881 with flag 100000/100000
116.27/59.50	c cleaning 0 clauses out of 45000 with flag 0/45000
119.53/61.11	c cleaning 10964 clauses out of 21947 with flag 111000/111000
131.33/67.16	c cleaning 10986 clauses out of 21983 with flag 122000/122000
143.69/73.45	c cleaning 10991 clauses out of 21997 with flag 133000/133000
149.90/76.68	c cleaning 0 clauses out of 56002 with flag 0/56002
157.72/80.61	c cleaning 10993 clauses out of 22006 with flag 144000/144000
171.09/87.43	c cleaning 10997 clauses out of 22013 with flag 155000/155000
185.82/94.93	c cleaning 11001 clauses out of 22017 with flag 166001/166001
187.28/95.73	c cleaning 0 clauses out of 67001 with flag 0/67001
197.25/100.82	c cleaning 11000 clauses out of 22015 with flag 177000/177000
209.42/107.01	c cleaning 11003 clauses out of 22018 with flag 188003/188003
221.79/113.36	c cleaning 10994 clauses out of 22016 with flag 199004/199004
230.53/117.83	c cleaning 0 clauses out of 78001 with flag 0/78001
234.95/120.14	c cleaning 10994 clauses out of 22020 with flag 210002/210002
247.11/126.33	c cleaning 10999 clauses out of 22024 with flag 221000/221000
259.87/132.83	c cleaning 11005 clauses out of 22025 with flag 232000/232000
273.75/139.97	c cleaning 10996 clauses out of 22020 with flag 243000/243000
276.19/141.28	c cleaning 0 clauses out of 89003 with flag 0/89003
286.75/146.60	c cleaning 11010 clauses out of 22024 with flag 254000/254000
298.09/152.42	c cleaning 11000 clauses out of 22014 with flag 265000/265000
310.20/158.69	c cleaning 10999 clauses out of 22016 with flag 276002/276002
323.12/165.24	c cleaning 11004 clauses out of 22015 with flag 287000/287000
324.77/166.15	c cleaning 0 clauses out of 100000 with flag 0/100000
336.87/172.32	c cleaning 11004 clauses out of 22013 with flag 298002/298002
349.75/178.96	c cleaning 10986 clauses out of 22008 with flag 309001/309001
362.45/185.41	c cleaning 11003 clauses out of 22021 with flag 320000/320000
376.54/192.64	c cleaning 10993 clauses out of 22018 with flag 331000/331000
377.18/193.09	c cleaning 0 clauses out of 111000 with flag 0/111000
389.64/199.44	c cleaning 10998 clauses out of 22026 with flag 342001/342001
402.14/205.84	c cleaning 11004 clauses out of 22027 with flag 353000/353000
415.64/212.79	c cleaning 11002 clauses out of 22023 with flag 364000/364000
428.95/219.51	c cleaning 11005 clauses out of 22026 with flag 375005/375005
434.47/222.46	c cleaning 0 clauses out of 122000 with flag 0/122000
442.63/226.68	c cleaning 11001 clauses out of 22017 with flag 386001/386001
454.13/232.57	c cleaning 10993 clauses out of 22015 with flag 397000/397000
466.25/238.73	c cleaning 11001 clauses out of 22026 with flag 408004/408004
479.28/245.40	c cleaning 11006 clauses out of 22021 with flag 419000/419000
492.16/252.05	c cleaning 10998 clauses out of 22015 with flag 430000/430000
493.77/252.98	c cleaning 0 clauses out of 133001 with flag 0/133001
506.05/259.28	c cleaning 10993 clauses out of 22017 with flag 441000/441000
518.89/265.89	c cleaning 11000 clauses out of 22024 with flag 452000/452000
531.98/272.52	c cleaning 11001 clauses out of 22025 with flag 463001/463001
545.28/279.39	c cleaning 10994 clauses out of 22024 with flag 474001/474001
555.36/284.56	c cleaning 0 clauses out of 144001 with flag 0/144001
558.28/286.16	c cleaning 11010 clauses out of 22031 with flag 485002/485002
572.15/293.22	c cleaning 11000 clauses out of 22019 with flag 496000/496000
586.03/300.40	c cleaning 11001 clauses out of 22019 with flag 507000/507000
599.29/307.18	c cleaning 10989 clauses out of 22019 with flag 518001/518001
612.49/313.94	c cleaning 11002 clauses out of 22031 with flag 529002/529002
620.60/318.11	c cleaning 0 clauses out of 155002 with flag 0/155002
626.34/321.14	c cleaning 10996 clauses out of 22028 with flag 540001/540001
639.41/327.90	c cleaning 11002 clauses out of 22032 with flag 551001/551001
653.59/335.11	c cleaning 11005 clauses out of 22030 with flag 562001/562001
667.25/342.19	c cleaning 11004 clauses out of 22025 with flag 573001/573001
680.89/349.17	c cleaning 11000 clauses out of 22020 with flag 584000/584000
685.23/351.45	c cleaning 0 clauses out of 166001 with flag 0/166001
692.86/355.44	c cleaning 11005 clauses out of 22023 with flag 595003/595003
705.32/361.82	c cleaning 10995 clauses out of 22017 with flag 606002/606002
718.18/368.43	c cleaning 11000 clauses out of 22022 with flag 617002/617002
731.60/375.36	c cleaning 11003 clauses out of 22021 with flag 628001/628001
745.16/382.36	c cleaning 10997 clauses out of 22018 with flag 639001/639001
757.80/388.83	c cleaning 11001 clauses out of 22022 with flag 650002/650002
759.76/389.96	c cleaning 0 clauses out of 177005 with flag 0/177005
771.41/395.97	c cleaning 10992 clauses out of 22019 with flag 661000/661000
784.77/402.82	c cleaning 11006 clauses out of 22027 with flag 672000/672000
797.61/409.44	c cleaning 11005 clauses out of 22021 with flag 683000/683000
811.24/416.40	c cleaning 11001 clauses out of 22016 with flag 694000/694000
824.68/423.32	c cleaning 11000 clauses out of 22016 with flag 705001/705001
833.30/427.84	c cleaning 0 clauses out of 188000 with flag 0/188000
838.16/430.50	c cleaning 10996 clauses out of 22016 with flag 716001/716001
852.00/437.55	c cleaning 10991 clauses out of 22019 with flag 727000/727000
866.02/444.72	c cleaning 11005 clauses out of 22030 with flag 738002/738002
881.34/452.62	c cleaning 10996 clauses out of 22024 with flag 749001/749001
896.15/460.24	c cleaning 11006 clauses out of 22029 with flag 760002/760002
906.57/465.67	c cleaning 0 clauses out of 199002 with flag 0/199002
910.06/467.53	c cleaning 11003 clauses out of 22023 with flag 771002/771002
924.97/475.25	c cleaning 11001 clauses out of 22020 with flag 782002/782002
938.77/482.30	c cleaning 11003 clauses out of 22019 with flag 793002/793002
952.78/489.57	c cleaning 10996 clauses out of 22014 with flag 804000/804000
967.16/496.97	c cleaning 10990 clauses out of 22018 with flag 815000/815000
979.09/503.11	c cleaning 0 clauses out of 210000 with flag 0/210000
981.78/504.64	c cleaning 10998 clauses out of 22030 with flag 826002/826002
996.57/512.23	c cleaning 11000 clauses out of 22031 with flag 837001/837001
1010.77/519.54	c cleaning 11003 clauses out of 22031 with flag 848001/848001
1024.87/526.82	c cleaning 11004 clauses out of 22029 with flag 859002/859002
1039.05/534.16	c cleaning 10996 clauses out of 22023 with flag 870000/870000
1050.66/540.12	c cleaning 0 clauses out of 221000 with flag 0/221000
1054.12/542.01	c cleaning 11003 clauses out of 22029 with flag 881002/881002
1066.64/548.53	c cleaning 10998 clauses out of 22024 with flag 892000/892000
1080.24/555.52	c cleaning 11005 clauses out of 22026 with flag 903000/903000
1093.61/562.47	c cleaning 11004 clauses out of 22021 with flag 914000/914000
1106.98/569.32	c cleaning 10994 clauses out of 22017 with flag 925000/925000
1121.07/576.65	c cleaning 10995 clauses out of 22024 with flag 936001/936001
1126.12/579.35	c cleaning 0 clauses out of 232002 with flag 0/232002
1134.55/583.78	c cleaning 11007 clauses out of 22030 with flag 947002/947002
1148.91/591.11	c cleaning 10994 clauses out of 22021 with flag 958000/958000
1163.00/598.45	c cleaning 11005 clauses out of 22028 with flag 969001/969001
1177.15/605.74	c cleaning 10994 clauses out of 22025 with flag 980003/980003
1191.10/612.95	c cleaning 11001 clauses out of 22028 with flag 991000/991000
1203.28/619.21	c cleaning 0 clauses out of 243001 with flag 0/243001
1205.61/620.67	c cleaning 11002 clauses out of 22027 with flag 1002000/1002000
1219.99/628.10	c cleaning 11003 clauses out of 22028 with flag 1013003/1013003
1234.33/635.43	c cleaning 10995 clauses out of 22022 with flag 1024000/1024000
1248.49/642.79	c cleaning 11002 clauses out of 22027 with flag 1035000/1035000
1263.13/650.39	c cleaning 10998 clauses out of 22026 with flag 1046001/1046001
1277.48/657.78	c cleaning 11006 clauses out of 22031 with flag 1057004/1057004
1285.27/661.89	c cleaning 0 clauses out of 254001 with flag 0/254001
1291.87/665.30	c cleaning 11007 clauses out of 22021 with flag 1068000/1068000
1306.12/672.74	c cleaning 10991 clauses out of 22014 with flag 1079000/1079000
1319.66/679.80	c cleaning 10995 clauses out of 22023 with flag 1090000/1090000
1335.16/687.78	c cleaning 10992 clauses out of 22028 with flag 1101000/1101000
1350.29/695.59	c cleaning 11003 clauses out of 22038 with flag 1112002/1112002
1366.08/703.76	c cleaning 11002 clauses out of 22033 with flag 1123000/1123000
1380.83/711.39	c cleaning 11012 clauses out of 22034 with flag 1134003/1134003
1384.26/713.28	c cleaning 0 clauses out of 265001 with flag 0/265001
1395.81/719.30	c cleaning 10999 clauses out of 22021 with flag 1145002/1145002
1411.04/727.17	c cleaning 10997 clauses out of 22021 with flag 1156001/1156001
1425.95/734.81	c cleaning 10997 clauses out of 22023 with flag 1167000/1167000
1441.06/742.63	c cleaning 11006 clauses out of 22027 with flag 1178001/1178001
1455.78/750.29	c cleaning 10999 clauses out of 22022 with flag 1189002/1189002
1469.99/757.64	c cleaning 10998 clauses out of 22021 with flag 1200000/1200000
1480.35/763.03	c cleaning 0 clauses out of 276000 with flag 0/276000
1484.96/765.52	c cleaning 10993 clauses out of 22023 with flag 1211000/1211000
1499.46/773.01	c cleaning 11007 clauses out of 22031 with flag 1222001/1222001
1512.88/780.07	c cleaning 11004 clauses out of 22024 with flag 1233001/1233001
1527.41/787.58	c cleaning 10996 clauses out of 22021 with flag 1244002/1244002
1541.70/794.94	c cleaning 10994 clauses out of 22024 with flag 1255001/1255001
1556.22/802.49	c cleaning 11005 clauses out of 22030 with flag 1266001/1266001
1571.01/810.14	c cleaning 10995 clauses out of 22025 with flag 1277001/1277001
1578.98/814.32	c cleaning 0 clauses out of 287000 with flag 0/287000
1585.94/818.08	c cleaning 11008 clauses out of 22029 with flag 1288000/1288000
1600.85/825.78	c cleaning 10996 clauses out of 22021 with flag 1299000/1299000
1615.65/833.43	c cleaning 11003 clauses out of 22028 with flag 1310003/1310003
1631.15/841.47	c cleaning 11005 clauses out of 22022 with flag 1321000/1321000
1644.26/848.26	c cleaning 10997 clauses out of 22019 with flag 1332002/1332002
1657.36/855.09	c cleaning 11007 clauses out of 22021 with flag 1343001/1343001
1672.33/862.83	c cleaning 10995 clauses out of 22013 with flag 1354000/1354000
1673.36/863.57	c cleaning 0 clauses out of 298000 with flag 0/298000
1686.84/870.59	c cleaning 11006 clauses out of 22020 with flag 1365002/1365002
1699.75/877.25	c cleaning 10991 clauses out of 22013 with flag 1376001/1376001
1713.14/884.29	c cleaning 11003 clauses out of 22022 with flag 1387001/1387001
1727.03/891.43	c cleaning 10990 clauses out of 22018 with flag 1398000/1398000
1741.32/898.86	c cleaning 11004 clauses out of 22033 with flag 1409005/1409005
1754.42/905.66	c cleaning 11005 clauses out of 22027 with flag 1420003/1420003
1764.63/911.09	c cleaning 0 clauses out of 309002 with flag 0/309002
1768.81/913.35	c cleaning 10998 clauses out of 22019 with flag 1431000/1431000
1782.49/920.41	c cleaning 10998 clauses out of 22021 with flag 1442000/1442000
1796.36/927.67	c cleaning 10994 clauses out of 22023 with flag 1453000/1453000
1800.03/929.72	c starts		: 206
1800.03/929.72	c conflicts		: 1456184
1800.03/929.72	c decisions		: 1916509
1800.03/929.72	c propagations		: 557274712
1800.03/929.72	c inspects		: 2054925815
1800.03/929.72	c learnt literals	: 0
1800.03/929.72	c learnt binary clauses	: 0
1800.03/929.72	c learnt ternary clauses	: 80
1800.03/929.72	c learnt clauses	: 1456184
1800.03/929.72	c ignored clauses	: 0
1800.03/929.72	c root simplifications	: 0
1800.03/929.72	c removed literals (reason simplification)	: 19870791
1800.03/929.72	c reason swapping (by a shorter reason)	: 0
1800.03/929.72	c Calls to reduceDB	: 134
1800.03/929.72	c number of reductions to clauses (during analyze)	: 0
1800.03/929.72	c number of learned constraints concerned by reduction	: 0
1800.03/929.72	c number of learning phase by resolution	: 0
1800.03/929.72	c number of learning phase by cutting planes	: 0
1800.03/929.72	c speed (assignments/second)	: 600124.1784667008
1800.03/929.72	c non guided choices	0
1800.03/929.79	c learnt constraints type 
1800.03/929.79	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 14311
1800.03/929.79	c constraints type 
1800.03/929.79	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8500
1800.03/929.79	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2000
1800.03/929.79	c constraints type 
1800.03/929.79	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2000
1800.03/929.79	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8500
1800.03/929.79	s UNKNOWN
1800.03/929.79	c Total wall clock time (in seconds): 929.58

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662133-1276468447/watcher-2662133-1276468447 -o /tmp/evaluation-result-2662133-1276468447/solver-2662133-1276468447 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662133-1276468447.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25960
/proc/meminfo: memFree=1845128/2059040 swapFree=4140476/4192956
[pid=25960] ppid=25958 vsize=248 CPUtime=0
/proc/25960/stat : 25960 (java) R 25958 25960 25539 0 -1 4194304 282 0 0 0 0 0 0 0 19 0 1 0 22448137 253952 29 1992294400 134512640 134550932 4286772400 18446744073709551615 2474462 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25960/statm: 62 29 21 10 0 23 0

[startup+0.079386 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25960
/proc/meminfo: memFree=1845128/2059040 swapFree=4140476/4192956
[pid=25960] ppid=25958 vsize=1521796 CPUtime=0.06
/proc/25960/stat : 25960 (java) S 25958 25960 25539 0 -1 4202496 3774 0 1 0 4 2 0 0 18 0 7 0 22448137 1558319104 3216 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/25960/statm: 380449 3216 1040 10 0 377759 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1521796

[startup+0.101386 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25960
/proc/meminfo: memFree=1845128/2059040 swapFree=4140476/4192956
[pid=25960] ppid=25958 vsize=1524180 CPUtime=0.08
/proc/25960/stat : 25960 (java) S 25958 25960 25539 0 -1 4202496 3958 0 1 0 6 2 0 0 18 0 12 0 22448137 1560760320 3398 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25960/statm: 381045 3398 1075 10 0 378348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524180

[startup+0.300579 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25960
/proc/meminfo: memFree=1845128/2059040 swapFree=4140476/4192956
[pid=25960] ppid=25958 vsize=1525964 CPUtime=0.38
/proc/25960/stat : 25960 (java) S 25958 25960 25539 0 -1 4202496 5408 0 1 0 35 3 0 0 18 0 12 0 22448137 1562587136 4845 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25960/statm: 381491 4845 1361 10 0 378794 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 1525964

[startup+0.701574 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25960
/proc/meminfo: memFree=1845128/2059040 swapFree=4140476/4192956
[pid=25960] ppid=25958 vsize=1531840 CPUtime=1.15
/proc/25960/stat : 25960 (java) S 25958 25960 25539 0 -1 4202496 8518 0 1 0 111 4 0 0 18 0 12 0 22448137 1568604160 7539 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25960/statm: 382960 7539 1395 10 0 380263 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 1531840

[startup+1.50057 s]
/proc/loadavg: 1.16 1.03 1.01 4/118 25972
/proc/meminfo: memFree=1807584/2059040 swapFree=4140476/4192956
[pid=25960] ppid=25958 vsize=1533776 CPUtime=2.73
/proc/25960/stat : 25960 (java) S 25958 25960 25539 0 -1 4202496 15889 0 1 0 265 8 0 0 18 0 14 0 22448137 1570586624 13795 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25960/statm: 383444 13795 1420 10 0 380747 0
[pid=25960/tid=25962] ppid=25958 vsize=1533776 CPUtime=1.09
/proc/25960/task/25962/stat : 25962 (java) S 25958 25960 25539 0 -1 4202560 9450 0 1 0 104 5 0 0 19 0 14 0 22448138 1570586624 13796 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25963] ppid=25958 vsize=1533776 CPUtime=0
/proc/25960/task/25963/stat : 25963 (java) S 25958 25960 25539 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 14 0 22448140 1570586624 13796 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25964] ppid=25958 vsize=1533776 CPUtime=0
/proc/25960/task/25964/stat : 25964 (java) S 25958 25960 25539 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 14 0 22448140 1570586624 13796 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25965] ppid=25958 vsize=1533776 CPUtime=0
/proc/25960/task/25965/stat : 25965 (java) S 25958 25960 25539 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 14 0 22448141 1570586624 13796 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25966] ppid=25958 vsize=1533776 CPUtime=0
/proc/25960/task/25966/stat : 25966 (java) S 25958 25960 25539 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 14 0 22448142 1570586624 13797 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25967] ppid=25958 vsize=1533776 CPUtime=0
/proc/25960/task/25967/stat : 25967 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 14 0 22448142 1570586624 13797 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25968] ppid=25958 vsize=1533776 CPUtime=0
/proc/25960/task/25968/stat : 25968 (java) S 25958 25960 25539 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 14 0 22448146 1570586624 13797 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25969] ppid=25958 vsize=1533776 CPUtime=0.71
/proc/25960/task/25969/stat : 25969 (java) R 25958 25960 25539 0 -1 4202560 1893 0 0 0 71 0 0 0 25 0 14 0 22448146 1570586624 13797 1992294400 134512640 134550932 4286772400 18446744073709551615 104163906 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25960/tid=25970] ppid=25958 vsize=1533776 CPUtime=0.49
/proc/25960/task/25970/stat : 25970 (java) R 25958 25960 25539 0 -1 4202560 1982 0 0 0 49 0 0 0 25 0 14 0 22448146 1570586624 13797 1992294400 134512640 134550932 4286772400 18446744073709551615 103156449 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25960/tid=25971] ppid=25958 vsize=1533776 CPUtime=0
/proc/25960/task/25971/stat : 25971 (java) S 25958 25960 25539 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 14 0 22448146 1570586624 13797 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25972] ppid=25958 vsize=1533776 CPUtime=0
/proc/25960/task/25972/stat : 25972 (java) S 25958 25960 25539 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 14 0 22448146 1570586624 13797 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 1533776

[startup+3.10155 s]
/proc/loadavg: 1.16 1.03 1.01 5/122 25976
/proc/meminfo: memFree=1790812/2059040 swapFree=4140476/4192956
[pid=25960] ppid=25958 vsize=1534384 CPUtime=5.91
/proc/25960/stat : 25960 (java) S 25958 25960 25539 0 -1 4202496 19106 0 1 0 581 10 0 0 18 0 16 0 22448137 1571209216 16638 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25960/statm: 383596 16638 1431 10 0 380899 0
[pid=25960/tid=25962] ppid=25958 vsize=1534384 CPUtime=1.09
/proc/25960/task/25962/stat : 25962 (java) S 25958 25960 25539 0 -1 4202560 9450 0 1 0 104 5 0 0 18 0 16 0 22448138 1571209216 16638 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25963] ppid=25958 vsize=1534384 CPUtime=0
/proc/25960/task/25963/stat : 25963 (java) S 25958 25960 25539 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 22448140 1571209216 16638 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25964] ppid=25958 vsize=1534384 CPUtime=0
/proc/25960/task/25964/stat : 25964 (java) S 25958 25960 25539 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 16 0 22448140 1571209216 16638 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25965] ppid=25958 vsize=1534384 CPUtime=0
/proc/25960/task/25965/stat : 25965 (java) S 25958 25960 25539 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 22448141 1571209216 16638 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25966] ppid=25958 vsize=1534384 CPUtime=0
/proc/25960/task/25966/stat : 25966 (java) S 25958 25960 25539 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 16 0 22448142 1571209216 16638 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25967] ppid=25958 vsize=1534384 CPUtime=0
/proc/25960/task/25967/stat : 25967 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 22448142 1571209216 16640 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25968] ppid=25958 vsize=1534384 CPUtime=0
/proc/25960/task/25968/stat : 25968 (java) S 25958 25960 25539 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 22448146 1571209216 16640 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25969] ppid=25958 vsize=1534384 CPUtime=1.51
/proc/25960/task/25969/stat : 25969 (java) R 25958 25960 25539 0 -1 4202560 2059 0 0 0 151 0 0 0 25 0 16 0 22448146 1571209216 16640 1992294400 134512640 134550932 4286772400 18446744073709551615 106824112 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25960/tid=25970] ppid=25958 vsize=1534384 CPUtime=0.88
/proc/25960/task/25970/stat : 25970 (java) R 25958 25960 25539 0 -1 4202560 2259 0 0 0 87 1 0 0 25 0 16 0 22448146 1571209216 16640 1992294400 134512640 134550932 4286772400 18446744073709551615 103738791 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25960/tid=25971] ppid=25958 vsize=1534384 CPUtime=0
/proc/25960/task/25971/stat : 25971 (java) S 25958 25960 25539 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 22448146 1571209216 16640 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25972] ppid=25958 vsize=1534384 CPUtime=0
/proc/25960/task/25972/stat : 25972 (java) S 25958 25960 25539 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 22448146 1571209216 16640 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25973] ppid=25958 vsize=1534384 CPUtime=1.01
/proc/25960/task/25973/stat : 25973 (java) R 25958 25960 25539 0 -1 4202560 1042 0 0 0 101 0 0 0 22 0 16 0 22448249 1571209216 16640 1992294400 134512640 134550932 4286772400 18446744073709551615 4108856098 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25960/tid=25974] ppid=25958 vsize=1534384 CPUtime=1.37
/proc/25960/task/25974/stat : 25974 (java) R 25958 25960 25539 0 -1 4202560 3229 0 0 0 136 1 0 0 19 0 16 0 22448249 1571209216 16640 1992294400 134512640 134550932 4286772400 18446744073709551615 103475896 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25960/tid=25975] ppid=25958 vsize=1534384 CPUtime=0
/proc/25960/task/25975/stat : 25975 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 22448289 1571209216 16640 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25976] ppid=25958 vsize=1534384 CPUtime=0
/proc/25960/task/25976/stat : 25976 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 16 0 22448296 1571209216 16640 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 1534384

[startup+6.30251 s]
/proc/loadavg: 1.16 1.03 1.01 3/122 25976
/proc/meminfo: memFree=1696696/2059040 swapFree=4140476/4192956
[pid=25960] ppid=25958 vsize=1532752 CPUtime=12.2
/proc/25960/stat : 25960 (java) S 25958 25960 25539 0 -1 4202496 40994 0 1 0 1200 20 0 0 18 0 16 0 22448137 1569538048 38119 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25960/statm: 383188 38119 1447 10 0 380491 0
[pid=25960/tid=25962] ppid=25958 vsize=1532752 CPUtime=1.09
/proc/25960/task/25962/stat : 25962 (java) S 25958 25960 25539 0 -1 4202560 9450 0 1 0 104 5 0 0 18 0 16 0 22448138 1569538048 38119 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25963] ppid=25958 vsize=1532752 CPUtime=0.04
/proc/25960/task/25963/stat : 25963 (java) S 25958 25960 25539 0 -1 4202560 1198 0 0 0 4 0 0 0 18 0 16 0 22448140 1569538048 38119 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25964] ppid=25958 vsize=1532752 CPUtime=0.03
/proc/25960/task/25964/stat : 25964 (java) S 25958 25960 25539 0 -1 4202560 1098 0 0 0 3 0 0 0 18 0 16 0 22448140 1569538048 38119 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25965] ppid=25958 vsize=1532752 CPUtime=0.04
/proc/25960/task/25965/stat : 25965 (java) S 25958 25960 25539 0 -1 4202560 1164 0 0 0 4 0 0 0 15 0 16 0 22448141 1569538048 38119 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25966] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25966/stat : 25966 (java) S 25958 25960 25539 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 22448142 1569538048 38119 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25967] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25967/stat : 25967 (java) S 25958 25960 25539 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 22448142 1569538048 38119 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25968] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25968/stat : 25968 (java) S 25958 25960 25539 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 22448146 1569538048 38119 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25969] ppid=25958 vsize=1532752 CPUtime=1.84
/proc/25960/task/25969/stat : 25969 (java) S 25958 25960 25539 0 -1 4202560 2096 0 0 0 184 0 0 0 15 0 16 0 22448146 1569538048 38119 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25970] ppid=25958 vsize=1532752 CPUtime=1.08
/proc/25960/task/25970/stat : 25970 (java) S 25958 25960 25539 0 -1 4202560 2273 0 0 0 107 1 0 0 15 0 16 0 22448146 1569538048 38119 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25971] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25971/stat : 25971 (java) S 25958 25960 25539 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 22448146 1569538048 38119 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25972] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25972/stat : 25972 (java) S 25958 25960 25539 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 22448146 1569538048 38119 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25973] ppid=25958 vsize=1532752 CPUtime=3.77
/proc/25960/task/25973/stat : 25973 (java) R 25958 25960 25539 0 -1 4202560 1257 0 0 0 377 0 0 0 25 0 16 0 22448249 1569538048 38119 1992294400 134512640 134550932 4286772400 18446744073709551615 4109608123 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25960/tid=25974] ppid=25958 vsize=1532752 CPUtime=4.23
/proc/25960/task/25974/stat : 25974 (java) R 25958 25960 25539 0 -1 4202560 21388 0 0 0 414 9 0 0 25 0 16 0 22448249 1569538048 38119 1992294400 134512640 134550932 4286772400 18446744073709551615 4109469314 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25960/tid=25975] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25975/stat : 25975 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 22448289 1569538048 38119 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25976] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25976/stat : 25976 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 16 0 22448296 1569538048 38119 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.2
Current children cumulated vsize (KiB) 1532752

[startup+12.7014 s]
/proc/loadavg: 1.29 1.06 1.02 3/122 25976
/proc/meminfo: memFree=1694216/2059040 swapFree=4140476/4192956
[pid=25960] ppid=25958 vsize=1532752 CPUtime=24.71
/proc/25960/stat : 25960 (java) S 25958 25960 25539 0 -1 4202496 42399 0 1 0 2450 21 0 0 18 0 16 0 22448137 1569538048 39517 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25960/statm: 383188 39517 1447 10 0 380491 0
[pid=25960/tid=25962] ppid=25958 vsize=1532752 CPUtime=1.09
/proc/25960/task/25962/stat : 25962 (java) S 25958 25960 25539 0 -1 4202560 9450 0 1 0 104 5 0 0 18 0 16 0 22448138 1569538048 39517 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25963] ppid=25958 vsize=1532752 CPUtime=0.09
/proc/25960/task/25963/stat : 25963 (java) S 25958 25960 25539 0 -1 4202560 1554 0 0 0 9 0 0 0 16 0 16 0 22448140 1569538048 39517 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25964] ppid=25958 vsize=1532752 CPUtime=0.08
/proc/25960/task/25964/stat : 25964 (java) S 25958 25960 25539 0 -1 4202560 1442 0 0 0 8 0 0 0 15 0 16 0 22448140 1569538048 39517 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25965] ppid=25958 vsize=1532752 CPUtime=0.2
/proc/25960/task/25965/stat : 25965 (java) S 25958 25960 25539 0 -1 4202560 1842 0 0 0 20 0 0 0 15 0 16 0 22448141 1569538048 39517 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25966] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25966/stat : 25966 (java) S 25958 25960 25539 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 22448142 1569538048 39517 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25967] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25967/stat : 25967 (java) S 25958 25960 25539 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 22448142 1569538048 39517 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25968] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25968/stat : 25968 (java) S 25958 25960 25539 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 22448146 1569538048 39517 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25969] ppid=25958 vsize=1532752 CPUtime=1.95
/proc/25960/task/25969/stat : 25969 (java) S 25958 25960 25539 0 -1 4202560 2105 0 0 0 194 1 0 0 16 0 16 0 22448146 1569538048 39517 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25970] ppid=25958 vsize=1532752 CPUtime=1.18
/proc/25960/task/25970/stat : 25970 (java) S 25958 25960 25539 0 -1 4202560 2283 0 0 0 117 1 0 0 15 0 16 0 22448146 1569538048 39517 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25971] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25971/stat : 25971 (java) S 25958 25960 25539 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 22448146 1569538048 39517 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25972] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25972/stat : 25972 (java) S 25958 25960 25539 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 22448146 1569538048 39517 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25973] ppid=25958 vsize=1532752 CPUtime=9.75
/proc/25960/task/25973/stat : 25973 (java) R 25958 25960 25539 0 -1 4202560 1259 0 0 0 975 0 0 0 25 0 16 0 22448249 1569538048 39517 1992294400 134512640 134550932 4286772400 18446744073709551615 4109649638 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25960/tid=25974] ppid=25958 vsize=1532752 CPUtime=10.3
/proc/25960/task/25974/stat : 25974 (java) R 25958 25960 25539 0 -1 4202560 21394 0 0 0 1020 10 0 0 25 0 16 0 22448249 1569538048 39517 1992294400 134512640 134550932 4286772400 18446744073709551615 4109616622 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25960/tid=25975] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25975/stat : 25975 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 22448289 1569538048 39517 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25976] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25976/stat : 25976 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 16 0 22448296 1569538048 39517 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0

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

/proc/25960/task/25975/stat : 25975 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 22448289 1569538048 80115 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25976] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25976/stat : 25976 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 16 0 22448296 1569538048 80115 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1478.97
Current children cumulated vsize (KiB) 1532752

[startup+822.302 s]
/proc/loadavg: 2.03 1.93 1.57 3/122 25998
/proc/meminfo: memFree=1523220/2059040 swapFree=4140476/4192956
[pid=25960] ppid=25958 vsize=1532752 CPUtime=1594.1
/proc/25960/stat : 25960 (java) S 25958 25960 25539 0 -1 4202496 88499 0 1 0 159328 82 0 0 18 0 16 0 22448137 1569538048 81126 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25960/statm: 383188 81126 1447 10 0 380491 0
[pid=25960/tid=25962] ppid=25958 vsize=1532752 CPUtime=1.09
/proc/25960/task/25962/stat : 25962 (java) S 25958 25960 25539 0 -1 4202560 9464 0 1 0 104 5 0 0 15 0 16 0 22448138 1569538048 81126 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25963] ppid=25958 vsize=1532752 CPUtime=4.12
/proc/25960/task/25963/stat : 25963 (java) S 25958 25960 25539 0 -1 4202560 19558 0 0 0 398 14 0 0 16 0 16 0 22448140 1569538048 81126 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25964] ppid=25958 vsize=1532752 CPUtime=4.15
/proc/25960/task/25964/stat : 25964 (java) S 25958 25960 25539 0 -1 4202560 18636 0 0 0 402 13 0 0 15 0 16 0 22448140 1569538048 81126 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25965] ppid=25958 vsize=1532752 CPUtime=35.44
/proc/25960/task/25965/stat : 25965 (java) S 25958 25960 25539 0 -1 4202560 7199 0 0 0 3537 7 0 0 15 0 16 0 22448141 1569538048 81126 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25966] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25966/stat : 25966 (java) S 25958 25960 25539 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 22448142 1569538048 81126 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25967] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25967/stat : 25967 (java) S 25958 25960 25539 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 22448142 1569538048 81126 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25968] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25968/stat : 25968 (java) S 25958 25960 25539 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 22448146 1569538048 81126 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25969] ppid=25958 vsize=1532752 CPUtime=1.97
/proc/25960/task/25969/stat : 25969 (java) S 25958 25960 25539 0 -1 4202560 2105 0 0 0 196 1 0 0 16 0 16 0 22448146 1569538048 81126 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25970] ppid=25958 vsize=1532752 CPUtime=1.38
/proc/25960/task/25970/stat : 25970 (java) S 25958 25960 25539 0 -1 4202560 2864 0 0 0 137 1 0 0 15 0 16 0 22448146 1569538048 81126 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25971] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25971/stat : 25971 (java) S 25958 25960 25539 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 22448146 1569538048 81126 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25972] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25972/stat : 25972 (java) S 25958 25960 25539 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 16 0 22448146 1569538048 81126 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25973] ppid=25958 vsize=1532752 CPUtime=775.79
/proc/25960/task/25973/stat : 25973 (java) R 25958 25960 25539 0 -1 4202560 1507 0 0 0 77565 14 0 0 25 0 16 0 22448249 1569538048 81126 1992294400 134512640 134550932 4286772400 18446744073709551615 4109575591 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25960/tid=25974] ppid=25958 vsize=1532752 CPUtime=770.09
/proc/25960/task/25974/stat : 25974 (java) R 25958 25960 25539 0 -1 4202560 26048 0 0 0 76986 23 0 0 25 0 16 0 22448249 1569538048 81126 1992294400 134512640 134550932 4286772400 18446744073709551615 4109649316 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25960/tid=25975] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25975/stat : 25975 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 22448289 1569538048 81126 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25976] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25976/stat : 25976 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 16 0 22448296 1569538048 81126 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1594.1
Current children cumulated vsize (KiB) 1532752

[startup+882.301 s]
/proc/loadavg: 1.95 1.93 1.59 3/122 26000
/proc/meminfo: memFree=1514788/2059040 swapFree=4140476/4192956
[pid=25960] ppid=25958 vsize=1532752 CPUtime=1709.36
/proc/25960/stat : 25960 (java) S 25958 25960 25539 0 -1 4202496 90742 0 1 0 170850 86 0 0 18 0 16 0 22448137 1569538048 83175 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25960/statm: 383188 83175 1447 10 0 380491 0
[pid=25960/tid=25962] ppid=25958 vsize=1532752 CPUtime=1.09
/proc/25960/task/25962/stat : 25962 (java) S 25958 25960 25539 0 -1 4202560 9465 0 1 0 104 5 0 0 15 0 16 0 22448138 1569538048 83175 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25963] ppid=25958 vsize=1532752 CPUtime=4.43
/proc/25960/task/25963/stat : 25963 (java) S 25958 25960 25539 0 -1 4202560 20665 0 0 0 428 15 0 0 15 0 16 0 22448140 1569538048 83175 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25964] ppid=25958 vsize=1532752 CPUtime=4.45
/proc/25960/task/25964/stat : 25964 (java) S 25958 25960 25539 0 -1 4202560 19640 0 0 0 431 14 0 0 15 0 16 0 22448140 1569538048 83175 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25965] ppid=25958 vsize=1532752 CPUtime=39.14
/proc/25960/task/25965/stat : 25965 (java) S 25958 25960 25539 0 -1 4202560 7310 0 0 0 3907 7 0 0 15 0 16 0 22448141 1569538048 83175 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25966] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25966/stat : 25966 (java) S 25958 25960 25539 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 22448142 1569538048 83175 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25967] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25967/stat : 25967 (java) S 25958 25960 25539 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 22448142 1569538048 83175 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25968] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25968/stat : 25968 (java) S 25958 25960 25539 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 22448146 1569538048 83175 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25969] ppid=25958 vsize=1532752 CPUtime=1.97
/proc/25960/task/25969/stat : 25969 (java) S 25958 25960 25539 0 -1 4202560 2105 0 0 0 196 1 0 0 16 0 16 0 22448146 1569538048 83175 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25970] ppid=25958 vsize=1532752 CPUtime=1.38
/proc/25960/task/25970/stat : 25970 (java) S 25958 25960 25539 0 -1 4202560 2864 0 0 0 137 1 0 0 15 0 16 0 22448146 1569538048 83175 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25971] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25971/stat : 25971 (java) S 25958 25960 25539 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 22448146 1569538048 83175 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25972] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25972/stat : 25972 (java) S 25958 25960 25539 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 16 0 22448146 1569538048 83175 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25973] ppid=25958 vsize=1532752 CPUtime=831.72
/proc/25960/task/25973/stat : 25973 (java) R 25958 25960 25539 0 -1 4202560 1521 0 0 0 83157 15 0 0 25 0 16 0 22448249 1569538048 83175 1992294400 134512640 134550932 4286772400 18446744073709551615 4109649677 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25960/tid=25974] ppid=25958 vsize=1532752 CPUtime=825.12
/proc/25960/task/25974/stat : 25974 (java) R 25958 25960 25539 0 -1 4202560 26050 0 0 0 82487 25 0 0 25 0 16 0 22448249 1569538048 83175 1992294400 134512640 134550932 4286772400 18446744073709551615 4109649316 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25960/tid=25975] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25975/stat : 25975 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 22448289 1569538048 83175 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25976] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25976/stat : 25976 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 16 0 22448296 1569538048 83175 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1709.36
Current children cumulated vsize (KiB) 1532752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+929.702 s]
/proc/loadavg: 2.02 1.95 1.61 3/122 26000
/proc/meminfo: memFree=1508960/2059040 swapFree=4140476/4192956
[pid=25960] ppid=25958 vsize=1532752 CPUtime=1800.03
/proc/25960/stat : 25960 (java) S 25958 25960 25539 0 -1 4202496 92346 0 1 0 179915 88 0 0 18 0 16 0 22448137 1569538048 84585 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25960/statm: 383188 84585 1447 10 0 380491 0
[pid=25960/tid=25962] ppid=25958 vsize=1532752 CPUtime=1.09
/proc/25960/task/25962/stat : 25962 (java) S 25958 25960 25539 0 -1 4202560 9467 0 1 0 104 5 0 0 15 0 16 0 22448138 1569538048 84585 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25963] ppid=25958 vsize=1532752 CPUtime=4.68
/proc/25960/task/25963/stat : 25963 (java) S 25958 25960 25539 0 -1 4202560 21420 0 0 0 453 15 0 0 15 0 16 0 22448140 1569538048 84585 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25964] ppid=25958 vsize=1532752 CPUtime=4.69
/proc/25960/task/25964/stat : 25964 (java) S 25958 25960 25539 0 -1 4202560 20323 0 0 0 455 14 0 0 16 0 16 0 22448140 1569538048 84585 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25965] ppid=25958 vsize=1532752 CPUtime=42.45
/proc/25960/task/25965/stat : 25965 (java) S 25958 25960 25539 0 -1 4202560 7460 0 0 0 4238 7 0 0 15 0 16 0 22448141 1569538048 84585 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25966] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25966/stat : 25966 (java) S 25958 25960 25539 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 22448142 1569538048 84585 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25967] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25967/stat : 25967 (java) S 25958 25960 25539 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 22448142 1569538048 84585 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25968] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25968/stat : 25968 (java) S 25958 25960 25539 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 22448146 1569538048 84585 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25969] ppid=25958 vsize=1532752 CPUtime=1.97
/proc/25960/task/25969/stat : 25969 (java) S 25958 25960 25539 0 -1 4202560 2105 0 0 0 196 1 0 0 16 0 16 0 22448146 1569538048 84585 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25970] ppid=25958 vsize=1532752 CPUtime=1.38
/proc/25960/task/25970/stat : 25970 (java) S 25958 25960 25539 0 -1 4202560 2864 0 0 0 137 1 0 0 15 0 16 0 22448146 1569538048 84585 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25971] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25971/stat : 25971 (java) S 25958 25960 25539 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 22448146 1569538048 84585 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25972] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25972/stat : 25972 (java) S 25958 25960 25539 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 16 0 22448146 1569538048 84585 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25973] ppid=25958 vsize=1532752 CPUtime=875.5
/proc/25960/task/25973/stat : 25973 (java) R 25958 25960 25539 0 -1 4202560 1530 0 0 0 87534 16 0 0 25 0 16 0 22448249 1569538048 84585 1992294400 134512640 134550932 4286772400 18446744073709551615 4109577739 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25960/tid=25974] ppid=25958 vsize=1532752 CPUtime=868.2
/proc/25960/task/25974/stat : 25974 (java) R 25958 25960 25539 0 -1 4202560 26053 0 0 0 86795 25 0 0 25 0 16 0 22448249 1569538048 84585 1992294400 134512640 134550932 4286772400 18446744073709551615 4109649316 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25960/tid=25975] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25975/stat : 25975 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 22448289 1569538048 84585 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25976] ppid=25958 vsize=1532752 CPUtime=0
/proc/25960/task/25976/stat : 25976 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 16 0 22448296 1569538048 84585 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1532752

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

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

[startup+929.817 s]
/proc/loadavg: 2.02 1.95 1.61 3/122 26000
/proc/meminfo: memFree=1508960/2059040 swapFree=4140476/4192956
[pid=25960] ppid=25958 vsize=1533400 CPUtime=1800.24
/proc/25960/stat : 25960 (java) S 25958 25960 25539 0 -1 4202496 92366 0 1 0 179936 88 0 0 18 0 17 0 22448137 1570201600 84605 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25960/statm: 383350 84605 1448 10 0 380653 0
[pid=25960/tid=25962] ppid=25958 vsize=1533400 CPUtime=1.09
/proc/25960/task/25962/stat : 25962 (java) S 25958 25960 25539 0 -1 4202560 9467 0 1 0 104 5 0 0 15 0 17 0 22448138 1570201600 84605 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25963] ppid=25958 vsize=1533400 CPUtime=4.68
/proc/25960/task/25963/stat : 25963 (java) S 25958 25960 25539 0 -1 4202560 21420 0 0 0 453 15 0 0 15 0 17 0 22448140 1570201600 84605 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25964] ppid=25958 vsize=1533400 CPUtime=4.69
/proc/25960/task/25964/stat : 25964 (java) S 25958 25960 25539 0 -1 4202560 20323 0 0 0 455 14 0 0 16 0 17 0 22448140 1570201600 84605 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25965] ppid=25958 vsize=1533400 CPUtime=42.45
/proc/25960/task/25965/stat : 25965 (java) S 25958 25960 25539 0 -1 4202560 7460 0 0 0 4238 7 0 0 15 0 17 0 22448141 1570201600 84605 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 0 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25966] ppid=25958 vsize=1533400 CPUtime=0
/proc/25960/task/25966/stat : 25966 (java) S 25958 25960 25539 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 17 0 22448142 1570201600 84605 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25967] ppid=25958 vsize=1533400 CPUtime=0
/proc/25960/task/25967/stat : 25967 (java) S 25958 25960 25539 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 17 0 22448142 1570201600 84605 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25968] ppid=25958 vsize=1533400 CPUtime=0
/proc/25960/task/25968/stat : 25968 (java) S 25958 25960 25539 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 17 0 22448146 1570201600 84605 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25969] ppid=25958 vsize=1533400 CPUtime=1.97
/proc/25960/task/25969/stat : 25969 (java) S 25958 25960 25539 0 -1 4202560 2105 0 0 0 196 1 0 0 16 0 17 0 22448146 1570201600 84605 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25970] ppid=25958 vsize=1533400 CPUtime=1.39
/proc/25960/task/25970/stat : 25970 (java) S 25958 25960 25539 0 -1 4202560 2864 0 0 0 138 1 0 0 16 0 17 0 22448146 1570201600 84605 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25971] ppid=25958 vsize=1533400 CPUtime=0
/proc/25960/task/25971/stat : 25971 (java) S 25958 25960 25539 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 17 0 22448146 1570201600 84605 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25972] ppid=25958 vsize=1533400 CPUtime=0
/proc/25960/task/25972/stat : 25972 (java) S 25958 25960 25539 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 17 0 22448146 1570201600 84605 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
[pid=25960/tid=25973] ppid=25958 vsize=1533400 CPUtime=875.58
/proc/25960/task/25973/stat : 25973 (java) R 25958 25960 25539 0 -1 4202560 1530 0 0 0 87542 16 0 0 25 0 17 0 22448249 1570201600 84605 1992294400 134512640 134550932 4286772400 18446744073709551615 4109576376 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25960/tid=25974] ppid=25958 vsize=1533400 CPUtime=868.3
/proc/25960/task/25974/stat : 25974 (java) R 25958 25960 25539 0 -1 4202560 26053 0 0 0 86805 25 0 0 25 0 17 0 22448249 1570201600 84605 1992294400 134512640 134550932 4286772400 18446744073709551615 4109648375 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25960/tid=25975] ppid=25958 vsize=1533400 CPUtime=0
/proc/25960/task/25975/stat : 25975 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 17 0 22448289 1570201600 84605 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 1 0 0 0
[pid=25960/tid=25976] ppid=25958 vsize=1533400 CPUtime=0
/proc/25960/task/25976/stat : 25976 (java) S 25958 25960 25539 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 17 0 22448296 1570201600 84605 1992294400 134512640 134550932 4286772400 18446744073709551615 4294960144 0 4 0 16800975 18446604437837031360 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 1533400

Child status: 143
Real time (s): 929.855
CPU time (s): 1800.29
CPU user time (s): 1799.37
CPU system time (s): 0.922859
CPU usage (%): 193.61
Max. virtual memory (cumulated for all children) (KiB): 1534800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.922859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92367
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= 23883
involuntary context switches= 50403

runsolver used 4.27035 second user time and 11.2583 second system time

The end

Launcher Data 

Begin job on node007 at 2010-06-14 00:34:07
IDJOB=2662133
IDBENCH=2191
IDSOLVER=1166
FILE ID=node007/2662133-1276468447
PBS_JOBID= 11173356
Free space on /tmp= 62456 MiB

SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f2000.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662133-1276468447/watcher-2662133-1276468447 -o /tmp/evaluation-result-2662133-1276468447/solver-2662133-1276468447 -C 1800 -W 2000 -M 1800  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662133-1276468447.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= fad56081e554a0467e4020315c4dfc76
RANDOM SEED=1641078056

node007.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
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.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1845524 kB
Buffers:         42048 kB
Cached:          91612 kB
SwapCached:       6948 kB
Active:          85036 kB
Inactive:        62560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1845524 kB
SwapTotal:     4192956 kB
SwapFree:      4140476 kB
Dirty:             680 kB
Writeback:          24 kB
AnonPages:       11384 kB
Mapped:          12964 kB
Slab:            44052 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180240 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62456 MiB
End job on node007 at 2010-06-14 00:49:39