Trace number 4085565

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 PB16OPT8908 811.44 808.034

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
MD5SUM75c7e5778aa6d0e8c18984c9064c30c6
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8908
Best CPU time to get the best result obtained on this benchmark3.32349
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8908
Optimality of the best value was proved YES
Number of variables253
Total number of constraints264
Number of constraints which are clauses242
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Number of terms in the objective function 253
Biggest coefficient in the objective function 2437
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 125403
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 2437
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 125403
Number of bits of the biggest sum of numbers17
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	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.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4085565-1465247594.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  objective function found
0.11/0.15	c ... done. Wall clock time 0.048s.
0.11/0.15	c declared #vars     253
0.11/0.15	c #constraints  286
0.11/0.15	c constraints type 
0.11/0.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 22
0.11/0.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.11/0.15	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 242
0.11/0.15	c 286 constraints processed.
0.11/0.15	c objective function length is 253 literals
0.11/0.15	c SATISFIABLE
0.11/0.15	c OPTIMIZING...
0.11/0.15	c Got one! Elapsed wall clock time (in seconds):0.054
0.11/0.15	o 10896
0.56/0.30	c Got one! Elapsed wall clock time (in seconds):0.2
0.56/0.30	o 10866
0.56/0.30	c Got one! Elapsed wall clock time (in seconds):0.202
0.56/0.30	o 10411
0.56/0.34	c Got one! Elapsed wall clock time (in seconds):0.239
0.56/0.34	o 10328
0.56/0.34	c Got one! Elapsed wall clock time (in seconds):0.242
0.56/0.34	o 9354
0.82/0.54	c cleaning 3071 clauses out of 6141 with flag 8001/6141
1.22/0.82	c cleaning 4536 clauses out of 9071 with flag 20003/12142
1.53/1.20	c cleaning 5765 clauses out of 11534 with flag 34002/19141
2.25/1.67	c cleaning 6885 clauses out of 13769 with flag 52086/27141
2.68/2.00	c cleaning 7938 clauses out of 15884 with flag 74034/36141
2.99/2.39	c cleaning 8974 clauses out of 17947 with flag 97179/46142
3.39/2.79	c cleaning 9988 clauses out of 19975 with flag 121981/57144
4.03/3.34	c cleaning 10992 clauses out of 21984 with flag 151071/69141
4.63/3.95	c cleaning 11996 clauses out of 23992 with flag 182844/82141
5.33/4.60	c cleaning 12998 clauses out of 25997 with flag 216000/96142
6.03/5.37	c cleaning 13994 clauses out of 27999 with flag 252345/111142
6.93/6.25	c cleaning 14999 clauses out of 30004 with flag 294563/127141
7.87/7.11	c cleaning 16004 clauses out of 32007 with flag 338521/144143
8.77/8.02	c cleaning 16999 clauses out of 34001 with flag 382711/162141
9.68/8.98	c cleaning 17998 clauses out of 36004 with flag 427633/181143
10.79/10.05	c cleaning 19001 clauses out of 38005 with flag 475283/201142
11.98/11.22	c cleaning 20000 clauses out of 40005 with flag 529149/222143
13.18/12.44	c cleaning 20992 clauses out of 42004 with flag 584937/244142
14.48/13.77	c cleaning 21998 clauses out of 44011 with flag 641734/267141
15.88/15.18	c cleaning 23002 clauses out of 46014 with flag 701329/291142
17.48/16.71	c cleaning 24001 clauses out of 48011 with flag 762444/316141
17.98/17.24	c Got one! Elapsed wall clock time (in seconds):17.14
17.98/17.24	o 9311
18.28/17.54	c cleaning 20290 clauses out of 40596 with flag 11669/332727
18.48/17.77	c cleaning 13147 clauses out of 26303 with flag 26917/338724
18.78/18.02	c cleaning 10070 clauses out of 20156 with flag 44425/345724
18.97/18.27	c cleaning 9030 clauses out of 18086 with flag 64236/353724
19.37/18.61	c cleaning 9021 clauses out of 18057 with flag 87162/362725
19.67/18.98	c cleaning 9508 clauses out of 19037 with flag 112492/372726
20.07/19.40	c cleaning 10259 clauses out of 20527 with flag 141563/383724
20.58/19.86	c cleaning 11129 clauses out of 22268 with flag 171401/395724
21.07/20.36	c cleaning 12062 clauses out of 24140 with flag 202649/408725
21.68/20.91	c cleaning 13031 clauses out of 26078 with flag 236689/422725
22.27/21.57	c cleaning 14018 clauses out of 28046 with flag 273046/437724
22.97/22.25	c cleaning 15010 clauses out of 30028 with flag 311069/453724
23.78/23.06	c cleaning 16001 clauses out of 32018 with flag 352575/470724
24.58/23.83	c cleaning 17002 clauses out of 34017 with flag 397737/488724
25.48/24.71	c cleaning 18009 clauses out of 36017 with flag 444533/507726
26.38/25.66	c cleaning 18986 clauses out of 38006 with flag 494287/527724
27.47/26.70	c cleaning 20005 clauses out of 40020 with flag 547880/548724
28.57/27.88	c cleaning 21004 clauses out of 42015 with flag 603531/570724
29.80/29.05	c cleaning 22007 clauses out of 44013 with flag 661481/593726
31.00/30.23	c cleaning 22996 clauses out of 46004 with flag 722804/617724
32.20/31.45	c cleaning 23989 clauses out of 48009 with flag 784393/642725
33.60/32.89	c cleaning 25003 clauses out of 50019 with flag 849968/668724
35.30/34.52	c cleaning 26001 clauses out of 52018 with flag 919153/695726
37.20/36.42	c cleaning 26998 clauses out of 54015 with flag 993662/723724
38.89/38.11	c cleaning 28008 clauses out of 56018 with flag 1068773/752725
40.69/39.91	c cleaning 29004 clauses out of 58009 with flag 1146275/782724
42.70/41.96	c cleaning 29994 clauses out of 60005 with flag 1232293/813724
44.60/43.87	c cleaning 31003 clauses out of 62011 with flag 1317902/845724
46.80/46.03	c cleaning 31997 clauses out of 64008 with flag 1400405/878724
49.00/48.25	c cleaning 32997 clauses out of 66011 with flag 1487834/912724
51.51/50.73	c cleaning 33997 clauses out of 68014 with flag 1577462/947724
53.90/53.13	c cleaning 35004 clauses out of 70018 with flag 1670913/983725
56.50/55.79	c cleaning 35996 clauses out of 72013 with flag 1764673/1020724
59.30/58.56	c cleaning 37004 clauses out of 74017 with flag 1863582/1058724
62.30/61.53	c cleaning 38005 clauses out of 76014 with flag 1971026/1097725
65.42/64.68	c cleaning 38996 clauses out of 78009 with flag 2076597/1137725
68.51/67.78	c cleaning 40004 clauses out of 80012 with flag 2179944/1178724
72.14/71.35	c cleaning 40997 clauses out of 82008 with flag 2284352/1220724
75.74/74.96	c cleaning 41997 clauses out of 84011 with flag 2389619/1263724
79.54/78.72	c cleaning 42998 clauses out of 86014 with flag 2498656/1307724
83.24/82.44	c cleaning 43998 clauses out of 88016 with flag 2613149/1352724
86.94/86.16	c cleaning 45000 clauses out of 90018 with flag 2729357/1398724
90.94/90.19	c cleaning 46003 clauses out of 92020 with flag 2852483/1445726
95.34/94.59	c cleaning 47001 clauses out of 94015 with flag 2985509/1493724
99.45/98.64	c cleaning 48004 clauses out of 96015 with flag 3118696/1542725
103.45/102.63	c cleaning 48996 clauses out of 98010 with flag 3256821/1592724
107.95/107.18	c cleaning 50007 clauses out of 100015 with flag 3384655/1643725
112.55/111.79	c cleaning 51000 clauses out of 102007 with flag 3508806/1695724
117.31/116.41	c cleaning 51998 clauses out of 104007 with flag 3641730/1748724
122.31/121.42	c cleaning 52996 clauses out of 106009 with flag 3763697/1802724
126.91/126.06	c cleaning 54007 clauses out of 108013 with flag 3901680/1857724
132.01/131.12	c cleaning 54992 clauses out of 110006 with flag 4042257/1913724
137.21/136.39	c cleaning 56001 clauses out of 112015 with flag 4185781/1970725
142.40/141.50	c cleaning 56999 clauses out of 114013 with flag 4336694/2028724
148.22/147.38	c cleaning 57994 clauses out of 116014 with flag 4490547/2087724
154.51/153.60	c cleaning 59001 clauses out of 118020 with flag 4657589/2147724
160.52/159.69	c cleaning 60004 clauses out of 120019 with flag 4811314/2208724
166.22/165.39	c cleaning 61006 clauses out of 122016 with flag 4967647/2270725
172.06/171.10	c cleaning 61993 clauses out of 124010 with flag 5134267/2333725
179.17/178.21	c cleaning 63000 clauses out of 126017 with flag 5290922/2397725
186.97/186.04	c cleaning 64005 clauses out of 128016 with flag 5451407/2462724
193.52/192.25	c cleaning 65003 clauses out of 130011 with flag 5622163/2528724
199.79/198.29	c cleaning 65996 clauses out of 132008 with flag 5789890/2595724
208.10/206.51	c cleaning 66997 clauses out of 134012 with flag 5959126/2663724
215.80/214.23	c cleaning 67997 clauses out of 136016 with flag 6131223/2732725
225.10/223.52	c cleaning 69008 clauses out of 138018 with flag 6299144/2802724
233.39/231.88	c cleaning 69993 clauses out of 140011 with flag 6477500/2873725
240.53/238.91	c cleaning 71000 clauses out of 142018 with flag 6657575/2945725
248.82/247.23	c cleaning 72007 clauses out of 144018 with flag 6836138/3018725
258.33/256.73	c cleaning 72996 clauses out of 146010 with flag 7018366/3092724
266.33/264.70	c cleaning 74000 clauses out of 148014 with flag 7200137/3167724
274.83/273.21	c cleaning 74997 clauses out of 150014 with flag 7397740/3243724
283.62/282.08	c cleaning 75998 clauses out of 152018 with flag 7592818/3320725
292.42/290.83	c cleaning 77000 clauses out of 154020 with flag 7789872/3398725
301.10/299.40	c cleaning 78007 clauses out of 156020 with flag 7985866/3477725
309.40/307.71	c cleaning 79001 clauses out of 158012 with flag 8183061/3557724
318.10/316.47	c cleaning 79998 clauses out of 160012 with flag 8383337/3638725
328.20/326.54	c cleaning 81001 clauses out of 162014 with flag 8588574/3720725
337.40/335.79	c cleaning 82003 clauses out of 164012 with flag 8801263/3803724
349.30/347.62	c cleaning 83000 clauses out of 166010 with flag 9004496/3887725
359.35/357.64	c cleaning 84000 clauses out of 168009 with flag 9228656/3972724
370.95/369.20	c cleaning 85000 clauses out of 170009 with flag 9460152/4058724
381.94/380.26	c cleaning 85995 clauses out of 172009 with flag 9682491/4145724
391.45/389.79	c cleaning 87004 clauses out of 174014 with flag 9899792/4233724
404.46/402.75	c cleaning 87999 clauses out of 176010 with flag 10124583/4322724
416.66/414.96	c cleaning 88999 clauses out of 178012 with flag 10365277/4412725
427.24/425.46	c cleaning 89999 clauses out of 180012 with flag 10595060/4503724
439.74/437.98	c cleaning 90998 clauses out of 182014 with flag 10827299/4595725
450.74/448.94	c cleaning 92000 clauses out of 184015 with flag 11051638/4688724
463.53/461.73	c cleaning 93007 clauses out of 186015 with flag 11272847/4782724
476.23/474.46	c cleaning 93996 clauses out of 188008 with flag 11537948/4877724
488.51/486.69	c cleaning 94999 clauses out of 190013 with flag 11758819/4973725
501.91/500.01	c cleaning 95996 clauses out of 192013 with flag 12006497/5070724
517.22/515.35	c cleaning 97001 clauses out of 194017 with flag 12249140/5168724
529.52/527.64	c cleaning 98006 clauses out of 196016 with flag 12496344/5267724
543.19/540.91	c cleaning 99001 clauses out of 198010 with flag 12727484/5367724
556.73/554.32	c cleaning 99992 clauses out of 200009 with flag 12979608/5468724
557.43/555.02	c Got one! Elapsed wall clock time (in seconds):554.918
557.43/555.02	o 9286
558.12/555.71	c cleaning 57551 clauses out of 115110 with flag 12863/5483817
558.52/556.11	c cleaning 31767 clauses out of 63559 with flag 26697/5489817
558.82/556.40	c cleaning 19389 clauses out of 38792 with flag 43293/5496817
559.03/556.70	c cleaning 13683 clauses out of 27403 with flag 62479/5504817
559.42/557.01	c cleaning 11349 clauses out of 22720 with flag 84627/5513817
559.72/557.32	c cleaning 10673 clauses out of 21373 with flag 107890/5523819
560.02/557.66	c cleaning 10846 clauses out of 21700 with flag 134049/5534819
560.02/557.67	c Got one! Elapsed wall clock time (in seconds):557.566
560.02/557.67	o 9232
560.24/557.83	c cleaning 8132 clauses out of 16275 with flag 12368/5540240
560.33/557.99	c cleaning 7053 clauses out of 14143 with flag 27095/5546240
560.53/558.19	c cleaning 7039 clauses out of 14091 with flag 44234/5553241
560.73/558.40	c cleaning 7522 clauses out of 15050 with flag 62659/5561239
561.03/558.66	c cleaning 8258 clauses out of 16528 with flag 83914/5570239
561.34/558.93	c cleaning 9132 clauses out of 18271 with flag 106497/5580240
561.63/559.24	c cleaning 10056 clauses out of 20138 with flag 131047/5591239
562.03/559.60	c cleaning 11041 clauses out of 22082 with flag 157897/5603239
562.44/560.01	c cleaning 12018 clauses out of 24042 with flag 186533/5616240
562.93/560.55	c cleaning 13005 clauses out of 26024 with flag 219490/5630240
563.54/561.18	c cleaning 14006 clauses out of 28018 with flag 251881/5645239
564.23/561.83	c cleaning 15005 clauses out of 30012 with flag 288794/5661239
564.93/562.57	c cleaning 16004 clauses out of 32008 with flag 326359/5678240
565.93/563.53	c cleaning 16997 clauses out of 34004 with flag 369990/5696240
566.93/564.56	c cleaning 17998 clauses out of 36006 with flag 416238/5715239
568.13/565.72	c cleaning 19002 clauses out of 38009 with flag 462482/5735240
569.33/566.95	c cleaning 19996 clauses out of 40007 with flag 513714/5756240
570.73/568.31	c cleaning 21001 clauses out of 42012 with flag 566471/5778241
572.13/569.68	c cleaning 21999 clauses out of 44009 with flag 619844/5801239
573.62/571.13	c cleaning 22996 clauses out of 46010 with flag 669354/5825239
575.12/572.68	c cleaning 23999 clauses out of 48014 with flag 731075/5850239
576.73/574.22	c cleaning 25005 clauses out of 50016 with flag 795041/5876240
578.22/575.74	c cleaning 26001 clauses out of 52010 with flag 859552/5903239
580.13/577.61	c cleaning 26998 clauses out of 54010 with flag 935343/5931240
581.72/579.30	c cleaning 28001 clauses out of 56012 with flag 1003322/5960240
584.12/581.66	c cleaning 29003 clauses out of 58010 with flag 1068665/5990239
586.02/583.58	c cleaning 29998 clauses out of 60008 with flag 1139230/6021240
587.83/585.35	c cleaning 30996 clauses out of 62009 with flag 1218262/6053239
589.62/587.19	c cleaning 32005 clauses out of 64016 with flag 1295113/6086242
591.62/589.19	c cleaning 32990 clauses out of 66008 with flag 1371519/6120239
594.02/591.59	c cleaning 34007 clauses out of 68020 with flag 1457110/6155241
596.66/594.13	c cleaning 34998 clauses out of 70012 with flag 1542791/6191240
599.45/596.96	c cleaning 36001 clauses out of 72014 with flag 1633360/6228240
601.94/599.50	c cleaning 36988 clauses out of 74012 with flag 1727537/6266239
604.54/602.01	c cleaning 38009 clauses out of 76026 with flag 1830917/6305241
607.04/604.52	c cleaning 39007 clauses out of 78016 with flag 1927055/6345240
609.85/607.38	c cleaning 40002 clauses out of 80008 with flag 2021679/6386239
612.94/610.41	c cleaning 40994 clauses out of 82008 with flag 2127698/6428241
615.94/613.43	c cleaning 42002 clauses out of 84013 with flag 2237257/6471240
618.94/616.48	c cleaning 42994 clauses out of 86011 with flag 2342108/6515240
623.11/620.52	c cleaning 44001 clauses out of 88016 with flag 2454262/6560239
626.90/624.35	c cleaning 45006 clauses out of 90016 with flag 2567679/6606240
631.20/628.69	c cleaning 46000 clauses out of 92010 with flag 2678744/6653240
635.70/633.15	c cleaning 46996 clauses out of 94010 with flag 2799735/6701240
639.68/637.04	c cleaning 47998 clauses out of 96014 with flag 2918576/6750240
643.84/641.18	c cleaning 49002 clauses out of 98017 with flag 3030757/6800241
648.34/645.65	c cleaning 50000 clauses out of 100013 with flag 3141990/6851239
653.34/650.68	c cleaning 51003 clauses out of 102014 with flag 3254860/6903240
658.50/655.76	c cleaning 51998 clauses out of 104010 with flag 3368358/6956239
663.50/660.76	c cleaning 52996 clauses out of 106012 with flag 3495840/7010239
668.00/665.21	c cleaning 54000 clauses out of 108016 with flag 3629376/7065239
672.70/669.99	c cleaning 55007 clauses out of 110016 with flag 3763925/7121239
677.70/674.92	c cleaning 56001 clauses out of 112010 with flag 3890603/7178240
682.70/679.95	c cleaning 56995 clauses out of 114009 with flag 4022646/7236240
688.20/685.48	c cleaning 57999 clauses out of 116013 with flag 4158637/7295239
693.47/690.70	c cleaning 58999 clauses out of 118014 with flag 4308511/7355239
698.56/695.79	c cleaning 60008 clauses out of 120016 with flag 4443389/7416240
704.36/701.57	c cleaning 61004 clauses out of 122007 with flag 4591499/7478239
711.27/708.41	c cleaning 61996 clauses out of 124004 with flag 4744723/7541240
716.96/714.17	c cleaning 62999 clauses out of 126008 with flag 4883532/7605240
723.47/720.58	c cleaning 64002 clauses out of 128009 with flag 5039964/7670240
729.47/726.55	c cleaning 64997 clauses out of 130006 with flag 5209202/7736239
735.47/732.57	c cleaning 65998 clauses out of 132009 with flag 5369925/7803239
741.58/738.68	c cleaning 67004 clauses out of 134012 with flag 5533775/7871240
749.68/746.78	c cleaning 67998 clauses out of 136008 with flag 5701716/7940240
755.94/752.99	c cleaning 69004 clauses out of 138009 with flag 5879909/8010239
762.74/759.76	c cleaning 69998 clauses out of 140005 with flag 6043174/8081239
765.65/762.62	c Got one! Elapsed wall clock time (in seconds):762.519
765.65/762.62	o 9223
766.36/763.27	c cleaning 54887 clauses out of 109785 with flag 11223/8121017
766.76/763.63	c cleaning 30443 clauses out of 60898 with flag 23587/8127017
767.06/763.91	c cleaning 18725 clauses out of 37457 with flag 39099/8134019
767.26/764.19	c cleaning 13354 clauses out of 26730 with flag 58260/8142017
767.56/764.49	c cleaning 11181 clauses out of 22376 with flag 79739/8151017
767.86/764.78	c cleaning 10586 clauses out of 21195 with flag 102323/8161017
768.26/765.13	c cleaning 10804 clauses out of 21610 with flag 126509/8172018
768.66/765.51	c cleaning 11396 clauses out of 22805 with flag 153179/8184017
769.06/765.95	c cleaning 12199 clauses out of 24410 with flag 180534/8197018
769.56/766.41	c cleaning 13095 clauses out of 26210 with flag 212657/8211017
769.87/766.77	c Got one! Elapsed wall clock time (in seconds):766.672
769.87/766.77	o 9183
770.07/766.97	c cleaning 14220 clauses out of 28445 with flag 12786/8226347
770.27/767.15	c cleaning 10101 clauses out of 20225 with flag 28155/8232347
770.47/767.34	c cleaning 8559 clauses out of 17126 with flag 45641/8239349
770.67/767.58	c cleaning 8279 clauses out of 16564 with flag 65338/8247346
770.98/767.82	c cleaning 8641 clauses out of 17285 with flag 85687/8256346
771.27/768.10	c cleaning 9312 clauses out of 18644 with flag 107809/8266346
771.57/768.43	c cleaning 10164 clauses out of 20332 with flag 132141/8277346
771.97/768.84	c cleaning 11081 clauses out of 22169 with flag 160602/8289347
772.47/769.39	c cleaning 12039 clauses out of 24088 with flag 192282/8302347
773.07/769.96	c cleaning 13019 clauses out of 26048 with flag 225748/8316346
773.67/770.52	c cleaning 14007 clauses out of 28030 with flag 259792/8331347
774.29/771.17	c cleaning 15009 clauses out of 30023 with flag 298962/8347347
774.98/771.87	c cleaning 16007 clauses out of 32013 with flag 339359/8364346
775.78/772.69	c cleaning 17002 clauses out of 34007 with flag 380443/8382347
776.74/773.54	c cleaning 17999 clauses out of 36003 with flag 425339/8401346
777.65/774.50	c cleaning 19001 clauses out of 38005 with flag 473629/8421347
778.85/775.61	c cleaning 19999 clauses out of 40003 with flag 523737/8442346
779.95/776.73	c cleaning 20997 clauses out of 42004 with flag 574331/8464346
781.05/777.85	c cleaning 22001 clauses out of 44008 with flag 624562/8487347
782.24/779.09	c cleaning 23000 clauses out of 46006 with flag 676225/8511346
783.54/780.37	c cleaning 24004 clauses out of 48007 with flag 732155/8536347
784.74/781.56	c cleaning 24999 clauses out of 50003 with flag 790083/8562347
784.94/781.74	c Got one! Elapsed wall clock time (in seconds):781.638
784.94/781.74	o 9174
785.14/781.90	c cleaning 17772 clauses out of 35558 with flag 10433/8572901
785.24/782.06	c cleaning 11886 clauses out of 23785 with flag 23111/8578900
785.45/782.24	c cleaning 9440 clauses out of 18900 with flag 37345/8585901
785.64/782.47	c cleaning 8720 clauses out of 17460 with flag 53526/8593901
785.94/782.72	c cleaning 8864 clauses out of 17739 with flag 71804/8602900
786.24/783.01	c cleaning 9435 clauses out of 18877 with flag 92885/8612902
786.55/783.38	c cleaning 10211 clauses out of 20440 with flag 116462/8623900
786.94/783.72	c cleaning 11110 clauses out of 22229 with flag 142123/8635900
787.34/784.17	c cleaning 12059 clauses out of 24121 with flag 168778/8648902
787.84/784.67	c cleaning 13028 clauses out of 26060 with flag 201872/8662900
788.44/785.26	c cleaning 14012 clauses out of 28032 with flag 235820/8677900
789.15/785.93	c cleaning 15008 clauses out of 30021 with flag 271877/8693901
789.86/786.64	c cleaning 16005 clauses out of 32012 with flag 310977/8710900
790.65/787.46	c cleaning 17001 clauses out of 34007 with flag 351321/8728900
791.55/788.39	c cleaning 18003 clauses out of 36006 with flag 396430/8747900
792.75/789.54	c cleaning 18998 clauses out of 38004 with flag 441696/8767901
793.95/790.79	c cleaning 20001 clauses out of 40005 with flag 491761/8788900
795.15/791.90	c cleaning 20996 clauses out of 42006 with flag 544834/8810902
796.25/793.02	c cleaning 22005 clauses out of 44009 with flag 598650/8833901
797.46/794.28	c cleaning 22999 clauses out of 46003 with flag 654273/8857900
798.25/795.04	c Got one! Elapsed wall clock time (in seconds):794.94
798.25/795.04	o 9170
798.59/795.40	c cleaning 21880 clauses out of 43764 with flag 10219/8878660
798.78/795.58	c cleaning 13939 clauses out of 27883 with flag 22686/8884659
798.98/795.79	c cleaning 10466 clauses out of 20943 with flag 37961/8891659
799.28/796.00	c cleaning 9234 clauses out of 18478 with flag 55524/8899661
799.48/796.26	c cleaning 9115 clauses out of 18241 with flag 77797/8908658
799.86/796.58	c cleaning 9560 clauses out of 19125 with flag 100721/8918658
800.25/796.91	c cleaning 10277 clauses out of 20566 with flag 125385/8929659
800.55/797.27	c cleaning 11139 clauses out of 22291 with flag 151257/8941661
800.96/797.67	c cleaning 12072 clauses out of 24149 with flag 179034/8954658
801.45/798.15	c cleaning 13038 clauses out of 26077 with flag 208836/8968658
802.06/798.74	c cleaning 14015 clauses out of 28039 with flag 242580/8983658
802.65/799.33	c cleaning 15012 clauses out of 30027 with flag 278422/8999661
803.27/799.92	c cleaning 16006 clauses out of 32011 with flag 317623/9016658
803.92/800.59	c cleaning 16994 clauses out of 34004 with flag 359100/9034658
804.72/801.36	c cleaning 18001 clauses out of 36011 with flag 401813/9053659
805.72/802.33	c cleaning 18999 clauses out of 38010 with flag 446207/9073659
806.72/803.33	c cleaning 20003 clauses out of 40012 with flag 491765/9094660
807.72/804.35	c cleaning 20998 clauses out of 42007 with flag 539476/9116659
808.73/805.36	c cleaning 22001 clauses out of 44008 with flag 590113/9139658
809.92/806.55	c cleaning 23000 clauses out of 46007 with flag 641325/9163659
810.82/807.43	c Got one! Elapsed wall clock time (in seconds):807.33
810.82/807.43	o 9160
811.13/807.71	c cleaning 25056 clauses out of 50117 with flag 11213/9190770
811.13/807.71	c Got one! Elapsed wall clock time (in seconds):807.612
811.13/807.71	o 9122
811.13/807.72	c Got one! Elapsed wall clock time (in seconds):807.614
811.13/807.72	o 8908
811.24/807.89	c cleaning 15166 clauses out of 30345 with flag 10759/9196055
811.44/808.02	c starts		: 8042
811.44/808.02	c conflicts		: 9200803
811.44/808.02	c decisions		: 12500319
811.44/808.02	c propagations		: 163243260
811.44/808.02	c inspects		: 18251674003
811.44/808.02	c shortcuts		: 0
811.44/808.02	c learnt literals	: 21
811.44/808.02	c learnt binary clauses	: 19
811.44/808.02	c learnt ternary clauses	: 38
811.44/808.02	c learnt constraints	: 9200781
811.44/808.02	c ignored constraints	: 0
811.44/808.02	c root simplifications	: 0
811.44/808.02	c removed literals (reason simplification)	: 0
811.44/808.02	c reason swapping (by a shorter reason)	: 0
811.44/808.02	c Calls to reduceDB	: 266
811.44/808.02	c Number of update (reduction) of LBD	: 816214
811.44/808.02	c Imported unit clauses	: 0
811.44/808.02	c number of reductions to clauses (during analyze)	: 0
811.44/808.02	c number of learned constraints concerned by reduction	: 0
811.44/808.02	c number of learning phase by resolution	: 0
811.44/808.02	c number of learning phase by cutting planes	: 0
811.44/808.02	c speed (assignments/second)	: 202065.74803929336
811.44/808.02	c non guided choices	18
811.44/808.02	c learnt constraints type 
811.44/808.02	s OPTIMUM FOUND
811.44/808.02	c Found 15 solution(s)
811.44/808.03	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 
811.44/808.03	c objective function=8908
811.44/808.03	c Total wall clock time (in seconds): 807.925

Verifier Data 

OK	8908

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-4085565-1465247594/watcher-4085565-1465247594 -o /tmp/evaluation-result-4085565-1465247594/solver-4085565-1465247594 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465218300-31161 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085565-1465247594.opb 

pid=2981
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.98 2.02 2.00 2/194 2984
/proc/meminfo: memFree=30760672/32872528 swapFree=12352/737972
[pid=2984] ppid=2981 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/2984/stat : 2984 (java) S 2981 2984 31144 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 106693859 98570240 977 33554432000 1073741824 1073778376 140736277859280 140736277850416 213869690941 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2984/statm: 24065 977 743 9 0 16771 0
[pid=2984/tid=2985] ppid=2981 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2985/stat : 2985 (java) R 2981 2984 31144 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 106693860 98570240 978 33554432000 1073741824 1073778376 140736277859280 139794078985768 213866333568 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 1.98 2.02 2.00 2/194 2984
/proc/meminfo: memFree=30760672/32872528 swapFree=12352/737972
[pid=2984] ppid=2981 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/2984/stat : 2984 (java) S 2981 2984 31144 0 -1 4202496 4534 0 1 0 10 1 0 0 20 0 18 0 106693859 9787879424 5656 33554432000 1073741824 1073778376 140736277859280 140736277850416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2984/statm: 2389619 5657 2157 9 0 2380296 0
[pid=2984/tid=2985] ppid=2981 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/2984/task/2985/stat : 2985 (java) R 2981 2984 31144 0 -1 4202560 2429 0 1 0 7 0 0 0 20 0 18 0 106693860 9787879424 5657 33554432000 1073741824 1073778376 140736277859280 139794078990456 213869716749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200381 s]
/proc/loadavg: 1.98 2.02 2.00 2/194 2984
/proc/meminfo: memFree=30760672/32872528 swapFree=12352/737972
[pid=2984] ppid=2981 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/2984/stat : 2984 (java) S 2981 2984 31144 0 -1 4202496 6185 0 1 0 27 1 0 0 20 0 19 0 106693859 9856040960 7820 33554432000 1073741824 1073778376 140736277859280 140736277850416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2984/statm: 2406260 7820 2232 9 0 2396937 0
[pid=2984/tid=2985] ppid=2981 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/2984/task/2985/stat : 2985 (java) R 2981 2984 31144 0 -1 4202560 2455 0 1 0 17 0 0 0 20 0 19 0 106693860 9856040960 7820 33554432000 1073741824 1073778376 140736277859280 139794078990976 139794082276304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9625040

[startup+0.300367 s]
/proc/loadavg: 1.98 2.02 2.00 2/194 2984
/proc/meminfo: memFree=30760672/32872528 swapFree=12352/737972
[pid=2984] ppid=2981 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/2984/stat : 2984 (java) S 2981 2984 31144 0 -1 4202496 7829 0 1 0 54 2 0 0 20 0 19 0 106693859 9856040960 8381 33554432000 1073741824 1073778376 140736277859280 140736277850416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2984/statm: 2406260 8381 2239 9 0 2396937 0
[pid=2984/tid=2985] ppid=2981 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/2984/task/2985/stat : 2985 (java) R 2981 2984 31144 0 -1 4202560 2456 0 1 0 27 0 0 0 20 0 19 0 106693860 9856040960 8381 33554432000 1073741824 1073778376 140736277859280 139794078990976 139793951353761 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9625040

[startup+0.700315 s]
/proc/loadavg: 1.98 2.02 2.00 2/194 2984
/proc/meminfo: memFree=30760672/32872528 swapFree=12352/737972
[pid=2984] ppid=2981 vsize=9625040 CPUtime=1.1 cores=1,3,5,7
/proc/2984/stat : 2984 (java) S 2981 2984 31144 0 -1 4202496 9132 0 1 0 108 2 0 0 20 0 19 0 106693859 9856040960 8961 33554432000 1073741824 1073778376 140736277859280 140736277850416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2984/statm: 2406260 8961 2252 9 0 2396937 0
[pid=2984/tid=2985] ppid=2981 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/2984/task/2985/stat : 2985 (java) R 2981 2984 31144 0 -1 4202560 2457 0 1 0 67 0 0 0 20 0 19 0 106693860 9856040960 8961 33554432000 1073741824 1073778376 140736277859280 139794078990920 139793951788504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 9625040

[startup+1.50078 s]
/proc/loadavg: 1.98 2.02 2.00 3/213 3003
/proc/meminfo: memFree=30729124/32872528 swapFree=12352/737972
[pid=2984] ppid=2981 vsize=9625040 CPUtime=2.02 cores=1,3,5,7
/proc/2984/stat : 2984 (java) S 2981 2984 31144 0 -1 4202496 14073 0 1 0 199 3 0 0 20 0 19 0 106693859 9856040960 13444 33554432000 1073741824 1073778376 140736277859280 140736277850416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2984/statm: 2406260 13444 2260 9 0 2396937 0
[pid=2984/tid=2985] ppid=2981 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/2984/task/2985/stat : 2985 (java) R 2981 2984 31144 0 -1 4202560 2467 0 1 0 146 1 0 0 20 0 19 0 106693860 9856040960 13444 33554432000 1073741824 1073778376 140736277859280 139794078990720 139793951305263 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2987] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2987/stat : 2987 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 13444 33554432000 1073741824 1073778376 140736277859280 139793922870312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2988] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2988/stat : 2988 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 13444 33554432000 1073741824 1073778376 140736277859280 139793921817512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=2989] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2989/stat : 2989 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 13444 33554432000 1073741824 1073778376 140736277859280 139793920764712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2984/tid=2990] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2990/stat : 2990 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 13444 33554432000 1073741824 1073778376 140736277859280 139793919711912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2991] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2991/stat : 2991 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 13444 33554432000 1073741824 1073778376 140736277859280 139793918659112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2992] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2992/stat : 2992 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 13444 33554432000 1073741824 1073778376 140736277859280 139793917606312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2993] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2993/stat : 2993 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693861 9856040960 13444 33554432000 1073741824 1073778376 140736277859280 139793916553512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2994] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2994/stat : 2994 (java) S 2981 2984 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106693861 9856040960 13444 33554432000 1073741824 1073778376 140736277859280 139793915500712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2995] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2995/stat : 2995 (java) S 2981 2984 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106693862 9856040960 13444 33554432000 1073741824 1073778376 140736277859280 139793903090664 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2996] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2996/stat : 2996 (java) S 2981 2984 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106693862 9856040960 13444 33554432000 1073741824 1073778376 140736277859280 139793902036728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2997] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2997/stat : 2997 (java) S 2981 2984 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106693862 9856040960 13444 33554432000 1073741824 1073778376 140736277859280 139793900983816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2998] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2998/stat : 2998 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693864 9856040960 13444 33554432000 1073741824 1073778376 140736277859280 139793899932304 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2999] ppid=2981 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/2984/task/2999/stat : 2999 (java) R 2981 2984 31144 0 -1 4202560 5977 0 0 0 26 0 0 0 20 0 19 0 106693864 9856040960 13444 33554432000 1073741824 1073778376 140736277859280 139793898856536 213866374263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=3000] ppid=2981 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/2984/task/3000/stat : 3000 (java) R 2981 2984 31144 0 -1 4202560 4358 0 0 0 22 2 0 0 20 0 19 0 106693864 9856040960 13458 33554432000 1073741824 1073778376 140736277859280 139793897804040 139794086754032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=3001] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/3001/stat : 3001 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693864 9856040960 13461 33554432000 1073741824 1073778376 140736277859280 139793896774008 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=3002] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/3002/stat : 3002 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693864 9856040960 13461 33554432000 1073741824 1073778376 140736277859280 139793895721416 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=3003] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/3003/stat : 3003 (java) S 2981 2984 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106693875 9856040960 13461 33554432000 1073741824 1073778376 140736277859280 139793894667944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 1.98 2.02 2.00 4/213 3003
/proc/meminfo: memFree=30709440/32872528 swapFree=12352/737972
[pid=2984] ppid=2981 vsize=9625040 CPUtime=3.83 cores=1,3,5,7
/proc/2984/stat : 2984 (java) S 2981 2984 31144 0 -1 4202496 15663 0 1 0 380 3 0 0 20 0 19 0 106693859 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 140736277850416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2984/statm: 2406260 15751 2261 9 0 2396937 0
[pid=2984/tid=2985] ppid=2981 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/2984/task/2985/stat : 2985 (java) R 2981 2984 31144 0 -1 4202560 2474 0 1 0 306 1 0 0 20 0 19 0 106693860 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139794078990736 139793951713336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2987] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2987/stat : 2987 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139793922870312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2988] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2988/stat : 2988 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139793921817512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=2989] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2989/stat : 2989 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139793920764712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2984/tid=2990] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2990/stat : 2990 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139793919711912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2991] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2991/stat : 2991 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139793918659112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2992] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2992/stat : 2992 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139793917606312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2993] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2993/stat : 2993 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693861 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139793916553512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2994] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2994/stat : 2994 (java) S 2981 2984 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106693861 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139793915500712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2995] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2995/stat : 2995 (java) S 2981 2984 31144 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106693862 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139793903090664 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2996] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2996/stat : 2996 (java) S 2981 2984 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106693862 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139793902036728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2997] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2997/stat : 2997 (java) S 2981 2984 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106693862 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139793900983816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2998] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2998/stat : 2998 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693864 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139793899932304 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2999] ppid=2981 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/2984/task/2999/stat : 2999 (java) S 2981 2984 31144 0 -1 4202560 6957 0 0 0 37 0 0 0 20 0 19 0 106693864 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139793898879416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=3000] ppid=2981 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/2984/task/3000/stat : 3000 (java) S 2981 2984 31144 0 -1 4202560 4959 0 0 0 33 2 0 0 20 0 19 0 106693864 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139793897826616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=3001] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/3001/stat : 3001 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693864 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139793896774008 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=3002] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/3002/stat : 3002 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693864 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139793895721416 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=3003] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/3003/stat : 3003 (java) S 2981 2984 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106693875 9856040960 15751 33554432000 1073741824 1073778376 140736277859280 139793894667944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 1.98 2.02 2.00 3/213 3003
/proc/meminfo: memFree=30688912/32872528 swapFree=12352/737972
[pid=2984] ppid=2981 vsize=9625040 CPUtime=7.03 cores=1,3,5,7
/proc/2984/stat : 2984 (java) S 2981 2984 31144 0 -1 4202496 15673 0 1 0 700 3 0 0 20 0 19 0 106693859 9856040960 18697 33554432000 1073741824 1073778376 140736277859280 140736277850416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2984/statm: 2406260 18697 2262 9 0 2396937 0
[pid=2984/tid=2985] ppid=2981 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/2984/task/2985/stat : 2985 (java) R 2981 2984 31144 0 -1 4202560 2482 0 1 0 625 1 0 0 20 0 19 0 106693860 9856040960 18697 33554432000 1073741824 1073778376 140736277859280 139794078981824 139793951960709 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2987] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2987/stat : 2987 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 18697 33554432000 1073741824 1073778376 140736277859280 139793922870312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2988] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2988/stat : 2988 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 18697 33554432000 1073741824 1073778376 140736277859280 139793921817512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=2989] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2989/stat : 2989 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 18697 33554432000 1073741824 1073778376 140736277859280 139793920764712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2984/tid=2990] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2990/stat : 2990 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 18697 33554432000 1073741824 1073778376 140736277859280 139793919711912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2991] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2991/stat : 2991 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 18697 33554432000 1073741824 1073778376 140736277859280 139793918659112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2992] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2992/stat : 2992 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693860 9856040960 18697 33554432000 1073741824 1073778376 140736277859280 139793917606312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2993] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2993/stat : 2993 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693861 9856040960 18697 33554432000 1073741824 1073778376 140736277859280 139793916553512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2994] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2994/stat : 2994 (java) S 2981 2984 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106693861 9856040960 18697 33554432000 1073741824 1073778376 140736277859280 139793915500712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2995] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2995/stat : 2995 (java) S 2981 2984 31144 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106693862 9856040960 18697 33554432000 1073741824 1073778376 140736277859280 139793903090664 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2996] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2996/stat : 2996 (java) S 2981 2984 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106693862 9856040960 18697 33554432000 1073741824 1073778376 140736277859280 139793902036728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2997] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2997/stat : 2997 (java) S 2981 2984 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106693862 9856040960 18697 33554432000 1073741824 1073778376 140736277859280 139793900983816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2998] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2998/stat : 2998 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693864 9856040960 18697 33554432000 1073741824 1073778376 140736277859280 139793899932304 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2999] ppid=2981 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/2984/task/2999/stat : 2999 (java) S 2981 2984 31144 0 -1 4202560 6958 0 0 0 38 0 0 0 20 0 19 0 106693864 9856040960 18697 33554432000 1073741824 1073778376 140736277859280 139793898879416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=3000] ppid=2981 vsize=9625040 CPUtime=0.35 cores=1,3,5,7

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

[pid=2984/tid=2996] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2996/stat : 2996 (java) S 2981 2984 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106693862 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793902036728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2997] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2997/stat : 2997 (java) S 2981 2984 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106693862 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793900983816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2998] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2998/stat : 2998 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693864 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793899932304 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2999] ppid=2981 vsize=9625040 CPUtime=1.77 cores=1,3,5,7
/proc/2984/task/2999/stat : 2999 (java) S 2981 2984 31144 0 -1 4202560 18391 0 0 0 174 3 0 0 20 0 19 0 106693864 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793898879416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=3000] ppid=2981 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/2984/task/3000/stat : 3000 (java) S 2981 2984 31144 0 -1 4202560 6591 0 0 0 53 2 0 0 20 0 19 0 106693864 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793897826616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=3001] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/3001/stat : 3001 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693864 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793896774008 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=3002] ppid=2981 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/2984/task/3002/stat : 3002 (java) S 2981 2984 31144 0 -1 4202560 48 0 0 0 9 12 0 0 20 0 19 0 106693864 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793895721416 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=3003] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/3003/stat : 3003 (java) S 2981 2984 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106693875 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793894667944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 809.82
Current children cumulated vsize (KiB) 9625040

[startup+807.201 s]
/proc/loadavg: 1.98 2.06 2.00 3/213 3021
/proc/meminfo: memFree=30362700/32872528 swapFree=12352/737972
[pid=2984] ppid=2981 vsize=9625040 CPUtime=810.62 cores=1,3,5,7
/proc/2984/stat : 2984 (java) S 2981 2984 31144 0 -1 4202496 30667 0 1 0 81023 39 0 0 20 0 19 0 106693859 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 140736277850416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2984/statm: 2406260 87832 2278 9 0 2396937 0
[pid=2984/tid=2985] ppid=2981 vsize=9625040 CPUtime=804.53 cores=1,3,5,7
/proc/2984/task/2985/stat : 2985 (java) R 2981 2984 31144 0 -1 4202560 2559 0 1 0 80437 16 0 0 20 0 19 0 106693860 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139794078981840 139793951945384 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=2987] ppid=2981 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/2984/task/2987/stat : 2987 (java) S 2981 2984 31144 0 -1 4202560 203 0 0 0 13 3 0 0 20 0 19 0 106693860 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793922870312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2984/tid=2988] ppid=2981 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/2984/task/2988/stat : 2988 (java) S 2981 2984 31144 0 -1 4202560 288 0 0 0 13 1 0 0 20 0 19 0 106693860 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793921817512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2989] ppid=2981 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/2984/task/2989/stat : 2989 (java) S 2981 2984 31144 0 -1 4202560 304 0 0 0 20 3 0 0 20 0 19 0 106693860 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793920764712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2984/tid=2990] ppid=2981 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/2984/task/2990/stat : 2990 (java) S 2981 2984 31144 0 -1 4202560 207 0 0 0 17 2 0 0 20 0 19 0 106693860 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793919711912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2991] ppid=2981 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/2984/task/2991/stat : 2991 (java) S 2981 2984 31144 0 -1 4202560 260 0 0 0 14 3 0 0 20 0 19 0 106693860 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793918659112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2992] ppid=2981 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/2984/task/2992/stat : 2992 (java) S 2981 2984 31144 0 -1 4202560 281 0 0 0 17 3 0 0 20 0 19 0 106693860 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793917606312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2984/tid=2993] ppid=2981 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/2984/task/2993/stat : 2993 (java) S 2981 2984 31144 0 -1 4202560 163 0 0 0 15 3 0 0 20 0 19 0 106693861 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793916553512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2994] ppid=2981 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/2984/task/2994/stat : 2994 (java) S 2981 2984 31144 0 -1 4202560 49 0 0 0 16 2 0 0 20 0 19 0 106693861 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793915500712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=2995] ppid=2981 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/2984/task/2995/stat : 2995 (java) S 2981 2984 31144 0 -1 4202560 64 0 0 0 0 1 0 0 20 0 19 0 106693862 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793903090664 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2996] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2996/stat : 2996 (java) S 2981 2984 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106693862 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793902036728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2997] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2997/stat : 2997 (java) S 2981 2984 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106693862 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793900983816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2998] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2998/stat : 2998 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693864 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793899932304 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2999] ppid=2981 vsize=9625040 CPUtime=1.77 cores=1,3,5,7
/proc/2984/task/2999/stat : 2999 (java) S 2981 2984 31144 0 -1 4202560 18391 0 0 0 174 3 0 0 20 0 19 0 106693864 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793898879416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=3000] ppid=2981 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/2984/task/3000/stat : 3000 (java) S 2981 2984 31144 0 -1 4202560 6591 0 0 0 53 2 0 0 20 0 19 0 106693864 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793897826616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=3001] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/3001/stat : 3001 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693864 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793896774008 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=3002] ppid=2981 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/2984/task/3002/stat : 3002 (java) S 2981 2984 31144 0 -1 4202560 48 0 0 0 9 12 0 0 20 0 19 0 106693864 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793895721416 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=3003] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/3003/stat : 3003 (java) S 2981 2984 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106693875 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793894667944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 810.62
Current children cumulated vsize (KiB) 9625040

[startup+807.601 s]
/proc/loadavg: 1.98 2.06 2.00 3/213 3021
/proc/meminfo: memFree=30343340/32872528 swapFree=12352/737972
[pid=2984] ppid=2981 vsize=9625040 CPUtime=811.02 cores=1,3,5,7
/proc/2984/stat : 2984 (java) S 2981 2984 31144 0 -1 4202496 30667 0 1 0 81063 39 0 0 20 0 19 0 106693859 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 140736277850416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2984/statm: 2406260 87832 2278 9 0 2396937 0
[pid=2984/tid=2985] ppid=2981 vsize=9625040 CPUtime=804.93 cores=1,3,5,7
/proc/2984/task/2985/stat : 2985 (java) R 2981 2984 31144 0 -1 4202560 2559 0 1 0 80477 16 0 0 20 0 19 0 106693860 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139794078981840 139793951713649 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=2987] ppid=2981 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/2984/task/2987/stat : 2987 (java) S 2981 2984 31144 0 -1 4202560 203 0 0 0 13 3 0 0 20 0 19 0 106693860 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793922870312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2984/tid=2988] ppid=2981 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/2984/task/2988/stat : 2988 (java) S 2981 2984 31144 0 -1 4202560 288 0 0 0 13 1 0 0 20 0 19 0 106693860 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793921817512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2989] ppid=2981 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/2984/task/2989/stat : 2989 (java) S 2981 2984 31144 0 -1 4202560 304 0 0 0 20 3 0 0 20 0 19 0 106693860 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793920764712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2984/tid=2990] ppid=2981 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/2984/task/2990/stat : 2990 (java) S 2981 2984 31144 0 -1 4202560 207 0 0 0 17 2 0 0 20 0 19 0 106693860 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793919711912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2991] ppid=2981 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/2984/task/2991/stat : 2991 (java) S 2981 2984 31144 0 -1 4202560 260 0 0 0 14 3 0 0 20 0 19 0 106693860 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793918659112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2992] ppid=2981 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/2984/task/2992/stat : 2992 (java) S 2981 2984 31144 0 -1 4202560 281 0 0 0 17 3 0 0 20 0 19 0 106693860 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793917606312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2984/tid=2993] ppid=2981 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/2984/task/2993/stat : 2993 (java) S 2981 2984 31144 0 -1 4202560 163 0 0 0 15 3 0 0 20 0 19 0 106693861 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793916553512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2994] ppid=2981 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/2984/task/2994/stat : 2994 (java) S 2981 2984 31144 0 -1 4202560 49 0 0 0 16 2 0 0 20 0 19 0 106693861 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793915500712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=2995] ppid=2981 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/2984/task/2995/stat : 2995 (java) S 2981 2984 31144 0 -1 4202560 64 0 0 0 0 1 0 0 20 0 19 0 106693862 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793903090664 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2996] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2996/stat : 2996 (java) S 2981 2984 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106693862 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793902036728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2997] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2997/stat : 2997 (java) S 2981 2984 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106693862 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793900983816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2998] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2998/stat : 2998 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693864 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793899932304 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2999] ppid=2981 vsize=9625040 CPUtime=1.77 cores=1,3,5,7
/proc/2984/task/2999/stat : 2999 (java) S 2981 2984 31144 0 -1 4202560 18391 0 0 0 174 3 0 0 20 0 19 0 106693864 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793898879416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=3000] ppid=2981 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/2984/task/3000/stat : 3000 (java) S 2981 2984 31144 0 -1 4202560 6591 0 0 0 53 2 0 0 20 0 19 0 106693864 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793897826616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=3001] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/3001/stat : 3001 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693864 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793896774008 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=3002] ppid=2981 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/2984/task/3002/stat : 3002 (java) S 2981 2984 31144 0 -1 4202560 48 0 0 0 9 12 0 0 20 0 19 0 106693864 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793895721416 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=3003] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/3003/stat : 3003 (java) S 2981 2984 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106693875 9856040960 87832 33554432000 1073741824 1073778376 140736277859280 139793894667944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 811.02
Current children cumulated vsize (KiB) 9625040

[startup+808.001 s]
/proc/loadavg: 1.98 2.06 2.00 3/213 3021
/proc/meminfo: memFree=30343340/32872528 swapFree=12352/737972
[pid=2984] ppid=2981 vsize=9625040 CPUtime=811.44 cores=1,3,5,7
/proc/2984/stat : 2984 (java) S 2981 2984 31144 0 -1 4202496 30669 0 1 0 81104 40 0 0 20 0 19 0 106693859 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 140736277850416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2984/statm: 2406260 87833 2279 9 0 2396937 0
[pid=2984/tid=2985] ppid=2981 vsize=9625040 CPUtime=805.33 cores=1,3,5,7
/proc/2984/task/2985/stat : 2985 (java) R 2981 2984 31144 0 -1 4202560 2560 0 1 0 80516 17 0 0 20 0 19 0 106693860 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139794078988840 139793951945456 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=2987] ppid=2981 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/2984/task/2987/stat : 2987 (java) S 2981 2984 31144 0 -1 4202560 203 0 0 0 13 3 0 0 20 0 19 0 106693860 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139793922870312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2984/tid=2988] ppid=2981 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/2984/task/2988/stat : 2988 (java) S 2981 2984 31144 0 -1 4202560 288 0 0 0 13 1 0 0 20 0 19 0 106693860 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139793921817512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2989] ppid=2981 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/2984/task/2989/stat : 2989 (java) S 2981 2984 31144 0 -1 4202560 304 0 0 0 20 3 0 0 20 0 19 0 106693860 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139793920764712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2984/tid=2990] ppid=2981 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/2984/task/2990/stat : 2990 (java) S 2981 2984 31144 0 -1 4202560 207 0 0 0 17 2 0 0 20 0 19 0 106693860 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139793919711912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2991] ppid=2981 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/2984/task/2991/stat : 2991 (java) S 2981 2984 31144 0 -1 4202560 260 0 0 0 14 3 0 0 20 0 19 0 106693860 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139793918659112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2992] ppid=2981 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/2984/task/2992/stat : 2992 (java) S 2981 2984 31144 0 -1 4202560 281 0 0 0 17 3 0 0 20 0 19 0 106693860 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139793917606312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2984/tid=2993] ppid=2981 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/2984/task/2993/stat : 2993 (java) S 2981 2984 31144 0 -1 4202560 163 0 0 0 15 3 0 0 20 0 19 0 106693861 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139793916553512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2994] ppid=2981 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/2984/task/2994/stat : 2994 (java) S 2981 2984 31144 0 -1 4202560 49 0 0 0 16 2 0 0 20 0 19 0 106693861 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139793915500712 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=2995] ppid=2981 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/2984/task/2995/stat : 2995 (java) S 2981 2984 31144 0 -1 4202560 64 0 0 0 0 1 0 0 20 0 19 0 106693862 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139793903090664 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=2996] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2996/stat : 2996 (java) S 2981 2984 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106693862 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139793902036728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2997] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2997/stat : 2997 (java) S 2981 2984 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106693862 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139793900983816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2998] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/2998/stat : 2998 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693864 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139793899932304 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=2999] ppid=2981 vsize=9625040 CPUtime=1.77 cores=1,3,5,7
/proc/2984/task/2999/stat : 2999 (java) S 2981 2984 31144 0 -1 4202560 18392 0 0 0 174 3 0 0 20 0 19 0 106693864 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139793898879416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2984/tid=3000] ppid=2981 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/2984/task/3000/stat : 3000 (java) S 2981 2984 31144 0 -1 4202560 6591 0 0 0 53 2 0 0 20 0 19 0 106693864 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139793897826616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=3001] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/3001/stat : 3001 (java) S 2981 2984 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106693864 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139793896774008 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2984/tid=3002] ppid=2981 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/2984/task/3002/stat : 3002 (java) S 2981 2984 31144 0 -1 4202560 48 0 0 0 9 12 0 0 20 0 19 0 106693864 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139793895721416 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2984/tid=3003] ppid=2981 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/2984/task/3003/stat : 3003 (java) S 2981 2984 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106693875 9856040960 87833 33554432000 1073741824 1073778376 140736277859280 139793894667944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 811.44
Current children cumulated vsize (KiB) 9625040

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2984 and gives
#  childrusage.ru_utime.tv_sec=808
#  childrusage.ru_utime.tv_usec=938022
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=682896
# CPU time returned by wait4() is 809.621
# while last known CPU time is 811.44
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 808.034
CPU time (s): 811.44
CPU user time (s): 811.04
CPU system time (s): 0.4
CPU usage (%): 100.422
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 808.938
system time used= 0.682896
maximum resident set size= 355592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30689
page faults= 1
swaps= 0
block input operations= 0
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17915
involuntary context switches= 8830

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.09822 second user time and 6.91195 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-06 23:13:14
IDJOB=4085565
IDBENCH=24969
IDSOLVER=2546
FILE ID=node112/4085565-1465247594
RUNJOBID= node112-1465218300-31161
PBS_JOBID= 19843211
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-11_22.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085565-1465247594/watcher-4085565-1465247594 -o /tmp/evaluation-result-4085565-1465247594/solver-4085565-1465247594 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465218300-31161 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085565-1465247594.opb

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

MD5SUM BENCH= 75c7e5778aa6d0e8c18984c9064c30c6
RANDOM SEED=2096381377

node112.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.783
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.56
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.783
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.783
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.783
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.56
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.783
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.54
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.783
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.72
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.783
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.783
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30761216 kB
Buffers:           37068 kB
Cached:           103736 kB
SwapCached:         1620 kB
Active:           588392 kB
Inactive:          79836 kB
Active(anon):     529028 kB
Inactive(anon):      748 kB
Active(file):      59364 kB
Inactive(file):    79088 kB
Unevictable:      737972 kB
Mlocked:           12352 kB
SwapTotal:      67108856 kB
SwapFree:       67098572 kB
Dirty:               812 kB
Writeback:             0 kB
AnonPages:       1268356 kB
Mapped:            15316 kB
Shmem:                 0 kB
Slab:             567288 kB
SReclaimable:      10544 kB
SUnreclaim:       556744 kB
KernelStack:        1568 kB
PageTables:         6924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1514684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1232896 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= 71744 MiB
End job on node112 at 2016-06-06 23:26:42