Trace number 4110679

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)5811856223 1800.84 1795.87

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f33-AC_ESS.seq-B-2-2-irabcde.opb
MD5SUM79fbc2db7e0a97f156df8681d41c01ae
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4666691113
Best CPU time to get the best result obtained on this benchmark2.75858
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3535
Total number of constraints9957
Number of constraints which are clauses9837
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 360
Biggest coefficient in the objective function 143145755
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 29631171284
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 143145755
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 29631171284
Number of bits of the biggest sum of numbers35
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.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-4110679-1466385902.opb
0.10/0.10	c reading problem ... 
0.10/0.10	c  objective function found
0.50/0.38	c ... done. Wall clock time 0.275s.
0.50/0.38	c declared #vars     3535
0.50/0.38	c #constraints  9957
0.50/0.38	c constraints type 
0.50/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2894
0.50/0.38	c org.sat4j.specs.Constr$1 => 340
0.50/0.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 30
0.50/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6332
0.50/0.38	c org.sat4j.minisat.constraints.cnf.UnitClause => 361
0.50/0.38	c 9957 constraints processed.
0.50/0.38	c objective function length is 360 literals
0.77/0.45	c SATISFIABLE
0.77/0.45	c OPTIMIZING...
0.77/0.45	c Got one! Elapsed wall clock time (in seconds):0.346
0.77/0.45	o 6842507519
1.06/0.55	c Got one! Elapsed wall clock time (in seconds):0.446
1.06/0.55	o 6699361764
1.50/0.83	c cleaning 2533 clauses out of 5069 with flag 10763/5069
1.76/1.07	c cleaning 4268 clauses out of 8535 with flag 23642/11068
2.20/1.43	c cleaning 5634 clauses out of 11267 with flag 38681/18068
2.61/1.81	c cleaning 6814 clauses out of 13634 with flag 55861/26069
3.15/2.34	c cleaning 7910 clauses out of 15819 with flag 75374/35068
3.65/2.86	c cleaning 8950 clauses out of 17909 with flag 96832/45068
3.95/3.16	c Got one! Elapsed wall clock time (in seconds):3.062
3.95/3.16	o 6560224309
3.95/3.19	c Got one! Elapsed wall clock time (in seconds):3.085
3.95/3.19	o 6556216009
4.13/3.25	c Got one! Elapsed wall clock time (in seconds):3.143
4.13/3.25	o 6416646104
4.13/3.27	c Got one! Elapsed wall clock time (in seconds):3.171
4.13/3.27	o 6413071184
4.13/3.28	c Got one! Elapsed wall clock time (in seconds):3.175
4.13/3.28	o 6413070254
4.78/3.58	c cleaning 10310 clauses out of 20624 with flag 11220/56733
5.08/3.81	c Got one! Elapsed wall clock time (in seconds):3.706
5.08/3.81	o 6385334833
5.08/3.81	c Got one! Elapsed wall clock time (in seconds):3.711
5.08/3.81	o 6384442033
5.08/3.82	c Got one! Elapsed wall clock time (in seconds):3.714
5.08/3.82	o 6241295348
5.19/3.98	c cleaning 8039 clauses out of 16094 with flag 5405/62513
5.29/4.03	c Got one! Elapsed wall clock time (in seconds):3.932
5.29/4.03	o 6099044253
5.29/4.05	c Got one! Elapsed wall clock time (in seconds):3.943
5.29/4.05	o 6098149593
5.49/4.27	c cleaning 6680 clauses out of 13371 with flag 9751/67829
5.79/4.57	c cleaning 6338 clauses out of 12690 with flag 23264/73828
6.18/4.96	c cleaning 6669 clauses out of 13351 with flag 41250/80827
6.38/5.15	c Got one! Elapsed wall clock time (in seconds):5.05
6.38/5.15	o 6098148663
6.48/5.21	c cleaning 5896 clauses out of 11805 with flag 2389/85950
6.68/5.41	c Got one! Elapsed wall clock time (in seconds):5.31
6.68/5.41	o 5983632059
6.68/5.42	c Got one! Elapsed wall clock time (in seconds):5.316
6.68/5.42	o 5955001978
6.68/5.48	c cleaning 5823 clauses out of 11664 with flag 2685/91705
6.89/5.67	c Got one! Elapsed wall clock time (in seconds):5.571
6.89/5.67	o 5812750883
6.89/5.69	c Got one! Elapsed wall clock time (in seconds):5.584
6.89/5.69	o 5811857153
6.99/5.70	c Got one! Elapsed wall clock time (in seconds):5.598
6.99/5.70	o 5811856223
6.99/5.75	c cleaning 5639 clauses out of 11292 with flag 2451/97156
7.30/6.05	c cleaning 5823 clauses out of 11653 with flag 18064/103156
7.70/6.42	c cleaning 6409 clauses out of 12832 with flag 36532/110158
8.01/6.78	c cleaning 7205 clauses out of 14421 with flag 55441/118156
8.40/7.16	c cleaning 8097 clauses out of 16216 with flag 74272/127156
8.90/7.61	c cleaning 9048 clauses out of 18119 with flag 95297/137156
9.30/8.09	c cleaning 10028 clauses out of 20073 with flag 118681/148158
10.00/8.80	c cleaning 11016 clauses out of 22043 with flag 144770/160156
10.80/9.57	c cleaning 12006 clauses out of 24029 with flag 172796/173158
11.59/10.30	c cleaning 13002 clauses out of 26021 with flag 202897/187156
12.40/11.12	c cleaning 14004 clauses out of 28019 with flag 235528/202156
13.19/11.94	c cleaning 15004 clauses out of 30017 with flag 271643/218158
14.19/12.97	c cleaning 15996 clauses out of 32011 with flag 309344/235156
15.19/13.99	c cleaning 16990 clauses out of 34016 with flag 348768/253157
16.29/15.08	c cleaning 18000 clauses out of 36025 with flag 390830/272156
17.60/16.34	c cleaning 19005 clauses out of 38027 with flag 434296/292158
19.10/17.82	c cleaning 20003 clauses out of 40020 with flag 483408/313156
20.30/19.09	c cleaning 21001 clauses out of 42017 with flag 531471/335156
21.50/20.24	c cleaning 22002 clauses out of 44017 with flag 583087/358157
22.80/21.57	c cleaning 23008 clauses out of 46018 with flag 635918/382160
24.22/22.98	c cleaning 24001 clauses out of 48007 with flag 691047/407157
25.72/24.43	c cleaning 24997 clauses out of 50006 with flag 748802/433157
27.02/25.70	c cleaning 26001 clauses out of 52008 with flag 808464/460156
28.52/27.26	c cleaning 26999 clauses out of 54008 with flag 871524/488157
30.03/28.75	c cleaning 28005 clauses out of 56012 with flag 937298/517160
31.73/30.41	c cleaning 29001 clauses out of 58004 with flag 1004295/547157
33.53/32.26	c cleaning 30000 clauses out of 60002 with flag 1073125/578156
35.33/34.10	c cleaning 30996 clauses out of 62002 with flag 1144282/610156
37.35/36.00	c cleaning 32002 clauses out of 64006 with flag 1217427/643156
39.25/37.93	c cleaning 32999 clauses out of 66006 with flag 1292454/677158
41.35/40.00	c cleaning 33999 clauses out of 68006 with flag 1369455/712157
43.65/42.30	c cleaning 35005 clauses out of 70009 with flag 1448385/748159
45.85/44.58	c cleaning 36001 clauses out of 72003 with flag 1529469/785158
48.25/46.94	c cleaning 36996 clauses out of 74000 with flag 1612607/823156
50.86/49.56	c cleaning 37994 clauses out of 76004 with flag 1698057/862156
53.25/51.90	c cleaning 39004 clauses out of 78011 with flag 1787137/902157
55.85/54.57	c cleaning 40001 clauses out of 80008 with flag 1878903/943158
58.49/57.20	c cleaning 41003 clauses out of 82006 with flag 1971570/985157
61.19/59.88	c cleaning 41996 clauses out of 84002 with flag 2066429/1028156
64.20/62.87	c cleaning 42997 clauses out of 86006 with flag 2162816/1072156
67.19/65.87	c cleaning 44002 clauses out of 88010 with flag 2261126/1117157
70.70/69.38	c cleaning 45003 clauses out of 90008 with flag 2361707/1163157
74.19/72.87	c cleaning 45989 clauses out of 92004 with flag 2463864/1210156
77.89/76.53	c cleaning 46999 clauses out of 94017 with flag 2568612/1258158
81.09/79.73	c cleaning 48003 clauses out of 96017 with flag 2676106/1307157
84.69/83.35	c cleaning 49004 clauses out of 98013 with flag 2785084/1357156
88.49/87.19	c cleaning 50001 clauses out of 100010 with flag 2897130/1408157
92.50/91.12	c cleaning 50998 clauses out of 102008 with flag 3011294/1460156
96.44/95.07	c cleaning 52005 clauses out of 104010 with flag 3128284/1513156
100.74/99.32	c cleaning 52999 clauses out of 106006 with flag 3247566/1567157
104.94/103.59	c cleaning 53998 clauses out of 108007 with flag 3369636/1622157
109.64/108.24	c cleaning 55000 clauses out of 110009 with flag 3492190/1678157
113.94/112.57	c cleaning 55998 clauses out of 112008 with flag 3617499/1735156
118.84/117.42	c cleaning 57000 clauses out of 114010 with flag 3744903/1793156
123.44/122.01	c cleaning 58002 clauses out of 116011 with flag 3874268/1852157
128.14/126.73	c cleaning 58996 clauses out of 118008 with flag 4006150/1912156
133.34/131.99	c cleaning 59999 clauses out of 120013 with flag 4140288/1973157
139.14/137.73	c cleaning 61004 clauses out of 122013 with flag 4276071/2035156
145.19/143.79	c cleaning 62000 clauses out of 124009 with flag 4414856/2098156
150.89/149.48	c cleaning 63003 clauses out of 126010 with flag 4554351/2162157
156.89/155.42	c cleaning 63995 clauses out of 128008 with flag 4696178/2227158
163.29/161.87	c cleaning 64997 clauses out of 130011 with flag 4841855/2293156
170.28/168.87	c cleaning 65997 clauses out of 132014 with flag 4989347/2360156
176.89/175.49	c cleaning 67005 clauses out of 134017 with flag 5139516/2428156
183.59/182.14	c cleaning 68000 clauses out of 136012 with flag 5292073/2497156
190.38/188.93	c cleaning 69002 clauses out of 138012 with flag 5445697/2567156
198.56/197.02	c cleaning 70002 clauses out of 140010 with flag 5600722/2638156
206.35/204.89	c cleaning 71006 clauses out of 142012 with flag 5759272/2710160
214.15/212.63	c cleaning 71994 clauses out of 144002 with flag 5919621/2783156
221.86/220.34	c cleaning 73002 clauses out of 146009 with flag 6082304/2857157
229.37/227.82	c cleaning 73999 clauses out of 148006 with flag 6247689/2932156
236.97/235.45	c cleaning 74996 clauses out of 150007 with flag 6414905/3008156
244.77/243.28	c cleaning 76004 clauses out of 152013 with flag 6584910/3085158
252.89/251.29	c cleaning 77000 clauses out of 154009 with flag 6757569/3163158
260.59/258.93	c cleaning 78004 clauses out of 156009 with flag 6931080/3242158
268.49/266.80	c cleaning 78997 clauses out of 158003 with flag 7106331/3322156
276.80/275.12	c cleaning 79999 clauses out of 160007 with flag 7284215/3403157
284.99/283.31	c cleaning 80994 clauses out of 162008 with flag 7463706/3485157
294.09/292.42	c cleaning 81999 clauses out of 164013 with flag 7645306/3568156
303.79/302.06	c cleaning 83004 clauses out of 166015 with flag 7829427/3652157
312.80/311.04	c cleaning 84002 clauses out of 168011 with flag 8015550/3737157
321.91/320.20	c cleaning 85003 clauses out of 170011 with flag 8203151/3823159
332.60/330.88	c cleaning 86000 clauses out of 172005 with flag 8391633/3910156
343.11/341.34	c cleaning 86997 clauses out of 174006 with flag 8582564/3998157
355.91/354.13	c cleaning 87994 clauses out of 176008 with flag 8776481/4087156
366.43/364.50	c cleaning 89007 clauses out of 178015 with flag 8973672/4177157
376.93/375.01	c cleaning 90004 clauses out of 180007 with flag 9173433/4268156
388.63/386.79	c cleaning 90993 clauses out of 182004 with flag 9376194/4360157
399.24/397.36	c cleaning 92002 clauses out of 184013 with flag 9581832/4453159
411.15/409.23	c cleaning 93006 clauses out of 186011 with flag 9787385/4547159
423.07/421.06	c cleaning 93998 clauses out of 188003 with flag 9993549/4642157
434.77/432.76	c cleaning 94999 clauses out of 190004 with flag 10203130/4738156
446.87/444.84	c cleaning 95997 clauses out of 192005 with flag 10414175/4835156
459.37/457.39	c cleaning 97002 clauses out of 194009 with flag 10628370/4933157
473.68/471.60	c cleaning 98000 clauses out of 196007 with flag 10845357/5032157
487.49/485.39	c cleaning 98996 clauses out of 198006 with flag 11063241/5132156
501.19/499.09	c cleaning 100006 clauses out of 200011 with flag 11284866/5233157
514.09/511.93	c cleaning 100998 clauses out of 202004 with flag 11510828/5335156
526.99/524.83	c cleaning 101997 clauses out of 204006 with flag 11737657/5438156
540.23/537.98	c cleaning 103003 clauses out of 206009 with flag 11965968/5542156
555.02/552.70	c cleaning 104000 clauses out of 208007 with flag 12197353/5647157
569.32/567.07	c cleaning 104999 clauses out of 210006 with flag 12428225/5753156
585.82/583.57	c cleaning 106003 clauses out of 212007 with flag 12663059/5860156
601.76/599.32	c cleaning 106999 clauses out of 214005 with flag 12900527/5968157
617.56/615.19	c cleaning 107994 clauses out of 216005 with flag 13138316/6077156
634.07/631.60	c cleaning 109003 clauses out of 218011 with flag 13376622/6187156
651.07/648.62	c cleaning 110004 clauses out of 220008 with flag 13618524/6298156
669.28/666.79	c cleaning 111001 clauses out of 222004 with flag 13863951/6410156
686.98/684.42	c cleaning 111999 clauses out of 224004 with flag 14110636/6523157
706.09/703.59	c cleaning 112993 clauses out of 226004 with flag 14357728/6637156
726.40/723.81	c cleaning 114000 clauses out of 228011 with flag 14607170/6752156
748.61/745.91	c cleaning 114996 clauses out of 230011 with flag 14856500/6868156
770.00/767.36	c cleaning 116000 clauses out of 232015 with flag 15109834/6985156
791.81/789.10	c cleaning 117006 clauses out of 234015 with flag 15364808/7103156
815.41/812.79	c cleaning 117996 clauses out of 236010 with flag 15622473/7222157
840.90/838.17	c cleaning 119005 clauses out of 238013 with flag 15882099/7342156
868.91/866.17	c cleaning 120001 clauses out of 240009 with flag 16141661/7463157
894.32/891.52	c cleaning 120996 clauses out of 242007 with flag 16404074/7585156
920.73/917.86	c cleaning 122006 clauses out of 244012 with flag 16668016/7708157
946.34/943.41	c cleaning 122997 clauses out of 246006 with flag 16935574/7832157
971.64/968.76	c cleaning 124004 clauses out of 248009 with flag 17203511/7957157
999.27/996.29	c cleaning 124996 clauses out of 250004 with flag 17475622/8083156
1027.47/1024.44	c cleaning 126005 clauses out of 252010 with flag 17748058/8210158
1052.78/1049.73	c cleaning 127000 clauses out of 254003 with flag 18024558/8338156
1077.08/1074.06	c cleaning 127997 clauses out of 256003 with flag 18303902/8467156
1101.35/1098.24	c cleaning 129000 clauses out of 258006 with flag 18585552/8597156
1129.57/1126.46	c cleaning 130004 clauses out of 260007 with flag 18867156/8728157
1158.07/1154.98	c cleaning 130993 clauses out of 262003 with flag 19149150/8860157
1185.59/1182.32	c cleaning 131996 clauses out of 264010 with flag 19438314/8993157
1211.99/1208.75	c cleaning 132997 clauses out of 266013 with flag 19729516/9127156
1237.39/1234.20	c cleaning 134004 clauses out of 268016 with flag 20022255/9262156
1267.33/1263.94	c cleaning 135004 clauses out of 270012 with flag 20317036/9398156
1297.53/1294.10	c cleaning 135998 clauses out of 272008 with flag 20615792/9535156
1327.53/1324.16	c cleaning 137006 clauses out of 274011 with flag 20917207/9673157
1349.16/1345.64	c cleaning 137996 clauses out of 276004 with flag 21219596/9812156
1373.36/1369.84	c cleaning 138998 clauses out of 278009 with flag 21524935/9952157
1397.39/1393.74	c cleaning 139997 clauses out of 280010 with flag 21833561/10093156
1422.80/1419.11	c cleaning 140997 clauses out of 282013 with flag 22144727/10235156
1446.19/1442.57	c cleaning 142000 clauses out of 284017 with flag 22457589/10378157
1470.59/1466.84	c cleaning 143001 clauses out of 286016 with flag 22772790/10522156
1491.29/1487.57	c cleaning 143996 clauses out of 288015 with flag 23090033/10667156
1516.51/1512.67	c cleaning 145003 clauses out of 290019 with flag 23409367/10813156
1538.00/1534.13	c cleaning 145999 clauses out of 292016 with flag 23730655/10960156
1562.90/1559.00	c cleaning 147002 clauses out of 294020 with flag 24054306/11108159
1588.05/1584.11	c cleaning 148003 clauses out of 296016 with flag 24378571/11257157
1614.04/1610.12	c cleaning 149003 clauses out of 298013 with flag 24705061/11407157
1640.44/1636.45	c cleaning 150003 clauses out of 300009 with flag 25033678/11558156
1665.54/1661.56	c cleaning 150999 clauses out of 302006 with flag 25363775/11710156
1691.25/1687.20	c cleaning 152001 clauses out of 304007 with flag 25695931/11863156
1714.66/1710.55	c cleaning 152997 clauses out of 306006 with flag 26030928/12017156
1742.76/1738.66	c cleaning 153997 clauses out of 308009 with flag 26368042/12172156
1768.64/1764.43	c cleaning 155002 clauses out of 310012 with flag 26706293/12328156
1795.03/1790.85	c cleaning 156000 clauses out of 312011 with flag 27047714/12485157
1800.09/1795.80	c starts		: 332
1800.09/1795.80	c conflicts		: 12536915
1800.09/1795.80	c decisions		: 24520672
1800.09/1795.80	c propagations		: 304720032
1800.09/1795.80	c inspects		: 33720384059
1800.09/1795.80	c shortcuts		: 0
1800.09/1795.80	c learnt literals	: 0
1800.09/1795.80	c learnt binary clauses	: 0
1800.09/1795.80	c learnt ternary clauses	: 0
1800.09/1795.80	c learnt constraints	: 12536915
1800.09/1795.80	c ignored constraints	: 0
1800.09/1795.80	c root simplifications	: 0
1800.09/1795.80	c removed literals (reason simplification)	: 0
1800.09/1795.80	c reason swapping (by a shorter reason)	: 0
1800.09/1795.80	c Calls to reduceDB	: 166
1800.09/1795.80	c Number of update (reduction) of LBD	: 1222351
1800.09/1795.80	c Imported unit clauses	: 0
1800.09/1795.80	c number of reductions to clauses (during analyze)	: 0
1800.09/1795.80	c number of learned constraints concerned by reduction	: 0
1800.09/1795.80	c number of learning phase by resolution	: 0
1800.09/1795.80	c number of learning phase by cutting planes	: 0
1800.09/1795.80	c speed (assignments/second)	: 169721.03528038334
1800.09/1795.80	c non guided choices	3499
1800.09/1795.83	c learnt constraints type 
1800.09/1795.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 207769
1800.09/1795.83	s SATISFIABLE
1800.09/1795.83	c Found 18 solution(s)
1800.09/1795.84	v x1 x2 -x3 -x4 -x5 x6 x7 -x8 -x9 x10 x11 x12 -x13 -x14 -x15 x16 x17 -x18 -x19 x20 x21 x22 -x23 -x24 x25 x26 x27 -x28 -x29 x30 x31 x32 -x33 -x34 -x35 x36 x37 x38 -x39 x40 x41 x42 -x43 -x44 x45 x46 x47 -x48 -x49 -x50 x51 x52 -x53 -x54 -x55 x56 x57 -x58 -x59 x60 x61 x62 x63 -x64 x65 x66 x67 -x68 -x69 x70 x71 x72 -x73 -x74 -x75 x76 x77 -x78 -x79 x80 x81 x82 x83 -x84 x85 x86 x87 -x88 -x89 x90 x91 x92 -x93 -x94 x95 x96 x97 -x98 -x99 x100 x101 x102 -x103 -x104 x105 x106 x107 x108 -x109 x110 x111 x112 -x113 -x114 x115 x116 x117 -x118 -x119 x120 x121 x122 -x123 -x124 x125 x126 x127 -x128 -x129 x130 x131 x132 -x133 -x134 x135 x136 x137 -x138 -x139 x140 x141 x142 -x143 -x144 x145 x146 x147 -x148 -x149 x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 x179 x180 x181 -x182 x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 x208 x209 x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 x233 x234 x235 x236 x237 -x238 x239 x240 x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 x333 x334 x335 -x336 -x337 x338 -x339 -x340 -x341 x342 -x343 x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 x360 x361 -x362 x363 x364 x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 x384 x385 x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 x398 -x399 x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 x425 x426 x427 x428 -x429 x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 x450 x451 x452 x453 -x454 x455 x456 x457 x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 x476 x477 x478 x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 x504 x505 x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 x524 x525 x526 x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 x544 -x545 x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 x602 -x603 x604 -x605 -x606 -x607 -x608 x609 -x610 x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 x656 -x657 -x658 -x659 x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 x670 x671 x672 -x673 x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 x697 x698 x699 x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 x719 -x720 x721 x722 x723 x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 x770 x771 x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 x791 x792 x793 x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 x807 x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 x822 -x823 -x824 x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 x857 x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 -x869 x870 x871 x872 x873 -x874 -x875 x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 x887 -x888 -x889 -x890 -x891 x892 x893 x894 x895 -x896 x897 x898 x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 x926 -x927 -x928 -x929 x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 x979 x980 x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 x998 -x999 -x1000 -x1001 x1002 x1003 -x1004 x1005 x1006 x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 x1075 x1076 x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 x1130 x1131 x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 x1194 x1195 x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 x1214 -x1215 -x1216 -x1217 -x1218 x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 x1228 x1229 x1230 x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 x1296 -x1297 -x1298 -x1299 -x1300 x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 x1353 -x1354 -x1355 -x1356 -x1357 x1358 x1359 x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 x1377 -x1378 x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 x1403 x1404 x1405 x1406 x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 x1425 x1426 x1427 x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 x1435 -x1436 x1437 x1438 x1439 x1440 x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 x1470 x1471 x1472 -x1473 x1474 x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 x1486 x1487 x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 x1536 -x1537 x1538 -x1539 x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 x1552 x1553 -x1554 -x1555 -x1556 -x1557 x1558 -x1559 x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 x1567 x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 -x1585 x1586 -x1587 -x1588 -x1589 -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 -x1600 -x1601 -x1602 x1603 -x1604 x1605 x1606 x1607 x1608 -x1609 -x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 x1671 x1672 x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 x1688 -x1689 x1690 -x1691 x1692 -x1693 x1694 -x1695 x1696 x1697 x1698 x1699 x1700 -x1701 x1702 -x1703 -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 x1722 -x1723 -x1724 -x1725 -x1726 x1727 -x1728 -x1729 -x1730 x1731 -x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750 -x1751 -x1752 x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 x1764 x1765 x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 x1799 x1800 x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 x1857 x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 x1879 x1880 x1881 x1882 -x1883 -x1884 x1885 x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894 -x1895 -x1896 x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 x1911 x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 x1972 -x1973 x1974 -x1975 -x1976 x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 -x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 -x2062 x2063 -x2064 -x2065 x2066 x2067 x2068 x2069 -x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 -x2086 x2087 -x2088 -x2089 -x2090 -x2091 -x2092 x2093 -x2094 x2095 x2096 x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 -x2115 x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 x2143 -x2144 -x2145 x2146 x2147 -x2148 x2149 -x2150 x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 -x2165 x2166 x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 x2194 x2195 x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 x2209 x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 x2250 x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 x2322 x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 x2332 x2333 -x2334 -x2335 -x2336 -x2337 x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 x2347 -x2348 -x2349 -x2350 -x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 x2362 -x2363 -x2364 -x2365 x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 x2632 -x2633 -x2634 -x2635 x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 x2902 -x2903 -x2904 -x2905 -x2906 x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 x2947 -x2948 -x2949 -x2950 x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 -x3013 -x3014 x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 x3024 -x3025 -x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 x3042 -x3043 -x3044 -x3045 x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 x3100 -x3101 x3102 -x3103 -x3104 -x3105 -x3106 x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 x3123 -x3124 -x3125 x3126 x3127 -x3128 -x3129 -x3130 -x3131 x3132 x3133 -x3134 -x3135 x3136 x3137 x3138 x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 x3146 x3147 x3148 x3149 x3150 x3151 x3152 x3153 x3154 x3155 x3156 x3157 x3158 x3159 x3160 x3161 x3162 x3163 x3164 x3165 x3166 x3167 x3168 x3169 x3170 x3171 x3172 x3173 x3174 x3175 x3176 x3177 x3178 x3179 x3180 x3181 x3182 x3183 x3184 x3185 x3186 x3187 x3188 x3189 x3190 x3191 x3192 x3193 x3194 x3195 x3196 x3197 x3198 x3199 x3200 x3201 x3202 x3203 x3204 x3205 x3206 x3207 x3208 x3209 x3210 x3211 x3212 x3213 x3214 x3215 x3216 x3217 x3218 x3219 x3220 x3221 x3222 x3223 x3224 x3225 x3226 x3227 x3228 x3229 x3230 x3231 x3232 x3233 x3234 x3235 x3236 x3237 x3238 x3239 x3240 x3241 x3242 x3243 x3244 x3245 x3246 x3247 x3248 x3249 x3250 x3251 x3252 x3253 x3254 x3255 x3256 x3257 x3258 x3259 x3260 x3261 x3262 x3263 x3264 x3265 -x3266 -x3267 x3268 x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 x3286 x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 x3297 x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 x3306 x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 x3315 x3316 -x3317 -x3318 -x3319 -x3320 -x3321 x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 x3335 x3336 -x3337 -x3338 -x3339 -x3340 -x3341 x3342 x3343 -x3344 -x3345 -x3346 -x3347 -x3348 x3349 x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 x3358 x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 x3369 x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 x3380 x3381 -x3382 -x3383 -x3384 -x3385 -x3386 x3387 x3388 -x3389 -x3390 -x3391 -x3392 -x3393 x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 x3405 x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 x3416 x3417 -x3418 -x3419 -x3420 -x3421 -x3422 x3423 x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 x3432 x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 x3441 x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x3450 x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 x3468 x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3477 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 x3495 x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 x3504 x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 x3513 x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 x3522 x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 x3531 x3532 -x3533 -x3534 -x3535 
1800.09/1795.85	c objective function=5811856223
1800.09/1795.85	c Total wall clock time (in seconds): 1795.747

Verifier Data 

OK	5811856223

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-4110679-1466385902/watcher-4110679-1466385902 -o /tmp/evaluation-result-4110679-1466385902/solver-4110679-1466385902 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466384102-2479 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4110679-1466385902.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.10 2.05 3/195 2726
/proc/meminfo: memFree=31387224/32872528 swapFree=534252/566956
[pid=2726] ppid=2723 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/2726/stat : 2726 (java) S 2723 2726 2463 0 -1 4202496 1294 0 0 0 0 0 0 0 20 0 2 0 40635813 95129600 927 33554432000 1073741824 1073778376 140736874091104 140736874082240 206632419389 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2726/statm: 23225 927 703 9 0 16769 0
[pid=2726/tid=2727] ppid=2723 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2727/stat : 2727 (java) R 2723 2726 2463 0 -1 4202560 87 0 0 0 0 0 0 0 20 0 2 0 40635813 98635776 943 33554432000 1073741824 1073778376 140736874091104 140693488766504 206619850601 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 2.26 2.10 2.05 3/195 2726
/proc/meminfo: memFree=31387224/32872528 swapFree=534252/566956
[pid=2726] ppid=2723 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/2726/stat : 2726 (java) S 2723 2726 2463 0 -1 4202496 4469 0 1 0 9 1 0 0 20 0 18 0 40635813 9787879424 6095 33554432000 1073741824 1073778376 140736874091104 140736874082240 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2726/statm: 2389619 6095 2155 9 0 2380296 0
[pid=2726/tid=2727] ppid=2723 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/2726/task/2727/stat : 2727 (java) R 2723 2726 2463 0 -1 4202560 2372 0 1 0 6 1 0 0 20 0 18 0 40635813 9787879424 6095 33554432000 1073741824 1073778376 140736874091104 140693488769952 206632445197 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200264 s]
/proc/loadavg: 2.26 2.10 2.05 3/195 2726
/proc/meminfo: memFree=31387224/32872528 swapFree=534252/566956
[pid=2726] ppid=2723 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/2726/stat : 2726 (java) S 2723 2726 2463 0 -1 4202496 4967 0 1 0 27 1 0 0 20 0 18 0 40635813 9787879424 6935 33554432000 1073741824 1073778376 140736874091104 140736874082240 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2726/statm: 2389619 6935 2215 9 0 2380296 0
[pid=2726/tid=2727] ppid=2723 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/2726/task/2727/stat : 2727 (java) R 2723 2726 2463 0 -1 4202560 2391 0 1 0 16 1 0 0 20 0 18 0 40635813 9787879424 6935 33554432000 1073741824 1073778376 140736874091104 140693488755704 140693491704257 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300255 s]
/proc/loadavg: 2.26 2.10 2.05 3/195 2726
/proc/meminfo: memFree=31387224/32872528 swapFree=534252/566956
[pid=2726] ppid=2723 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/2726/stat : 2726 (java) S 2723 2726 2463 0 -1 4202496 6099 0 1 0 48 2 0 0 20 0 18 0 40635813 9787879424 9304 33554432000 1073741824 1073778376 140736874091104 140736874082240 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2726/statm: 2389619 9304 2233 9 0 2380296 0
[pid=2726/tid=2727] ppid=2723 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/2726/task/2727/stat : 2727 (java) R 2723 2726 2463 0 -1 4202560 2395 0 1 0 26 1 0 0 20 0 18 0 40635813 9787879424 9304 33554432000 1073741824 1073778376 140736874091104 140693488755704 140693347562912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.700208 s]
/proc/loadavg: 2.26 2.10 2.05 3/195 2726
/proc/meminfo: memFree=31387224/32872528 swapFree=534252/566956
[pid=2726] ppid=2723 vsize=9625040 CPUtime=1.37 cores=0,2,4,6
/proc/2726/stat : 2726 (java) S 2723 2726 2463 0 -1 4202496 11245 0 1 0 134 3 0 0 20 0 19 0 40635813 9856040960 15646 33554432000 1073741824 1073778376 140736874091104 140736874082240 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2726/statm: 2406260 15646 2259 9 0 2396937 0
[pid=2726/tid=2727] ppid=2723 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/2726/task/2727/stat : 2727 (java) R 2723 2726 2463 0 -1 4202560 2423 0 1 0 66 1 0 0 20 0 19 0 40635813 9856040960 15646 33554432000 1073741824 1073778376 140736874091104 140693488771336 140693347612157 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 9625040

[startup+1.50083 s]
/proc/loadavg: 2.26 2.10 2.05 3/214 2745
/proc/meminfo: memFree=31318276/32872528 swapFree=534252/566956
[pid=2726] ppid=2723 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/2726/stat : 2726 (java) S 2723 2726 2463 0 -1 4202496 11700 0 1 0 228 3 0 0 20 0 19 0 40635813 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140736874082240 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2726/statm: 2406260 17195 2270 9 0 2396937 0
[pid=2726/tid=2727] ppid=2723 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/2726/task/2727/stat : 2727 (java) R 2723 2726 2463 0 -1 4202560 2427 0 1 0 146 1 0 0 20 0 19 0 40635813 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693488770392 140693348210271 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2726/tid=2729] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2729/stat : 2729 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693466872104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2730] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2730/stat : 2730 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693263607976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2731] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2731/stat : 2731 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693262555688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2732] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2732/stat : 2732 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693261502888 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2726/tid=2733] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2733/stat : 2733 (java) S 2723 2726 2463 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693260450600 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2734] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2734/stat : 2734 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693259397800 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2735] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2735/stat : 2735 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693258345512 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2726/tid=2736] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2736/stat : 2736 (java) S 2723 2726 2463 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693257292712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2737] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2737/stat : 2737 (java) S 2723 2726 2463 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 40635815 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693245094120 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2738] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2738/stat : 2738 (java) S 2723 2726 2463 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 40635815 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693244040184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2739] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2739/stat : 2739 (java) S 2723 2726 2463 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 40635815 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693242987784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2740] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2740/stat : 2740 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635818 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693241936272 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2741] ppid=2723 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/2726/task/2741/stat : 2741 (java) S 2723 2726 2463 0 -1 4202560 5247 0 0 0 42 0 0 0 20 0 19 0 40635818 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693240883896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2742] ppid=2723 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/2726/task/2742/stat : 2742 (java) S 2723 2726 2463 0 -1 4202560 2748 0 0 0 38 0 0 0 20 0 19 0 40635818 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693239831096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2743] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2743/stat : 2743 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635818 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693238779000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2744] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2744/stat : 2744 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635818 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693237726408 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2745] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2745/stat : 2745 (java) S 2723 2726 2463 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40635852 9856040960 17195 33554432000 1073741824 1073778376 140736874091104 140693236339624 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 9625040

[startup+3.1008 s]
/proc/loadavg: 2.26 2.10 2.05 3/214 2745
/proc/meminfo: memFree=31291172/32872528 swapFree=534252/566956
[pid=2726] ppid=2723 vsize=9625040 CPUtime=3.95 cores=0,2,4,6
/proc/2726/stat : 2726 (java) S 2723 2726 2463 0 -1 4202496 11706 0 1 0 391 4 0 0 20 0 19 0 40635813 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140736874082240 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2726/statm: 2406260 19244 2270 9 0 2396937 0
[pid=2726/tid=2727] ppid=2723 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/2726/task/2727/stat : 2727 (java) R 2723 2726 2463 0 -1 4202560 2432 0 1 0 306 2 0 0 20 0 19 0 40635813 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693488762560 140693347565461 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2726/tid=2729] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2729/stat : 2729 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693466872104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2730] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2730/stat : 2730 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693263607976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2731] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2731/stat : 2731 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693262555688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2732] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2732/stat : 2732 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693261502888 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2726/tid=2733] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2733/stat : 2733 (java) S 2723 2726 2463 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693260450600 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2734] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2734/stat : 2734 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693259397800 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2735] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2735/stat : 2735 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693258345512 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2726/tid=2736] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2736/stat : 2736 (java) S 2723 2726 2463 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693257292712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2737] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2737/stat : 2737 (java) S 2723 2726 2463 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 40635815 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693245094120 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2738] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2738/stat : 2738 (java) S 2723 2726 2463 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 40635815 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693244040184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2739] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2739/stat : 2739 (java) S 2723 2726 2463 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 40635815 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693242987784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2740] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2740/stat : 2740 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635818 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693241936272 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2741] ppid=2723 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/2726/task/2741/stat : 2741 (java) S 2723 2726 2463 0 -1 4202560 5248 0 0 0 45 0 0 0 20 0 19 0 40635818 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693240883896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2742] ppid=2723 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/2726/task/2742/stat : 2742 (java) S 2723 2726 2463 0 -1 4202560 2748 0 0 0 39 0 0 0 20 0 19 0 40635818 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693239831096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2743] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2743/stat : 2743 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635818 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693238779000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2744] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2744/stat : 2744 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635818 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693237726408 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2745] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2745/stat : 2745 (java) S 2723 2726 2463 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40635852 9856040960 19244 33554432000 1073741824 1073778376 140736874091104 140693236339624 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.24 2.09 2.05 3/214 2745
/proc/meminfo: memFree=31271508/32872528 swapFree=534252/566956
[pid=2726] ppid=2723 vsize=9625040 CPUtime=7.6 cores=0,2,4,6
/proc/2726/stat : 2726 (java) S 2723 2726 2463 0 -1 4202496 16288 0 1 0 755 5 0 0 20 0 19 0 40635813 9856040960 23839 33554432000 1073741824 1073778376 140736874091104 140736874082240 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2726/statm: 2406260 23839 2271 9 0 2396937 0
[pid=2726/tid=2727] ppid=2723 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/2726/task/2727/stat : 2727 (java) R 2723 2726 2463 0 -1 4202560 2444 0 1 0 625 2 0 0 20 0 19 0 40635813 9856040960 23839 33554432000 1073741824 1073778376 140736874091104 140693488762576 140693348210117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2726/tid=2729] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2729/stat : 2729 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 23839 33554432000 1073741824 1073778376 140736874091104 140693466872104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2730] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2730/stat : 2730 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 23839 33554432000 1073741824 1073778376 140736874091104 140693263607976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2731] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2731/stat : 2731 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 23839 33554432000 1073741824 1073778376 140736874091104 140693262555688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2732] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2732/stat : 2732 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 23839 33554432000 1073741824 1073778376 140736874091104 140693261502888 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2726/tid=2733] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2733/stat : 2733 (java) S 2723 2726 2463 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 23839 33554432000 1073741824 1073778376 140736874091104 140693260450600 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2734] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2734/stat : 2734 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 23839 33554432000 1073741824 1073778376 140736874091104 140693259397800 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2735] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2735/stat : 2735 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 23839 33554432000 1073741824 1073778376 140736874091104 140693258345512 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2726/tid=2736] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2736/stat : 2736 (java) S 2723 2726 2463 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 40635814 9856040960 23839 33554432000 1073741824 1073778376 140736874091104 140693257292712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2737] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2737/stat : 2737 (java) S 2723 2726 2463 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 40635815 9856040960 23839 33554432000 1073741824 1073778376 140736874091104 140693245094120 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2738] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2738/stat : 2738 (java) S 2723 2726 2463 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 40635815 9856040960 23839 33554432000 1073741824 1073778376 140736874091104 140693244040184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2739] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2739/stat : 2739 (java) S 2723 2726 2463 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 40635815 9856040960 23839 33554432000 1073741824 1073778376 140736874091104 140693242987784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2740] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2740/stat : 2740 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635818 9856040960 23839 33554432000 1073741824 1073778376 140736874091104 140693241936272 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2741] ppid=2723 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/2726/task/2741/stat : 2741 (java) S 2723 2726 2463 0 -1 4202560 8854 0 0 0 71 2 0 0 20 0 19 0 40635818 9856040960 23839 33554432000 1073741824 1073778376 140736874091104 140693240883896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2742] ppid=2723 vsize=9625040 CPUtime=0.57 cores=0,2,4,6

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

[pid=2726/tid=2738] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2738/stat : 2738 (java) S 2723 2726 2463 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 40635815 9856040960 108637 33554432000 1073741824 1073778376 140736874091104 140693244040184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2739] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2739/stat : 2739 (java) S 2723 2726 2463 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 40635815 9856040960 108637 33554432000 1073741824 1073778376 140736874091104 140693242987784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2740] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2740/stat : 2740 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635818 9856040960 108637 33554432000 1073741824 1073778376 140736874091104 140693241936272 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2741] ppid=2723 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/2726/task/2741/stat : 2741 (java) S 2723 2726 2463 0 -1 4202560 8854 0 0 0 71 2 0 0 20 0 19 0 40635818 9856040960 108637 33554432000 1073741824 1073778376 140736874091104 140693240883896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2742] ppid=2723 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/2726/task/2742/stat : 2742 (java) S 2723 2726 2463 0 -1 4202560 3714 0 0 0 57 2 0 0 20 0 19 0 40635818 9856040960 108637 33554432000 1073741824 1073778376 140736874091104 140693239831096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2743] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2743/stat : 2743 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635818 9856040960 108637 33554432000 1073741824 1073778376 140736874091104 140693238779000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2744] ppid=2723 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/2726/task/2744/stat : 2744 (java) S 2723 2726 2463 0 -1 4202560 98 0 0 0 28 28 0 0 20 0 19 0 40635818 9856040960 108637 33554432000 1073741824 1073778376 140736874091104 140693237726408 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2745] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2745/stat : 2745 (java) S 2723 2726 2463 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40635852 9856040960 108637 33554432000 1073741824 1073778376 140736874091104 140693236339624 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1666.34
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/213 4503
/proc/meminfo: memFree=30569032/32872528 swapFree=534252/566956
[pid=2726] ppid=2723 vsize=9625040 CPUtime=1726.46 cores=0,2,4,6
/proc/2726/stat : 2726 (java) S 2723 2726 2463 0 -1 4202496 19426 0 1 0 172580 66 0 0 20 0 19 0 40635813 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140736874082240 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2726/statm: 2406260 108638 2293 9 0 2396937 0
[pid=2726/tid=2727] ppid=2723 vsize=9625040 CPUtime=1721.15 cores=0,2,4,6
/proc/2726/task/2727/stat : 2727 (java) R 2723 2726 2463 0 -1 4202560 2509 0 1 0 172085 30 0 0 20 0 19 0 40635813 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693488762576 140693348251071 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2729] ppid=2723 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/2726/task/2729/stat : 2729 (java) S 2723 2726 2463 0 -1 4202560 353 0 0 0 38 4 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693466872104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2726/tid=2730] ppid=2723 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/2726/task/2730/stat : 2730 (java) S 2723 2726 2463 0 -1 4202560 615 0 0 0 33 5 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693263607976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2731] ppid=2723 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/2726/task/2731/stat : 2731 (java) S 2723 2726 2463 0 -1 4202560 401 0 0 0 34 5 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693262555688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2732] ppid=2723 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/2726/task/2732/stat : 2732 (java) S 2723 2726 2463 0 -1 4202560 285 0 0 0 46 4 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693261502888 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2726/tid=2733] ppid=2723 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/2726/task/2733/stat : 2733 (java) S 2723 2726 2463 0 -1 4202560 315 0 0 0 48 5 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693260450600 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2734] ppid=2723 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/2726/task/2734/stat : 2734 (java) S 2723 2726 2463 0 -1 4202560 143 0 0 0 40 5 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693259397800 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2735] ppid=2723 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/2726/task/2735/stat : 2735 (java) S 2723 2726 2463 0 -1 4202560 425 0 0 0 44 6 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693258345512 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2736] ppid=2723 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/2726/task/2736/stat : 2736 (java) S 2723 2726 2463 0 -1 4202560 338 0 0 0 37 4 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693257292712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2737] ppid=2723 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/2726/task/2737/stat : 2737 (java) S 2723 2726 2463 0 -1 4202560 111 0 0 0 13 2 0 0 20 0 19 0 40635815 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693245094120 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2738] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2738/stat : 2738 (java) S 2723 2726 2463 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 40635815 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693244040184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2739] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2739/stat : 2739 (java) S 2723 2726 2463 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 40635815 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693242987784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2740] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2740/stat : 2740 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635818 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693241936272 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2741] ppid=2723 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/2726/task/2741/stat : 2741 (java) S 2723 2726 2463 0 -1 4202560 8854 0 0 0 71 2 0 0 20 0 19 0 40635818 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693240883896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2742] ppid=2723 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/2726/task/2742/stat : 2742 (java) S 2723 2726 2463 0 -1 4202560 3714 0 0 0 57 2 0 0 20 0 19 0 40635818 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693239831096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2743] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2743/stat : 2743 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635818 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693238779000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2744] ppid=2723 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/2726/task/2744/stat : 2744 (java) S 2723 2726 2463 0 -1 4202560 100 0 0 0 29 29 0 0 20 0 19 0 40635818 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693237726408 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2745] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2745/stat : 2745 (java) S 2723 2726 2463 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40635852 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693236339624 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1726.46
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/213 4570
/proc/meminfo: memFree=30821564/32872528 swapFree=534252/566956
[pid=2726] ppid=2723 vsize=9625040 CPUtime=1786.53 cores=0,2,4,6
/proc/2726/stat : 2726 (java) S 2723 2726 2463 0 -1 4202496 19433 0 1 0 178586 67 0 0 20 0 19 0 40635813 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140736874082240 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2726/statm: 2406260 108638 2293 9 0 2396937 0
[pid=2726/tid=2727] ppid=2723 vsize=9625040 CPUtime=1781.13 cores=0,2,4,6
/proc/2726/task/2727/stat : 2727 (java) R 2723 2726 2463 0 -1 4202560 2510 0 1 0 178082 31 0 0 20 0 19 0 40635813 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693488762576 140693347768258 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2729] ppid=2723 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/2726/task/2729/stat : 2729 (java) S 2723 2726 2463 0 -1 4202560 353 0 0 0 39 4 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693466872104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2726/tid=2730] ppid=2723 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/2726/task/2730/stat : 2730 (java) S 2723 2726 2463 0 -1 4202560 615 0 0 0 34 5 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693263607976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2731] ppid=2723 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/2726/task/2731/stat : 2731 (java) S 2723 2726 2463 0 -1 4202560 401 0 0 0 34 5 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693262555688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2732] ppid=2723 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/2726/task/2732/stat : 2732 (java) S 2723 2726 2463 0 -1 4202560 285 0 0 0 47 4 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693261502888 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2726/tid=2733] ppid=2723 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/2726/task/2733/stat : 2733 (java) S 2723 2726 2463 0 -1 4202560 315 0 0 0 49 5 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693260450600 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2734] ppid=2723 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/2726/task/2734/stat : 2734 (java) S 2723 2726 2463 0 -1 4202560 143 0 0 0 42 5 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693259397800 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2726/tid=2735] ppid=2723 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/2726/task/2735/stat : 2735 (java) S 2723 2726 2463 0 -1 4202560 425 0 0 0 45 6 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693258345512 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2736] ppid=2723 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/2726/task/2736/stat : 2736 (java) S 2723 2726 2463 0 -1 4202560 338 0 0 0 38 4 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693257292712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2737] ppid=2723 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/2726/task/2737/stat : 2737 (java) S 2723 2726 2463 0 -1 4202560 113 0 0 0 13 2 0 0 20 0 19 0 40635815 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693245094120 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2738] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2738/stat : 2738 (java) S 2723 2726 2463 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 40635815 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693244040184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2739] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2739/stat : 2739 (java) S 2723 2726 2463 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 40635815 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693242987784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2740] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2740/stat : 2740 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635818 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693241936272 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2741] ppid=2723 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/2726/task/2741/stat : 2741 (java) S 2723 2726 2463 0 -1 4202560 8854 0 0 0 71 2 0 0 20 0 19 0 40635818 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693240883896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2742] ppid=2723 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/2726/task/2742/stat : 2742 (java) S 2723 2726 2463 0 -1 4202560 3714 0 0 0 57 2 0 0 20 0 19 0 40635818 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693239831096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2743] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2743/stat : 2743 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635818 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693238779000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2744] ppid=2723 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/2726/task/2744/stat : 2744 (java) S 2723 2726 2463 0 -1 4202560 104 0 0 0 30 30 0 0 20 0 19 0 40635818 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693237726408 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2745] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2745/stat : 2745 (java) S 2723 2726 2463 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40635852 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693236339624 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1786.53
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.8 s]
/proc/loadavg: 2.07 2.05 2.01 3/213 4570
/proc/meminfo: memFree=30766256/32872528 swapFree=534252/566956
[pid=2726] ppid=2723 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/2726/stat : 2726 (java) S 2723 2726 2463 0 -1 4202496 19436 0 1 0 179942 67 0 0 20 0 19 0 40635813 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140736874082240 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2726/statm: 2406260 108638 2293 9 0 2396937 0
[pid=2726/tid=2727] ppid=2723 vsize=9625040 CPUtime=1794.61 cores=0,2,4,6
/proc/2726/task/2727/stat : 2727 (java) R 2723 2726 2463 0 -1 4202560 2511 0 1 0 179430 31 0 0 20 0 19 0 40635813 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693488770304 140693348250961 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2729] ppid=2723 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/2726/task/2729/stat : 2729 (java) S 2723 2726 2463 0 -1 4202560 353 0 0 0 40 4 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693466872104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2730] ppid=2723 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/2726/task/2730/stat : 2730 (java) S 2723 2726 2463 0 -1 4202560 615 0 0 0 35 5 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693263607976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2731] ppid=2723 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/2726/task/2731/stat : 2731 (java) S 2723 2726 2463 0 -1 4202560 401 0 0 0 37 5 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693262555688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2732] ppid=2723 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/2726/task/2732/stat : 2732 (java) S 2723 2726 2463 0 -1 4202560 285 0 0 0 48 4 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693261502888 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2733] ppid=2723 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/2726/task/2733/stat : 2733 (java) S 2723 2726 2463 0 -1 4202560 315 0 0 0 49 5 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693260450600 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2734] ppid=2723 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/2726/task/2734/stat : 2734 (java) S 2723 2726 2463 0 -1 4202560 143 0 0 0 43 5 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693259397800 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2726/tid=2735] ppid=2723 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/2726/task/2735/stat : 2735 (java) S 2723 2726 2463 0 -1 4202560 425 0 0 0 46 6 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693258345512 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2736] ppid=2723 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/2726/task/2736/stat : 2736 (java) S 2723 2726 2463 0 -1 4202560 338 0 0 0 39 4 0 0 20 0 19 0 40635814 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693257292712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2737] ppid=2723 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/2726/task/2737/stat : 2737 (java) S 2723 2726 2463 0 -1 4202560 115 0 0 0 13 2 0 0 20 0 19 0 40635815 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693245094120 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2738] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2738/stat : 2738 (java) S 2723 2726 2463 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 40635815 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693244040184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2739] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2739/stat : 2739 (java) S 2723 2726 2463 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 40635815 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693242987784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2740] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2740/stat : 2740 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635818 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693241936272 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2741] ppid=2723 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/2726/task/2741/stat : 2741 (java) S 2723 2726 2463 0 -1 4202560 8854 0 0 0 71 2 0 0 20 0 19 0 40635818 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693240883896 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2726/tid=2742] ppid=2723 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/2726/task/2742/stat : 2742 (java) S 2723 2726 2463 0 -1 4202560 3714 0 0 0 57 2 0 0 20 0 19 0 40635818 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693239831096 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2743] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2743/stat : 2743 (java) S 2723 2726 2463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40635818 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693238779000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2726/tid=2744] ppid=2723 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/2726/task/2744/stat : 2744 (java) S 2723 2726 2463 0 -1 4202560 104 0 0 0 30 31 0 0 20 0 19 0 40635818 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693237726408 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2726/tid=2745] ppid=2723 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2726/task/2745/stat : 2745 (java) S 2723 2726 2463 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40635852 9856040960 108638 33554432000 1073741824 1073778376 140736874091104 140693236339624 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 2726 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1795.87
CPU time (s): 1800.84
CPU user time (s): 1799.64
CPU system time (s): 1.20382
CPU usage (%): 100.277
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 1.20382
maximum resident set size= 531984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19474
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38993
involuntary context switches= 7654

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.37173 second user time and 15.4547 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-20 03:25:02
IDJOB=4110679
IDBENCH=108249
IDSOLVER=2546
FILE ID=node138/4110679-1466385902
RUNJOBID= node138-1466384102-2479
PBS_JOBID= 19923271
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-B-2-2-irabcde.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110679-1466385902/watcher-4110679-1466385902 -o /tmp/evaluation-result-4110679-1466385902/solver-4110679-1466385902 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466384102-2479 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4110679-1466385902.opb

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

MD5SUM BENCH= 79fbc2db7e0a97f156df8681d41c01ae
RANDOM SEED=4852376

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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.54
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.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31387504 kB
Buffers:            2948 kB
Cached:            37764 kB
SwapCached:        25248 kB
Active:           164088 kB
Inactive:          43336 kB
Active(anon):     144600 kB
Inactive(anon):    24756 kB
Active(file):      19488 kB
Inactive(file):    18580 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67075120 kB
Dirty:              2772 kB
Writeback:             0 kB
AnonPages:        729908 kB
Mapped:            15420 kB
Shmem:                 0 kB
Slab:             571368 kB
SReclaimable:      14680 kB
SUnreclaim:       556688 kB
KernelStack:        1776 kB
PageTables:         5436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1256424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 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= 71728 MiB
End job on node138 at 2016-06-20 03:54:58