Trace number 4085506

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)35 1800.02 1798.25

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir04_area_opers.opb
MD5SUMe746daa468953b69c2293c7909733538
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark0.015996
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved YES
Number of variables1614
Total number of constraints2783
Number of constraints which are clauses2783
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 879
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 879
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 879
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4085506-1465252300.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.28/0.29	c ... done. Wall clock time 0.178s.
0.28/0.29	c declared #vars     1614
0.28/0.29	c #constraints  2783
0.28/0.29	c constraints type 
0.28/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 753
0.28/0.29	c org.sat4j.minisat.constraints.cnf.UnitClause => 3
0.28/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2027
0.28/0.29	c 2783 constraints processed.
0.28/0.29	c objective function length is 879 literals
0.49/0.31	c SATISFIABLE
0.49/0.31	c OPTIMIZING...
0.49/0.31	c Got one! Elapsed wall clock time (in seconds):0.206
0.49/0.31	o 37
0.75/0.43	c Got one! Elapsed wall clock time (in seconds):0.326
0.75/0.43	o 36
1.31/0.83	c cleaning 2702 clauses out of 5419 with flag 13192/5419
1.82/1.29	c cleaning 4355 clauses out of 8717 with flag 31154/11419
3.12/2.57	c cleaning 5673 clauses out of 11362 with flag 61512/18419
4.54/3.90	c cleaning 6826 clauses out of 13689 with flag 94831/26419
5.94/5.39	c cleaning 7921 clauses out of 15863 with flag 132569/35419
7.65/7.04	c cleaning 8964 clauses out of 17943 with flag 169424/45420
9.56/8.95	c cleaning 9989 clauses out of 19978 with flag 221864/56419
11.95/11.33	c cleaning 10978 clauses out of 21990 with flag 270423/68420
14.45/13.81	c cleaning 12003 clauses out of 24012 with flag 323411/81420
17.05/16.47	c cleaning 12989 clauses out of 26008 with flag 377196/95419
20.04/19.48	c cleaning 13994 clauses out of 28019 with flag 432002/110419
23.34/22.75	c cleaning 15008 clauses out of 30029 with flag 491167/126423
26.74/26.17	c cleaning 16004 clauses out of 32018 with flag 554963/143420
30.45/29.85	c cleaning 16990 clauses out of 34013 with flag 630658/161419
34.24/33.63	c cleaning 17985 clauses out of 36023 with flag 716226/180419
38.15/37.51	c cleaning 19004 clauses out of 38039 with flag 812249/200420
42.04/41.44	c cleaning 20005 clauses out of 40035 with flag 895269/221420
46.43/45.84	c cleaning 20999 clauses out of 42029 with flag 981839/243419
51.04/50.42	c cleaning 22013 clauses out of 44030 with flag 1068312/266419
55.75/55.12	c cleaning 22984 clauses out of 46017 with flag 1163088/290419
60.74/60.16	c cleaning 24007 clauses out of 48033 with flag 1257927/315419
66.04/65.44	c cleaning 25007 clauses out of 50026 with flag 1375260/341419
71.73/71.11	c cleaning 25988 clauses out of 52019 with flag 1522875/368419
78.03/77.43	c cleaning 27013 clauses out of 54031 with flag 1678887/396419
84.24/83.65	c cleaning 27992 clauses out of 56018 with flag 1825355/425419
91.13/90.50	c cleaning 29008 clauses out of 58026 with flag 2010932/455419
98.33/97.71	c cleaning 29994 clauses out of 60018 with flag 2209132/486419
105.68/105.09	c cleaning 30997 clauses out of 62024 with flag 2392463/518419
113.28/112.67	c cleaning 32001 clauses out of 64027 with flag 2552797/551419
121.88/121.21	c cleaning 32973 clauses out of 66026 with flag 2751803/585419
130.38/129.71	c cleaning 34018 clauses out of 68053 with flag 2977232/620419
138.68/138.06	c cleaning 35014 clauses out of 70035 with flag 3214600/656419
147.47/146.90	c cleaning 36004 clauses out of 72021 with flag 3442286/693419
156.57/155.97	c cleaning 36983 clauses out of 74017 with flag 3676892/731419
165.68/165.08	c cleaning 38001 clauses out of 76034 with flag 3879421/770419
175.77/175.12	c cleaning 39001 clauses out of 78035 with flag 4101551/810421
185.47/184.90	c cleaning 40014 clauses out of 80033 with flag 4366777/851420
196.27/195.61	c cleaning 41001 clauses out of 82018 with flag 4588062/893419
207.27/206.63	c cleaning 41993 clauses out of 84018 with flag 4848684/936420
217.97/217.33	c cleaning 42990 clauses out of 86025 with flag 5144388/980420
229.63/228.92	c cleaning 43982 clauses out of 88036 with flag 5435255/1025421
240.72/240.00	c cleaning 44995 clauses out of 90052 with flag 5683252/1071419
252.12/251.44	c cleaning 46021 clauses out of 92057 with flag 5913735/1118419
264.82/264.12	c cleaning 46990 clauses out of 94038 with flag 6159163/1166421
276.83/276.12	c cleaning 48012 clauses out of 96047 with flag 6472192/1215420
289.32/288.60	c cleaning 48993 clauses out of 98034 with flag 6796414/1265419
302.12/301.43	c cleaning 50006 clauses out of 100041 with flag 7108159/1316419
316.12/315.47	c cleaning 51002 clauses out of 102035 with flag 7400375/1368419
331.21/330.50	c cleaning 52013 clauses out of 104034 with flag 7667286/1421420
344.41/343.75	c cleaning 53005 clauses out of 106020 with flag 7932408/1475419
357.81/357.19	c cleaning 53983 clauses out of 108015 with flag 8168145/1530419
370.96/370.25	c cleaning 55014 clauses out of 110033 with flag 8436709/1586420
384.87/384.13	c cleaning 56002 clauses out of 112020 with flag 8674097/1643421
399.76/399.06	c cleaning 56996 clauses out of 114016 with flag 8893037/1701419
415.66/414.97	c cleaning 58008 clauses out of 116021 with flag 9117720/1760420
431.26/430.51	c cleaning 58995 clauses out of 118012 with flag 9343435/1820419
447.55/446.85	c cleaning 59992 clauses out of 120017 with flag 9560348/1881419
463.65/462.90	c cleaning 60991 clauses out of 122028 with flag 9783623/1943422
480.25/479.52	c cleaning 62005 clauses out of 124034 with flag 10026324/2006419
496.45/495.78	c cleaning 63010 clauses out of 126030 with flag 10277815/2070420
513.76/513.07	c cleaning 63981 clauses out of 128019 with flag 10561487/2135419
532.67/531.85	c cleaning 64994 clauses out of 130038 with flag 10931834/2201419
551.66/550.86	c cleaning 66007 clauses out of 132044 with flag 11284762/2268419
569.96/569.10	c cleaning 67007 clauses out of 134041 with flag 11688029/2336423
590.27/589.45	c cleaning 68008 clauses out of 136033 with flag 12080885/2405422
611.96/611.13	c cleaning 68982 clauses out of 138022 with flag 12502069/2475419
634.26/633.49	c cleaning 69988 clauses out of 140040 with flag 12891245/2546419
644.66/643.83	c Got one! Elapsed wall clock time (in seconds):643.724
644.66/643.83	o 35
645.57/644.72	c cleaning 57027 clauses out of 114106 with flag 16986/2590473
646.76/645.90	c cleaning 31522 clauses out of 63078 with flag 41756/2596472
648.16/647.37	c cleaning 19270 clauses out of 38556 with flag 76007/2603472
649.76/648.94	c cleaning 13642 clauses out of 27287 with flag 105758/2611473
651.46/650.70	c cleaning 11308 clauses out of 22644 with flag 140400/2620472
653.46/652.65	c cleaning 10661 clauses out of 21337 with flag 177696/2630473
655.56/654.75	c cleaning 10817 clauses out of 21675 with flag 219663/2641472
657.86/657.04	c cleaning 11403 clauses out of 22859 with flag 270574/2653473
660.16/659.37	c cleaning 12216 clauses out of 24455 with flag 320842/2666472
662.76/661.98	c cleaning 13107 clauses out of 26239 with flag 376317/2680472
665.76/664.82	c cleaning 14055 clauses out of 28132 with flag 435168/2695472
668.66/667.72	c cleaning 15025 clauses out of 30077 with flag 514988/2711472
671.96/671.08	c cleaning 16024 clauses out of 32052 with flag 600162/2728472
675.95/675.08	c cleaning 16996 clauses out of 34028 with flag 675167/2746472
680.35/679.42	c cleaning 18005 clauses out of 36035 with flag 758649/2765475
684.85/683.98	c cleaning 19002 clauses out of 38027 with flag 834738/2785472
689.25/688.37	c cleaning 20007 clauses out of 40025 with flag 928969/2806472
693.35/692.43	c cleaning 20999 clauses out of 42019 with flag 1018548/2828473
697.85/696.96	c cleaning 21995 clauses out of 44019 with flag 1132630/2851472
702.87/701.96	c cleaning 22995 clauses out of 46025 with flag 1252247/2875473
708.06/707.12	c cleaning 24001 clauses out of 48029 with flag 1357887/2900472
713.46/712.51	c cleaning 24991 clauses out of 50028 with flag 1463245/2926472
718.86/717.94	c cleaning 26012 clauses out of 52037 with flag 1590631/2953472
724.65/723.73	c cleaning 26997 clauses out of 54025 with flag 1746791/2981472
730.95/730.02	c cleaning 28001 clauses out of 56028 with flag 1862869/3010472
737.96/737.05	c cleaning 29008 clauses out of 58027 with flag 1978224/3040472
744.95/744.07	c cleaning 30003 clauses out of 60021 with flag 2113624/3071474
751.85/750.96	c cleaning 31008 clauses out of 62017 with flag 2243038/3103473
759.45/758.58	c cleaning 31980 clauses out of 64008 with flag 2392004/3136472
766.56/765.67	c cleaning 33004 clauses out of 66030 with flag 2566711/3170474
774.26/773.37	c cleaning 33991 clauses out of 68024 with flag 2743707/3205472
782.45/781.53	c cleaning 35013 clauses out of 70033 with flag 2897765/3241472
791.86/790.82	c cleaning 36007 clauses out of 72024 with flag 3072470/3278476
801.06/800.09	c cleaning 36997 clauses out of 74013 with flag 3259128/3316472
811.26/810.22	c cleaning 37994 clauses out of 76017 with flag 3473365/3355473
820.96/819.99	c cleaning 38965 clauses out of 78022 with flag 3682990/3395472
831.36/830.35	c cleaning 40015 clauses out of 80057 with flag 3875443/3436472
842.06/841.09	c cleaning 41007 clauses out of 82042 with flag 4050933/3478472
853.36/852.34	c cleaning 42003 clauses out of 84035 with flag 4239229/3521472
865.16/864.17	c cleaning 42988 clauses out of 86033 with flag 4400393/3565473
877.16/876.11	c cleaning 44010 clauses out of 88044 with flag 4581853/3610472
889.55/888.53	c cleaning 44985 clauses out of 90034 with flag 4798458/3656472
902.26/901.26	c cleaning 46008 clauses out of 92049 with flag 5036236/3703472
916.06/915.08	c cleaning 46985 clauses out of 94041 with flag 5249988/3751472
930.89/929.73	c cleaning 48022 clauses out of 96059 with flag 5454852/3800475
945.19/944.03	c cleaning 48998 clauses out of 98034 with flag 5682322/3850472
959.70/958.59	c cleaning 49996 clauses out of 100038 with flag 5883271/3901474
975.00/973.85	c cleaning 51003 clauses out of 102041 with flag 6082133/3953473
989.90/988.76	c cleaning 52008 clauses out of 104039 with flag 6257404/4006474
1005.29/1004.13	c cleaning 52993 clauses out of 106029 with flag 6488556/4060472
1019.99/1018.82	c cleaning 53999 clauses out of 108036 with flag 6773126/4115472
1034.79/1033.69	c cleaning 55002 clauses out of 110037 with flag 7082444/4171472
1051.19/1050.05	c cleaning 56008 clauses out of 112035 with flag 7344167/4228472
1068.79/1067.65	c cleaning 57009 clauses out of 114027 with flag 7590546/4286472
1086.88/1085.69	c cleaning 58008 clauses out of 116020 with flag 7817577/4345474
1105.48/1104.29	c cleaning 58995 clauses out of 118010 with flag 8048519/4405472
1123.99/1122.77	c cleaning 59994 clauses out of 120015 with flag 8290510/4466472
1143.89/1142.69	c cleaning 61001 clauses out of 122024 with flag 8531424/4528475
1165.19/1163.94	c cleaning 61995 clauses out of 124020 with flag 8740312/4591472
1186.49/1185.27	c cleaning 62997 clauses out of 126030 with flag 8944247/4655477
1206.90/1205.65	c cleaning 64007 clauses out of 128028 with flag 9173218/4720472
1227.49/1226.26	c cleaning 64989 clauses out of 130021 with flag 9426759/4786472
1251.13/1249.71	c cleaning 65984 clauses out of 132032 with flag 9682044/4853472
1273.32/1271.95	c cleaning 67015 clauses out of 134048 with flag 9949383/4921472
1295.22/1293.86	c cleaning 67995 clauses out of 136033 with flag 10229353/4990472
1318.33/1316.97	c cleaning 68996 clauses out of 138038 with flag 10504115/5060472
1342.43/1341.07	c cleaning 69995 clauses out of 140042 with flag 10771599/5131472
1367.42/1366.03	c cleaning 71020 clauses out of 142047 with flag 11031020/5203472
1392.82/1391.44	c cleaning 71978 clauses out of 144027 with flag 11290621/5276472
1418.77/1417.21	c cleaning 72996 clauses out of 146049 with flag 11563191/5350472
1444.67/1443.12	c cleaning 74021 clauses out of 148059 with flag 11828019/5425478
1471.29/1469.76	c cleaning 74993 clauses out of 150032 with flag 12160701/5501472
1496.07/1494.58	c cleaning 76020 clauses out of 152040 with flag 12467816/5578473
1517.97/1516.43	c cleaning 77005 clauses out of 154020 with flag 12770832/5656473
1543.17/1541.64	c cleaning 77996 clauses out of 156014 with flag 13168556/5735472
1567.47/1565.94	c cleaning 79001 clauses out of 158018 with flag 13478051/5815472
1592.92/1591.28	c cleaning 80004 clauses out of 160017 with flag 13807986/5896472
1617.22/1615.53	c cleaning 81001 clauses out of 162013 with flag 14066818/5978472
1642.02/1640.39	c cleaning 81995 clauses out of 164012 with flag 14358055/6061472
1673.42/1671.70	c cleaning 82990 clauses out of 166017 with flag 14790957/6145472
1705.62/1703.90	c cleaning 83967 clauses out of 168027 with flag 15224744/6230472
1736.33/1734.50	c cleaning 85020 clauses out of 170060 with flag 15690633/6316472
1766.42/1764.64	c cleaning 86004 clauses out of 172040 with flag 16228495/6403472
1799.82/1798.09	c cleaning 86982 clauses out of 174036 with flag 16776879/6491472
1800.02/1798.20	c starts		: 7572
1800.02/1798.20	c conflicts		: 6491890
1800.02/1798.20	c decisions		: 35533281
1800.02/1798.20	c propagations		: 5027515737
1800.02/1798.20	c inspects		: 18597787400
1800.02/1798.20	c shortcuts		: 0
1800.02/1798.20	c learnt literals	: 0
1800.02/1798.20	c learnt binary clauses	: 0
1800.02/1798.20	c learnt ternary clauses	: 1
1800.02/1798.20	c learnt constraints	: 6491890
1800.02/1798.20	c ignored constraints	: 0
1800.02/1798.20	c root simplifications	: 0
1800.02/1798.20	c removed literals (reason simplification)	: 0
1800.02/1798.20	c reason swapping (by a shorter reason)	: 0
1800.02/1798.20	c Calls to reduceDB	: 151
1800.02/1798.20	c Number of update (reduction) of LBD	: 2944071
1800.02/1798.20	c Imported unit clauses	: 0
1800.02/1798.20	c number of reductions to clauses (during analyze)	: 0
1800.02/1798.20	c number of learned constraints concerned by reduction	: 0
1800.02/1798.20	c number of learning phase by resolution	: 0
1800.02/1798.20	c number of learning phase by cutting planes	: 0
1800.02/1798.20	c speed (assignments/second)	: 2796311.3376086676
1800.02/1798.20	c non guided choices	0
1800.02/1798.23	c learnt constraints type 
1800.02/1798.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 87473
1800.02/1798.23	s SATISFIABLE
1800.02/1798.23	c Found 3 solution(s)
1800.02/1798.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 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 x1572 -x1573 x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 x1604 -x1605 -x1606 x1607 -x1608 -x1609 x1610 -x1611 x1612 x1613 x1614 
1800.02/1798.23	c objective function=35
1800.02/1798.23	c Total wall clock time (in seconds): 1798.126

Verifier Data 

OK	35

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4085506-1465252300/watcher-4085506-1465252300 -o /tmp/evaluation-result-4085506-1465252300/solver-4085506-1465252300 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465245095-8451 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085506-1465252300.opb 

pid=9649
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.09 2.05 2.01 3/192 9652
/proc/meminfo: memFree=31414144/32872528 swapFree=13256/481332
[pid=9652] ppid=9649 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/9652/stat : 9652 (java) S 9649 9652 8435 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 107164820 98570240 976 33554432000 1073741824 1073778376 140734806307424 140734806298560 235378081853 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9652/statm: 24065 976 743 9 0 16771 0
[pid=9652/tid=9653] ppid=9649 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9653/stat : 9653 (java) R 9649 9652 8435 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 107164820 98570240 976 33554432000 1073741824 1073778376 140734806307424 140317913894440 235374724480 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100114 s]
/proc/loadavg: 2.09 2.05 2.01 3/192 9652
/proc/meminfo: memFree=31414144/32872528 swapFree=13256/481332
[pid=9652] ppid=9649 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/9652/stat : 9652 (java) S 9649 9652 8435 0 -1 4202496 4427 0 1 0 10 1 0 0 20 0 18 0 107164820 9787879424 6062 33554432000 1073741824 1073778376 140734806307424 140734806298560 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9652/statm: 2389619 6062 2140 9 0 2380296 0
[pid=9652/tid=9653] ppid=9649 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/9652/task/9653/stat : 9653 (java) R 9649 9652 8435 0 -1 4202560 2379 0 1 0 6 2 0 0 20 0 18 0 107164820 9787879424 6062 33554432000 1073741824 1073778376 140734806307424 140317913897280 140317921326369 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200311 s]
/proc/loadavg: 2.09 2.05 2.01 3/192 9652
/proc/meminfo: memFree=31414144/32872528 swapFree=13256/481332
[pid=9652] ppid=9649 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/9652/stat : 9652 (java) S 9649 9652 8435 0 -1 4202496 4999 0 1 0 27 1 0 0 20 0 18 0 107164820 9787879424 6970 33554432000 1073741824 1073778376 140734806307424 140734806298560 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9652/statm: 2389619 6970 2216 9 0 2380296 0
[pid=9652/tid=9653] ppid=9649 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/9652/task/9653/stat : 9653 (java) R 9649 9652 8435 0 -1 4202560 2398 0 1 0 16 2 0 0 20 0 18 0 107164820 9787879424 6970 33554432000 1073741824 1073778376 140734806307424 140317913897280 140317920368721 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300304 s]
/proc/loadavg: 2.09 2.05 2.01 3/192 9652
/proc/meminfo: memFree=31414144/32872528 swapFree=13256/481332
[pid=9652] ppid=9649 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/9652/stat : 9652 (java) S 9649 9652 8435 0 -1 4202496 5819 0 1 0 47 2 0 0 20 0 19 0 107164820 9856040960 8328 33554432000 1073741824 1073778376 140734806307424 140734806298560 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9652/statm: 2406260 8328 2238 9 0 2396937 0
[pid=9652/tid=9653] ppid=9649 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/9652/task/9653/stat : 9653 (java) R 9649 9652 8435 0 -1 4202560 2409 0 1 0 26 2 0 0 20 0 19 0 107164820 9856040960 8328 33554432000 1073741824 1073778376 140734806307424 140317913899648 140317739265382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040

[startup+0.700249 s]
/proc/loadavg: 2.09 2.05 2.01 3/192 9652
/proc/meminfo: memFree=31414144/32872528 swapFree=13256/481332
[pid=9652] ppid=9649 vsize=9625040 CPUtime=1.2 cores=0,2,4,6
/proc/9652/stat : 9652 (java) S 9649 9652 8435 0 -1 4202496 8167 0 1 0 118 2 0 0 20 0 19 0 107164820 9856040960 10689 33554432000 1073741824 1073778376 140734806307424 140734806298560 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9652/statm: 2406260 10689 2251 9 0 2396937 0
[pid=9652/tid=9653] ppid=9649 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/9652/task/9653/stat : 9653 (java) R 9649 9652 8435 0 -1 4202560 2414 0 1 0 66 2 0 0 20 0 19 0 107164820 9856040960 10689 33554432000 1073741824 1073778376 140734806307424 140317913899384 140317739302156 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9625040

[startup+1.5007 s]
/proc/loadavg: 2.08 2.05 2.00 3/211 9671
/proc/meminfo: memFree=31375724/32872528 swapFree=13256/481332
[pid=9652] ppid=9649 vsize=9625040 CPUtime=2.12 cores=0,2,4,6
/proc/9652/stat : 9652 (java) S 9649 9652 8435 0 -1 4202496 8936 0 1 0 209 3 0 0 20 0 19 0 107164820 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140734806298560 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9652/statm: 2406260 11050 2260 9 0 2396937 0
[pid=9652/tid=9653] ppid=9649 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/9652/task/9653/stat : 9653 (java) R 9649 9652 8435 0 -1 4202560 2416 0 1 0 146 2 0 0 20 0 19 0 107164820 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317913898344 140317739943119 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9655] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9655/stat : 9655 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317875391016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9656] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9656/stat : 9656 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317874338216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9657] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9657/stat : 9657 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317873285416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9652/tid=9658] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9658/stat : 9658 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317872232616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9659] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9659/stat : 9659 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317871180840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9660] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9660/stat : 9660 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317870128040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9661] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9661/stat : 9661 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317869075240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9662] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9662/stat : 9662 (java) S 9649 9652 8435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317868022440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9663] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9663/stat : 9663 (java) S 9649 9652 8435 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107164822 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317738129896 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9664] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9664/stat : 9664 (java) S 9649 9652 8435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107164823 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317737075960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9665] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9665/stat : 9665 (java) S 9649 9652 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107164823 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317736023048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9666] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9666/stat : 9666 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164825 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317734971536 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9667] ppid=9649 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/9652/task/9667/stat : 9667 (java) S 9649 9652 8435 0 -1 4202560 2027 0 0 0 28 0 0 0 20 0 19 0 107164825 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317733919672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9668] ppid=9649 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/9652/task/9668/stat : 9668 (java) S 9649 9652 8435 0 -1 4202560 3221 0 0 0 31 0 0 0 20 0 19 0 107164825 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317732866872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9669] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9669/stat : 9669 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164825 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317731814264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9670] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9670/stat : 9670 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164825 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317730761672 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9671] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9671/stat : 9671 (java) S 9649 9652 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107164850 9856040960 11050 33554432000 1073741824 1073778376 140734806307424 140317729658024 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 9625040

[startup+3.10071 s]
/proc/loadavg: 2.08 2.05 2.00 3/211 9671
/proc/meminfo: memFree=31373428/32872528 swapFree=13256/481332
[pid=9652] ppid=9649 vsize=9625040 CPUtime=3.73 cores=0,2,4,6
/proc/9652/stat : 9652 (java) S 9649 9652 8435 0 -1 4202496 8938 0 1 0 370 3 0 0 20 0 19 0 107164820 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140734806298560 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9652/statm: 2406260 11562 2260 9 0 2396937 0
[pid=9652/tid=9653] ppid=9649 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/9652/task/9653/stat : 9653 (java) R 9649 9652 8435 0 -1 4202560 2418 0 1 0 306 2 0 0 20 0 19 0 107164820 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317913890512 140317739724977 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9655] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9655/stat : 9655 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317875391016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9656] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9656/stat : 9656 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317874338216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9657] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9657/stat : 9657 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317873285416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9652/tid=9658] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9658/stat : 9658 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317872232616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9659] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9659/stat : 9659 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317871180840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9660] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9660/stat : 9660 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317870128040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9661] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9661/stat : 9661 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317869075240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9662] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9662/stat : 9662 (java) S 9649 9652 8435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317868022440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9663] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9663/stat : 9663 (java) S 9649 9652 8435 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107164822 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317738129896 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9664] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9664/stat : 9664 (java) S 9649 9652 8435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107164823 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317737075960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9665] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9665/stat : 9665 (java) S 9649 9652 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107164823 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317736023048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9666] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9666/stat : 9666 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164825 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317734971536 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9667] ppid=9649 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/9652/task/9667/stat : 9667 (java) S 9649 9652 8435 0 -1 4202560 2027 0 0 0 29 0 0 0 20 0 19 0 107164825 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317733919672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9668] ppid=9649 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/9652/task/9668/stat : 9668 (java) S 9649 9652 8435 0 -1 4202560 3221 0 0 0 31 0 0 0 20 0 19 0 107164825 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317732866872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9669] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9669/stat : 9669 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164825 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317731814264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9670] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9670/stat : 9670 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164825 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317730761672 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9671] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9671/stat : 9671 (java) S 9649 9652 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107164850 9856040960 11562 33554432000 1073741824 1073778376 140734806307424 140317729658024 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 9625040

[startup+6.30072 s]
/proc/loadavg: 2.08 2.05 2.00 3/211 9671
/proc/meminfo: memFree=31359916/32872528 swapFree=13256/481332
[pid=9652] ppid=9649 vsize=9625040 CPUtime=6.95 cores=0,2,4,6
/proc/9652/stat : 9652 (java) S 9649 9652 8435 0 -1 4202496 8949 0 1 0 692 3 0 0 20 0 19 0 107164820 9856040960 12323 33554432000 1073741824 1073778376 140734806307424 140734806298560 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9652/statm: 2406260 12323 2261 9 0 2396937 0
[pid=9652/tid=9653] ppid=9649 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/9652/task/9653/stat : 9653 (java) R 9649 9652 8435 0 -1 4202560 2421 0 1 0 625 2 0 0 20 0 19 0 107164820 9856040960 12323 33554432000 1073741824 1073778376 140734806307424 140317913899336 140317739756939 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9655] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9655/stat : 9655 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 12323 33554432000 1073741824 1073778376 140734806307424 140317875391016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9656] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9656/stat : 9656 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 12323 33554432000 1073741824 1073778376 140734806307424 140317874338216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9657] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9657/stat : 9657 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 12323 33554432000 1073741824 1073778376 140734806307424 140317873285416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9652/tid=9658] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9658/stat : 9658 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 12323 33554432000 1073741824 1073778376 140734806307424 140317872232616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9659] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9659/stat : 9659 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 12323 33554432000 1073741824 1073778376 140734806307424 140317871180840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9660] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9660/stat : 9660 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 12323 33554432000 1073741824 1073778376 140734806307424 140317870128040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9661] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9661/stat : 9661 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 12323 33554432000 1073741824 1073778376 140734806307424 140317869075240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9662] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9662/stat : 9662 (java) S 9649 9652 8435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107164821 9856040960 12323 33554432000 1073741824 1073778376 140734806307424 140317868022440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9663] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9663/stat : 9663 (java) S 9649 9652 8435 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107164822 9856040960 12323 33554432000 1073741824 1073778376 140734806307424 140317738129896 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9664] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9664/stat : 9664 (java) S 9649 9652 8435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107164823 9856040960 12323 33554432000 1073741824 1073778376 140734806307424 140317737075960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9665] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9665/stat : 9665 (java) S 9649 9652 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107164823 9856040960 12323 33554432000 1073741824 1073778376 140734806307424 140317736023048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9666] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9666/stat : 9666 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164825 9856040960 12323 33554432000 1073741824 1073778376 140734806307424 140317734971536 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9667] ppid=9649 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/9652/task/9667/stat : 9667 (java) S 9649 9652 8435 0 -1 4202560 2027 0 0 0 30 0 0 0 20 0 19 0 107164825 9856040960 12323 33554432000 1073741824 1073778376 140734806307424 140317733919672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9668] ppid=9649 vsize=9625040 CPUtime=0.32 cores=0,2,4,6

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

[pid=9652/tid=9671] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9671/stat : 9671 (java) S 9649 9652 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107164850 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317729658024 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1664.02
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.12 2.16 2.07 3/212 9779
/proc/meminfo: memFree=30898548/32872528 swapFree=13256/481332
[pid=9652] ppid=9649 vsize=9625040 CPUtime=1724.01 cores=0,2,4,6
/proc/9652/stat : 9652 (java) S 9649 9652 8435 0 -1 4202496 10498 0 1 0 172356 45 0 0 20 0 19 0 107164820 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140734806298560 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9652/statm: 2406260 108538 2275 9 0 2396937 0
[pid=9652/tid=9653] ppid=9649 vsize=9625040 CPUtime=1717.28 cores=0,2,4,6
/proc/9652/task/9653/stat : 9653 (java) R 9649 9652 8435 0 -1 4202560 2489 0 1 0 171697 31 0 0 20 0 19 0 107164820 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317913890496 140317739803881 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9655] ppid=9649 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/9652/task/9655/stat : 9655 (java) S 9649 9652 8435 0 -1 4202560 94 0 0 0 21 4 0 0 20 0 19 0 107164821 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317875391016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9652/tid=9656] ppid=9649 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/9652/task/9656/stat : 9656 (java) S 9649 9652 8435 0 -1 4202560 162 0 0 0 12 3 0 0 20 0 19 0 107164821 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317874338216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9657] ppid=9649 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/9652/task/9657/stat : 9657 (java) S 9649 9652 8435 0 -1 4202560 50 0 0 0 12 3 0 0 20 0 19 0 107164821 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317873285416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9652/tid=9658] ppid=9649 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/9652/task/9658/stat : 9658 (java) S 9649 9652 8435 0 -1 4202560 197 0 0 0 14 3 0 0 20 0 19 0 107164821 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317872232616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9659] ppid=9649 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/9652/task/9659/stat : 9659 (java) S 9649 9652 8435 0 -1 4202560 169 0 0 0 11 3 0 0 20 0 19 0 107164821 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317871180840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9660] ppid=9649 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/9652/task/9660/stat : 9660 (java) S 9649 9652 8435 0 -1 4202560 45 0 0 0 10 2 0 0 20 0 19 0 107164821 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317870128040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9661] ppid=9649 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/9652/task/9661/stat : 9661 (java) S 9649 9652 8435 0 -1 4202560 279 0 0 0 20 5 0 0 20 0 19 0 107164821 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317869075240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9662] ppid=9649 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/9652/task/9662/stat : 9662 (java) S 9649 9652 8435 0 -1 4202560 158 0 0 0 19 3 0 0 20 0 19 0 107164821 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317868022440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9652/tid=9663] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9663/stat : 9663 (java) S 9649 9652 8435 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 19 0 107164822 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317738129896 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9664] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9664/stat : 9664 (java) S 9649 9652 8435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107164823 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317737075960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9665] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9665/stat : 9665 (java) S 9649 9652 8435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107164823 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317736023048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9666] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9666/stat : 9666 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164825 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317734971536 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9667] ppid=9649 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/9652/task/9667/stat : 9667 (java) S 9649 9652 8435 0 -1 4202560 2027 0 0 0 30 0 0 0 20 0 19 0 107164825 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317733919672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9668] ppid=9649 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/9652/task/9668/stat : 9668 (java) S 9649 9652 8435 0 -1 4202560 3387 0 0 0 33 1 0 0 20 0 19 0 107164825 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317732866872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9669] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9669/stat : 9669 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164825 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317731814264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9670] ppid=9649 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/9652/task/9670/stat : 9670 (java) S 9649 9652 8435 0 -1 4202560 100 0 0 0 11 11 0 0 20 0 19 0 107164825 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317730761672 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9671] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9671/stat : 9671 (java) S 9649 9652 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107164850 9856040960 108538 33554432000 1073741824 1073778376 140734806307424 140317729658024 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1724.01
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.08 2.14 2.07 3/212 9803
/proc/meminfo: memFree=30873420/32872528 swapFree=13256/481332
[pid=9652] ppid=9649 vsize=9625040 CPUtime=1784.12 cores=0,2,4,6
/proc/9652/stat : 9652 (java) S 9649 9652 8435 0 -1 4202496 10543 0 1 0 178364 48 0 0 20 0 19 0 107164820 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140734806298560 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9652/statm: 2406260 114680 2275 9 0 2396937 0
[pid=9652/tid=9653] ppid=9649 vsize=9625040 CPUtime=1777.08 cores=0,2,4,6
/proc/9652/task/9653/stat : 9653 (java) R 9649 9652 8435 0 -1 4202560 2490 0 1 0 177676 32 0 0 20 0 19 0 107164820 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317913890496 140317739741009 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9655] ppid=9649 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/9652/task/9655/stat : 9655 (java) S 9649 9652 8435 0 -1 4202560 97 0 0 0 22 5 0 0 20 0 19 0 107164821 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317875391016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9656] ppid=9649 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/9652/task/9656/stat : 9656 (java) S 9649 9652 8435 0 -1 4202560 174 0 0 0 15 4 0 0 20 0 19 0 107164821 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317874338216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9657] ppid=9649 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/9652/task/9657/stat : 9657 (java) S 9649 9652 8435 0 -1 4202560 54 0 0 0 13 3 0 0 20 0 19 0 107164821 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317873285416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9658] ppid=9649 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/9652/task/9658/stat : 9658 (java) S 9649 9652 8435 0 -1 4202560 203 0 0 0 15 4 0 0 20 0 19 0 107164821 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317872232616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9659] ppid=9649 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/9652/task/9659/stat : 9659 (java) S 9649 9652 8435 0 -1 4202560 173 0 0 0 12 4 0 0 20 0 19 0 107164821 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317871180840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9660] ppid=9649 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/9652/task/9660/stat : 9660 (java) S 9649 9652 8435 0 -1 4202560 50 0 0 0 13 2 0 0 20 0 19 0 107164821 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317870128040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9661] ppid=9649 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/9652/task/9661/stat : 9661 (java) S 9649 9652 8435 0 -1 4202560 281 0 0 0 21 5 0 0 20 0 19 0 107164821 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317869075240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9662] ppid=9649 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/9652/task/9662/stat : 9662 (java) S 9649 9652 8435 0 -1 4202560 160 0 0 0 20 3 0 0 20 0 19 0 107164821 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317868022440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9652/tid=9663] ppid=9649 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/9652/task/9663/stat : 9663 (java) S 9649 9652 8435 0 -1 4202560 85 0 0 0 1 0 0 0 20 0 19 0 107164822 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317738129896 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9664] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9664/stat : 9664 (java) S 9649 9652 8435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107164823 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317737075960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9665] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9665/stat : 9665 (java) S 9649 9652 8435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107164823 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317736023048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9666] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9666/stat : 9666 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164825 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317734971536 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9667] ppid=9649 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/9652/task/9667/stat : 9667 (java) S 9649 9652 8435 0 -1 4202560 2027 0 0 0 30 0 0 0 20 0 19 0 107164825 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317733919672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9668] ppid=9649 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/9652/task/9668/stat : 9668 (java) S 9649 9652 8435 0 -1 4202560 3387 0 0 0 33 1 0 0 20 0 19 0 107164825 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317732866872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9669] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9669/stat : 9669 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164825 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317731814264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9670] ppid=9649 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/9652/task/9670/stat : 9670 (java) S 9649 9652 8435 0 -1 4202560 104 0 0 0 12 11 0 0 20 0 19 0 107164825 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317730761672 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9671] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9671/stat : 9671 (java) S 9649 9652 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107164850 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317729658024 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784.12
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.2 s]
/proc/loadavg: 2.06 2.13 2.07 3/212 9803
/proc/meminfo: memFree=30873772/32872528 swapFree=13256/481332
[pid=9652] ppid=9649 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/9652/stat : 9652 (java) S 9649 9652 8435 0 -1 4202496 10543 0 1 0 179954 48 0 0 20 0 19 0 107164820 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140734806298560 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9652/statm: 2406260 114680 2275 9 0 2396937 0
[pid=9652/tid=9653] ppid=9649 vsize=9625040 CPUtime=1792.94 cores=0,2,4,6
/proc/9652/task/9653/stat : 9653 (java) R 9649 9652 8435 0 -1 4202560 2490 0 1 0 179262 32 0 0 20 0 19 0 107164820 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317913890496 140317739754804 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9655] ppid=9649 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/9652/task/9655/stat : 9655 (java) S 9649 9652 8435 0 -1 4202560 97 0 0 0 22 5 0 0 20 0 19 0 107164821 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317875391016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9656] ppid=9649 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/9652/task/9656/stat : 9656 (java) S 9649 9652 8435 0 -1 4202560 174 0 0 0 15 4 0 0 20 0 19 0 107164821 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317874338216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9657] ppid=9649 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/9652/task/9657/stat : 9657 (java) S 9649 9652 8435 0 -1 4202560 54 0 0 0 13 3 0 0 20 0 19 0 107164821 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317873285416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9658] ppid=9649 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/9652/task/9658/stat : 9658 (java) S 9649 9652 8435 0 -1 4202560 203 0 0 0 15 4 0 0 20 0 19 0 107164821 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317872232616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9659] ppid=9649 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/9652/task/9659/stat : 9659 (java) S 9649 9652 8435 0 -1 4202560 173 0 0 0 12 4 0 0 20 0 19 0 107164821 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317871180840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9660] ppid=9649 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/9652/task/9660/stat : 9660 (java) S 9649 9652 8435 0 -1 4202560 50 0 0 0 13 2 0 0 20 0 19 0 107164821 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317870128040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9661] ppid=9649 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/9652/task/9661/stat : 9661 (java) S 9649 9652 8435 0 -1 4202560 281 0 0 0 21 5 0 0 20 0 19 0 107164821 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317869075240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9662] ppid=9649 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/9652/task/9662/stat : 9662 (java) S 9649 9652 8435 0 -1 4202560 160 0 0 0 20 3 0 0 20 0 19 0 107164821 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317868022440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9652/tid=9663] ppid=9649 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/9652/task/9663/stat : 9663 (java) S 9649 9652 8435 0 -1 4202560 85 0 0 0 1 0 0 0 20 0 19 0 107164822 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317738129896 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9664] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9664/stat : 9664 (java) S 9649 9652 8435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107164823 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317737075960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9665] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9665/stat : 9665 (java) S 9649 9652 8435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107164823 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317736023048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9666] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9666/stat : 9666 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164825 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317734971536 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9667] ppid=9649 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/9652/task/9667/stat : 9667 (java) S 9649 9652 8435 0 -1 4202560 2027 0 0 0 30 0 0 0 20 0 19 0 107164825 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317733919672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9652/tid=9668] ppid=9649 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/9652/task/9668/stat : 9668 (java) S 9649 9652 8435 0 -1 4202560 3387 0 0 0 33 1 0 0 20 0 19 0 107164825 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317732866872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9669] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9669/stat : 9669 (java) S 9649 9652 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107164825 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317731814264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9652/tid=9670] ppid=9649 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/9652/task/9670/stat : 9670 (java) S 9649 9652 8435 0 -1 4202560 104 0 0 0 12 12 0 0 20 0 19 0 107164825 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317730761672 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9652/tid=9671] ppid=9649 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9671/stat : 9671 (java) S 9649 9652 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107164850 9856040960 114680 33554432000 1073741824 1073778376 140734806307424 140317729658024 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9652 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9652 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=910132
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=891864
# CPU time returned by wait4() is 1795.8
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.25
CPU time (s): 1800.02
CPU user time (s): 1799.54
CPU system time (s): 0.48
CPU usage (%): 100.098
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.91
system time used= 0.891864
maximum resident set size= 458884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10591
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38377
involuntary context switches= 14547

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5734 second user time and 11.2823 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-07 00:31:40
IDJOB=4085506
IDBENCH=25034
IDSOLVER=2546
FILE ID=node104/4085506-1465252300
RUNJOBID= node104-1465245095-8451
PBS_JOBID= 19843252
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir04_area_opers.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085506-1465252300/watcher-4085506-1465252300 -o /tmp/evaluation-result-4085506-1465252300/solver-4085506-1465252300 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465245095-8451 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085506-1465252300.opb

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

MD5SUM BENCH= e746daa468953b69c2293c7909733538
RANDOM SEED=1576929567

node104.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.775
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	: 5333.55
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.775
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	: 5332.55
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.775
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	: 5332.55
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.775
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	: 5332.55
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.775
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	: 5332.55
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.775
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	: 5332.55
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.775
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	: 5332.55
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.775
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31414564 kB
Buffers:           41452 kB
Cached:           117416 kB
SwapCached:         1720 kB
Active:           180088 kB
Inactive:          92476 kB
Active(anon):     113696 kB
Inactive(anon):     2360 kB
Active(file):      66392 kB
Inactive(file):    90116 kB
Unevictable:      481332 kB
Mlocked:           13256 kB
SwapTotal:      67108856 kB
SwapFree:       67097236 kB
Dirty:              1708 kB
Writeback:             0 kB
AnonPages:        663452 kB
Mapped:            15268 kB
Shmem:                 0 kB
Slab:             567504 kB
SReclaimable:      11376 kB
SUnreclaim:       556128 kB
KernelStack:        1744 kB
PageTables:         5228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1161760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    622592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node104 at 2016-06-07 01:01:38