Trace number 4101549

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)102879 1800.72 1792.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-rgn.opb
MD5SUMe9bdb75d971f85face52b6150a0bc6b1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark90984
Best CPU time to get the best result obtained on this benchmark1800.86
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 13258
Optimality of the best value was proved NO
Number of variables1260
Total number of constraints104
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint12
Maximum length of a constraint127
Number of terms in the objective function 1160
Biggest coefficient in the objective function 6487
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 525000
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 105486
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 525000
Number of bits of the biggest sum of numbers20
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.08/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.08/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.10	c See www.sat4j.org for details.
0.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Glucose 2.1 dynamic restart strategy
0.08/0.13	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.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-4101549-1466224022.opb
0.08/0.13	c reading problem ... 
0.08/0.13	c  objective function found
0.24/0.25	c ... done. Wall clock time 0.118s.
0.24/0.25	c declared #vars     1260
0.24/0.25	c #constraints  124
0.24/0.25	c constraints type 
0.24/0.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 4
0.24/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 120
0.24/0.25	c 124 constraints processed.
0.24/0.25	c objective function length is 1160 literals
1.17/0.64	c cleaning 2497 clauses out of 5000 with flag 10993/5000
1.68/1.01	c cleaning 4249 clauses out of 8504 with flag 23072/11001
2.17/1.56	c cleaning 5622 clauses out of 11254 with flag 37126/18000
2.87/2.30	c cleaning 6813 clauses out of 13633 with flag 53320/26001
3.90/3.26	c cleaning 7907 clauses out of 15820 with flag 71320/35001
5.21/4.55	c cleaning 8955 clauses out of 17916 with flag 91347/45004
6.70/6.00	c cleaning 9969 clauses out of 19958 with flag 113530/56001
8.20/7.53	c cleaning 10986 clauses out of 21990 with flag 137536/68002
10.40/9.70	c cleaning 11993 clauses out of 24002 with flag 163536/81000
12.31/11.64	c cleaning 12992 clauses out of 26009 with flag 192104/95000
12.31/11.67	c SATISFIABLE
12.31/11.67	c OPTIMIZING...
12.31/11.67	c Got one! Elapsed wall clock time (in seconds):11.54
12.31/11.67	o 151654
12.52/11.85	c cleaning 9412 clauses out of 18823 with flag 10282/100806
12.92/12.28	c cleaning 7706 clauses out of 15411 with flag 22644/106806
13.41/12.77	c cleaning 7350 clauses out of 14704 with flag 37185/113805
13.73/13.05	c Got one! Elapsed wall clock time (in seconds):12.923
13.73/13.05	o 103755
13.93/13.23	c cleaning 9899 clauses out of 19810 with flag 10230/126261
14.13/13.43	c cleaning 7943 clauses out of 15911 with flag 24040/132261
14.43/13.79	c cleaning 7474 clauses out of 14970 with flag 38501/139263
14.93/14.27	c cleaning 7736 clauses out of 15495 with flag 54504/147262
15.53/14.82	c cleaning 8370 clauses out of 16760 with flag 72560/156263
16.23/15.54	c cleaning 9184 clauses out of 18390 with flag 93130/166263
17.13/16.49	c cleaning 10091 clauses out of 20204 with flag 115216/177261
18.23/17.55	c cleaning 11045 clauses out of 22114 with flag 139247/189262
19.54/18.80	c cleaning 12022 clauses out of 24069 with flag 165298/202262
21.13/20.40	c cleaning 13013 clauses out of 26046 with flag 193314/216261
22.93/22.26	c cleaning 14007 clauses out of 28033 with flag 223323/231261
25.13/24.49	c cleaning 15003 clauses out of 30026 with flag 255412/247261
27.73/27.00	c cleaning 15995 clauses out of 32023 with flag 289412/264261
30.73/30.07	c cleaning 17002 clauses out of 34028 with flag 326065/282261
34.03/33.38	c cleaning 18004 clauses out of 36028 with flag 364323/301263
37.94/37.24	c cleaning 19000 clauses out of 38022 with flag 404488/321261
41.74/41.07	c cleaning 19997 clauses out of 40022 with flag 446531/342261
46.05/45.36	c cleaning 21004 clauses out of 42027 with flag 490630/364263
50.75/50.03	c cleaning 22003 clauses out of 44022 with flag 536727/387262
55.76/55.08	c cleaning 22998 clauses out of 46018 with flag 584871/411261
61.05/60.38	c cleaning 23997 clauses out of 48021 with flag 635016/436262
67.15/66.49	c cleaning 24999 clauses out of 50023 with flag 687068/462261
74.05/73.37	c cleaning 26001 clauses out of 52026 with flag 741088/489263
80.95/80.29	c cleaning 27001 clauses out of 54024 with flag 797137/517262
88.67/87.90	c cleaning 28000 clauses out of 56022 with flag 855232/546261
96.97/96.27	c cleaning 29003 clauses out of 58024 with flag 915533/576263
106.97/106.20	c cleaning 29997 clauses out of 60020 with flag 977735/607262
111.57/110.85	c cleaning 31007 clauses out of 62022 with flag 1099266/639261
115.08/114.37	c cleaning 32003 clauses out of 64015 with flag 1229455/672261
118.91/118.13	c cleaning 32997 clauses out of 66013 with flag 1390469/706262
122.51/121.78	c cleaning 34000 clauses out of 68015 with flag 1559968/741261
126.03/125.26	c cleaning 35003 clauses out of 70016 with flag 1718280/777262
130.68/129.87	c cleaning 36002 clauses out of 72013 with flag 1916879/814262
135.08/134.27	c cleaning 36995 clauses out of 74013 with flag 2168202/852264
139.30/138.45	c cleaning 37997 clauses out of 76016 with flag 2402434/891262
143.52/142.61	c cleaning 39003 clauses out of 78018 with flag 2612263/931261
149.12/148.24	c cleaning 40001 clauses out of 80016 with flag 2763579/972262
156.46/155.56	c cleaning 41005 clauses out of 82015 with flag 2939120/1014262
160.68/159.79	c cleaning 41995 clauses out of 84010 with flag 3167947/1057262
167.10/166.13	c cleaning 43000 clauses out of 86014 with flag 3443223/1101261
172.32/171.34	c cleaning 43994 clauses out of 88014 with flag 3666423/1146261
180.40/179.35	c cleaning 44996 clauses out of 90021 with flag 3818799/1192262
189.13/188.06	c cleaning 46013 clauses out of 92027 with flag 3991716/1239264
196.52/195.38	c cleaning 47004 clauses out of 94012 with flag 4157965/1287262
205.55/204.39	c cleaning 47999 clauses out of 96008 with flag 4317004/1336262
213.29/212.05	c cleaning 48993 clauses out of 98009 with flag 4476442/1386262
227.39/226.17	c cleaning 50000 clauses out of 100015 with flag 4578460/1437261
240.46/239.19	c cleaning 51004 clauses out of 102016 with flag 4682544/1489262
255.47/254.13	c cleaning 51994 clauses out of 104011 with flag 4788916/1542261
271.58/270.29	c cleaning 52999 clauses out of 106018 with flag 4897259/1596262
288.68/287.29	c cleaning 54000 clauses out of 108018 with flag 5007266/1651261
306.18/304.80	c cleaning 54996 clauses out of 110019 with flag 5119296/1707262
323.37/321.98	c cleaning 56001 clauses out of 112022 with flag 5233310/1764261
344.34/342.80	c cleaning 56998 clauses out of 114021 with flag 5349364/1822261
368.64/367.15	c cleaning 57999 clauses out of 116023 with flag 5467403/1881261
390.52/388.99	c cleaning 59001 clauses out of 118024 with flag 5587463/1941261
418.22/416.60	c cleaning 59999 clauses out of 120024 with flag 5709590/2002262
448.23/446.68	c cleaning 61002 clauses out of 122024 with flag 5833649/2064261
477.57/475.96	c cleaning 61999 clauses out of 124022 with flag 5959839/2127261
505.58/503.92	c cleaning 63001 clauses out of 126023 with flag 6087965/2191261
539.03/537.37	c cleaning 64000 clauses out of 128023 with flag 6217975/2256262
576.23/574.51	c cleaning 65001 clauses out of 130022 with flag 6349980/2322261
611.47/609.80	c cleaning 65999 clauses out of 132021 with flag 6483982/2389261
649.08/647.34	c cleaning 66999 clauses out of 134022 with flag 6619987/2457261
662.39/660.48	c cleaning 68006 clauses out of 136023 with flag 6854899/2526261
676.41/674.34	c cleaning 69003 clauses out of 138017 with flag 7128692/2596261
690.39/688.11	c cleaning 70002 clauses out of 140014 with flag 7429515/2667261
709.79/707.31	c cleaning 71005 clauses out of 142013 with flag 7679422/2739262
725.83/723.22	c cleaning 72006 clauses out of 144015 with flag 7938294/2812269
736.77/734.17	c cleaning 73003 clauses out of 146005 with flag 8179446/2886265
759.41/756.71	c cleaning 73994 clauses out of 147998 with flag 8394823/2961261
762.53/759.85	c Got one! Elapsed wall clock time (in seconds):759.722
762.53/759.85	o 102879
763.13/760.45	c cleaning 45137 clauses out of 90290 with flag 10743/2977547
763.73/761.00	c cleaning 25568 clauses out of 51152 with flag 23324/2983546
764.13/761.40	c cleaning 16286 clauses out of 32584 with flag 39112/2990546
764.53/761.90	c cleaning 12139 clauses out of 24298 with flag 56043/2998546
765.04/762.39	c cleaning 10570 clauses out of 21161 with flag 75399/3007548
765.73/763.10	c cleaning 10281 clauses out of 20589 with flag 96188/3017546
766.53/763.83	c cleaning 10646 clauses out of 21308 with flag 120438/3028546
767.85/765.11	c cleaning 11322 clauses out of 22662 with flag 150501/3040546
770.59/767.86	c cleaning 12166 clauses out of 24340 with flag 186462/3053546
772.72/770.00	c cleaning 13079 clauses out of 26175 with flag 233515/3067547
775.16/772.32	c cleaning 14041 clauses out of 28096 with flag 280952/3082547
777.68/774.89	c cleaning 15021 clauses out of 30054 with flag 344091/3098546
780.81/777.92	c cleaning 16017 clauses out of 32033 with flag 403322/3115546
783.12/780.25	c cleaning 17005 clauses out of 34017 with flag 461493/3133547
785.25/782.38	c cleaning 18005 clauses out of 36012 with flag 530169/3152547
788.56/785.64	c cleaning 18994 clauses out of 38006 with flag 656694/3172546
792.48/789.56	c cleaning 19998 clauses out of 40012 with flag 786430/3193546
796.88/793.91	c cleaning 20996 clauses out of 42015 with flag 922345/3215547
800.33/797.38	c cleaning 21996 clauses out of 44018 with flag 1015521/3238546
803.46/800.48	c cleaning 23003 clauses out of 46023 with flag 1108132/3262547
806.39/803.32	c cleaning 24008 clauses out of 48019 with flag 1215223/3287546
809.53/806.46	c cleaning 24997 clauses out of 50012 with flag 1334170/3313547
814.07/810.93	c cleaning 26008 clauses out of 52015 with flag 1474555/3340547
819.27/816.04	c cleaning 26999 clauses out of 54006 with flag 1634050/3368546
823.64/820.36	c cleaning 27999 clauses out of 56008 with flag 1803798/3397547
829.02/825.65	c cleaning 28991 clauses out of 58008 with flag 1999010/3427546
834.00/830.55	c cleaning 30005 clauses out of 60017 with flag 2163182/3458546
839.33/835.86	c cleaning 31001 clauses out of 62012 with flag 2293337/3490546
845.06/841.48	c cleaning 32001 clauses out of 64011 with flag 2444349/3523546
851.75/848.07	c cleaning 32996 clauses out of 66011 with flag 2566399/3557547
859.14/855.36	c cleaning 34000 clauses out of 68014 with flag 2687548/3592546
865.34/861.48	c cleaning 35001 clauses out of 70015 with flag 2844603/3628547
872.69/868.74	c cleaning 35998 clauses out of 72014 with flag 2976175/3665547
878.81/874.73	c cleaning 37002 clauses out of 74016 with flag 3131229/3703547
886.95/882.73	c cleaning 38006 clauses out of 76014 with flag 3312350/3742547
894.25/889.92	c cleaning 38999 clauses out of 78007 with flag 3479593/3782546
899.30/894.99	c cleaning 39995 clauses out of 80008 with flag 3603890/3823546
904.14/899.80	c cleaning 41000 clauses out of 82013 with flag 3725173/3865546
912.26/907.88	c cleaning 42000 clauses out of 84014 with flag 3867841/3908547
922.48/918.09	c cleaning 43002 clauses out of 86013 with flag 3997664/3952546
932.37/927.82	c cleaning 43996 clauses out of 88011 with flag 4133928/3997546
943.61/939.10	c cleaning 45002 clauses out of 90015 with flag 4285182/4043546
956.03/951.46	c cleaning 46000 clauses out of 92013 with flag 4436875/4090546
968.60/963.93	c cleaning 47002 clauses out of 94013 with flag 4594305/4138546
979.18/974.42	c cleaning 48002 clauses out of 96012 with flag 4755999/4187547
989.21/984.41	c cleaning 48993 clauses out of 98009 with flag 4931788/4237546
1004.18/999.34	c cleaning 50000 clauses out of 100017 with flag 5114675/4288547
1015.77/1010.81	c cleaning 51000 clauses out of 102019 with flag 5271449/4340549
1026.95/1021.95	c cleaning 52001 clauses out of 104016 with flag 5432301/4393546
1042.61/1037.53	c cleaning 53004 clauses out of 106016 with flag 5624632/4447547
1054.81/1049.69	c cleaning 54003 clauses out of 108011 with flag 5844305/4502546
1073.89/1068.60	c cleaning 54998 clauses out of 110008 with flag 6051417/4558546
1095.32/1089.98	c cleaning 55995 clauses out of 112010 with flag 6213919/4615546
1110.31/1104.80	c cleaning 56992 clauses out of 114016 with flag 6359358/4673547
1125.07/1119.59	c cleaning 58000 clauses out of 116023 with flag 6507816/4732546
1142.52/1136.91	c cleaning 59005 clauses out of 118023 with flag 6655047/4792546
1158.70/1153.03	c cleaning 59998 clauses out of 120018 with flag 6809275/4853546
1175.28/1169.57	c cleaning 61003 clauses out of 122022 with flag 6968471/4915548
1189.75/1183.94	c cleaning 61998 clauses out of 124017 with flag 7128426/4978546
1206.52/1200.65	c cleaning 62995 clauses out of 126022 with flag 7288183/5042549
1226.30/1220.34	c cleaning 63999 clauses out of 128026 with flag 7451453/5107548
1247.70/1241.62	c cleaning 65003 clauses out of 130026 with flag 7611476/5173547
1274.37/1268.25	c cleaning 66001 clauses out of 132024 with flag 7775099/5240548
1303.03/1296.86	c cleaning 66998 clauses out of 134022 with flag 7941013/5308547
1325.61/1319.36	c cleaning 67996 clauses out of 136023 with flag 8119977/5377546
1347.71/1341.31	c cleaning 69001 clauses out of 138027 with flag 8306206/5447546
1371.02/1364.58	c cleaning 70002 clauses out of 140026 with flag 8489753/5518546
1396.09/1389.52	c cleaning 71002 clauses out of 142024 with flag 8669266/5590546
1421.14/1414.50	c cleaning 71999 clauses out of 144022 with flag 8854675/5663546
1448.04/1441.32	c cleaning 73003 clauses out of 146025 with flag 9049865/5737548
1476.35/1469.59	c cleaning 74004 clauses out of 148020 with flag 9253509/5812546
1499.05/1492.14	c cleaning 74999 clauses out of 150016 with flag 9455161/5888546
1525.65/1518.61	c cleaning 75997 clauses out of 152017 with flag 9653986/5965546
1559.70/1552.56	c cleaning 77002 clauses out of 154021 with flag 9863833/6043547
1590.20/1582.99	c cleaning 77994 clauses out of 156019 with flag 10066911/6122547
1625.02/1617.61	c cleaning 79006 clauses out of 158025 with flag 10277661/6202547
1658.09/1650.63	c cleaning 79999 clauses out of 160020 with flag 10485790/6283548
1691.02/1683.45	c cleaning 80996 clauses out of 162019 with flag 10693361/6365546
1727.63/1719.99	c cleaning 82001 clauses out of 164024 with flag 10914238/6448547
1760.10/1752.29	c cleaning 83000 clauses out of 166022 with flag 11132354/6532546
1792.84/1784.83	c cleaning 84005 clauses out of 168023 with flag 11356585/6617547
1800.08/1792.01	c starts		: 14707
1800.08/1792.01	c conflicts		: 6650591
1800.08/1792.01	c decisions		: 9070796
1800.08/1792.01	c propagations		: 142898187
1800.08/1792.01	c inspects		: 37713850233
1800.08/1792.01	c shortcuts		: 0
1800.08/1792.01	c learnt literals	: 0
1800.08/1792.01	c learnt binary clauses	: 0
1800.08/1792.01	c learnt ternary clauses	: 23
1800.08/1792.01	c learnt constraints	: 6650591
1800.08/1792.01	c ignored constraints	: 0
1800.08/1792.01	c root simplifications	: 0
1800.08/1792.01	c removed literals (reason simplification)	: 0
1800.08/1792.01	c reason swapping (by a shorter reason)	: 0
1800.08/1792.01	c Calls to reduceDB	: 165
1800.08/1792.01	c Number of update (reduction) of LBD	: 483318
1800.08/1792.01	c Imported unit clauses	: 0
1800.08/1792.01	c number of reductions to clauses (during analyze)	: 0
1800.08/1792.01	c number of learned constraints concerned by reduction	: 0
1800.08/1792.01	c number of learning phase by resolution	: 0
1800.08/1792.01	c number of learning phase by cutting planes	: 0
1800.08/1792.01	c speed (assignments/second)	: 79753.19784233894
1800.08/1792.01	c non guided choices	17666
1800.08/1792.03	c learnt constraints type 
1800.08/1792.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 117063
1800.08/1792.03	s SATISFIABLE
1800.08/1792.03	c Found 3 solution(s)
1800.08/1792.04	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 
1800.08/1792.04	c objective function=102879
1800.08/1792.04	c Total wall clock time (in seconds): 1791.911

Verifier Data 

OK	102879

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-4101549-1466224022/watcher-4101549-1466224022 -o /tmp/evaluation-result-4101549-1466224022/solver-4101549-1466224022 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466206053-10696 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101549-1466224022.opb 

pid=14767
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.24 2.30 2.26 2/194 14770
/proc/meminfo: memFree=30195632/32872528 swapFree=1402776/1580604
[pid=14770] ppid=14767 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/14770/stat : 14770 (java) D 14767 14770 10680 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 24447914 9515008 175 33554432000 1073741824 1073778376 140735879505968 140735879488696 248790205328 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/14770/statm: 2323 175 133 9 0 71 0

[startup+0.100119 s]
/proc/loadavg: 2.24 2.30 2.26 2/194 14770
/proc/meminfo: memFree=30195632/32872528 swapFree=1402776/1580604
[pid=14770] ppid=14767 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/14770/stat : 14770 (java) S 14767 14770 10680 0 -1 4202496 3859 0 1 0 7 1 0 0 20 0 18 0 24447914 9787879424 4990 33554432000 1073741824 1073778376 140735966565600 140735966556736 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14770/statm: 2389619 5006 1998 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200293 s]
/proc/loadavg: 2.24 2.30 2.26 2/194 14770
/proc/meminfo: memFree=30195632/32872528 swapFree=1402776/1580604
[pid=14770] ppid=14767 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/14770/stat : 14770 (java) S 14767 14770 10680 0 -1 4202496 4814 0 1 0 23 1 0 0 20 0 18 0 24447914 9787879424 6862 33554432000 1073741824 1073778376 140735966565600 140735966556736 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14770/statm: 2389619 6862 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300282 s]
/proc/loadavg: 2.24 2.30 2.26 2/194 14770
/proc/meminfo: memFree=30195632/32872528 swapFree=1402776/1580604
[pid=14770] ppid=14767 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/14770/stat : 14770 (java) S 14767 14770 10680 0 -1 4202496 8839 0 1 0 49 3 0 0 20 0 19 0 24447914 9856040960 10340 33554432000 1073741824 1073778376 140735966565600 140735966556736 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14770/statm: 2406260 10340 2241 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625040

[startup+0.70018 s]
/proc/loadavg: 2.24 2.30 2.26 2/194 14770
/proc/meminfo: memFree=30195632/32872528 swapFree=1402776/1580604
[pid=14770] ppid=14767 vsize=9625040 CPUtime=1.36 cores=0,2,4,6
/proc/14770/stat : 14770 (java) S 14767 14770 10680 0 -1 4202496 10619 0 1 0 133 3 0 0 20 0 19 0 24447914 9856040960 13082 33554432000 1073741824 1073778376 140735966565600 140735966556736 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14770/statm: 2406260 13082 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9625040

[startup+1.50075 s]
/proc/loadavg: 2.24 2.30 2.26 3/213 14789
/proc/meminfo: memFree=30144216/32872528 swapFree=1402776/1580604
[pid=14770] ppid=14767 vsize=9625040 CPUtime=2.17 cores=0,2,4,6
/proc/14770/stat : 14770 (java) S 14767 14770 10680 0 -1 4202496 10629 0 1 0 214 3 0 0 20 0 19 0 24447914 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140735966556736 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14770/statm: 2406260 16157 2258 9 0 2396937 0
[pid=14770/tid=14772] ppid=14767 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/14770/task/14772/stat : 14772 (java) R 14767 14770 10680 0 -1 4202560 2430 0 1 0 143 2 0 0 20 0 19 0 24447915 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346365653480 140346193948365 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14773] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14773/stat : 14773 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346327145256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14774] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14774/stat : 14774 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346326092456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14775] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14775/stat : 14775 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346325040168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14770/tid=14776] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14776/stat : 14776 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346323987368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14777] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14777/stat : 14777 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346322934056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14778] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14778/stat : 14778 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346321881256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14779] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14779/stat : 14779 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346320828968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14780] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14780/stat : 14780 (java) S 14767 14770 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346319776168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14781] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14781/stat : 14781 (java) S 14767 14770 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24447918 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346189130472 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14782] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14782/stat : 14782 (java) S 14767 14770 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24447918 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346188076536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14783] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14783/stat : 14783 (java) S 14767 14770 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24447918 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346187024136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14784] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14784/stat : 14784 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447921 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346185972624 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14785] ppid=14767 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/14770/task/14785/stat : 14785 (java) S 14767 14770 10680 0 -1 4202560 3692 0 0 0 35 0 0 0 20 0 19 0 24447921 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346184919224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14786] ppid=14767 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/14770/task/14786/stat : 14786 (java) S 14767 14770 10680 0 -1 4202560 3235 0 0 0 32 0 0 0 20 0 19 0 24447921 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346183866424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14787] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14787/stat : 14787 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447921 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346182814328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14788] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14788/stat : 14788 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447921 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346181761736 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14789] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14789/stat : 14789 (java) S 14767 14770 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24447940 9856040960 16157 33554432000 1073741824 1073778376 140735966565600 140346180707752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9625040

[startup+3.10082 s]
/proc/loadavg: 2.24 2.30 2.26 3/213 14789
/proc/meminfo: memFree=30129260/32872528 swapFree=1402776/1580604
[pid=14770] ppid=14767 vsize=9625040 CPUtime=3.8 cores=0,2,4,6
/proc/14770/stat : 14770 (java) S 14767 14770 10680 0 -1 4202496 10637 0 1 0 376 4 0 0 20 0 19 0 24447914 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140735966556736 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14770/statm: 2406260 20253 2258 9 0 2396937 0
[pid=14770/tid=14772] ppid=14767 vsize=9625040 CPUtime=3.04 cores=0,2,4,6
/proc/14770/task/14772/stat : 14772 (java) R 14767 14770 10680 0 -1 4202560 2438 0 1 0 302 2 0 0 20 0 19 0 24447915 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346365653256 140346193939872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14773] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14773/stat : 14773 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346327145256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14774] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14774/stat : 14774 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346326092456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14775] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14775/stat : 14775 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346325040168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14770/tid=14776] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14776/stat : 14776 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346323987368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14777] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14777/stat : 14777 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346322934056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14778] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14778/stat : 14778 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346321881256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14779] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14779/stat : 14779 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346320828968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14780] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14780/stat : 14780 (java) S 14767 14770 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346319776168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14781] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14781/stat : 14781 (java) S 14767 14770 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24447918 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346189130472 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14782] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14782/stat : 14782 (java) S 14767 14770 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24447918 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346188076536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14783] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14783/stat : 14783 (java) S 14767 14770 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24447918 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346187024136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14784] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14784/stat : 14784 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447921 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346185972624 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14785] ppid=14767 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/14770/task/14785/stat : 14785 (java) S 14767 14770 10680 0 -1 4202560 3692 0 0 0 36 0 0 0 20 0 19 0 24447921 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346184919224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14786] ppid=14767 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/14770/task/14786/stat : 14786 (java) S 14767 14770 10680 0 -1 4202560 3235 0 0 0 36 0 0 0 20 0 19 0 24447921 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346183866424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14787] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14787/stat : 14787 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447921 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346182814328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14788] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14788/stat : 14788 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447921 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346181761736 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14789] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14789/stat : 14789 (java) S 14767 14770 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24447940 9856040960 20253 33554432000 1073741824 1073778376 140735966565600 140346180707752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 9625040

[startup+6.30077 s]
/proc/loadavg: 2.22 2.29 2.26 3/213 14789
/proc/meminfo: memFree=30082032/32872528 swapFree=1402776/1580604
[pid=14770] ppid=14767 vsize=9625040 CPUtime=7 cores=0,2,4,6
/proc/14770/stat : 14770 (java) S 14767 14770 10680 0 -1 4202496 10652 0 1 0 696 4 0 0 20 0 19 0 24447914 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140735966556736 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14770/statm: 2406260 26852 2259 9 0 2396937 0
[pid=14770/tid=14772] ppid=14767 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/14770/task/14772/stat : 14772 (java) R 14767 14770 10680 0 -1 4202560 2452 0 1 0 622 2 0 0 20 0 19 0 24447915 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346365644464 140346193948089 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14773] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14773/stat : 14773 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346327145256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14774] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14774/stat : 14774 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346326092456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14775] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14775/stat : 14775 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346325040168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14770/tid=14776] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14776/stat : 14776 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346323987368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14777] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14777/stat : 14777 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346322934056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14778] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14778/stat : 14778 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346321881256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14779] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14779/stat : 14779 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346320828968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14780] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14780/stat : 14780 (java) S 14767 14770 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24447917 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346319776168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14781] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14781/stat : 14781 (java) S 14767 14770 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24447918 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346189130472 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14782] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14782/stat : 14782 (java) S 14767 14770 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24447918 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346188076536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14783] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14783/stat : 14783 (java) S 14767 14770 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24447918 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346187024136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14784] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14784/stat : 14784 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447921 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346185972624 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14785] ppid=14767 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/14770/task/14785/stat : 14785 (java) S 14767 14770 10680 0 -1 4202560 3692 0 0 0 36 0 0 0 20 0 19 0 24447921 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346184919224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14786] ppid=14767 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/14770/task/14786/stat : 14786 (java) S 14767 14770 10680 0 -1 4202560 3235 0 0 0 36 0 0 0 20 0 19 0 24447921 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346183866424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14787] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14787/stat : 14787 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447921 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346182814328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14788] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14788/stat : 14788 (java) S 14767 14770 10680 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24447921 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346181761736 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14789] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14789/stat : 14789 (java) S 14767 14770 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24447940 9856040960 26852 33554432000 1073741824 1073778376 140735966565600 140346180707752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 9625040


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

[pid=14770/tid=14782] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14782/stat : 14782 (java) S 14767 14770 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24447918 9856040960 57947 33554432000 1073741824 1073778376 140735966565600 140346188076536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14783] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14783/stat : 14783 (java) S 14767 14770 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24447918 9856040960 57947 33554432000 1073741824 1073778376 140735966565600 140346187024136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14784] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14784/stat : 14784 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447921 9856040960 57947 33554432000 1073741824 1073778376 140735966565600 140346185972624 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14785] ppid=14767 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/14770/task/14785/stat : 14785 (java) S 14767 14770 10680 0 -1 4202560 3703 0 0 0 41 0 0 0 20 0 19 0 24447921 9856040960 57947 33554432000 1073741824 1073778376 140735966565600 140346184919224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14786] ppid=14767 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/14770/task/14786/stat : 14786 (java) S 14767 14770 10680 0 -1 4202560 3235 0 0 0 36 0 0 0 20 0 19 0 24447921 9856040960 57947 33554432000 1073741824 1073778376 140735966565600 140346183866424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14787] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14787/stat : 14787 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447921 9856040960 57947 33554432000 1073741824 1073778376 140735966565600 140346182814328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14788] ppid=14767 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/14770/task/14788/stat : 14788 (java) S 14767 14770 10680 0 -1 4202560 96 0 0 0 20 21 0 0 20 0 19 0 24447921 9856040960 57947 33554432000 1073741824 1073778376 140735966565600 140346181761736 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14789] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14789/stat : 14789 (java) S 14767 14770 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24447940 9856040960 57947 33554432000 1073741824 1073778376 140735966565600 140346180707752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1669.87
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.39 2.31 2.28 3/213 14832
/proc/meminfo: memFree=29783060/32872528 swapFree=1402776/1580604
[pid=14770] ppid=14767 vsize=9625040 CPUtime=1730.05 cores=0,2,4,6
/proc/14770/stat : 14770 (java) S 14767 14770 10680 0 -1 4202496 13578 0 1 0 172936 69 0 0 20 0 19 0 24447914 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140735966556736 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14770/statm: 2406260 57827 2282 9 0 2396937 0
[pid=14770/tid=14772] ppid=14767 vsize=9625040 CPUtime=1718.33 cores=0,2,4,6
/proc/14770/task/14772/stat : 14772 (java) R 14767 14770 10680 0 -1 4202560 2757 0 1 0 171800 33 0 0 20 0 19 0 24447915 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346365652176 140346193940041 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14773] ppid=14767 vsize=9625040 CPUtime=1.26 cores=0,2,4,6
/proc/14770/task/14773/stat : 14773 (java) S 14767 14770 10680 0 -1 4202560 331 0 0 0 121 5 0 0 20 0 19 0 24447917 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346327145256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14774] ppid=14767 vsize=9625040 CPUtime=1.35 cores=0,2,4,6
/proc/14770/task/14774/stat : 14774 (java) S 14767 14770 10680 0 -1 4202560 523 0 0 0 130 5 0 0 20 0 19 0 24447917 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346326092456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14775] ppid=14767 vsize=9625040 CPUtime=1.27 cores=0,2,4,6
/proc/14770/task/14775/stat : 14775 (java) S 14767 14770 10680 0 -1 4202560 168 0 0 0 123 4 0 0 20 0 19 0 24447917 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346325040168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14770/tid=14776] ppid=14767 vsize=9625040 CPUtime=1.33 cores=0,2,4,6
/proc/14770/task/14776/stat : 14776 (java) S 14767 14770 10680 0 -1 4202560 194 0 0 0 126 7 0 0 20 0 19 0 24447917 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346323987368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14777] ppid=14767 vsize=9625040 CPUtime=1.18 cores=0,2,4,6
/proc/14770/task/14777/stat : 14777 (java) S 14767 14770 10680 0 -1 4202560 419 0 0 0 114 4 0 0 20 0 19 0 24447917 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346322934056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14778] ppid=14767 vsize=9625040 CPUtime=1.19 cores=0,2,4,6
/proc/14770/task/14778/stat : 14778 (java) S 14767 14770 10680 0 -1 4202560 259 0 0 0 114 5 0 0 20 0 19 0 24447917 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346321881256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14779] ppid=14767 vsize=9625040 CPUtime=1.22 cores=0,2,4,6
/proc/14770/task/14779/stat : 14779 (java) S 14767 14770 10680 0 -1 4202560 234 0 0 0 116 6 0 0 20 0 19 0 24447917 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346320828968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14780] ppid=14767 vsize=9625040 CPUtime=1.32 cores=0,2,4,6
/proc/14770/task/14780/stat : 14780 (java) S 14767 14770 10680 0 -1 4202560 242 0 0 0 126 6 0 0 20 0 19 0 24447917 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346319776168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14770/tid=14781] ppid=14767 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/14770/task/14781/stat : 14781 (java) S 14767 14770 10680 0 -1 4202560 155 0 0 0 65 4 0 0 20 0 19 0 24447918 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346189130472 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14782] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14782/stat : 14782 (java) S 14767 14770 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24447918 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346188076536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14783] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14783/stat : 14783 (java) S 14767 14770 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24447918 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346187024136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14784] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14784/stat : 14784 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447921 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346185972624 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14785] ppid=14767 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/14770/task/14785/stat : 14785 (java) S 14767 14770 10680 0 -1 4202560 3703 0 0 0 41 0 0 0 20 0 19 0 24447921 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346184919224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14786] ppid=14767 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/14770/task/14786/stat : 14786 (java) S 14767 14770 10680 0 -1 4202560 3235 0 0 0 36 0 0 0 20 0 19 0 24447921 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346183866424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14787] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14787/stat : 14787 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447921 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346182814328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14788] ppid=14767 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/14770/task/14788/stat : 14788 (java) S 14767 14770 10680 0 -1 4202560 100 0 0 0 21 22 0 0 20 0 19 0 24447921 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346181761736 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14789] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14789/stat : 14789 (java) S 14767 14770 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24447940 9856040960 57827 33554432000 1073741824 1073778376 140735966565600 140346180707752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1730.05
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.31 2.31 2.28 5/213 14898
/proc/meminfo: memFree=29751052/32872528 swapFree=1402776/1580604
[pid=14770] ppid=14767 vsize=9625040 CPUtime=1790.34 cores=0,2,4,6
/proc/14770/stat : 14770 (java) S 14767 14770 10680 0 -1 4202496 13633 0 1 0 178963 71 0 0 20 0 19 0 24447914 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140735966556736 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14770/statm: 2406260 57622 2282 9 0 2396937 0
[pid=14770/tid=14772] ppid=14767 vsize=9625040 CPUtime=1778.12 cores=0,2,4,6
/proc/14770/task/14772/stat : 14772 (java) R 14767 14770 10680 0 -1 4202560 2768 0 1 0 177778 34 0 0 20 0 19 0 24447915 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346365652112 140346193948089 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14773] ppid=14767 vsize=9625040 CPUtime=1.31 cores=0,2,4,6
/proc/14770/task/14773/stat : 14773 (java) S 14767 14770 10680 0 -1 4202560 336 0 0 0 126 5 0 0 20 0 19 0 24447917 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346327145256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14770/tid=14774] ppid=14767 vsize=9625040 CPUtime=1.41 cores=0,2,4,6
/proc/14770/task/14774/stat : 14774 (java) S 14767 14770 10680 0 -1 4202560 523 0 0 0 136 5 0 0 20 0 19 0 24447917 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346326092456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14775] ppid=14767 vsize=9625040 CPUtime=1.32 cores=0,2,4,6
/proc/14770/task/14775/stat : 14775 (java) S 14767 14770 10680 0 -1 4202560 168 0 0 0 128 4 0 0 20 0 19 0 24447917 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346325040168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14776] ppid=14767 vsize=9625040 CPUtime=1.38 cores=0,2,4,6
/proc/14770/task/14776/stat : 14776 (java) S 14767 14770 10680 0 -1 4202560 194 0 0 0 131 7 0 0 20 0 19 0 24447917 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346323987368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14777] ppid=14767 vsize=9625040 CPUtime=1.23 cores=0,2,4,6
/proc/14770/task/14777/stat : 14777 (java) S 14767 14770 10680 0 -1 4202560 442 0 0 0 119 4 0 0 20 0 19 0 24447917 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346322934056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14778] ppid=14767 vsize=9625040 CPUtime=1.23 cores=0,2,4,6
/proc/14770/task/14778/stat : 14778 (java) S 14767 14770 10680 0 -1 4202560 259 0 0 0 118 5 0 0 20 0 19 0 24447917 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346321881256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14779] ppid=14767 vsize=9625040 CPUtime=1.28 cores=0,2,4,6
/proc/14770/task/14779/stat : 14779 (java) S 14767 14770 10680 0 -1 4202560 234 0 0 0 122 6 0 0 20 0 19 0 24447917 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346320828968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14780] ppid=14767 vsize=9625040 CPUtime=1.37 cores=0,2,4,6
/proc/14770/task/14780/stat : 14780 (java) S 14767 14770 10680 0 -1 4202560 242 0 0 0 131 6 0 0 20 0 19 0 24447917 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346319776168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14770/tid=14781] ppid=14767 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/14770/task/14781/stat : 14781 (java) S 14767 14770 10680 0 -1 4202560 167 0 0 0 73 4 0 0 20 0 19 0 24447918 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346189130472 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14782] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14782/stat : 14782 (java) S 14767 14770 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24447918 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346188076536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14783] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14783/stat : 14783 (java) S 14767 14770 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24447918 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346187024136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14784] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14784/stat : 14784 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447921 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346185972624 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14785] ppid=14767 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/14770/task/14785/stat : 14785 (java) S 14767 14770 10680 0 -1 4202560 3703 0 0 0 41 0 0 0 20 0 19 0 24447921 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346184919224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14786] ppid=14767 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/14770/task/14786/stat : 14786 (java) S 14767 14770 10680 0 -1 4202560 3235 0 0 0 36 0 0 0 20 0 19 0 24447921 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346183866424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14787] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14787/stat : 14787 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447921 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346182814328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14788] ppid=14767 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/14770/task/14788/stat : 14788 (java) S 14767 14770 10680 0 -1 4202560 104 0 0 0 21 23 0 0 20 0 19 0 24447921 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346181761736 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14789] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14789/stat : 14789 (java) S 14767 14770 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24447940 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346180707752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1790.34
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.01 s]
/proc/loadavg: 2.26 2.30 2.27 5/212 14899
/proc/meminfo: memFree=29750812/32872528 swapFree=1402776/1580604
[pid=14770] ppid=14767 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/14770/stat : 14770 (java) S 14767 14770 10680 0 -1 4202496 13636 0 1 0 179937 71 0 0 20 0 19 0 24447914 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140735966556736 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14770/statm: 2406260 57622 2282 9 0 2396937 0
[pid=14770/tid=14772] ppid=14767 vsize=9625040 CPUtime=1787.8 cores=0,2,4,6
/proc/14770/task/14772/stat : 14772 (java) R 14767 14770 10680 0 -1 4202560 2771 0 1 0 178746 34 0 0 20 0 19 0 24447915 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346365652112 140346194085777 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14773] ppid=14767 vsize=9625040 CPUtime=1.31 cores=0,2,4,6
/proc/14770/task/14773/stat : 14773 (java) S 14767 14770 10680 0 -1 4202560 336 0 0 0 126 5 0 0 20 0 19 0 24447917 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346327145256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14774] ppid=14767 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/14770/task/14774/stat : 14774 (java) S 14767 14770 10680 0 -1 4202560 523 0 0 0 137 5 0 0 20 0 19 0 24447917 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346326092456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14775] ppid=14767 vsize=9625040 CPUtime=1.33 cores=0,2,4,6
/proc/14770/task/14775/stat : 14775 (java) S 14767 14770 10680 0 -1 4202560 168 0 0 0 129 4 0 0 20 0 19 0 24447917 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346325040168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14776] ppid=14767 vsize=9625040 CPUtime=1.39 cores=0,2,4,6
/proc/14770/task/14776/stat : 14776 (java) S 14767 14770 10680 0 -1 4202560 194 0 0 0 132 7 0 0 20 0 19 0 24447917 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346323987368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14777] ppid=14767 vsize=9625040 CPUtime=1.24 cores=0,2,4,6
/proc/14770/task/14777/stat : 14777 (java) S 14767 14770 10680 0 -1 4202560 442 0 0 0 120 4 0 0 20 0 19 0 24447917 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346322934056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14778] ppid=14767 vsize=9625040 CPUtime=1.23 cores=0,2,4,6
/proc/14770/task/14778/stat : 14778 (java) S 14767 14770 10680 0 -1 4202560 259 0 0 0 118 5 0 0 20 0 19 0 24447917 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346321881256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14770/tid=14779] ppid=14767 vsize=9625040 CPUtime=1.3 cores=0,2,4,6
/proc/14770/task/14779/stat : 14779 (java) S 14767 14770 10680 0 -1 4202560 234 0 0 0 124 6 0 0 20 0 19 0 24447917 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346320828968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14780] ppid=14767 vsize=9625040 CPUtime=1.37 cores=0,2,4,6
/proc/14770/task/14780/stat : 14780 (java) S 14767 14770 10680 0 -1 4202560 242 0 0 0 131 6 0 0 20 0 19 0 24447917 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346319776168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14770/tid=14781] ppid=14767 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/14770/task/14781/stat : 14781 (java) S 14767 14770 10680 0 -1 4202560 167 0 0 0 73 4 0 0 20 0 19 0 24447918 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346189130472 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14782] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14782/stat : 14782 (java) S 14767 14770 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24447918 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346188076536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14783] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14783/stat : 14783 (java) S 14767 14770 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24447918 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346187024136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14784] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14784/stat : 14784 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447921 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346185972624 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14785] ppid=14767 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/14770/task/14785/stat : 14785 (java) S 14767 14770 10680 0 -1 4202560 3703 0 0 0 41 0 0 0 20 0 19 0 24447921 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346184919224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14770/tid=14786] ppid=14767 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/14770/task/14786/stat : 14786 (java) S 14767 14770 10680 0 -1 4202560 3235 0 0 0 36 0 0 0 20 0 19 0 24447921 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346183866424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14787] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14787/stat : 14787 (java) S 14767 14770 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24447921 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346182814328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14770/tid=14788] ppid=14767 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/14770/task/14788/stat : 14788 (java) S 14767 14770 10680 0 -1 4202560 104 0 0 0 21 24 0 0 20 0 19 0 24447921 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346181761736 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14770/tid=14789] ppid=14767 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14770/task/14789/stat : 14789 (java) S 14767 14770 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24447940 9856040960 57622 33554432000 1073741824 1073778376 140735966565600 140346180707752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

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

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

Child status: 143
Real time (s): 1792.05
CPU time (s): 1800.72
CPU user time (s): 1799.54
CPU system time (s): 1.18182
CPU usage (%): 100.484
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 1.18182
maximum resident set size= 477296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13684
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46417
involuntary context switches= 34443

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9133 second user time and 12.6721 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-18 06:27:02
IDJOB=4101549
IDBENCH=1764
IDSOLVER=2546
FILE ID=node139/4101549-1466224022
RUNJOBID= node139-1466206053-10696
PBS_JOBID= 19918138
Free space on /tmp= 71596 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-rgn.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101549-1466224022/watcher-4101549-1466224022 -o /tmp/evaluation-result-4101549-1466224022/solver-4101549-1466224022 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466206053-10696 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4101549-1466224022.opb

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

MD5SUM BENCH= e9bdb75d971f85face52b6150a0bc6b1
RANDOM SEED=402195471

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30196632 kB
Buffers:          111724 kB
Cached:            93184 kB
SwapCached:         1900 kB
Active:           189448 kB
Inactive:         146288 kB
Active(anon):     131744 kB
Inactive(anon):     1472 kB
Active(file):      57704 kB
Inactive(file):   144816 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099480 kB
Dirty:               856 kB
Writeback:             0 kB
AnonPages:       1880888 kB
Mapped:            15428 kB
Shmem:                 0 kB
Slab:             602892 kB
SReclaimable:      46812 kB
SUnreclaim:       556080 kB
KernelStack:        1760 kB
PageTables:         7244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2268640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    456704 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= 71592 MiB
End job on node139 at 2016-06-18 06:56:54