Trace number 3737097

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)-124 1800.23 958.657

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_4.opb
MD5SUMd847cf1d914db0ec942abd195c5092c7
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-128
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -124
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 constraint50
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)31592
Sum of products size (including duplicates)63184
Number of different products15796
Sum of products size31592

Quality of the solution as a function of time


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

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.11	c version 2.3.1.v20110525
0.07/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.11	c java.vm.version	19.1-b02
0.07/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.11	c sun.arch.data.model	64
0.07/0.11	c java.version		1.6.0_24
0.07/0.11	c os.name		Linux
0.07/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.11	c os.arch		amd64
0.07/0.11	c Free memory 		9996466904
0.07/0.11	c Max memory 		10048897024
0.07/0.11	c Total memory 		10048897024
0.07/0.11	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3737097-1338719638.opb
0.07/0.13	c reading problem ... 
1.86/0.87	c ... done. Wall clock time 0.74s.
1.86/0.87	c #vars     16796
1.86/0.87	c #constraints  48388
1.86/0.87	c constraints type 
1.86/0.87	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15796
1.86/0.87	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
1.86/0.87	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15796
1.86/0.87	c constraints type 
1.86/0.87	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15796
1.86/0.87	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1000
1.86/0.87	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15796
2.61/1.09	c  And the winner is Resolution
3.22/1.39	c SATISFIABLE
3.22/1.39	c OPTIMIZING...
3.22/1.39	c Got one! Elapsed wall clock time (in seconds):1.261
3.22/1.39	o -107
3.27/1.48	c  And the winner is Resolution
3.69/1.90	c Got one! Elapsed wall clock time (in seconds):1.771
3.69/1.90	o -108
3.69/1.96	c  And the winner is Resolution
4.03/2.41	c Got one! Elapsed wall clock time (in seconds):2.281
4.03/2.41	o -114
6.31/3.47	c cleaning 2556 clauses out of 5111 with flag 5000/5111
6.74/3.68	c  And the winner is Resolution
7.02/3.92	c Got one! Elapsed wall clock time (in seconds):3.79
7.02/3.92	o -120
8.87/4.83	c cleaning 3874 clauses out of 7749 with flag 5001/10305
11.20/6.06	c cleaning 4936 clauses out of 9874 with flag 11000/16304
14.10/7.50	c cleaning 5964 clauses out of 11938 with flag 18000/23304
17.20/9.19	c cleaning 6985 clauses out of 13975 with flag 26001/31305
20.72/11.00	c cleaning 7990 clauses out of 15989 with flag 35000/40304
25.00/13.14	c cleaning 8994 clauses out of 17999 with flag 45000/50304
29.65/15.51	c cleaning 10003 clauses out of 20005 with flag 56000/61304
35.25/18.41	c cleaning 11002 clauses out of 22003 with flag 68001/73305
40.93/21.35	c cleaning 11998 clauses out of 24001 with flag 81001/86305
46.97/24.44	c cleaning 12995 clauses out of 26003 with flag 95001/100305
54.22/28.18	c cleaning 13999 clauses out of 28008 with flag 110001/115305
61.81/32.01	c cleaning 14997 clauses out of 30008 with flag 126000/131304
69.85/36.12	c cleaning 16003 clauses out of 32013 with flag 143002/148306
78.08/40.35	c cleaning 16996 clauses out of 34008 with flag 161000/166304
86.10/44.42	c cleaning 17997 clauses out of 36012 with flag 180000/185304
96.16/49.62	c cleaning 19004 clauses out of 38016 with flag 200001/205305
106.76/55.03	c cleaning 20002 clauses out of 40011 with flag 221000/226304
117.73/60.61	c cleaning 20997 clauses out of 42009 with flag 243000/248304
127.90/65.89	c cleaning 22004 clauses out of 44012 with flag 266000/271304
138.73/71.44	c cleaning 23004 clauses out of 46008 with flag 290000/295304
151.23/77.87	c cleaning 23996 clauses out of 48004 with flag 315000/320304
164.41/84.60	c cleaning 25003 clauses out of 50009 with flag 341001/346305
178.15/91.52	c cleaning 25996 clauses out of 52005 with flag 368000/373304
193.11/99.27	c cleaning 27005 clauses out of 54009 with flag 396000/401304
206.45/106.06	c cleaning 27994 clauses out of 56004 with flag 425000/430304
220.55/113.21	c cleaning 29002 clauses out of 58010 with flag 455000/460304
235.22/120.79	c cleaning 29997 clauses out of 60008 with flag 486000/491304
253.52/130.10	c cleaning 31006 clauses out of 62012 with flag 518001/523305
270.21/138.68	c cleaning 32002 clauses out of 64006 with flag 551001/556305
289.47/148.50	c cleaning 32490 clauses out of 65003 with flag 584000/589304
305.08/156.44	c cleaning 32757 clauses out of 65514 with flag 617001/622305
315.62/162.02	c  And the winner is CuttingPlanes
315.73/162.21	c Got one! Elapsed wall clock time (in seconds):162.077
315.73/162.21	o -121
318.94/163.90	c cleaning 28728 clauses out of 57465 with flag 5001/647013
322.17/165.66	c cleaning 17364 clauses out of 34736 with flag 11000/653012
325.38/167.45	c cleaning 12180 clauses out of 24372 with flag 18000/660012
329.03/169.42	c cleaning 10092 clauses out of 20193 with flag 26001/668013
333.38/171.91	c cleaning 9547 clauses out of 19101 with flag 35001/677013
337.60/174.28	c cleaning 9767 clauses out of 19553 with flag 45000/687012
342.44/176.85	c cleaning 10392 clauses out of 20786 with flag 56000/698012
347.65/179.63	c cleaning 11190 clauses out of 22395 with flag 68001/710013
353.63/182.99	c cleaning 12094 clauses out of 24204 with flag 81000/723012
359.86/186.25	c cleaning 13053 clauses out of 26110 with flag 95000/737012
366.68/189.83	c cleaning 14029 clauses out of 28058 with flag 110001/752013
373.51/193.47	c cleaning 15015 clauses out of 30029 with flag 126001/768013
381.48/197.74	c cleaning 16004 clauses out of 32013 with flag 143000/785012
389.51/201.96	c cleaning 17003 clauses out of 34009 with flag 161000/803012
398.08/206.42	c cleaning 18002 clauses out of 36007 with flag 180001/822013
406.73/210.99	c cleaning 19003 clauses out of 38005 with flag 200001/842013
416.64/216.27	c cleaning 20001 clauses out of 40002 with flag 221001/863013
426.84/221.57	c cleaning 21000 clauses out of 42000 with flag 243000/885012
438.04/227.34	c cleaning 21994 clauses out of 44000 with flag 266000/908012
448.80/232.92	c cleaning 22995 clauses out of 46006 with flag 290000/932012
460.72/239.22	c cleaning 24003 clauses out of 48012 with flag 315001/957013
473.89/246.02	c cleaning 25005 clauses out of 50009 with flag 341001/983013
486.25/252.46	c cleaning 25996 clauses out of 52003 with flag 368000/1010012
487.83/253.47	c  And the winner is CuttingPlanes
487.83/253.48	c Got one! Elapsed wall clock time (in seconds):253.35
487.83/253.48	o -122
489.44/254.29	c cleaning 15713 clauses out of 31428 with flag 3002/1015433
492.72/256.30	c cleaning 10853 clauses out of 21713 with flag 9000/1021431
496.06/258.13	c cleaning 8918 clauses out of 17860 with flag 16000/1028431
499.58/260.17	c cleaning 8466 clauses out of 16943 with flag 24001/1036432
503.72/262.41	c cleaning 8738 clauses out of 17476 with flag 33000/1045431
508.36/265.14	c cleaning 9362 clauses out of 18738 with flag 43000/1055431
513.26/267.90	c cleaning 10186 clauses out of 20376 with flag 54000/1066431
518.60/270.79	c cleaning 11093 clauses out of 22191 with flag 66001/1078432
524.76/274.02	c cleaning 12049 clauses out of 24098 with flag 79001/1091432
531.57/277.88	c cleaning 13023 clauses out of 26049 with flag 93001/1105432
538.87/281.77	c cleaning 14008 clauses out of 28025 with flag 108000/1120431
546.58/285.87	c cleaning 14997 clauses out of 30017 with flag 124000/1136431
554.31/289.92	c cleaning 16008 clauses out of 32020 with flag 141000/1153431
562.92/294.67	c cleaning 17006 clauses out of 34012 with flag 159000/1171431
572.03/299.48	c cleaning 18002 clauses out of 36006 with flag 178000/1190431
580.97/304.12	c cleaning 18995 clauses out of 38004 with flag 198000/1210431
590.51/309.20	c cleaning 20003 clauses out of 40011 with flag 219002/1231433
601.47/315.06	c cleaning 20998 clauses out of 42006 with flag 241000/1253431
612.98/321.01	c cleaning 22004 clauses out of 44008 with flag 264000/1276431
623.48/326.56	c cleaning 22993 clauses out of 46004 with flag 288000/1300431
635.39/332.70	c cleaning 24001 clauses out of 48013 with flag 313002/1325433
648.93/339.90	c cleaning 25000 clauses out of 50010 with flag 339000/1351431
662.80/347.18	c cleaning 25994 clauses out of 52010 with flag 366000/1378431
678.04/355.09	c cleaning 27008 clauses out of 54016 with flag 394000/1406431
691.52/362.09	c cleaning 27991 clauses out of 56008 with flag 423000/1435431
709.01/371.24	c cleaning 29006 clauses out of 58017 with flag 453000/1465431
726.06/380.01	c cleaning 29995 clauses out of 60012 with flag 484001/1496432
744.29/389.43	c cleaning 31002 clauses out of 62016 with flag 516000/1528431
763.89/399.54	c cleaning 32003 clauses out of 64014 with flag 549000/1561431
785.36/410.76	c cleaning 32494 clauses out of 65011 with flag 582000/1594431
800.42/418.55	c cleaning 32759 clauses out of 65517 with flag 615000/1627431
817.99/427.67	c cleaning 32875 clauses out of 65758 with flag 648000/1660431
834.99/436.48	c cleaning 32942 clauses out of 65883 with flag 681000/1693431
853.04/445.99	c cleaning 32968 clauses out of 65941 with flag 714000/1726431
870.01/454.73	c cleaning 32971 clauses out of 65974 with flag 747001/1759432
888.59/464.38	c cleaning 32994 clauses out of 66003 with flag 780001/1792432
905.61/473.14	c cleaning 32998 clauses out of 66008 with flag 813000/1825431
924.85/483.25	c cleaning 32999 clauses out of 66010 with flag 846000/1858431
944.63/493.41	c cleaning 33001 clauses out of 66011 with flag 879000/1891431
959.63/501.26	c cleaning 33003 clauses out of 66010 with flag 912000/1924431
975.24/509.37	c cleaning 32997 clauses out of 66007 with flag 945000/1957431
992.90/518.71	c cleaning 33003 clauses out of 66010 with flag 978000/1990431
1011.29/528.25	c cleaning 33003 clauses out of 66008 with flag 1011001/2023432
1029.07/537.47	c cleaning 32992 clauses out of 66004 with flag 1044000/2056431
1047.84/547.18	c cleaning 32998 clauses out of 66012 with flag 1077000/2089431
1051.27/549.48	c cleaning 0 clauses out of 5844 with flag 0/5844
1067.43/557.84	c cleaning 33007 clauses out of 66014 with flag 1110000/2122431
1087.77/568.31	c cleaning 32999 clauses out of 66007 with flag 1143000/2155431
1107.51/578.54	c cleaning 32999 clauses out of 66008 with flag 1176000/2188431
1125.89/588.32	c cleaning 32997 clauses out of 66009 with flag 1209000/2221431
1144.19/597.89	c cleaning 32999 clauses out of 66013 with flag 1242001/2254432
1163.68/607.99	c cleaning 33001 clauses out of 66015 with flag 1275002/2287433
1182.96/617.92	c cleaning 32997 clauses out of 66012 with flag 1308000/2320431
1200.10/627.14	c cleaning 32995 clauses out of 66016 with flag 1341001/2353432
1215.38/635.14	c cleaning 32995 clauses out of 66021 with flag 1374001/2386432
1231.68/643.67	c cleaning 33008 clauses out of 66027 with flag 1407002/2419433
1249.00/652.61	c cleaning 32999 clauses out of 66017 with flag 1440000/2452431
1266.54/662.09	c cleaning 33004 clauses out of 66018 with flag 1473000/2485431
1285.24/671.79	c cleaning 32998 clauses out of 66014 with flag 1506000/2518431
1302.69/680.83	c cleaning 33000 clauses out of 66016 with flag 1539000/2551431
1320.69/690.27	c cleaning 33002 clauses out of 66016 with flag 1572000/2584431
1338.42/699.75	c cleaning 32999 clauses out of 66014 with flag 1605000/2617431
1355.46/708.65	c cleaning 33000 clauses out of 66016 with flag 1638001/2650432
1375.92/719.26	c cleaning 33005 clauses out of 66016 with flag 1671001/2683432
1394.36/728.84	c cleaning 32995 clauses out of 66010 with flag 1704000/2716431
1407.14/735.87	c  And the winner is CuttingPlanes
1407.36/736.26	c Got one! Elapsed wall clock time (in seconds):736.126
1407.36/736.26	o -123
1410.64/737.91	c cleaning 29768 clauses out of 59541 with flag 5000/2742957
1414.33/740.11	c cleaning 17884 clauses out of 35773 with flag 11000/2748957
1417.97/742.31	c cleaning 12438 clauses out of 24889 with flag 18000/2755957
1421.84/744.67	c cleaning 10223 clauses out of 20452 with flag 26001/2763958
1426.77/747.78	c cleaning 9610 clauses out of 19229 with flag 35001/2772958
1431.56/750.59	c cleaning 9801 clauses out of 19618 with flag 45000/2782957
1437.02/753.62	c cleaning 10402 clauses out of 20817 with flag 56000/2793957
1442.68/756.81	c cleaning 11202 clauses out of 22416 with flag 68001/2805958
1449.51/760.91	c cleaning 12099 clauses out of 24214 with flag 81001/2818958
1455.91/764.57	c cleaning 13048 clauses out of 26115 with flag 95001/2832958
1463.30/768.60	c cleaning 14033 clauses out of 28066 with flag 110000/2847957
1470.73/772.74	c cleaning 15014 clauses out of 30033 with flag 126000/2863957
1479.17/777.62	c cleaning 16004 clauses out of 32019 with flag 143000/2880957
1487.61/782.23	c cleaning 17006 clauses out of 34015 with flag 161000/2898957
1496.62/787.18	c cleaning 17997 clauses out of 36010 with flag 180001/2917958
1506.20/792.31	c cleaning 18996 clauses out of 38012 with flag 200000/2937957
1517.23/798.58	c cleaning 20006 clauses out of 40016 with flag 221000/2958957
1528.38/804.53	c cleaning 21000 clauses out of 42010 with flag 243000/2980957
1539.42/810.47	c cleaning 22005 clauses out of 44010 with flag 266000/3003957
1550.06/816.16	c cleaning 22998 clauses out of 46005 with flag 290000/3027957
1562.88/823.26	c cleaning 23998 clauses out of 48007 with flag 315000/3052957
1576.11/830.21	c cleaning 24994 clauses out of 50009 with flag 341000/3078957
1589.13/837.12	c cleaning 26005 clauses out of 52016 with flag 368001/3105958
1603.46/844.72	c cleaning 27000 clauses out of 54011 with flag 396001/3133958
1605.68/846.59	c  And the winner is Resolution
1614.08/854.84	c Got one! Elapsed wall clock time (in seconds):854.713
1614.08/854.84	o -124
1615.82/855.72	c cleaning 16433 clauses out of 32876 with flag 4001/3139823
1619.19/857.90	c cleaning 11212 clauses out of 22442 with flag 10000/3145822
1623.21/860.23	c cleaning 9102 clauses out of 18231 with flag 17001/3152823
1627.41/862.74	c cleaning 8554 clauses out of 17128 with flag 25000/3160822
1632.48/865.98	c cleaning 8775 clauses out of 17574 with flag 34000/3169822
1637.84/869.06	c cleaning 9399 clauses out of 18799 with flag 44000/3179822
1643.44/872.26	c cleaning 10200 clauses out of 20400 with flag 55000/3190822
1649.96/875.94	c cleaning 11100 clauses out of 22200 with flag 67000/3202822
1657.49/880.43	c cleaning 12044 clauses out of 24100 with flag 80000/3215822
1664.63/884.45	c cleaning 13028 clauses out of 26056 with flag 94000/3229822
1672.61/888.84	c cleaning 14002 clauses out of 28028 with flag 109000/3244822
1681.58/893.70	c cleaning 15004 clauses out of 30026 with flag 125000/3260822
1690.70/899.01	c cleaning 16008 clauses out of 32023 with flag 142001/3277823
1700.29/904.26	c cleaning 17003 clauses out of 34014 with flag 160000/3295822
1710.41/909.71	c cleaning 18003 clauses out of 36011 with flag 179000/3314822
1719.71/914.89	c cleaning 19004 clauses out of 38008 with flag 199000/3334822
1730.06/920.71	c cleaning 20001 clauses out of 40004 with flag 220000/3355822
1740.55/926.43	c cleaning 21002 clauses out of 42004 with flag 242001/3377823
1751.71/932.43	c cleaning 21997 clauses out of 44002 with flag 265001/3400823
1763.44/938.76	c cleaning 23002 clauses out of 46007 with flag 289003/3424825
1777.13/946.32	c cleaning 23992 clauses out of 48003 with flag 314001/3449823
1790.45/953.41	c cleaning 24999 clauses out of 50011 with flag 340001/3475823
1800.05/958.61	c starts		: 687
1800.05/958.61	c conflicts		: 3494212
1800.05/958.61	c decisions		: 4228052
1800.05/958.61	c propagations		: 21030581
1800.05/958.61	c inspects		: 1683140473
1800.05/958.61	c shortcuts		: 0
1800.05/958.61	c learnt literals	: 0
1800.05/958.61	c learnt binary clauses	: 0
1800.05/958.61	c learnt ternary clauses	: 0
1800.05/958.61	c learnt constraints	: 3494211
1800.05/958.61	c ignored constraints	: 0
1800.05/958.61	c root simplifications	: 0
1800.05/958.61	c removed literals (reason simplification)	: 34088042
1800.05/958.61	c reason swapping (by a shorter reason)	: 0
1800.05/958.61	c Calls to reduceDB	: 165
1800.05/958.61	c number of reductions to clauses (during analyze)	: 0
1800.05/958.61	c number of learned constraints concerned by reduction	: 0
1800.05/958.61	c number of learning phase by resolution	: 0
1800.05/958.61	c number of learning phase by cutting planes	: 0
1800.05/958.61	c speed (assignments/second)	: 202677.1327242589
1800.05/958.61	c non guided choices	3
1800.05/958.63	c learnt constraints type 
1800.05/958.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 43463
1800.05/958.63	c constraints type 
1800.05/958.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15796
1800.05/958.63	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
1800.05/958.63	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/958.63	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15796
1800.05/958.63	c constraints type 
1800.05/958.63	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15796
1800.05/958.63	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.05/958.63	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1000
1800.05/958.63	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15796
1800.05/958.63	s SATISFIABLE
1800.05/958.63	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.05/958.63	c objective function=-124
1800.05/958.63	c Total wall clock time (in seconds): 958.5

Verifier Data 

OK	-124

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.48 3.79 3.81 3/197 2804
/proc/meminfo: memFree=29645792/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/2804/stat : 2804 (java) D 2802 2804 1279 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 338090805 9515008 175 33554432000 1073741824 1073778376 140736105931104 140736105913832 233411789712 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/2804/statm: 2323 175 133 9 0 71 0

[startup+0.0845119 s]
/proc/loadavg: 3.48 3.79 3.81 3/197 2804
/proc/meminfo: memFree=29645792/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11586364 CPUtime=0.05 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 3949 0 1 0 4 1 0 0 20 0 18 0 338090805 11864436736 12312 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2896591 12312 1757 9 0 2887285 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11586364

[startup+0.10031 s]
/proc/loadavg: 3.48 3.79 3.81 3/197 2804
/proc/meminfo: memFree=29645792/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 4014 0 1 0 6 1 0 0 20 0 18 0 338090805 11864465408 12377 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2896598 12377 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.30016 s]
/proc/loadavg: 3.48 3.79 3.81 3/197 2804
/proc/meminfo: memFree=29645792/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11586392 CPUtime=0.44 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 5787 0 1 0 42 2 0 0 20 0 18 0 338090805 11864465408 15292 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2896598 15292 2218 9 0 2887285 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 11586392

[startup+0.700169 s]
/proc/loadavg: 3.48 3.79 3.81 3/197 2804
/proc/meminfo: memFree=29645792/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11586392 CPUtime=1.56 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 18810 0 1 0 151 5 0 0 20 0 18 0 338090805 11864465408 31680 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2896598 31680 2255 9 0 2887285 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 11586392

[startup+1.50065 s]
/proc/loadavg: 3.48 3.79 3.81 7/219 2826
/proc/meminfo: memFree=29476656/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11852648 CPUtime=3.65 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 21456 0 1 0 355 10 0 0 20 0 19 0 338090805 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2963162 48772 2270 9 0 2953849 0
[pid=2804/tid=2806] ppid=2802 vsize=11852648 CPUtime=0.86 cores=0,2,4,6
/proc/2804/task/2806/stat : 2806 (java) S 2802 2804 1279 0 -1 4202560 2960 0 1 0 83 3 0 0 20 0 19 0 338090807 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321216885912 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2807] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2807/stat : 2807 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090809 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321054108200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2808] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2808/stat : 2808 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090809 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321053055400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2809] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2809/stat : 2809 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090809 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321052002600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2810] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2810/stat : 2810 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090809 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321050949800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2811] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2811/stat : 2811 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090809 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321049898024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2812] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2812/stat : 2812 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090809 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321048845224 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2813] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2813/stat : 2813 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090809 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321047792424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2814] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2814/stat : 2814 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338090809 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321046739624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2815] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2815/stat : 2815 (java) S 2802 2804 1279 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 338090810 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321034328552 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2816] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2816/stat : 2816 (java) S 2802 2804 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338090810 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321033274616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2817] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2817/stat : 2817 (java) S 2802 2804 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338090810 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321032221704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2818] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2818/stat : 2818 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090813 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321031170192 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2819] ppid=2802 vsize=11852648 CPUtime=1.06 cores=0,2,4,6
/proc/2804/task/2819/stat : 2819 (java) R 2802 2804 1279 0 -1 4202560 8671 0 0 0 104 2 0 0 20 0 19 0 338090813 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321030105856 140321220978523 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2820] ppid=2802 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/2804/task/2820/stat : 2820 (java) R 2802 2804 1279 0 -1 4202560 8515 0 0 0 102 2 0 0 20 0 19 0 338090813 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321029065024 140321222732484 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2821] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2821/stat : 2821 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090813 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321028012920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2822] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2822/stat : 2822 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338090813 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321026960328 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2825] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2825/stat : 2825 (java) S 2802 2804 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338090902 12137111552 48772 33554432000 1073741824 1073778376 140733265376016 140321023800232 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 11852648

[startup+3.10075 s]
/proc/loadavg: 3.48 3.79 3.81 3/216 2832
/proc/meminfo: memFree=29445060/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11852648 CPUtime=5.65 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 21602 0 1 0 550 15 0 0 20 0 22 0 338090805 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2963162 80592 2270 9 0 2953849 0
[pid=2804/tid=2806] ppid=2802 vsize=11852648 CPUtime=0.88 cores=0,2,4,6
/proc/2804/task/2806/stat : 2806 (java) S 2802 2804 1279 0 -1 4202560 2961 0 1 0 85 3 0 0 20 0 22 0 338090807 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321216885928 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2807] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2807/stat : 2807 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090809 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321054108200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2808] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2808/stat : 2808 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090809 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321053055400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2809] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2809/stat : 2809 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090809 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321052002600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2810] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2810/stat : 2810 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090809 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321050949800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2811] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2811/stat : 2811 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090809 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321049898024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2812] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2812/stat : 2812 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090809 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321048845224 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2813] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2813/stat : 2813 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090809 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321047792424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2814] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2814/stat : 2814 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338090809 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321046739624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2815] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2815/stat : 2815 (java) S 2802 2804 1279 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321034328552 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2816] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2816/stat : 2816 (java) S 2802 2804 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321033274616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2817] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2817/stat : 2817 (java) S 2802 2804 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321032221704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2818] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2818/stat : 2818 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321031170192 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2819] ppid=2802 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/2804/task/2819/stat : 2819 (java) S 2802 2804 1279 0 -1 4202560 8713 0 0 0 130 2 0 0 20 0 22 0 338090813 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321030118328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2820] ppid=2802 vsize=11852648 CPUtime=1.28 cores=0,2,4,6
/proc/2804/task/2820/stat : 2820 (java) S 2802 2804 1279 0 -1 4202560 8540 0 0 0 126 2 0 0 20 0 22 0 338090813 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321029065528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2821] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2821/stat : 2821 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321028012920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2822] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2822/stat : 2822 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321026960328 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2825] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2825/stat : 2825 (java) S 2802 2804 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338090902 12137111552 80592 33554432000 1073741824 1073778376 140733265376016 140321023800232 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 11852648

[startup+6.30087 s]
/proc/loadavg: 3.52 3.80 3.81 5/219 2838
/proc/meminfo: memFree=29029996/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11852648 CPUtime=11.69 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 22002 0 1 0 1136 33 0 0 20 0 22 0 338090805 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2963162 175671 2295 9 0 2953849 0
[pid=2804/tid=2806] ppid=2802 vsize=11852648 CPUtime=0.88 cores=0,2,4,6
/proc/2804/task/2806/stat : 2806 (java) S 2802 2804 1279 0 -1 4202560 2963 0 1 0 85 3 0 0 20 0 22 0 338090807 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321216885928 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2807] ppid=2802 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/2804/task/2807/stat : 2807 (java) S 2802 2804 1279 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 338090809 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321054108200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2808] ppid=2802 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/2804/task/2808/stat : 2808 (java) S 2802 2804 1279 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 22 0 338090809 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321053055400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2809] ppid=2802 vsize=11852648 CPUtime=0.04 cores=0,2,4,6
/proc/2804/task/2809/stat : 2809 (java) S 2802 2804 1279 0 -1 4202560 30 0 0 0 2 2 0 0 20 0 22 0 338090809 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321052002600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2810] ppid=2802 vsize=11852648 CPUtime=0.04 cores=0,2,4,6
/proc/2804/task/2810/stat : 2810 (java) S 2802 2804 1279 0 -1 4202560 32 0 0 0 2 2 0 0 20 0 22 0 338090809 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321050949800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2811] ppid=2802 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/2804/task/2811/stat : 2811 (java) S 2802 2804 1279 0 -1 4202560 22 0 0 0 1 2 0 0 20 0 22 0 338090809 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321049898024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2812] ppid=2802 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/2804/task/2812/stat : 2812 (java) S 2802 2804 1279 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 338090809 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321048845224 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2813] ppid=2802 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/2804/task/2813/stat : 2813 (java) S 2802 2804 1279 0 -1 4202560 15 0 0 0 0 2 0 0 20 0 22 0 338090809 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321047792424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2814] ppid=2802 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/2804/task/2814/stat : 2814 (java) S 2802 2804 1279 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 22 0 338090809 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321046739624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2815] ppid=2802 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/2804/task/2815/stat : 2815 (java) S 2802 2804 1279 0 -1 4202560 76 0 0 0 34 1 0 0 20 0 22 0 338090810 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321034328552 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2816] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2816/stat : 2816 (java) S 2802 2804 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321033274616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2817] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2817/stat : 2817 (java) S 2802 2804 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321032221704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2818] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2818/stat : 2818 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321031170192 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2819] ppid=2802 vsize=11852648 CPUtime=1.36 cores=0,2,4,6
/proc/2804/task/2819/stat : 2819 (java) S 2802 2804 1279 0 -1 4202560 8715 0 0 0 134 2 0 0 20 0 22 0 338090813 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321030118328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2820] ppid=2802 vsize=11852648 CPUtime=1.42 cores=0,2,4,6
/proc/2804/task/2820/stat : 2820 (java) S 2802 2804 1279 0 -1 4202560 8564 0 0 0 140 2 0 0 20 0 22 0 338090813 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321029065528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2821] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2821/stat : 2821 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321028012920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2822] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2822/stat : 2822 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321026960328 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2825] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2825/stat : 2825 (java) S 2802 2804 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338090902 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321023800232 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2836] ppid=2802 vsize=11852648 CPUtime=2.07 cores=0,2,4,6
/proc/2804/task/2836/stat : 2836 (java) R 2802 2804 1279 0 -1 4202560 10 0 0 0 207 0 0 0 20 0 22 0 338091198 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321025905448 140321090509808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2837] ppid=2802 vsize=11852648 CPUtime=2.07 cores=0,2,4,6
/proc/2804/task/2837/stat : 2837 (java) R 2802 2804 1279 0 -1 4202560 84 0 0 0 204 3 0 0 20 0 22 0 338091198 12137111552 175671 33554432000 1073741824 1073778376 140733265376016 140321024850816 233415162936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0

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

[pid=2804/tid=3044] ppid=2802 vsize=11852648 CPUtime=65.27 cores=0,2,4,6
/proc/2804/task/3044/stat : 3044 (java) R 2802 2804 1279 0 -1 4202560 5 0 0 0 6527 0 0 0 20 0 22 0 338164432 12137111552 485342 33554432000 1073741824 1073778376 140733265376016 140321025905360 140321090509843 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=3045] ppid=2802 vsize=11852648 CPUtime=65.26 cores=0,2,4,6
/proc/2804/task/3045/stat : 3045 (java) R 2802 2804 1279 0 -1 4202560 3 0 0 0 6526 0 0 0 20 0 22 0 338164432 12137111552 485342 33554432000 1073741824 1073778376 140733265376016 140321023797536 140321090745633 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=3046] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/3046/stat : 3046 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338164432 12137111552 485342 33554432000 1073741824 1073778376 140733265376016 140321024853160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1561.09
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.42 3.63 3.73 5/219 3075
/proc/meminfo: memFree=28747816/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11852648 CPUtime=1660.42 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 24659 0 1 0 165912 130 0 0 20 0 22 0 338090805 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2963162 498746 2297 9 0 2953849 0
[pid=2804/tid=2806] ppid=2802 vsize=11852648 CPUtime=0.97 cores=0,2,4,6
/proc/2804/task/2806/stat : 2806 (java) S 2802 2804 1279 0 -1 4202560 3082 0 1 0 92 5 0 0 20 0 22 0 338090807 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321216885912 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2807] ppid=2802 vsize=11852648 CPUtime=2.84 cores=0,2,4,6
/proc/2804/task/2807/stat : 2807 (java) S 2802 2804 1279 0 -1 4202560 248 0 0 0 281 3 0 0 20 0 22 0 338090809 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321054108200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2808] ppid=2802 vsize=11852648 CPUtime=2.7 cores=0,2,4,6
/proc/2804/task/2808/stat : 2808 (java) S 2802 2804 1279 0 -1 4202560 204 0 0 0 266 4 0 0 20 0 22 0 338090809 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321053055400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2809] ppid=2802 vsize=11852648 CPUtime=2.83 cores=0,2,4,6
/proc/2804/task/2809/stat : 2809 (java) S 2802 2804 1279 0 -1 4202560 231 0 0 0 278 5 0 0 20 0 22 0 338090809 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321052002600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2810] ppid=2802 vsize=11852648 CPUtime=2.72 cores=0,2,4,6
/proc/2804/task/2810/stat : 2810 (java) S 2802 2804 1279 0 -1 4202560 266 0 0 0 267 5 0 0 20 0 22 0 338090809 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321050949800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2811] ppid=2802 vsize=11852648 CPUtime=2.9 cores=0,2,4,6
/proc/2804/task/2811/stat : 2811 (java) S 2802 2804 1279 0 -1 4202560 284 0 0 0 286 4 0 0 20 0 22 0 338090809 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321049898024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2812] ppid=2802 vsize=11852648 CPUtime=2.59 cores=0,2,4,6
/proc/2804/task/2812/stat : 2812 (java) S 2802 2804 1279 0 -1 4202560 206 0 0 0 255 4 0 0 20 0 22 0 338090809 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321048845224 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2813] ppid=2802 vsize=11852648 CPUtime=2.6 cores=0,2,4,6
/proc/2804/task/2813/stat : 2813 (java) S 2802 2804 1279 0 -1 4202560 223 0 0 0 255 5 0 0 20 0 22 0 338090809 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321047792424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2814] ppid=2802 vsize=11852648 CPUtime=2.59 cores=0,2,4,6
/proc/2804/task/2814/stat : 2814 (java) S 2802 2804 1279 0 -1 4202560 257 0 0 0 255 4 0 0 20 0 22 0 338090809 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321046739624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2815] ppid=2802 vsize=11852648 CPUtime=104.76 cores=0,2,4,6
/proc/2804/task/2815/stat : 2815 (java) S 2802 2804 1279 0 -1 4202560 517 0 0 0 10457 19 0 0 20 0 22 0 338090810 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321034328552 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2816] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2816/stat : 2816 (java) S 2802 2804 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321033274616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2817] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2817/stat : 2817 (java) S 2802 2804 1279 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321032221704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2818] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2818/stat : 2818 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321031170192 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2819] ppid=2802 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/2804/task/2819/stat : 2819 (java) S 2802 2804 1279 0 -1 4202560 8735 0 0 0 148 2 0 0 20 0 22 0 338090813 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321030118328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2820] ppid=2802 vsize=11852648 CPUtime=1.7 cores=0,2,4,6
/proc/2804/task/2820/stat : 2820 (java) S 2802 2804 1279 0 -1 4202560 8589 0 0 0 168 2 0 0 20 0 22 0 338090813 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321029065528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2821] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2821/stat : 2821 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321028012920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2822] ppid=2802 vsize=11852648 CPUtime=0.37 cores=0,2,4,6
/proc/2804/task/2822/stat : 2822 (java) S 2802 2804 1279 0 -1 4202560 51 0 0 0 21 16 0 0 20 0 22 0 338090813 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321026960328 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=3046] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/3046/stat : 3046 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338164432 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321024853160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=3073] ppid=2802 vsize=11852648 CPUtime=17.92 cores=0,2,4,6
/proc/2804/task/3073/stat : 3073 (java) R 2802 2804 1279 0 -1 4202560 4 0 0 0 1792 0 0 0 20 0 22 0 338176290 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321023799632 140321090534102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=3074] ppid=2802 vsize=11852648 CPUtime=17.92 cores=0,2,4,6
/proc/2804/task/3074/stat : 3074 (java) R 2802 2804 1279 0 -1 4202560 4 0 0 0 1792 0 0 0 20 0 22 0 338176290 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321022744960 140321090424868 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=3075] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/3075/stat : 3075 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338176291 12137111552 498746 33554432000 1073741824 1073778376 140733265376016 140321025905448 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1660.42
Current children cumulated vsize (KiB) 11852648

[startup+942.301 s]
/proc/loadavg: 3.48 3.62 3.72 5/219 3075
/proc/meminfo: memFree=28644300/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11852648 CPUtime=1769.13 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 24797 0 1 0 176780 133 0 0 20 0 22 0 338090805 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2963162 518794 2297 9 0 2953849 0
[pid=2804/tid=2806] ppid=2802 vsize=11852648 CPUtime=0.97 cores=0,2,4,6
/proc/2804/task/2806/stat : 2806 (java) S 2802 2804 1279 0 -1 4202560 3093 0 1 0 92 5 0 0 20 0 22 0 338090807 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321216885912 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2807] ppid=2802 vsize=11852648 CPUtime=3.02 cores=0,2,4,6
/proc/2804/task/2807/stat : 2807 (java) S 2802 2804 1279 0 -1 4202560 259 0 0 0 299 3 0 0 20 0 22 0 338090809 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321054108200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2808] ppid=2802 vsize=11852648 CPUtime=2.89 cores=0,2,4,6
/proc/2804/task/2808/stat : 2808 (java) S 2802 2804 1279 0 -1 4202560 222 0 0 0 285 4 0 0 20 0 22 0 338090809 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321053055400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2809] ppid=2802 vsize=11852648 CPUtime=3 cores=0,2,4,6
/proc/2804/task/2809/stat : 2809 (java) S 2802 2804 1279 0 -1 4202560 239 0 0 0 295 5 0 0 20 0 22 0 338090809 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321052002600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2810] ppid=2802 vsize=11852648 CPUtime=2.86 cores=0,2,4,6
/proc/2804/task/2810/stat : 2810 (java) S 2802 2804 1279 0 -1 4202560 266 0 0 0 281 5 0 0 20 0 22 0 338090809 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321050949800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2811] ppid=2802 vsize=11852648 CPUtime=3.12 cores=0,2,4,6
/proc/2804/task/2811/stat : 2811 (java) S 2802 2804 1279 0 -1 4202560 286 0 0 0 308 4 0 0 20 0 22 0 338090809 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321049898024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2812] ppid=2802 vsize=11852648 CPUtime=2.8 cores=0,2,4,6
/proc/2804/task/2812/stat : 2812 (java) S 2802 2804 1279 0 -1 4202560 219 0 0 0 276 4 0 0 20 0 22 0 338090809 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321048845224 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2813] ppid=2802 vsize=11852648 CPUtime=2.82 cores=0,2,4,6
/proc/2804/task/2813/stat : 2813 (java) S 2802 2804 1279 0 -1 4202560 238 0 0 0 277 5 0 0 20 0 22 0 338090809 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321047792424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2814] ppid=2802 vsize=11852648 CPUtime=2.76 cores=0,2,4,6
/proc/2804/task/2814/stat : 2814 (java) S 2802 2804 1279 0 -1 4202560 270 0 0 0 272 4 0 0 20 0 22 0 338090809 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321046739624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2815] ppid=2802 vsize=11852648 CPUtime=116.75 cores=0,2,4,6
/proc/2804/task/2815/stat : 2815 (java) S 2802 2804 1279 0 -1 4202560 560 0 0 0 11655 20 0 0 20 0 22 0 338090810 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321034328552 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2816] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2816/stat : 2816 (java) S 2802 2804 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321033274616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2817] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2817/stat : 2817 (java) S 2802 2804 1279 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321032221704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2818] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2818/stat : 2818 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321031170192 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2819] ppid=2802 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/2804/task/2819/stat : 2819 (java) S 2802 2804 1279 0 -1 4202560 8735 0 0 0 148 2 0 0 20 0 22 0 338090813 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321030118328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2820] ppid=2802 vsize=11852648 CPUtime=1.7 cores=0,2,4,6
/proc/2804/task/2820/stat : 2820 (java) S 2802 2804 1279 0 -1 4202560 8589 0 0 0 168 2 0 0 20 0 22 0 338090813 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321029065528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2821] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2821/stat : 2821 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321028012920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2822] ppid=2802 vsize=11852648 CPUtime=0.39 cores=0,2,4,6
/proc/2804/task/2822/stat : 2822 (java) S 2802 2804 1279 0 -1 4202560 55 0 0 0 23 16 0 0 20 0 22 0 338090813 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321026960328 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=3046] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/3046/stat : 3046 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338164432 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321024853160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=3073] ppid=2802 vsize=11852648 CPUtime=65.53 cores=0,2,4,6
/proc/2804/task/3073/stat : 3073 (java) R 2802 2804 1279 0 -1 4202560 4 0 0 0 6553 0 0 0 20 0 22 0 338176290 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321023799632 140321090534056 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=3074] ppid=2802 vsize=11852648 CPUtime=65.53 cores=0,2,4,6
/proc/2804/task/3074/stat : 3074 (java) R 2802 2804 1279 0 -1 4202560 4 0 0 0 6553 0 0 0 20 0 22 0 338176290 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321022744960 140321090436340 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=3075] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/3075/stat : 3075 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338176291 12137111552 518794 33554432000 1073741824 1073778376 140733265376016 140321025905448 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1769.13
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+958.601 s]
/proc/loadavg: 3.56 3.63 3.72 6/219 3075
/proc/meminfo: memFree=28631888/32873844 swapFree=7116/7116
[pid=2804] ppid=2802 vsize=11852648 CPUtime=1800.05 cores=0,2,4,6
/proc/2804/stat : 2804 (java) S 2802 2804 1279 0 -1 4202496 24818 0 1 0 179871 134 0 0 20 0 22 0 338090805 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140733265367152 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2804/statm: 2963162 518813 2297 9 0 2953849 0
[pid=2804/tid=2806] ppid=2802 vsize=11852648 CPUtime=0.97 cores=0,2,4,6
/proc/2804/task/2806/stat : 2806 (java) S 2802 2804 1279 0 -1 4202560 3095 0 1 0 92 5 0 0 20 0 22 0 338090807 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321216885912 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2807] ppid=2802 vsize=11852648 CPUtime=3.05 cores=0,2,4,6
/proc/2804/task/2807/stat : 2807 (java) S 2802 2804 1279 0 -1 4202560 265 0 0 0 302 3 0 0 20 0 22 0 338090809 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321054108200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2808] ppid=2802 vsize=11852648 CPUtime=2.91 cores=0,2,4,6
/proc/2804/task/2808/stat : 2808 (java) S 2802 2804 1279 0 -1 4202560 222 0 0 0 287 4 0 0 20 0 22 0 338090809 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321053055400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2809] ppid=2802 vsize=11852648 CPUtime=3.06 cores=0,2,4,6
/proc/2804/task/2809/stat : 2809 (java) S 2802 2804 1279 0 -1 4202560 240 0 0 0 301 5 0 0 20 0 22 0 338090809 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321052002600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2810] ppid=2802 vsize=11852648 CPUtime=2.89 cores=0,2,4,6
/proc/2804/task/2810/stat : 2810 (java) S 2802 2804 1279 0 -1 4202560 266 0 0 0 284 5 0 0 20 0 22 0 338090809 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321050949800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2811] ppid=2802 vsize=11852648 CPUtime=3.15 cores=0,2,4,6
/proc/2804/task/2811/stat : 2811 (java) S 2802 2804 1279 0 -1 4202560 294 0 0 0 311 4 0 0 20 0 22 0 338090809 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321049898024 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2812] ppid=2802 vsize=11852648 CPUtime=2.82 cores=0,2,4,6
/proc/2804/task/2812/stat : 2812 (java) S 2802 2804 1279 0 -1 4202560 219 0 0 0 278 4 0 0 20 0 22 0 338090809 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321048845224 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2813] ppid=2802 vsize=11852648 CPUtime=2.88 cores=0,2,4,6
/proc/2804/task/2813/stat : 2813 (java) S 2802 2804 1279 0 -1 4202560 238 0 0 0 283 5 0 0 20 0 22 0 338090809 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321047792424 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2814] ppid=2802 vsize=11852648 CPUtime=2.82 cores=0,2,4,6
/proc/2804/task/2814/stat : 2814 (java) S 2802 2804 1279 0 -1 4202560 274 0 0 0 278 4 0 0 20 0 22 0 338090809 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321046739624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2815] ppid=2802 vsize=11852648 CPUtime=118.61 cores=0,2,4,6
/proc/2804/task/2815/stat : 2815 (java) S 2802 2804 1279 0 -1 4202560 560 0 0 0 11841 20 0 0 20 0 22 0 338090810 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321034328552 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=2816] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2816/stat : 2816 (java) S 2802 2804 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321033274616 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=2817] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2817/stat : 2817 (java) S 2802 2804 1279 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 338090810 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321032221704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2818] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2818/stat : 2818 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321031170192 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2819] ppid=2802 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/2804/task/2819/stat : 2819 (java) S 2802 2804 1279 0 -1 4202560 8735 0 0 0 148 2 0 0 20 0 22 0 338090813 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321030118328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=2820] ppid=2802 vsize=11852648 CPUtime=1.7 cores=0,2,4,6
/proc/2804/task/2820/stat : 2820 (java) S 2802 2804 1279 0 -1 4202560 8589 0 0 0 168 2 0 0 20 0 22 0 338090813 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321029065528 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2821] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/2821/stat : 2821 (java) S 2802 2804 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338090813 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321028012920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=2822] ppid=2802 vsize=11852648 CPUtime=0.4 cores=0,2,4,6
/proc/2804/task/2822/stat : 2822 (java) S 2802 2804 1279 0 -1 4202560 55 0 0 0 23 17 0 0 20 0 22 0 338090813 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321026960328 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2804/tid=3046] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/3046/stat : 3046 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338164432 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321024853160 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2804/tid=3073] ppid=2802 vsize=11852648 CPUtime=79.9 cores=0,2,4,6
/proc/2804/task/3073/stat : 3073 (java) R 2802 2804 1279 0 -1 4202560 4 0 0 0 7989 1 0 0 20 0 22 0 338176290 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321023799632 140321089476546 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2804/tid=3074] ppid=2802 vsize=11852648 CPUtime=79.9 cores=0,2,4,6
/proc/2804/task/3074/stat : 3074 (java) R 2802 2804 1279 0 -1 4202560 4 0 0 0 7989 1 0 0 20 0 22 0 338176290 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321022744992 140321090424773 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2804/tid=3075] ppid=2802 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2804/task/3075/stat : 3075 (java) S 2802 2804 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338176291 12137111552 518813 33554432000 1073741824 1073778376 140733265376016 140321025905448 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 11852648

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): 958.657
CPU time (s): 1800.23
CPU user time (s): 1798.7
CPU system time (s): 1.53177
CPU usage (%): 187.787
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.7
system time used= 1.53177
maximum resident set size= 2075364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24848
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27531
involuntary context switches= 42569

runsolver used 3.45147 second user time and 8.76467 second system time

The end

Launcher Data 

Begin job on node111 at 2012-06-03 12:33:58
IDJOB=3737097
IDBENCH=48177
IDSOLVER=2328
FILE ID=node111/3737097-1338719638
RUNJOBID= node111-1338712999-1295
PBS_JOBID= 14636722
Free space on /tmp= 67396 MiB

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

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

MD5SUM BENCH= d847cf1d914db0ec942abd195c5092c7
RANDOM SEED=1566704392

node111.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.152
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.152
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.152
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.152
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29646056 kB
Buffers:          187180 kB
Cached:           508472 kB
SwapCached:         1404 kB
Active:          1898360 kB
Inactive:         535516 kB
Active(anon):    1739080 kB
Inactive(anon):     1276 kB
Active(file):     159280 kB
Inactive(file):   534240 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100152 kB
Dirty:               844 kB
Writeback:             0 kB
AnonPages:       1749824 kB
Mapped:            17072 kB
Shmem:                 0 kB
Slab:             646196 kB
SReclaimable:      88284 kB
SUnreclaim:       557912 kB
KernelStack:        1624 kB
PageTables:         7556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10459968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1691648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 67396 MiB
End job on node111 at 2012-06-03 12:49:59