Trace number 3453995

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 Res//CP 2.3.0SAT (TO)-124 1800.16 966.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_3.opb
MD5SUMd487c80c335f688d99ca29b5d7c254e0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-125
Best CPU time to get the best result obtained on this benchmark1798.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -125
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint25
Maximum length of a constraint47
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31622
Sum of products size (including duplicates)63244
Number of different products15811
Sum of products size31622

Quality of the solution as a function of time


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

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		9996466904
0.06/0.09	c Max memory 		10048897024
0.06/0.09	c Total memory 		10048897024
0.06/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3453995-1307194773.opb
0.09/0.12	c reading problem ... 
1.87/0.85	c ... done. Wall clock time 0.735s.
1.87/0.85	c #vars     16811
1.87/0.85	c #constraints  48433
1.87/0.85	c constraints type 
1.87/0.85	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15811
1.87/0.85	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
1.87/0.85	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15811
1.87/0.85	c constraints type 
1.87/0.85	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15811
1.87/0.85	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1000
1.87/0.85	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15811
2.66/1.02	c  And the winner is Resolution
2.69/1.38	c SATISFIABLE
2.69/1.38	c OPTIMIZING...
2.69/1.38	c Got one! Elapsed wall clock time (in seconds):1.261
2.69/1.38	o -100
2.80/1.47	c  And the winner is Resolution
3.15/1.89	c Got one! Elapsed wall clock time (in seconds):1.775
3.15/1.89	o -101
3.17/1.91	c  And the winner is Resolution
3.23/2.40	c Got one! Elapsed wall clock time (in seconds):2.287
3.23/2.40	o -102
3.23/2.43	c  And the winner is Resolution
3.33/2.92	c Got one! Elapsed wall clock time (in seconds):2.801
3.33/2.92	o -103
3.33/2.96	c  And the winner is Resolution
3.53/3.43	c Got one! Elapsed wall clock time (in seconds):3.312
3.53/3.43	o -115
4.66/3.82	c  And the winner is Resolution
4.78/3.94	c Got one! Elapsed wall clock time (in seconds):3.822
4.78/3.94	o -117
6.54/4.87	c cleaning 2873 clauses out of 5746 with flag 4001/5746
9.36/6.24	c cleaning 4429 clauses out of 8873 with flag 10001/11746
12.30/7.72	c cleaning 5722 clauses out of 11444 with flag 17001/18746
15.58/9.42	c cleaning 6852 clauses out of 13721 with flag 25000/26745
16.62/10.03	c  And the winner is CuttingPlanes
16.70/10.14	c Got one! Elapsed wall clock time (in seconds):10.022
16.70/10.14	o -118
17.85/10.79	c cleaning 5963 clauses out of 11935 with flag 3001/31811
20.56/12.14	c cleaning 5986 clauses out of 11971 with flag 9000/37810
21.40/12.65	c  And the winner is Resolution
21.76/12.91	c Got one! Elapsed wall clock time (in seconds):12.797
21.76/12.91	o -119
23.36/13.71	c cleaning 5890 clauses out of 11785 with flag 4001/43610
25.95/15.01	c cleaning 5943 clauses out of 11895 with flag 10001/49610
28.82/16.58	c cleaning 6467 clauses out of 12951 with flag 17000/56609
32.25/18.32	c cleaning 7242 clauses out of 14484 with flag 25000/64609
35.90/20.27	c cleaning 8119 clauses out of 16243 with flag 34001/73610
40.15/22.44	c cleaning 9054 clauses out of 18124 with flag 44001/83610
44.90/24.94	c cleaning 10024 clauses out of 20069 with flag 55000/94609
50.52/27.83	c cleaning 11019 clauses out of 22045 with flag 67000/106609
55.94/30.69	c cleaning 12008 clauses out of 24026 with flag 80000/119609
62.33/33.92	c cleaning 13009 clauses out of 26018 with flag 94000/133609
69.42/37.62	c cleaning 14003 clauses out of 28010 with flag 109001/148610
76.59/41.36	c cleaning 14998 clauses out of 30006 with flag 125000/164609
84.97/45.61	c cleaning 16003 clauses out of 32008 with flag 142000/181609
93.71/50.13	c cleaning 17000 clauses out of 34005 with flag 160000/199609
102.14/54.56	c cleaning 17995 clauses out of 36005 with flag 179000/218609
113.07/60.18	c cleaning 19002 clauses out of 38011 with flag 199001/238610
124.43/65.94	c cleaning 20005 clauses out of 40009 with flag 220001/259610
135.68/71.73	c cleaning 21002 clauses out of 42003 with flag 242000/281609
146.81/77.58	c cleaning 22001 clauses out of 44001 with flag 265000/304609
158.27/83.49	c cleaning 23001 clauses out of 46001 with flag 289001/328610
171.34/90.11	c cleaning 23995 clauses out of 48000 with flag 314001/353610
184.19/96.79	c  And the winner is Resolution
185.65/98.15	c Got one! Elapsed wall clock time (in seconds):98.03
185.65/98.15	o -120
188.15/99.45	c cleaning 26695 clauses out of 53389 with flag 5001/382994
191.63/101.45	c cleaning 16347 clauses out of 32693 with flag 11000/388993
195.44/103.54	c cleaning 11673 clauses out of 23346 with flag 18000/395993
199.85/105.93	c cleaning 9837 clauses out of 19673 with flag 26000/403993
205.05/108.77	c cleaning 9419 clauses out of 18837 with flag 35001/412994
210.94/111.94	c cleaning 9702 clauses out of 19418 with flag 45001/422994
215.75/114.55	c cleaning 10343 clauses out of 20715 with flag 56000/433993
221.35/117.52	c cleaning 11177 clauses out of 22372 with flag 68000/445993
227.77/120.95	c cleaning 12092 clauses out of 24196 with flag 81001/458994
234.58/124.67	c cleaning 13049 clauses out of 26103 with flag 95000/472993
241.78/128.41	c cleaning 14024 clauses out of 28055 with flag 110001/487994
249.96/132.77	c cleaning 15012 clauses out of 30030 with flag 126000/503993
258.13/137.08	c cleaning 15998 clauses out of 32018 with flag 143000/520993
268.17/142.31	c cleaning 17010 clauses out of 34020 with flag 161000/538993
278.15/147.57	c cleaning 18006 clauses out of 36011 with flag 180001/557994
289.56/153.41	c cleaning 19003 clauses out of 38006 with flag 200002/577995
301.92/159.87	c cleaning 19993 clauses out of 40002 with flag 221001/598994
314.67/166.54	c cleaning 20998 clauses out of 42009 with flag 243001/620994
325.04/171.95	c cleaning 22003 clauses out of 44012 with flag 266002/643995
337.58/178.40	c cleaning 22999 clauses out of 46008 with flag 290001/667994
351.10/185.43	c cleaning 23995 clauses out of 48008 with flag 315000/692993
364.67/192.58	c cleaning 24995 clauses out of 50013 with flag 341000/718993
380.33/200.61	c cleaning 26004 clauses out of 52019 with flag 368001/745994
395.06/208.21	c cleaning 27006 clauses out of 54014 with flag 396000/773993
412.31/217.17	c cleaning 28005 clauses out of 56009 with flag 425001/802994
430.60/226.67	c cleaning 28994 clauses out of 58004 with flag 455001/832994
449.64/236.51	c cleaning 30004 clauses out of 60009 with flag 486000/863993
471.34/247.60	c cleaning 30996 clauses out of 62006 with flag 518001/895994
489.52/256.92	c cleaning 32005 clauses out of 64009 with flag 551000/928993
505.42/265.38	c cleaning 32501 clauses out of 65004 with flag 584000/961993
511.03/268.42	c  And the winner is Resolution
513.31/270.74	c Got one! Elapsed wall clock time (in seconds):270.627
513.31/270.74	o -121
516.22/272.21	c cleaning 23918 clauses out of 47835 with flag 5000/977325
519.85/274.33	c cleaning 14956 clauses out of 29918 with flag 11001/983326
524.23/276.86	c cleaning 10981 clauses out of 21961 with flag 18000/990325
529.14/279.79	c cleaning 9488 clauses out of 18980 with flag 26000/998325
533.89/282.47	c cleaning 9238 clauses out of 18492 with flag 35000/1007325
539.05/285.32	c cleaning 9622 clauses out of 19254 with flag 45000/1017325
545.00/288.65	c cleaning 10313 clauses out of 20632 with flag 56000/1028325
551.71/292.40	c cleaning 11155 clauses out of 22320 with flag 68001/1040326
558.16/295.92	c cleaning 12076 clauses out of 24164 with flag 81000/1053325
565.12/299.75	c cleaning 13037 clauses out of 26088 with flag 95000/1067325
573.06/304.06	c cleaning 14026 clauses out of 28052 with flag 110001/1082326
582.14/309.05	c cleaning 15007 clauses out of 30025 with flag 126000/1098325
590.87/313.73	c cleaning 16008 clauses out of 32020 with flag 143002/1115327
600.08/318.60	c cleaning 17004 clauses out of 34010 with flag 161000/1133325
610.62/324.25	c cleaning 18001 clauses out of 36006 with flag 180000/1152325
622.27/330.53	c cleaning 19003 clauses out of 38005 with flag 200000/1172325
634.78/337.17	c cleaning 19996 clauses out of 40002 with flag 221000/1193325
646.55/343.34	c cleaning 20995 clauses out of 42006 with flag 243000/1215325
658.32/349.58	c cleaning 22000 clauses out of 44012 with flag 266001/1238326
671.74/356.76	c cleaning 23001 clauses out of 46011 with flag 290000/1262325
685.53/363.95	c cleaning 23995 clauses out of 48010 with flag 315000/1287325
700.83/371.99	c cleaning 25006 clauses out of 50015 with flag 341000/1313325
717.72/380.78	c cleaning 26002 clauses out of 52009 with flag 368000/1340325
733.22/388.96	c cleaning 26997 clauses out of 54007 with flag 396000/1368325
747.71/396.54	c cleaning 27997 clauses out of 56011 with flag 425001/1397326
762.59/404.34	c cleaning 28998 clauses out of 58013 with flag 455000/1427325
778.29/412.56	c cleaning 29999 clauses out of 60015 with flag 486000/1458325
797.09/422.48	c cleaning 31005 clauses out of 62017 with flag 518001/1490326
815.13/431.81	c cleaning 32006 clauses out of 64011 with flag 551000/1523325
833.82/441.52	c cleaning 32500 clauses out of 65006 with flag 584001/1556326
848.09/449.03	c  And the winner is CuttingPlanes
848.16/449.38	c Got one! Elapsed wall clock time (in seconds):449.26
848.16/449.38	o -122
851.82/451.25	c cleaning 32086 clauses out of 64172 with flag 5000/1587992
855.81/453.76	c cleaning 19038 clauses out of 38087 with flag 11001/1593993
859.49/455.96	c cleaning 13017 clauses out of 26048 with flag 18000/1600992
863.54/458.39	c cleaning 10509 clauses out of 21031 with flag 26000/1608992
867.39/460.70	c  And the winner is Resolution
873.08/466.22	c Got one! Elapsed wall clock time (in seconds):466.107
873.08/466.22	o -123
875.03/467.28	c cleaning 11425 clauses out of 22876 with flag 5001/1621346
878.48/469.50	c cleaning 8721 clauses out of 17451 with flag 11001/1627346
882.17/471.67	c cleaning 7861 clauses out of 15731 with flag 18002/1634347
886.05/474.00	c cleaning 7929 clauses out of 15869 with flag 26001/1642346
890.69/476.63	c cleaning 8470 clauses out of 16939 with flag 35000/1651345
896.01/479.89	c cleaning 9227 clauses out of 18470 with flag 45001/1661346
901.28/482.87	c cleaning 10121 clauses out of 20242 with flag 56000/1672345
907.29/486.24	c cleaning 11054 clauses out of 22121 with flag 68000/1684345
914.07/490.05	c cleaning 12027 clauses out of 24067 with flag 81000/1697345
920.68/493.88	c cleaning 13019 clauses out of 26041 with flag 95001/1711346
927.57/497.65	c cleaning 14000 clauses out of 28021 with flag 110000/1726345
935.24/501.80	c cleaning 15006 clauses out of 30021 with flag 126000/1742345
943.67/506.46	c cleaning 16008 clauses out of 32015 with flag 143000/1759345
952.35/511.35	c cleaning 17001 clauses out of 34008 with flag 161001/1777346
961.58/516.34	c cleaning 17996 clauses out of 36007 with flag 180001/1796346
971.88/521.87	c cleaning 18998 clauses out of 38011 with flag 200001/1816346
982.92/527.76	c cleaning 20004 clauses out of 40012 with flag 221000/1837345
993.77/533.79	c cleaning 21002 clauses out of 42009 with flag 243001/1859346
1005.15/539.85	c cleaning 21997 clauses out of 44006 with flag 266000/1882345
1017.34/546.36	c cleaning 23000 clauses out of 46010 with flag 290001/1906346
1031.19/553.64	c cleaning 24000 clauses out of 48009 with flag 315000/1931345
1046.30/561.74	c cleaning 25006 clauses out of 50011 with flag 341002/1957347
1060.45/569.22	c cleaning 25991 clauses out of 52003 with flag 368000/1984345
1074.08/576.47	c cleaning 27006 clauses out of 54013 with flag 396001/2012346
1089.29/584.46	c cleaning 27994 clauses out of 56007 with flag 425001/2041346
1101.49/591.11	c  And the winner is CuttingPlanes
1101.53/591.25	c Got one! Elapsed wall clock time (in seconds):591.131
1101.53/591.25	o -124
1104.86/592.97	c cleaning 28012 clauses out of 56027 with flag 5000/2069360
1108.51/595.17	c cleaning 17004 clauses out of 34016 with flag 11001/2075361
1112.30/597.42	c cleaning 11996 clauses out of 24012 with flag 18001/2082361
1116.30/599.87	c cleaning 9993 clauses out of 20015 with flag 26000/2090360
1121.17/602.89	c cleaning 9504 clauses out of 19022 with flag 35000/2099360
1126.29/605.84	c cleaning 9756 clauses out of 19519 with flag 45001/2109361
1131.63/608.96	c cleaning 10382 clauses out of 20763 with flag 56001/2120361
1137.58/612.39	c cleaning 11190 clauses out of 22380 with flag 68000/2132360
1144.37/616.37	c cleaning 12081 clauses out of 24190 with flag 81000/2145360
1151.11/620.13	c cleaning 13047 clauses out of 26110 with flag 95001/2159361
1158.24/624.19	c cleaning 14031 clauses out of 28062 with flag 110000/2174360
1165.97/628.45	c cleaning 15004 clauses out of 30031 with flag 126000/2190360
1174.55/633.36	c cleaning 16014 clauses out of 32027 with flag 143000/2207360
1183.55/638.22	c cleaning 16997 clauses out of 34013 with flag 161000/2225360
1192.79/643.29	c cleaning 17997 clauses out of 36016 with flag 180000/2244360
1202.55/648.52	c cleaning 19004 clauses out of 38020 with flag 200001/2264361
1213.13/654.51	c cleaning 19997 clauses out of 40015 with flag 221000/2285360
1224.61/660.60	c cleaning 21005 clauses out of 42018 with flag 243000/2307360
1236.53/667.00	c cleaning 22002 clauses out of 44014 with flag 266001/2330361
1247.63/673.08	c cleaning 23004 clauses out of 46012 with flag 290001/2354361
1260.96/680.33	c cleaning 24004 clauses out of 48008 with flag 315001/2379361
1275.29/687.98	c cleaning 24990 clauses out of 50003 with flag 341000/2405360
1289.10/695.25	c cleaning 26001 clauses out of 52013 with flag 368000/2432360
1304.57/703.47	c cleaning 27000 clauses out of 54012 with flag 396000/2460360
1318.86/711.21	c cleaning 28001 clauses out of 56012 with flag 425000/2489360
1333.87/719.19	c cleaning 28997 clauses out of 58012 with flag 455001/2519361
1350.57/727.96	c cleaning 30004 clauses out of 60014 with flag 486000/2550360
1368.45/737.34	c cleaning 31001 clauses out of 62011 with flag 518001/2582361
1387.31/747.42	c cleaning 32001 clauses out of 64009 with flag 551000/2615360
1407.06/757.78	c cleaning 32502 clauses out of 65008 with flag 584000/2648360
1422.72/766.07	c cleaning 32746 clauses out of 65506 with flag 617000/2681360
1439.76/775.06	c cleaning 32871 clauses out of 65760 with flag 650000/2714360
1458.19/784.99	c cleaning 32939 clauses out of 65889 with flag 683000/2747360
1476.22/794.43	c cleaning 32972 clauses out of 65950 with flag 716000/2780360
1494.38/803.93	c cleaning 32986 clauses out of 65978 with flag 749000/2813360
1513.63/814.02	c cleaning 32996 clauses out of 65992 with flag 782000/2846360
1534.39/825.12	c cleaning 32990 clauses out of 65996 with flag 815000/2879360
1555.40/836.16	c cleaning 32996 clauses out of 66006 with flag 848000/2912360
1575.61/846.71	c cleaning 32997 clauses out of 66011 with flag 881001/2945361
1591.18/855.05	c cleaning 33003 clauses out of 66014 with flag 914001/2978361
1608.32/864.39	c cleaning 33000 clauses out of 66011 with flag 947001/3011361
1624.95/873.20	c cleaning 33000 clauses out of 66012 with flag 980002/3044362
1643.81/883.01	c cleaning 33000 clauses out of 66011 with flag 1013001/3077361
1662.99/893.15	c cleaning 32995 clauses out of 66010 with flag 1046000/3110360
1683.84/904.32	c cleaning 32995 clauses out of 66016 with flag 1079001/3143361
1702.13/914.01	c cleaning 33007 clauses out of 66020 with flag 1112000/3176360
1721.69/924.23	c cleaning 33005 clauses out of 66013 with flag 1145000/3209360
1740.42/934.15	c cleaning 33001 clauses out of 66008 with flag 1178000/3242360
1759.07/944.21	c cleaning 32991 clauses out of 66008 with flag 1211001/3275361
1778.37/954.36	c cleaning 32998 clauses out of 66017 with flag 1244001/3308361
1796.89/964.16	c cleaning 33005 clauses out of 66019 with flag 1277001/3341361
1800.03/966.22	c starts		: 55
1800.03/966.22	c conflicts		: 7021
1800.03/966.22	c decisions		: 17404
1800.03/966.22	c propagations		: 165572
1800.03/966.22	c inspects		: 275954482
1800.03/966.22	c shortcuts		: 0
1800.03/966.22	c learnt literals	: 0
1800.03/966.22	c learnt binary clauses	: 0
1800.03/966.22	c learnt ternary clauses	: 0
1800.03/966.22	c learnt constraints	: 7018
1800.03/966.22	c ignored constraints	: 0
1800.03/966.22	c root simplifications	: 0
1800.03/966.22	c removed literals (reason simplification)	: 0
1800.03/966.22	c reason swapping (by a shorter reason)	: 0
1800.03/966.22	c Calls to reduceDB	: 0
1800.03/966.22	c number of reductions to clauses (during analyze)	: 0
1800.03/966.22	c number of learned constraints concerned by reduction	: 0
1800.03/966.22	c number of learning phase by resolution	: 0
1800.03/966.22	c number of learning phase by cutting planes	: 0
1800.03/966.22	c speed (assignments/second)	: 441.55712544636543
1800.03/966.22	c non guided choices	0
1800.03/966.23	c learnt constraints type 
1800.03/966.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 455
1800.03/966.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6563
1800.03/966.23	c constraints type 
1800.03/966.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15811
1800.03/966.23	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
1800.03/966.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.03/966.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15811
1800.03/966.23	c constraints type 
1800.03/966.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15811
1800.03/966.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.03/966.23	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1000
1800.03/966.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15811
1800.03/966.23	s SATISFIABLE
1800.03/966.23	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 x535 -x536 -x537 x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 x777 -x778 -x779 x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 x923 -x924 -x925 -x926 -x927 x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 x957 -x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 x970 -x971 -x972 x973 -x974 -x975 -x976 x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 
1800.03/966.23	c objective function=-124
1800.03/966.23	c Total wall clock time (in seconds): 966.116

Verifier Data 

OK	-124

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-3453995-1307194773/watcher-3453995-1307194773 -o /tmp/evaluation-result-3453995-1307194773/solver-3453995-1307194773 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453995-1307194773.opb 

running on 4 cores: 1,3,5,7

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: 1.89 2.32 3.00 4/461 25765
/proc/meminfo: memFree=28612192/32951124 swapFree=41830676/67111528
[pid=25765] ppid=25763 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25765/stat : 25765 (java) S 25763 25765 21158 0 -1 4202496 6769 0 1 0 0 0 0 0 18 0 2 0 831075327 10694979584 6470 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/25765/statm: 2611079 6482 917 9 0 2602235 0
[pid=25765/tid=25767] ppid=25763 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25767/stat : 25767 (java) R 25763 25765 21158 0 -1 4202560 6244 0 1 0 0 0 0 0 19 0 2 0 831075327 10694979584 7060 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0769491 s]
/proc/loadavg: 1.89 2.32 3.00 4/461 25765
/proc/meminfo: memFree=28612192/32951124 swapFree=41830676/67111528
[pid=25765] ppid=25763 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/25765/stat : 25765 (java) S 25763 25765 21158 0 -1 4202496 11981 0 1 0 5 1 0 0 18 0 18 0 831075327 10791550976 11677 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25765/statm: 2634656 11677 1755 9 0 2625390 0
[pid=25765/tid=25767] ppid=25763 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/25765/task/25767/stat : 25767 (java) R 25763 25765 21158 0 -1 4202560 10805 0 1 0 5 1 0 0 21 0 18 0 831075327 10791550976 11677 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 47841366917201 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538624

[startup+0.100944 s]
/proc/loadavg: 1.89 2.32 3.00 4/461 25765
/proc/meminfo: memFree=28612192/32951124 swapFree=41830676/67111528
[pid=25765] ppid=25763 vsize=10539808 CPUtime=0.09 cores=1,3,5,7
/proc/25765/stat : 25765 (java) S 25763 25765 21158 0 -1 4202496 12982 0 1 0 8 1 0 0 18 0 18 0 831075327 10792763392 12678 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25765/statm: 2634952 12678 2093 9 0 2625686 0
[pid=25765/tid=25767] ppid=25763 vsize=10539808 CPUtime=0.07 cores=1,3,5,7
/proc/25765/task/25767/stat : 25767 (java) R 25763 25765 21158 0 -1 4202560 11037 0 1 0 6 1 0 0 22 0 18 0 831075327 10792763392 12678 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 47841369575935 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539808

[startup+0.30093 s]
/proc/loadavg: 1.89 2.32 3.00 4/461 25765
/proc/meminfo: memFree=28612192/32951124 swapFree=41830676/67111528
[pid=25765] ppid=25763 vsize=10540864 CPUtime=0.46 cores=1,3,5,7
/proc/25765/stat : 25765 (java) S 25763 25765 21158 0 -1 4202496 15633 0 1 0 44 2 0 0 18 0 18 0 831075327 10793844736 14973 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25765/statm: 2635216 14973 2195 9 0 2625950 0
[pid=25765/tid=25767] ppid=25763 vsize=10540864 CPUtime=0.27 cores=1,3,5,7
/proc/25765/task/25767/stat : 25767 (java) R 25763 25765 21158 0 -1 4202560 12832 0 1 0 26 1 0 0 22 0 18 0 831075327 10793844736 14976 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 47841364759053 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10540864

[startup+0.700841 s]
/proc/loadavg: 1.89 2.32 3.00 4/461 25765
/proc/meminfo: memFree=28612192/32951124 swapFree=41830676/67111528
[pid=25765] ppid=25763 vsize=10550792 CPUtime=1.57 cores=1,3,5,7
/proc/25765/stat : 25765 (java) S 25763 25765 21158 0 -1 4202496 35124 0 1 0 152 5 0 0 18 0 18 0 831075327 10804011008 29926 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25765/statm: 2637698 29926 2233 9 0 2628432 0
[pid=25765/tid=25767] ppid=25763 vsize=10550792 CPUtime=0.67 cores=1,3,5,7
/proc/25765/task/25767/stat : 25767 (java) R 25763 25765 21158 0 -1 4202560 22039 0 1 0 64 3 0 0 25 0 18 0 831075327 10804011008 29926 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 47841365853079 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 10550792

[startup+1.50073 s]
/proc/loadavg: 1.89 2.32 3.00 8/502 25811
/proc/meminfo: memFree=28410868/32951124 swapFree=41830676/67111528
[pid=25765] ppid=25763 vsize=10555160 CPUtime=3.15 cores=1,3,5,7
/proc/25765/stat : 25765 (java) S 25763 25765 21158 0 -1 4202496 49855 0 1 0 308 7 0 0 18 0 19 0 831075327 10808483840 42819 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25765/statm: 2638790 42819 2246 9 0 2629524 0
[pid=25765/tid=25767] ppid=25763 vsize=10555160 CPUtime=0.85 cores=1,3,5,7
/proc/25765/task/25767/stat : 25767 (java) S 25763 25765 21158 0 -1 4202560 30629 0 1 0 80 5 0 0 21 0 19 0 831075327 10808483840 42819 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25777] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25777/stat : 25777 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831075329 10808483840 42819 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25778] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25778/stat : 25778 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831075329 10808483840 42819 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25779] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25779/stat : 25779 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831075329 10808483840 42819 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25780] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25780/stat : 25780 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831075329 10808483840 42819 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25781] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25781/stat : 25781 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831075329 10808483840 42819 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25782] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25782/stat : 25782 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831075329 10808483840 42819 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25783] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25783/stat : 25783 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831075329 10808483840 42819 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25784] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25784/stat : 25784 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 831075329 10808483840 42819 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25788] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25788/stat : 25788 (java) S 25763 25765 21158 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 831075330 10808483840 42819 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 0 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25789] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25789/stat : 25789 (java) S 25763 25765 21158 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 831075330 10808483840 42819 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25790] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25790/stat : 25790 (java) S 25763 25765 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831075330 10808483840 42819 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25796] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25796/stat : 25796 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831075332 10808483840 42819 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134537649 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25797] ppid=25763 vsize=10555160 CPUtime=0.87 cores=1,3,5,7
/proc/25765/task/25797/stat : 25797 (java) R 25763 25765 21158 0 -1 4202560 9230 0 0 0 86 1 0 0 15 0 19 0 831075332 10808483840 42819 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 47841364772248 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25765/tid=25798] ppid=25763 vsize=10555160 CPUtime=0.9 cores=1,3,5,7
/proc/25765/task/25798/stat : 25798 (java) S 25763 25765 21158 0 -1 4202560 4387 0 0 0 90 0 0 0 16 0 19 0 831075332 10808483840 42820 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=25765/tid=25799] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25799/stat : 25799 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831075332 10808483840 42820 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25800] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25800/stat : 25800 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831075332 10808483840 42820 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=25810] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25810/stat : 25810 (java) S 25763 25765 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831075418 10808483840 42820 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 10555160

[startup+3.10144 s]
/proc/loadavg: 1.74 2.28 2.98 3/498 25822
/proc/meminfo: memFree=28388792/32951124 swapFree=41830676/67111528
[pid=25765] ppid=25763 vsize=10555160 CPUtime=3.53 cores=1,3,5,7
/proc/25765/stat : 25765 (java) S 25763 25765 21158 0 -1 4202496 55604 0 1 0 345 8 0 0 18 0 19 0 831075327 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25765/statm: 2638790 48567 2247 9 0 2629524 0
[pid=25765/tid=25767] ppid=25763 vsize=10555160 CPUtime=0.87 cores=1,3,5,7
/proc/25765/task/25767/stat : 25767 (java) S 25763 25765 21158 0 -1 4202560 30903 0 1 0 82 5 0 0 16 0 19 0 831075327 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25777] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25777/stat : 25777 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831075329 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25778] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25778/stat : 25778 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831075329 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25779] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25779/stat : 25779 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831075329 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25780] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25780/stat : 25780 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831075329 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25781] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25781/stat : 25781 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831075329 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25782] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25782/stat : 25782 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831075329 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25783] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25783/stat : 25783 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831075329 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25784] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25784/stat : 25784 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 831075329 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25788] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25788/stat : 25788 (java) S 25763 25765 21158 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 831075330 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 0 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25789] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25789/stat : 25789 (java) S 25763 25765 21158 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 831075330 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25790] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25790/stat : 25790 (java) S 25763 25765 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831075330 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25796] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25796/stat : 25796 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831075332 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134537649 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25797] ppid=25763 vsize=10555160 CPUtime=0.95 cores=1,3,5,7
/proc/25765/task/25797/stat : 25797 (java) S 25763 25765 21158 0 -1 4202560 9245 0 0 0 94 1 0 0 16 0 19 0 831075332 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25798] ppid=25763 vsize=10555160 CPUtime=1.01 cores=1,3,5,7
/proc/25765/task/25798/stat : 25798 (java) S 25763 25765 21158 0 -1 4202560 4401 0 0 0 101 0 0 0 16 0 19 0 831075332 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=25765/tid=25799] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25799/stat : 25799 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831075332 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25800] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25800/stat : 25800 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831075332 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=25810] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25810/stat : 25810 (java) S 25763 25765 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831075418 10808483840 48567 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 10555160

[startup+6.30488 s]
/proc/loadavg: 1.74 2.28 2.98 3/501 25941
/proc/meminfo: memFree=28058388/32951124 swapFree=41830676/67111528
[pid=25765] ppid=25763 vsize=10555160 CPUtime=9.54 cores=1,3,5,7
/proc/25765/stat : 25765 (java) S 25763 25765 21158 0 -1 4202496 156850 0 1 0 933 21 0 0 18 0 22 0 831075327 10808483840 149596 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25765/statm: 2638790 149596 2272 9 0 2629524 0
[pid=25765/tid=25767] ppid=25763 vsize=10555160 CPUtime=0.89 cores=1,3,5,7
/proc/25765/task/25767/stat : 25767 (java) S 25763 25765 21158 0 -1 4202560 31086 0 1 0 84 5 0 0 15 0 22 0 831075327 10808483840 149596 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=25777] ppid=25763 vsize=10555160 CPUtime=0.03 cores=1,3,5,7
/proc/25765/task/25777/stat : 25777 (java) S 25763 25765 21158 0 -1 4202560 2193 0 0 0 3 0 0 0 18 0 22 0 831075329 10808483840 149596 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25778] ppid=25763 vsize=10555160 CPUtime=0.01 cores=1,3,5,7
/proc/25765/task/25778/stat : 25778 (java) S 25763 25765 21158 0 -1 4202560 1382 0 0 0 1 0 0 0 16 0 22 0 831075329 10808483840 149596 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=25765/tid=25779] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25779/stat : 25779 (java) S 25763 25765 21158 0 -1 4202560 1036 0 0 0 0 0 0 0 16 0 22 0 831075329 10808483840 149596 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25780] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25780/stat : 25780 (java) S 25763 25765 21158 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 831075329 10808483840 149596 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=25765/tid=25781] ppid=25763 vsize=10555160 CPUtime=0.02 cores=1,3,5,7
/proc/25765/task/25781/stat : 25781 (java) S 25763 25765 21158 0 -1 4202560 2545 0 0 0 2 0 0 0 18 0 22 0 831075329 10808483840 149596 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=25765/tid=25782] ppid=25763 vsize=10555160 CPUtime=0.03 cores=1,3,5,7
/proc/25765/task/25782/stat : 25782 (java) S 25763 25765 21158 0 -1 4202560 2932 0 0 0 3 0 0 0 18 0 22 0 831075329 10808483840 149596 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=25783] ppid=25763 vsize=10555160 CPUtime=0.03 cores=1,3,5,7
/proc/25765/task/25783/stat : 25783 (java) S 25763 25765 21158 0 -1 4202560 5555 0 0 0 3 0 0 0 18 0 22 0 831075329 10808483840 149596 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=25765/tid=25784] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25784/stat : 25784 (java) S 25763 25765 21158 0 -1 4202560 1696 0 0 0 0 0 0 0 16 0 22 0 831075329 10808483840 149596 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=25788] ppid=25763 vsize=10555160 CPUtime=0.19 cores=1,3,5,7
/proc/25765/task/25788/stat : 25788 (java) R 25763 25765 21158 0 -1 4202560 13534 0 0 0 18 1 0 0 15 0 22 0 831075330 10808483840 149596 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228122407999 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=25765/tid=25789] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25789/stat : 25789 (java) S 25763 25765 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831075330 10808483840 149596 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25790] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25790/stat : 25790 (java) S 25763 25765 21158 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831075330 10808483840 149596 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25796] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25796/stat : 25796 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831075332 10808483840 149596 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134537649 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25797] ppid=25763 vsize=10555160 CPUtime=1.23 cores=1,3,5,7
/proc/25765/task/25797/stat : 25797 (java) S 25763 25765 21158 0 -1 4202560 9276 0 0 0 122 1 0 0 15 0 22 0 831075332 10808483840 149596 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25798] ppid=25763 vsize=10555160 CPUtime=1.26 cores=1,3,5,7
/proc/25765/task/25798/stat : 25798 (java) S 25763 25765 21158 0 -1 4202560 4432 0 0 0 126 0 0 0 16 0 22 0 831075332 10808483840 149596 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0

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

[pid=25765/tid=26048] ppid=25763 vsize=10555160 CPUtime=194.1 cores=1,3,5,7
/proc/25765/task/26048/stat : 26048 (java) R 25763 25765 21158 0 -1 4202560 0 0 0 0 19410 0 0 0 25 0 22 0 831134452 10808483840 462060 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 46912505655025 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25765/tid=26049] ppid=25763 vsize=10555160 CPUtime=194.11 cores=1,3,5,7
/proc/25765/task/26049/stat : 26049 (java) R 25763 25765 21158 0 -1 4202560 0 0 0 0 19411 0 0 0 25 0 22 0 831134452 10808483840 462060 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 46912506198821 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25765/tid=26050] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/26050/stat : 26050 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831134452 10808483840 462060 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1528.79
Current children cumulated vsize (KiB) 10555160

[startup+882.301 s]
/proc/loadavg: 3.82 3.62 3.40 4/504 26058
/proc/meminfo: memFree=26041700/32951124 swapFree=41830676/67111528
[pid=25765] ppid=25763 vsize=10555160 CPUtime=1642.41 cores=1,3,5,7
/proc/25765/stat : 25765 (java) S 25763 25765 21158 0 -1 4202496 476130 0 1 0 164179 62 0 0 18 0 22 0 831075327 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25765/statm: 2638790 468520 2274 9 0 2629524 0
[pid=25765/tid=25767] ppid=25763 vsize=10555160 CPUtime=0.94 cores=1,3,5,7
/proc/25765/task/25767/stat : 25767 (java) S 25763 25765 21158 0 -1 4202560 31288 0 1 0 89 5 0 0 15 0 22 0 831075327 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=25777] ppid=25763 vsize=10555160 CPUtime=1.51 cores=1,3,5,7
/proc/25765/task/25777/stat : 25777 (java) S 25763 25765 21158 0 -1 4202560 8703 0 0 0 150 1 0 0 16 0 22 0 831075329 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=25778] ppid=25763 vsize=10555160 CPUtime=1.59 cores=1,3,5,7
/proc/25765/task/25778/stat : 25778 (java) S 25763 25765 21158 0 -1 4202560 3446 0 0 0 159 0 0 0 16 0 22 0 831075329 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25779] ppid=25763 vsize=10555160 CPUtime=1.45 cores=1,3,5,7
/proc/25765/task/25779/stat : 25779 (java) S 25763 25765 21158 0 -1 4202560 5835 0 0 0 145 0 0 0 15 0 22 0 831075329 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=25780] ppid=25763 vsize=10555160 CPUtime=1.43 cores=1,3,5,7
/proc/25765/task/25780/stat : 25780 (java) S 25763 25765 21158 0 -1 4202560 1157 0 0 0 143 0 0 0 15 0 22 0 831075329 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=25781] ppid=25763 vsize=10555160 CPUtime=1.63 cores=1,3,5,7
/proc/25765/task/25781/stat : 25781 (java) S 25763 25765 21158 0 -1 4202560 6649 0 0 0 163 0 0 0 15 0 22 0 831075329 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25782] ppid=25763 vsize=10555160 CPUtime=1.69 cores=1,3,5,7
/proc/25765/task/25782/stat : 25782 (java) S 25763 25765 21158 0 -1 4202560 11405 0 0 0 168 1 0 0 16 0 22 0 831075329 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=25765/tid=25783] ppid=25763 vsize=10555160 CPUtime=1.64 cores=1,3,5,7
/proc/25765/task/25783/stat : 25783 (java) S 25763 25765 21158 0 -1 4202560 9602 0 0 0 162 2 0 0 15 0 22 0 831075329 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=25784] ppid=25763 vsize=10555160 CPUtime=1.49 cores=1,3,5,7
/proc/25765/task/25784/stat : 25784 (java) S 25763 25765 21158 0 -1 4202560 6891 0 0 0 148 1 0 0 16 0 22 0 831075329 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=25765/tid=25788] ppid=25763 vsize=10555160 CPUtime=113.74 cores=1,3,5,7
/proc/25765/task/25788/stat : 25788 (java) S 25763 25765 21158 0 -1 4202560 161018 0 0 0 11356 18 0 0 15 0 22 0 831075330 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 0 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25789] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25789/stat : 25789 (java) S 25763 25765 21158 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831075330 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25790] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25790/stat : 25790 (java) S 25763 25765 21158 0 -1 4202560 14 0 0 0 0 0 0 0 16 0 22 0 831075330 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25796] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25796/stat : 25796 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831075332 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134537649 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25797] ppid=25763 vsize=10555160 CPUtime=1.51 cores=1,3,5,7
/proc/25765/task/25797/stat : 25797 (java) S 25763 25765 21158 0 -1 4202560 9301 0 0 0 150 1 0 0 15 0 22 0 831075332 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25798] ppid=25763 vsize=10555160 CPUtime=1.36 cores=1,3,5,7
/proc/25765/task/25798/stat : 25798 (java) S 25763 25765 21158 0 -1 4202560 4435 0 0 0 136 0 0 0 15 0 22 0 831075332 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25799] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25799/stat : 25799 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831075332 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25800] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25800/stat : 25800 (java) S 25763 25765 21158 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831075332 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=26044] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/26044/stat : 26044 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831121950 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=26048] ppid=25763 vsize=10555160 CPUtime=247.28 cores=1,3,5,7
/proc/25765/task/26048/stat : 26048 (java) R 25763 25765 21158 0 -1 4202560 0 0 0 0 24728 0 0 0 25 0 22 0 831134452 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 46912506301593 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25765/tid=26049] ppid=25763 vsize=10555160 CPUtime=247.29 cores=1,3,5,7
/proc/25765/task/26049/stat : 26049 (java) R 25763 25765 21158 0 -1 4202560 0 0 0 0 24729 0 0 0 25 0 22 0 831134452 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 46912506210877 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25765/tid=26050] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/26050/stat : 26050 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831134452 10808483840 468520 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1642.41
Current children cumulated vsize (KiB) 10555160

[startup+942.302 s]
/proc/loadavg: 3.78 3.63 3.41 4/504 26060
/proc/meminfo: memFree=25985248/32951124 swapFree=41830676/67111528
[pid=25765] ppid=25763 vsize=10555160 CPUtime=1755.27 cores=1,3,5,7
/proc/25765/stat : 25765 (java) S 25763 25765 21158 0 -1 4202496 487943 0 1 0 175464 63 0 0 18 0 22 0 831075327 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25765/statm: 2638790 480321 2274 9 0 2629524 0
[pid=25765/tid=25767] ppid=25763 vsize=10555160 CPUtime=0.94 cores=1,3,5,7
/proc/25765/task/25767/stat : 25767 (java) S 25763 25765 21158 0 -1 4202560 31294 0 1 0 89 5 0 0 15 0 22 0 831075327 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=25777] ppid=25763 vsize=10555160 CPUtime=1.65 cores=1,3,5,7
/proc/25765/task/25777/stat : 25777 (java) S 25763 25765 21158 0 -1 4202560 8710 0 0 0 164 1 0 0 16 0 22 0 831075329 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=25765/tid=25778] ppid=25763 vsize=10555160 CPUtime=1.66 cores=1,3,5,7
/proc/25765/task/25778/stat : 25778 (java) S 25763 25765 21158 0 -1 4202560 3446 0 0 0 166 0 0 0 15 0 22 0 831075329 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25779] ppid=25763 vsize=10555160 CPUtime=1.5 cores=1,3,5,7
/proc/25765/task/25779/stat : 25779 (java) S 25763 25765 21158 0 -1 4202560 5835 0 0 0 150 0 0 0 15 0 22 0 831075329 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25780] ppid=25763 vsize=10555160 CPUtime=1.48 cores=1,3,5,7
/proc/25765/task/25780/stat : 25780 (java) S 25763 25765 21158 0 -1 4202560 1157 0 0 0 148 0 0 0 15 0 22 0 831075329 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=25765/tid=25781] ppid=25763 vsize=10555160 CPUtime=1.7 cores=1,3,5,7
/proc/25765/task/25781/stat : 25781 (java) S 25763 25765 21158 0 -1 4202560 6649 0 0 0 170 0 0 0 15 0 22 0 831075329 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25782] ppid=25763 vsize=10555160 CPUtime=1.84 cores=1,3,5,7
/proc/25765/task/25782/stat : 25782 (java) S 25763 25765 21158 0 -1 4202560 11413 0 0 0 183 1 0 0 16 0 22 0 831075329 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25783] ppid=25763 vsize=10555160 CPUtime=1.69 cores=1,3,5,7
/proc/25765/task/25783/stat : 25783 (java) S 25763 25765 21158 0 -1 4202560 9603 0 0 0 167 2 0 0 15 0 22 0 831075329 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=25784] ppid=25763 vsize=10555160 CPUtime=1.6 cores=1,3,5,7
/proc/25765/task/25784/stat : 25784 (java) S 25763 25765 21158 0 -1 4202560 6891 0 0 0 159 1 0 0 16 0 22 0 831075329 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=25788] ppid=25763 vsize=10555160 CPUtime=121.09 cores=1,3,5,7
/proc/25765/task/25788/stat : 25788 (java) S 25763 25765 21158 0 -1 4202560 172807 0 0 0 12090 19 0 0 15 0 22 0 831075330 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 0 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25789] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25789/stat : 25789 (java) S 25763 25765 21158 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831075330 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25790] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25790/stat : 25790 (java) S 25763 25765 21158 0 -1 4202560 14 0 0 0 0 0 0 0 16 0 22 0 831075330 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25796] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25796/stat : 25796 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831075332 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134537649 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25797] ppid=25763 vsize=10555160 CPUtime=1.51 cores=1,3,5,7
/proc/25765/task/25797/stat : 25797 (java) S 25763 25765 21158 0 -1 4202560 9301 0 0 0 150 1 0 0 15 0 22 0 831075332 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25798] ppid=25763 vsize=10555160 CPUtime=1.36 cores=1,3,5,7
/proc/25765/task/25798/stat : 25798 (java) S 25763 25765 21158 0 -1 4202560 4435 0 0 0 136 0 0 0 15 0 22 0 831075332 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25799] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25799/stat : 25799 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831075332 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25800] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25800/stat : 25800 (java) S 25763 25765 21158 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831075332 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=26044] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/26044/stat : 26044 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831121950 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=26048] ppid=25763 vsize=10555160 CPUtime=299.7 cores=1,3,5,7
/proc/25765/task/26048/stat : 26048 (java) R 25763 25765 21158 0 -1 4202560 0 0 0 0 29970 0 0 0 25 0 22 0 831134452 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 46912506264695 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25765/tid=26049] ppid=25763 vsize=10555160 CPUtime=299.71 cores=1,3,5,7
/proc/25765/task/26049/stat : 26049 (java) R 25763 25765 21158 0 -1 4202560 0 0 0 0 29971 0 0 0 25 0 22 0 831134452 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 46912506210969 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25765/tid=26050] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/26050/stat : 26050 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831134452 10808483840 480321 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1755.27
Current children cumulated vsize (KiB) 10555160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+966.201 s]
/proc/loadavg: 3.66 3.61 3.41 5/504 26060
/proc/meminfo: memFree=25981256/32951124 swapFree=41830676/67111528
[pid=25765] ppid=25763 vsize=10555160 CPUtime=1800.03 cores=1,3,5,7
/proc/25765/stat : 25765 (java) S 25763 25765 21158 0 -1 4202496 487973 0 1 0 179940 63 0 0 18 0 22 0 831075327 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25765/statm: 2638790 480344 2274 9 0 2629524 0
[pid=25765/tid=25767] ppid=25763 vsize=10555160 CPUtime=0.94 cores=1,3,5,7
/proc/25765/task/25767/stat : 25767 (java) S 25763 25765 21158 0 -1 4202560 31297 0 1 0 89 5 0 0 15 0 22 0 831075327 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=25777] ppid=25763 vsize=10555160 CPUtime=1.69 cores=1,3,5,7
/proc/25765/task/25777/stat : 25777 (java) S 25763 25765 21158 0 -1 4202560 8722 0 0 0 168 1 0 0 15 0 22 0 831075329 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=25765/tid=25778] ppid=25763 vsize=10555160 CPUtime=1.7 cores=1,3,5,7
/proc/25765/task/25778/stat : 25778 (java) S 25763 25765 21158 0 -1 4202560 3446 0 0 0 170 0 0 0 16 0 22 0 831075329 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25779] ppid=25763 vsize=10555160 CPUtime=1.54 cores=1,3,5,7
/proc/25765/task/25779/stat : 25779 (java) S 25763 25765 21158 0 -1 4202560 5835 0 0 0 154 0 0 0 15 0 22 0 831075329 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=25765/tid=25780] ppid=25763 vsize=10555160 CPUtime=1.5 cores=1,3,5,7
/proc/25765/task/25780/stat : 25780 (java) S 25763 25765 21158 0 -1 4202560 1157 0 0 0 150 0 0 0 16 0 22 0 831075329 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=25765/tid=25781] ppid=25763 vsize=10555160 CPUtime=1.81 cores=1,3,5,7
/proc/25765/task/25781/stat : 25781 (java) S 25763 25765 21158 0 -1 4202560 6656 0 0 0 181 0 0 0 16 0 22 0 831075329 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=25782] ppid=25763 vsize=10555160 CPUtime=1.84 cores=1,3,5,7
/proc/25765/task/25782/stat : 25782 (java) S 25763 25765 21158 0 -1 4202560 11413 0 0 0 183 1 0 0 16 0 22 0 831075329 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25783] ppid=25763 vsize=10555160 CPUtime=1.73 cores=1,3,5,7
/proc/25765/task/25783/stat : 25783 (java) S 25763 25765 21158 0 -1 4202560 9607 0 0 0 171 2 0 0 16 0 22 0 831075329 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=25784] ppid=25763 vsize=10555160 CPUtime=1.65 cores=1,3,5,7
/proc/25765/task/25784/stat : 25784 (java) S 25763 25765 21158 0 -1 4202560 6891 0 0 0 164 1 0 0 16 0 22 0 831075329 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
[pid=25765/tid=25788] ppid=25763 vsize=10555160 CPUtime=124.28 cores=1,3,5,7
/proc/25765/task/25788/stat : 25788 (java) S 25763 25765 21158 0 -1 4202560 172809 0 0 0 12409 19 0 0 17 0 22 0 831075330 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 0 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25789] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25789/stat : 25789 (java) S 25763 25765 21158 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831075330 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25790] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25790/stat : 25790 (java) S 25763 25765 21158 0 -1 4202560 14 0 0 0 0 0 0 0 16 0 22 0 831075330 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25796] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25796/stat : 25796 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831075332 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134537649 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25797] ppid=25763 vsize=10555160 CPUtime=1.51 cores=1,3,5,7
/proc/25765/task/25797/stat : 25797 (java) S 25763 25765 21158 0 -1 4202560 9301 0 0 0 150 1 0 0 15 0 22 0 831075332 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 3 0 0 0
[pid=25765/tid=25798] ppid=25763 vsize=10555160 CPUtime=1.36 cores=1,3,5,7
/proc/25765/task/25798/stat : 25798 (java) S 25763 25765 21158 0 -1 4202560 4435 0 0 0 136 0 0 0 15 0 22 0 831075332 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25799] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25799/stat : 25799 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831075332 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134529945 0 4 0 16800975 18446604454413906048 0 0 -1 7 0 0 0
[pid=25765/tid=25800] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/25800/stat : 25800 (java) S 25763 25765 21158 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 831075332 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=26044] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/26044/stat : 26044 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831121950 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 1 0 0 0
[pid=25765/tid=26048] ppid=25763 vsize=10555160 CPUtime=320.31 cores=1,3,5,7
/proc/25765/task/26048/stat : 26048 (java) R 25763 25765 21158 0 -1 4202560 0 0 0 0 32031 0 0 0 19 0 22 0 831134452 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 46912506264675 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25765/tid=26049] ppid=25763 vsize=10555160 CPUtime=320.32 cores=1,3,5,7
/proc/25765/task/26049/stat : 26049 (java) R 25763 25765 21158 0 -1 4202560 0 0 0 0 32032 0 0 0 19 0 22 0 831134452 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 46912506210959 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25765/tid=26050] ppid=25763 vsize=10555160 CPUtime=0 cores=1,3,5,7
/proc/25765/task/26050/stat : 26050 (java) S 25763 25765 21158 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831134452 10808483840 480344 33554432000 1073741824 1073778376 140735027246576 18446744073709551615 228134530560 0 4 0 16800975 18446604454413906048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10555160

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

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

Child status: 143
Real time (s): 966.31
CPU time (s): 1800.16
CPU user time (s): 1799.45
CPU system time (s): 0.706892
CPU usage (%): 186.292
Max. virtual memory (cumulated for all children) (KiB): 10555160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.706892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 488002
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= 26827
involuntary context switches= 28664

runsolver used 4.51931 second user time and 10.4734 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-04 15:39:34
IDJOB=3453995
IDBENCH=48199
IDSOLVER=1950
FILE ID=node138/3453995-1307194773
RUNJOBID= node138-1307194773-25746
PBS_JOBID= 13508833
Free space on /tmp= 73668 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453995-1307194773/watcher-3453995-1307194773 -o /tmp/evaluation-result-3453995-1307194773/solver-3453995-1307194773 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453995-1307194773.opb

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

MD5SUM BENCH= d487c80c335f688d99ca29b5d7c254e0
RANDOM SEED=385363012

node138.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.854
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.70
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.854
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	: 5332.75
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.854
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.82
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.854
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.75
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.854
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.80
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.854
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.75
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.854
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.82
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.854
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:     32951124 kB
MemFree:      28617424 kB
Buffers:        320380 kB
Cached:        1101124 kB
SwapCached:      44568 kB
Active:        2242528 kB
Inactive:      1801040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28617424 kB
SwapTotal:    67111528 kB
SwapFree:     41830676 kB
Dirty:            1268 kB
Writeback:           0 kB
AnonPages:     2588416 kB
Mapped:          19260 kB
Slab:           128620 kB
PageTables:      92732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 134072168 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= 73668 MiB
End job on node138 at 2011-06-04 15:55:42