Trace number 4085704

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)477 1800.08 1787.06

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-1109824.opb
MD5SUM6b78caa911ec8d23c05ac6a0b1089c62
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark426
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1520
Total number of constraints28979
Number of constraints which are clauses28880
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints76
Minimum length of a constraint2
Maximum length of a constraint76
Number of terms in the objective function 1512
Biggest coefficient in the objective function 83
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 54080
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 83
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 54080
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4085704-1465277925.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.72/0.48	c ... done. Wall clock time 0.368s.
0.72/0.48	c declared #vars     1520
0.72/0.48	c #constraints  29078
0.72/0.48	c constraints type 
0.72/0.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27383
0.72/0.48	c org.sat4j.minisat.constraints.card.MinWatchCard => 175
0.72/0.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1520
0.72/0.48	c 29078 constraints processed.
0.72/0.48	c objective function length is 1512 literals
1.16/0.61	c SATISFIABLE
1.16/0.61	c OPTIMIZING...
1.16/0.61	c Got one! Elapsed wall clock time (in seconds):0.498
1.16/0.61	o 477
1.94/1.07	c cleaning 2618 clauses out of 5235 with flag 22726/5235
2.40/1.47	c cleaning 4308 clauses out of 8615 with flag 53700/11233
2.90/1.95	c cleaning 5654 clauses out of 11307 with flag 90780/18233
3.50/2.57	c cleaning 6824 clauses out of 13655 with flag 128019/26235
4.33/3.32	c cleaning 7909 clauses out of 15829 with flag 163211/35233
5.03/4.04	c cleaning 8960 clauses out of 17920 with flag 223792/45233
5.85/4.87	c cleaning 9966 clauses out of 19960 with flag 274387/56233
6.86/5.86	c cleaning 10996 clauses out of 21996 with flag 344020/68235
7.86/6.85	c cleaning 11997 clauses out of 23998 with flag 426978/81233
8.96/7.96	c cleaning 12991 clauses out of 26001 with flag 521260/95233
10.16/9.19	c cleaning 14003 clauses out of 28010 with flag 627824/110233
11.58/10.59	c cleaning 14998 clauses out of 30007 with flag 742748/126233
13.19/12.18	c cleaning 16003 clauses out of 32009 with flag 846488/143233
14.98/13.95	c cleaning 17000 clauses out of 34006 with flag 969770/161233
17.08/16.08	c cleaning 18000 clauses out of 36009 with flag 1108106/180236
19.38/18.32	c cleaning 18997 clauses out of 38006 with flag 1256501/200233
21.28/20.28	c cleaning 19995 clauses out of 40010 with flag 1416273/221234
23.28/22.28	c cleaning 21003 clauses out of 42014 with flag 1587976/243233
25.48/24.44	c cleaning 22001 clauses out of 44011 with flag 1706521/266233
27.78/26.71	c cleaning 23000 clauses out of 46012 with flag 1850043/290235
30.28/29.27	c cleaning 24004 clauses out of 48010 with flag 2052660/315233
33.09/32.06	c cleaning 24993 clauses out of 50006 with flag 2265724/341233
35.97/34.85	c cleaning 26003 clauses out of 52014 with flag 2443387/368234
39.07/37.99	c cleaning 27001 clauses out of 54010 with flag 2585329/396233
42.07/40.93	c cleaning 28000 clauses out of 56009 with flag 2746744/425233
44.97/43.81	c cleaning 28994 clauses out of 58009 with flag 2941106/455233
47.97/46.83	c cleaning 29999 clauses out of 60015 with flag 3143382/486233
50.97/49.81	c cleaning 31002 clauses out of 62016 with flag 3345652/518233
54.57/53.43	c cleaning 32008 clauses out of 64015 with flag 3540643/551234
58.07/56.97	c cleaning 33002 clauses out of 66007 with flag 3774905/585234
61.68/60.53	c cleaning 33996 clauses out of 68006 with flag 4030338/620235
65.33/64.20	c cleaning 34992 clauses out of 70008 with flag 4349220/656233
69.23/68.06	c cleaning 36006 clauses out of 72017 with flag 4652949/693234
73.52/72.36	c cleaning 37001 clauses out of 74011 with flag 5009413/731234
78.63/77.45	c cleaning 38002 clauses out of 76012 with flag 5336889/770236
83.73/82.51	c cleaning 39001 clauses out of 78009 with flag 5622112/810235
89.23/88.05	c cleaning 39994 clauses out of 80006 with flag 5983303/851233
94.83/93.64	c cleaning 41006 clauses out of 82012 with flag 6364220/893233
100.72/99.41	c cleaning 41992 clauses out of 84007 with flag 6647137/936234
106.93/105.63	c cleaning 42989 clauses out of 86014 with flag 7036373/980233
112.62/111.36	c cleaning 44008 clauses out of 88025 with flag 7432485/1025233
118.22/116.93	c cleaning 45009 clauses out of 90019 with flag 7866777/1071235
123.72/122.47	c cleaning 45978 clauses out of 92008 with flag 8299173/1118233
129.06/127.70	c cleaning 46994 clauses out of 94030 with flag 8704617/1166233
134.16/132.77	c cleaning 48013 clauses out of 96037 with flag 9088943/1215234
139.85/138.45	c cleaning 49005 clauses out of 98024 with flag 9559423/1265234
145.16/143.79	c cleaning 50000 clauses out of 100019 with flag 9999983/1316234
151.07/149.64	c cleaning 51007 clauses out of 102020 with flag 10418128/1368235
157.16/155.57	c cleaning 52001 clauses out of 104011 with flag 10862423/1421233
164.36/162.75	c cleaning 52996 clauses out of 106013 with flag 11274546/1475236
170.26/168.64	c cleaning 54006 clauses out of 108015 with flag 11667699/1530234
176.56/174.94	c cleaning 54997 clauses out of 110008 with flag 12085506/1586233
183.65/181.89	c cleaning 55999 clauses out of 112012 with flag 12561585/1643234
190.25/188.48	c cleaning 56996 clauses out of 114012 with flag 12981430/1701233
198.45/196.65	c cleaning 58003 clauses out of 116016 with flag 13471859/1760233
207.35/205.54	c cleaning 59007 clauses out of 118013 with flag 13998202/1820233
217.46/215.68	c cleaning 59996 clauses out of 120007 with flag 14685499/1881234
225.43/223.49	c cleaning 61000 clauses out of 122010 with flag 15251985/1943233
233.23/231.22	c cleaning 61985 clauses out of 124011 with flag 15705600/2006234
240.62/238.60	c cleaning 63004 clauses out of 126026 with flag 16147073/2070234
248.44/246.22	c cleaning 64005 clauses out of 128022 with flag 16673464/2135234
256.24/254.01	c cleaning 64989 clauses out of 130016 with flag 17283623/2201233
265.33/262.93	c cleaning 66002 clauses out of 132027 with flag 18018494/2268233
276.02/273.63	c cleaning 67000 clauses out of 134025 with flag 18771160/2336233
286.02/283.61	c cleaning 68012 clauses out of 136028 with flag 19557185/2405236
294.82/292.39	c cleaning 69003 clauses out of 138016 with flag 20285815/2475236
304.62/302.13	c cleaning 69997 clauses out of 140010 with flag 20880100/2546233
313.41/310.80	c cleaning 71004 clauses out of 142014 with flag 21512284/2618234
322.86/319.91	c cleaning 71998 clauses out of 144009 with flag 22129491/2691233
332.59/329.59	c cleaning 72993 clauses out of 146013 with flag 22840952/2765235
341.26/338.19	c cleaning 74005 clauses out of 148018 with flag 23514815/2840233
350.06/346.91	c cleaning 75003 clauses out of 150017 with flag 24127292/2916237
358.95/355.71	c cleaning 75997 clauses out of 152010 with flag 24811949/2993233
369.45/366.29	c cleaning 76999 clauses out of 154014 with flag 25577162/3071234
379.81/376.51	c cleaning 77997 clauses out of 156018 with flag 26400497/3150237
390.31/387.07	c cleaning 78988 clauses out of 158017 with flag 27105281/3230233
400.69/397.38	c cleaning 80004 clauses out of 160031 with flag 27885248/3311235
411.79/408.41	c cleaning 80999 clauses out of 162025 with flag 28662200/3393233
421.87/418.45	c cleaning 81995 clauses out of 164026 with flag 29443404/3476233
431.87/428.44	c cleaning 83015 clauses out of 166034 with flag 30065091/3560236
441.40/437.92	c cleaning 83998 clauses out of 168016 with flag 30739007/3645233
451.60/448.13	c cleaning 85003 clauses out of 170020 with flag 31637707/3731235
462.77/459.26	c cleaning 86001 clauses out of 172015 with flag 32451358/3818233
476.43/472.87	c cleaning 87000 clauses out of 174015 with flag 33326710/3906234
488.74/485.12	c cleaning 88003 clauses out of 176015 with flag 34127508/3995234
499.70/496.04	c cleaning 88999 clauses out of 178012 with flag 34965462/4085234
510.60/506.90	c cleaning 89985 clauses out of 180012 with flag 35789686/4176233
524.41/520.65	c cleaning 91007 clauses out of 182029 with flag 36698871/4268235
538.59/534.79	c cleaning 91998 clauses out of 184020 with flag 37685378/4361233
552.46/548.51	c cleaning 92997 clauses out of 186022 with flag 38736829/4455233
563.73/559.73	c cleaning 93999 clauses out of 188025 with flag 39654618/4550233
575.73/571.77	c cleaning 95000 clauses out of 190029 with flag 40615641/4646236
589.01/584.98	c cleaning 95994 clauses out of 192028 with flag 41576526/4743235
602.28/598.10	c cleaning 97003 clauses out of 194035 with flag 42610268/4841236
616.27/612.03	c cleaning 98009 clauses out of 196029 with flag 43592974/4940233
629.97/625.69	c cleaning 99004 clauses out of 198020 with flag 44604329/5040233
643.17/638.87	c cleaning 100000 clauses out of 200017 with flag 45668865/5141234
657.76/653.32	c cleaning 100995 clauses out of 202017 with flag 46764391/5243234
672.91/668.47	c cleaning 102005 clauses out of 204021 with flag 47663216/5346233
688.06/683.59	c cleaning 103006 clauses out of 206017 with flag 48666699/5450234
702.33/697.73	c cleaning 104002 clauses out of 208010 with flag 49684497/5555233
717.70/713.02	c cleaning 104999 clauses out of 210008 with flag 50809921/5661233
732.29/727.50	c cleaning 106001 clauses out of 212013 with flag 51971618/5768237
746.27/741.43	c cleaning 106992 clauses out of 214009 with flag 53059282/5876234
762.45/757.50	c cleaning 108006 clauses out of 216019 with flag 54312644/5985236
776.12/771.17	c cleaning 108992 clauses out of 218010 with flag 55437699/6095233
791.07/786.00	c cleaning 110002 clauses out of 220019 with flag 56534387/6206234
806.72/801.70	c cleaning 110990 clauses out of 222016 with flag 57685478/6318233
821.85/816.64	c cleaning 112006 clauses out of 224026 with flag 58818566/6431233
837.43/832.17	c cleaning 112993 clauses out of 226020 with flag 60105791/6545233
855.82/850.45	c cleaning 113998 clauses out of 228028 with flag 61456959/6660234
871.16/865.70	c cleaning 114990 clauses out of 230029 with flag 62733404/6776233
887.66/882.04	c cleaning 115984 clauses out of 232039 with flag 63930749/6893233
907.67/901.98	c cleaning 117015 clauses out of 234056 with flag 65064731/7011234
924.63/918.81	c cleaning 118010 clauses out of 236040 with flag 66501408/7130233
944.14/938.20	c cleaning 119006 clauses out of 238030 with flag 68027893/7250233
962.48/956.48	c cleaning 120000 clauses out of 240024 with flag 69486260/7371233
981.16/975.04	c cleaning 121005 clauses out of 242024 with flag 70726589/7493233
1003.08/996.81	c cleaning 122010 clauses out of 244019 with flag 72115568/7616233
1020.05/1013.71	c cleaning 122984 clauses out of 246009 with flag 73456910/7740233
1043.37/1036.96	c cleaning 124006 clauses out of 248025 with flag 74697891/7865233
1061.30/1054.74	c cleaning 124993 clauses out of 250019 with flag 76014282/7991233
1082.11/1075.45	c cleaning 125993 clauses out of 252028 with flag 77567742/8118235
1101.14/1094.23	c cleaning 127008 clauses out of 254034 with flag 79153712/8246234
1118.82/1111.70	c cleaning 127997 clauses out of 256026 with flag 80688026/8375234
1141.53/1134.35	c cleaning 128990 clauses out of 258028 with flag 82419139/8505233
1160.85/1153.45	c cleaning 130001 clauses out of 260038 with flag 84020915/8636233
1186.41/1178.82	c cleaning 131004 clauses out of 262039 with flag 85611873/8768235
1213.57/1205.86	c cleaning 132007 clauses out of 264034 with flag 87115819/8901234
1234.70/1226.86	c cleaning 133005 clauses out of 266028 with flag 88586798/9035235
1258.36/1250.39	c cleaning 133995 clauses out of 268021 with flag 89952418/9170233
1277.90/1269.73	c cleaning 134997 clauses out of 270026 with flag 91427386/9306233
1297.97/1289.64	c cleaning 135996 clauses out of 272031 with flag 92806727/9443235
1315.72/1307.29	c cleaning 137007 clauses out of 274033 with flag 94195899/9581233
1337.45/1328.83	c cleaning 138005 clauses out of 276028 with flag 95890562/9720235
1357.94/1349.15	c cleaning 139002 clauses out of 278023 with flag 97430686/9860235
1378.81/1369.84	c cleaning 139991 clauses out of 280019 with flag 99070990/10001233
1397.91/1388.71	c cleaning 141001 clauses out of 282028 with flag 100701004/10143233
1418.16/1408.85	c cleaning 142005 clauses out of 284028 with flag 102265136/10286234
1439.45/1429.93	c cleaning 142996 clauses out of 286022 with flag 103773090/10430233
1461.70/1452.02	c cleaning 143995 clauses out of 288026 with flag 105390555/10575233
1484.90/1475.05	c cleaning 145001 clauses out of 290031 with flag 107174706/10721233
1505.29/1495.29	c cleaning 146009 clauses out of 292030 with flag 108784265/10868233
1526.58/1516.35	c cleaning 146990 clauses out of 294021 with flag 110115188/11016233
1547.25/1536.76	c cleaning 148001 clauses out of 296031 with flag 111642154/11165233
1572.87/1562.25	c cleaning 148996 clauses out of 298030 with flag 113094072/11315233
1598.61/1587.73	c cleaning 150008 clauses out of 300035 with flag 114785855/11466234
1620.24/1609.17	c cleaning 151003 clauses out of 302027 with flag 116136701/11618234
1647.07/1635.71	c cleaning 151996 clauses out of 304023 with flag 117876181/11771233
1670.08/1658.50	c cleaning 152984 clauses out of 306028 with flag 119634123/11925234
1691.41/1679.61	c cleaning 154006 clauses out of 308044 with flag 121169122/12080234
1716.58/1704.56	c cleaning 154997 clauses out of 310038 with flag 122878713/12236234
1742.29/1729.93	c cleaning 156006 clauses out of 312040 with flag 124613603/12393233
1769.25/1756.64	c cleaning 157000 clauses out of 314035 with flag 126564510/12551234
1790.73/1777.73	c cleaning 157994 clauses out of 316034 with flag 128360025/12710233
1800.08/1787.00	c starts		: 20928
1800.08/1787.00	c conflicts		: 12787423
1800.08/1787.00	c decisions		: 30349671
1800.08/1787.00	c propagations		: 897559945
1800.08/1787.00	c inspects		: 22189155126
1800.08/1787.00	c shortcuts		: 0
1800.08/1787.00	c learnt literals	: 0
1800.08/1787.00	c learnt binary clauses	: 59
1800.08/1787.00	c learnt ternary clauses	: 913
1800.08/1787.00	c learnt constraints	: 12787423
1800.08/1787.00	c ignored constraints	: 0
1800.08/1787.00	c root simplifications	: 0
1800.08/1787.00	c removed literals (reason simplification)	: 0
1800.08/1787.00	c reason swapping (by a shorter reason)	: 0
1800.08/1787.00	c Calls to reduceDB	: 155
1800.08/1787.00	c Number of update (reduction) of LBD	: 4041383
1800.08/1787.00	c Imported unit clauses	: 0
1800.08/1787.00	c number of reductions to clauses (during analyze)	: 0
1800.08/1787.00	c number of learned constraints concerned by reduction	: 0
1800.08/1787.00	c number of learning phase by resolution	: 0
1800.08/1787.00	c number of learning phase by cutting planes	: 0
1800.08/1787.00	c speed (assignments/second)	: 502409.1329921098
1800.08/1787.00	c non guided choices	0
1800.08/1787.05	c learnt constraints type 
1800.08/1787.05	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 59
1800.08/1787.05	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 235171
1800.08/1787.05	s SATISFIABLE
1800.08/1787.05	c Found 1 solution(s)
1800.08/1787.05	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 
1800.08/1787.05	c objective function=477
1800.08/1787.05	c Total wall clock time (in seconds): 1786.94

Verifier Data 

OK	477

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

pid=9749
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: 2.08 2.06 2.07 3/194 9752
/proc/meminfo: memFree=30603340/32872528 swapFree=12352/737972
[pid=9752] ppid=9749 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/9752/stat : 9752 (java) D 9749 9752 3485 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 109726941 9515008 182 33554432000 1073741824 1073778376 140733302406128 140733302397160 213866331829 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/9752/statm: 2323 182 140 9 0 71 0

[startup+0.100157 s]
/proc/loadavg: 2.08 2.06 2.07 3/194 9752
/proc/meminfo: memFree=30603340/32872528 swapFree=12352/737972
[pid=9752] ppid=9749 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/9752/stat : 9752 (java) S 9749 9752 3485 0 -1 4202496 4452 0 1 0 9 0 0 0 20 0 18 0 109726941 9787879424 5572 33554432000 1073741824 1073778376 140735204725376 140735204716512 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9752/statm: 2389619 5572 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200272 s]
/proc/loadavg: 2.08 2.06 2.07 3/194 9752
/proc/meminfo: memFree=30603340/32872528 swapFree=12352/737972
[pid=9752] ppid=9749 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/9752/stat : 9752 (java) S 9749 9752 3485 0 -1 4202496 5087 0 1 0 27 0 0 0 20 0 18 0 109726941 9787879424 7027 33554432000 1073741824 1073778376 140735204725376 140735204716512 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9752/statm: 2389619 7027 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300342 s]
/proc/loadavg: 2.08 2.06 2.07 3/194 9752
/proc/meminfo: memFree=30603340/32872528 swapFree=12352/737972
[pid=9752] ppid=9749 vsize=9558476 CPUtime=0.51 cores=1,3,5,7
/proc/9752/stat : 9752 (java) S 9749 9752 3485 0 -1 4202496 6058 0 1 0 51 0 0 0 20 0 18 0 109726941 9787879424 9057 33554432000 1073741824 1073778376 140735204725376 140735204716512 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9752/statm: 2389619 9057 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476

[startup+0.700274 s]
/proc/loadavg: 2.08 2.06 2.07 3/194 9752
/proc/meminfo: memFree=30603340/32872528 swapFree=12352/737972
[pid=9752] ppid=9749 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/9752/stat : 9752 (java) S 9749 9752 3485 0 -1 4202496 9980 0 1 0 143 3 0 0 20 0 19 0 109726941 9856040960 27129 33554432000 1073741824 1073778376 140735204725376 140735204716512 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9752/statm: 2406260 27129 2265 9 0 2396937 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9625040

[startup+1.50082 s]
/proc/loadavg: 2.07 2.06 2.07 3/213 9771
/proc/meminfo: memFree=30499060/32872528 swapFree=12352/737972
[pid=9752] ppid=9749 vsize=9625040 CPUtime=2.5 cores=1,3,5,7
/proc/9752/stat : 9752 (java) S 9749 9752 3485 0 -1 4202496 10946 0 1 0 247 3 0 0 20 0 19 0 109726941 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140735204716512 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9752/statm: 2406260 28719 2272 9 0 2396937 0
[pid=9752/tid=9754] ppid=9749 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/9752/task/9754/stat : 9754 (java) R 9749 9752 3485 0 -1 4202560 2501 0 1 0 144 2 0 0 20 0 19 0 109726942 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226992140440 140226932627849 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9755] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9755/stat : 9755 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226930871336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9756] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9756/stat : 9756 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226929818536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9757] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9757/stat : 9757 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226928765736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9752/tid=9758] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9758/stat : 9758 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226927712936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9759] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9759/stat : 9759 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226926660136 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9760] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9760/stat : 9760 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226925607336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9761] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9761/stat : 9761 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226829433128 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9762] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9762/stat : 9762 (java) S 9749 9752 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226828380328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9763] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9763/stat : 9763 (java) S 9749 9752 3485 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 109726944 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226816183272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9764] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9764/stat : 9764 (java) S 9749 9752 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 109726944 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226815129336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9765] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9765/stat : 9765 (java) S 9749 9752 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109726944 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226814076424 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9766] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9766/stat : 9766 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726947 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226813024912 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9767] ppid=9749 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/9752/task/9767/stat : 9767 (java) S 9749 9752 3485 0 -1 4202560 3712 0 0 0 56 0 0 0 20 0 19 0 109726947 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226811972024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9768] ppid=9749 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/9752/task/9768/stat : 9768 (java) S 9749 9752 3485 0 -1 4202560 3462 0 0 0 43 0 0 0 20 0 19 0 109726947 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226810919224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9752/tid=9769] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9769/stat : 9769 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726947 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226809866616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9770] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9770/stat : 9770 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726947 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226808814024 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9771] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9771/stat : 9771 (java) S 9749 9752 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109726990 9856040960 28719 33554432000 1073741824 1073778376 140735204725376 140226807760552 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 9625040

[startup+3.10086 s]
/proc/loadavg: 2.07 2.06 2.07 3/213 9771
/proc/meminfo: memFree=30488448/32872528 swapFree=12352/737972
[pid=9752] ppid=9749 vsize=9625040 CPUtime=4.12 cores=1,3,5,7
/proc/9752/stat : 9752 (java) S 9749 9752 3485 0 -1 4202496 10956 0 1 0 409 3 0 0 20 0 19 0 109726941 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140735204716512 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9752/statm: 2406260 30772 2272 9 0 2396937 0
[pid=9752/tid=9754] ppid=9749 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/9752/task/9754/stat : 9754 (java) R 9749 9752 3485 0 -1 4202560 2506 0 1 0 303 2 0 0 20 0 19 0 109726942 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226992140568 140226932627988 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9755] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9755/stat : 9755 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226930871336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9756] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9756/stat : 9756 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226929818536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9757] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9757/stat : 9757 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226928765736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9752/tid=9758] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9758/stat : 9758 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226927712936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9759] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9759/stat : 9759 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226926660136 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9760] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9760/stat : 9760 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226925607336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9761] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9761/stat : 9761 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226829433128 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9762] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9762/stat : 9762 (java) S 9749 9752 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226828380328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9763] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9763/stat : 9763 (java) S 9749 9752 3485 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 109726944 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226816183272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9764] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9764/stat : 9764 (java) S 9749 9752 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 109726944 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226815129336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9765] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9765/stat : 9765 (java) S 9749 9752 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109726944 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226814076424 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9766] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9766/stat : 9766 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726947 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226813024912 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9767] ppid=9749 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/9752/task/9767/stat : 9767 (java) S 9749 9752 3485 0 -1 4202560 3713 0 0 0 57 0 0 0 20 0 19 0 109726947 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226811972024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9768] ppid=9749 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/9752/task/9768/stat : 9768 (java) S 9749 9752 3485 0 -1 4202560 3465 0 0 0 45 0 0 0 20 0 19 0 109726947 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226810919224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9752/tid=9769] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9769/stat : 9769 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726947 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226809866616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9770] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9770/stat : 9770 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726947 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226808814024 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9771] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9771/stat : 9771 (java) S 9749 9752 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109726990 9856040960 30772 33554432000 1073741824 1073778376 140735204725376 140226807760552 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 9625040

[startup+6.30088 s]
/proc/loadavg: 2.07 2.06 2.07 3/213 9771
/proc/meminfo: memFree=30463516/32872528 swapFree=12352/737972
[pid=9752] ppid=9749 vsize=9625040 CPUtime=7.36 cores=1,3,5,7
/proc/9752/stat : 9752 (java) S 9749 9752 3485 0 -1 4202496 10972 0 1 0 732 4 0 0 20 0 19 0 109726941 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140735204716512 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9752/statm: 2406260 35376 2272 9 0 2396937 0
[pid=9752/tid=9754] ppid=9749 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/9752/task/9754/stat : 9754 (java) R 9749 9752 3485 0 -1 4202560 2516 0 1 0 623 2 0 0 20 0 19 0 109726942 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226992131776 140226932658990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9755] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9755/stat : 9755 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226930871336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9756] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9756/stat : 9756 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226929818536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9757] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9757/stat : 9757 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226928765736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9752/tid=9758] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9758/stat : 9758 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226927712936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9759] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9759/stat : 9759 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226926660136 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9760] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9760/stat : 9760 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226925607336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9761] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9761/stat : 9761 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226829433128 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9762] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9762/stat : 9762 (java) S 9749 9752 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109726943 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226828380328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9763] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9763/stat : 9763 (java) S 9749 9752 3485 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 109726944 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226816183272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9764] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9764/stat : 9764 (java) S 9749 9752 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 109726944 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226815129336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9765] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9765/stat : 9765 (java) S 9749 9752 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109726944 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226814076424 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9766] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9766/stat : 9766 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726947 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226813024912 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9767] ppid=9749 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/9752/task/9767/stat : 9767 (java) S 9749 9752 3485 0 -1 4202560 3713 0 0 0 57 0 0 0 20 0 19 0 109726947 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226811972024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9768] ppid=9749 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/9752/task/9768/stat : 9768 (java) S 9749 9752 3485 0 -1 4202560 3471 0 0 0 49 0 0 0 20 0 19 0 109726947 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226810919224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9752/tid=9769] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9769/stat : 9769 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726947 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226809866616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9770] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9770/stat : 9770 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726947 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226808814024 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9771] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9771/stat : 9771 (java) S 9749 9752 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109726990 9856040960 35376 33554432000 1073741824 1073778376 140735204725376 140226807760552 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.36
Current children cumulated vsize (KiB) 9625040


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

[pid=9752/tid=9771] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9771/stat : 9771 (java) S 9749 9752 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109726990 9856040960 62106 33554432000 1073741824 1073778376 140735204725376 140226807760552 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1673.92
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.34 2.21 2.11 3/213 9903
/proc/meminfo: memFree=30459596/32872528 swapFree=12352/737972
[pid=9752] ppid=9749 vsize=9625040 CPUtime=1734.57 cores=1,3,5,7
/proc/9752/stat : 9752 (java) S 9749 9752 3485 0 -1 4202496 23650 0 1 0 173356 101 0 0 20 0 19 0 109726941 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140735204716512 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9752/statm: 2406260 67266 2294 9 0 2396937 0
[pid=9752/tid=9754] ppid=9749 vsize=9625040 CPUtime=1710.6 cores=1,3,5,7
/proc/9752/task/9754/stat : 9754 (java) R 9749 9752 3485 0 -1 4202560 2711 0 1 0 171029 31 0 0 20 0 19 0 109726942 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226992139568 140226932499623 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9755] ppid=9749 vsize=9625040 CPUtime=1.83 cores=1,3,5,7
/proc/9752/task/9755/stat : 9755 (java) S 9749 9752 3485 0 -1 4202560 644 0 0 0 173 10 0 0 20 0 19 0 109726943 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226930871336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9756] ppid=9749 vsize=9625040 CPUtime=1.81 cores=1,3,5,7
/proc/9752/task/9756/stat : 9756 (java) S 9749 9752 3485 0 -1 4202560 504 0 0 0 171 10 0 0 20 0 19 0 109726943 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226929818536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9757] ppid=9749 vsize=9625040 CPUtime=1.93 cores=1,3,5,7
/proc/9752/task/9757/stat : 9757 (java) S 9749 9752 3485 0 -1 4202560 713 0 0 0 182 11 0 0 20 0 19 0 109726943 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226928765736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9758] ppid=9749 vsize=9625040 CPUtime=1.88 cores=1,3,5,7
/proc/9752/task/9758/stat : 9758 (java) S 9749 9752 3485 0 -1 4202560 390 0 0 0 179 9 0 0 20 0 19 0 109726943 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226927712936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9759] ppid=9749 vsize=9625040 CPUtime=1.86 cores=1,3,5,7
/proc/9752/task/9759/stat : 9759 (java) S 9749 9752 3485 0 -1 4202560 846 0 0 0 177 9 0 0 20 0 19 0 109726943 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226926660136 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9760] ppid=9749 vsize=9625040 CPUtime=1.94 cores=1,3,5,7
/proc/9752/task/9760/stat : 9760 (java) S 9749 9752 3485 0 -1 4202560 620 0 0 0 184 10 0 0 20 0 19 0 109726943 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226925607336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9752/tid=9761] ppid=9749 vsize=9625040 CPUtime=1.87 cores=1,3,5,7
/proc/9752/task/9761/stat : 9761 (java) S 9749 9752 3485 0 -1 4202560 415 0 0 0 180 7 0 0 20 0 19 0 109726943 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226829433128 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9752/tid=9762] ppid=9749 vsize=9625040 CPUtime=1.69 cores=1,3,5,7
/proc/9752/task/9762/stat : 9762 (java) S 9749 9752 3485 0 -1 4202560 590 0 0 0 163 6 0 0 20 0 19 0 109726943 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226828380328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9763] ppid=9749 vsize=9625040 CPUtime=2.84 cores=1,3,5,7
/proc/9752/task/9763/stat : 9763 (java) S 9749 9752 3485 0 -1 4202560 452 0 0 0 279 5 0 0 20 0 19 0 109726944 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226816183272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9764] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9764/stat : 9764 (java) S 9749 9752 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109726944 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226815129336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9752/tid=9765] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9765/stat : 9765 (java) S 9749 9752 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109726944 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226814076424 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9766] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9766/stat : 9766 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726947 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226813024912 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9767] ppid=9749 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/9752/task/9767/stat : 9767 (java) S 9749 9752 3485 0 -1 4202560 3720 0 0 0 63 0 0 0 20 0 19 0 109726947 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226811972024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9768] ppid=9749 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/9752/task/9768/stat : 9768 (java) S 9749 9752 3485 0 -1 4202560 10689 0 0 0 97 2 0 0 20 0 19 0 109726947 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226810919224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9752/tid=9769] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9769/stat : 9769 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726947 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226809866616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9770] ppid=9749 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/9752/task/9770/stat : 9770 (java) S 9749 9752 3485 0 -1 4202560 99 0 0 0 19 24 0 0 20 0 19 0 109726947 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226808814024 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9771] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9771/stat : 9771 (java) S 9749 9752 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109726990 9856040960 67266 33554432000 1073741824 1073778376 140735204725376 140226807760552 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1734.57
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.23 2.20 2.11 3/213 9904
/proc/meminfo: memFree=30447796/32872528 swapFree=12352/737972
[pid=9752] ppid=9749 vsize=9625040 CPUtime=1795.37 cores=1,3,5,7
/proc/9752/stat : 9752 (java) S 9749 9752 3485 0 -1 4202496 25243 0 1 0 179427 110 0 0 20 0 19 0 109726941 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140735204716512 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9752/statm: 2406260 70523 2294 9 0 2396937 0
[pid=9752/tid=9754] ppid=9749 vsize=9625040 CPUtime=1769.72 cores=1,3,5,7
/proc/9752/task/9754/stat : 9754 (java) R 9749 9752 3485 0 -1 4202560 2731 0 1 0 176941 31 0 0 20 0 19 0 109726942 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226992139568 140226932478775 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9755] ppid=9749 vsize=9625040 CPUtime=1.98 cores=1,3,5,7
/proc/9752/task/9755/stat : 9755 (java) S 9749 9752 3485 0 -1 4202560 883 0 0 0 187 11 0 0 20 0 19 0 109726943 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226930871336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9756] ppid=9749 vsize=9625040 CPUtime=1.94 cores=1,3,5,7
/proc/9752/task/9756/stat : 9756 (java) S 9749 9752 3485 0 -1 4202560 942 0 0 0 183 11 0 0 20 0 19 0 109726943 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226929818536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9757] ppid=9749 vsize=9625040 CPUtime=2.06 cores=1,3,5,7
/proc/9752/task/9757/stat : 9757 (java) S 9749 9752 3485 0 -1 4202560 877 0 0 0 195 11 0 0 20 0 19 0 109726943 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226928765736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9758] ppid=9749 vsize=9625040 CPUtime=2.03 cores=1,3,5,7
/proc/9752/task/9758/stat : 9758 (java) S 9749 9752 3485 0 -1 4202560 620 0 0 0 193 10 0 0 20 0 19 0 109726943 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226927712936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9759] ppid=9749 vsize=9625040 CPUtime=2.04 cores=1,3,5,7
/proc/9752/task/9759/stat : 9759 (java) S 9749 9752 3485 0 -1 4202560 879 0 0 0 194 10 0 0 20 0 19 0 109726943 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226926660136 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9752/tid=9760] ppid=9749 vsize=9625040 CPUtime=2.09 cores=1,3,5,7
/proc/9752/task/9760/stat : 9760 (java) S 9749 9752 3485 0 -1 4202560 845 0 0 0 198 11 0 0 20 0 19 0 109726943 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226925607336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9761] ppid=9749 vsize=9625040 CPUtime=2 cores=1,3,5,7
/proc/9752/task/9761/stat : 9761 (java) S 9749 9752 3485 0 -1 4202560 533 0 0 0 192 8 0 0 20 0 19 0 109726943 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226829433128 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9762] ppid=9749 vsize=9625040 CPUtime=1.81 cores=1,3,5,7
/proc/9752/task/9762/stat : 9762 (java) S 9749 9752 3485 0 -1 4202560 642 0 0 0 174 7 0 0 20 0 19 0 109726943 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226828380328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9763] ppid=9749 vsize=9625040 CPUtime=3.24 cores=1,3,5,7
/proc/9752/task/9763/stat : 9763 (java) S 9749 9752 3485 0 -1 4202560 522 0 0 0 319 5 0 0 20 0 19 0 109726944 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226816183272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9764] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9764/stat : 9764 (java) S 9749 9752 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109726944 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226815129336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9752/tid=9765] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9765/stat : 9765 (java) S 9749 9752 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109726944 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226814076424 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9766] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9766/stat : 9766 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726947 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226813024912 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9767] ppid=9749 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/9752/task/9767/stat : 9767 (java) S 9749 9752 3485 0 -1 4202560 3720 0 0 0 63 0 0 0 20 0 19 0 109726947 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226811972024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9768] ppid=9749 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/9752/task/9768/stat : 9768 (java) S 9749 9752 3485 0 -1 4202560 10689 0 0 0 97 2 0 0 20 0 19 0 109726947 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226810919224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9752/tid=9769] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9769/stat : 9769 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726947 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226809866616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9770] ppid=9749 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/9752/task/9770/stat : 9770 (java) S 9749 9752 3485 0 -1 4202560 103 0 0 0 20 25 0 0 20 0 19 0 109726947 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226808814024 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9771] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9771/stat : 9771 (java) S 9749 9752 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109726990 9856040960 70523 33554432000 1073741824 1073778376 140735204725376 140226807760552 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1795.37
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787 s]
/proc/loadavg: 2.21 2.19 2.11 3/213 9904
/proc/meminfo: memFree=30447916/32872528 swapFree=12352/737972
[pid=9752] ppid=9749 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/9752/stat : 9752 (java) S 9749 9752 3485 0 -1 4202496 25245 0 1 0 179898 110 0 0 20 0 19 0 109726941 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140735204716512 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9752/statm: 2406260 70524 2294 9 0 2396937 0
[pid=9752/tid=9754] ppid=9749 vsize=9625040 CPUtime=1774.38 cores=1,3,5,7
/proc/9752/task/9754/stat : 9754 (java) R 9749 9752 3485 0 -1 4202560 2732 0 1 0 177407 31 0 0 20 0 19 0 109726942 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226992139568 140226932522959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9755] ppid=9749 vsize=9625040 CPUtime=1.98 cores=1,3,5,7
/proc/9752/task/9755/stat : 9755 (java) S 9749 9752 3485 0 -1 4202560 883 0 0 0 187 11 0 0 20 0 19 0 109726943 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226930871336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9756] ppid=9749 vsize=9625040 CPUtime=1.94 cores=1,3,5,7
/proc/9752/task/9756/stat : 9756 (java) S 9749 9752 3485 0 -1 4202560 942 0 0 0 183 11 0 0 20 0 19 0 109726943 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226929818536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9757] ppid=9749 vsize=9625040 CPUtime=2.07 cores=1,3,5,7
/proc/9752/task/9757/stat : 9757 (java) S 9749 9752 3485 0 -1 4202560 877 0 0 0 196 11 0 0 20 0 19 0 109726943 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226928765736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9758] ppid=9749 vsize=9625040 CPUtime=2.03 cores=1,3,5,7
/proc/9752/task/9758/stat : 9758 (java) S 9749 9752 3485 0 -1 4202560 620 0 0 0 193 10 0 0 20 0 19 0 109726943 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226927712936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9759] ppid=9749 vsize=9625040 CPUtime=2.04 cores=1,3,5,7
/proc/9752/task/9759/stat : 9759 (java) S 9749 9752 3485 0 -1 4202560 879 0 0 0 194 10 0 0 20 0 19 0 109726943 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226926660136 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9752/tid=9760] ppid=9749 vsize=9625040 CPUtime=2.09 cores=1,3,5,7
/proc/9752/task/9760/stat : 9760 (java) S 9749 9752 3485 0 -1 4202560 845 0 0 0 198 11 0 0 20 0 19 0 109726943 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226925607336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9761] ppid=9749 vsize=9625040 CPUtime=2 cores=1,3,5,7
/proc/9752/task/9761/stat : 9761 (java) S 9749 9752 3485 0 -1 4202560 533 0 0 0 192 8 0 0 20 0 19 0 109726943 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226829433128 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9762] ppid=9749 vsize=9625040 CPUtime=1.82 cores=1,3,5,7
/proc/9752/task/9762/stat : 9762 (java) S 9749 9752 3485 0 -1 4202560 642 0 0 0 175 7 0 0 20 0 19 0 109726943 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226828380328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9752/tid=9763] ppid=9749 vsize=9625040 CPUtime=3.24 cores=1,3,5,7
/proc/9752/task/9763/stat : 9763 (java) S 9749 9752 3485 0 -1 4202560 523 0 0 0 319 5 0 0 20 0 19 0 109726944 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226816183272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9764] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9764/stat : 9764 (java) S 9749 9752 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109726944 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226815129336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9752/tid=9765] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9765/stat : 9765 (java) S 9749 9752 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109726944 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226814076424 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9766] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9766/stat : 9766 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726947 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226813024912 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9752/tid=9767] ppid=9749 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/9752/task/9767/stat : 9767 (java) S 9749 9752 3485 0 -1 4202560 3720 0 0 0 63 0 0 0 20 0 19 0 109726947 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226811972024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9768] ppid=9749 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/9752/task/9768/stat : 9768 (java) S 9749 9752 3485 0 -1 4202560 10689 0 0 0 97 2 0 0 20 0 19 0 109726947 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226810919224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9752/tid=9769] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9769/stat : 9769 (java) S 9749 9752 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109726947 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226809866616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9752/tid=9770] ppid=9749 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/9752/task/9770/stat : 9770 (java) S 9749 9752 3485 0 -1 4202560 103 0 0 0 20 25 0 0 20 0 19 0 109726947 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226808814024 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9752/tid=9771] ppid=9749 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9752/task/9771/stat : 9771 (java) S 9749 9752 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109726990 9856040960 70524 33554432000 1073741824 1073778376 140735204725376 140226807760552 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 9752 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 9752 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=489196
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=560762
# CPU time returned by wait4() is 1796.05
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1787.06
CPU time (s): 1800.08
CPU user time (s): 1798.98
CPU system time (s): 1.1
CPU usage (%): 100.728
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.49
system time used= 1.56076
maximum resident set size= 660696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25281
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43513
involuntary context switches= 38471

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2213 second user time and 12.2741 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-07 07:38:45
IDJOB=4085704
IDBENCH=89828
IDSOLVER=2546
FILE ID=node112/4085704-1465277925
RUNJOBID= node112-1465252319-3502
PBS_JOBID= 19843261
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1109824.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085704-1465277925/watcher-4085704-1465277925 -o /tmp/evaluation-result-4085704-1465277925/solver-4085704-1465277925 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465252319-3502 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085704-1465277925.opb

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

MD5SUM BENCH= 6b78caa911ec8d23c05ac6a0b1089c62
RANDOM SEED=1092417016

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:        30603876 kB
Buffers:          109612 kB
Cached:           149968 kB
SwapCached:         1624 kB
Active:           621360 kB
Inactive:         172940 kB
Active(anon):     536340 kB
Inactive(anon):      608 kB
Active(file):      85020 kB
Inactive(file):   172332 kB
Unevictable:      737972 kB
Mlocked:           12352 kB
SwapTotal:      67108856 kB
SwapFree:       67098612 kB
Dirty:              1792 kB
Writeback:             0 kB
AnonPages:       1276320 kB
Mapped:            15468 kB
Shmem:                 0 kB
Slab:             599792 kB
SReclaimable:      42972 kB
SUnreclaim:       556820 kB
KernelStack:        1600 kB
PageTables:         6940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1817984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1230848 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-07 08:08:32