Trace number 4119357

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 Res+CP PB16SAT (TO)-81 1800.01 898.961

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.opb
MD5SUM5860d453a57eda7c4e66a0d11bc52e80
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-81
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 223
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 2376
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 2376
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)193
Sum of products size (including duplicates)522
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4119357-1467254173.opb
0.09/0.12	c reading problem ... 
0.09/0.13	c  objective function found
0.09/0.17	c ... done. Wall clock time 0.051s.
0.09/0.17	c declared #vars     30
0.09/0.17	c internal #vars     223
0.09/0.17	c #constraints  386
0.09/0.18	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.18	c constraints type 
0.09/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 193
0.09/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 193
0.09/0.18	c 386 constraints processed.
0.09/0.18	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.18	c constraints type 
0.09/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 193
0.09/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPb => 193
0.09/0.18	c 386 constraints processed.
0.09/0.18	c objective function length is 223 literals
0.09/0.18	c And the winner is solver0
0.19/0.68	c SATISFIABLE
0.19/0.68	c OPTIMIZING...
0.19/0.68	c Got one! Elapsed wall clock time (in seconds):0.555
0.19/0.68	o -73
0.61/0.89	c And the winner is solver0
1.27/1.18	c Got one! Elapsed wall clock time (in seconds):1.059
1.27/1.18	o -74
1.70/1.37	c And the winner is solver0
2.22/1.68	c Got one! Elapsed wall clock time (in seconds):1.562
2.22/1.68	o -76
2.75/1.90	c cleaning 3164 clauses out of 6334 with flag 7071/6334
3.57/2.29	c cleaning 4581 clauses out of 9170 with flag 20861/12334
4.01/2.40	c And the winner is solver0
4.03/2.69	c Got one! Elapsed wall clock time (in seconds):2.564
4.03/2.69	o -78
4.49/2.92	c cleaning 5043 clauses out of 10085 with flag 6438/17830
5.89/3.41	c cleaning 5519 clauses out of 11041 with flag 19524/23829
7.15/4.03	c cleaning 6261 clauses out of 12522 with flag 34373/30829
8.40/4.65	c cleaning 7127 clauses out of 14261 with flag 50899/38829
9.81/5.34	c cleaning 8062 clauses out of 16134 with flag 70105/47829
11.68/6.23	c cleaning 9035 clauses out of 18072 with flag 91395/57829
13.55/7.16	c cleaning 10017 clauses out of 20037 with flag 113868/68829
15.75/8.21	c cleaning 11008 clauses out of 22022 with flag 139467/80831
17.75/9.24	c cleaning 12000 clauses out of 24012 with flag 168693/93829
20.22/10.48	c cleaning 13003 clauses out of 26012 with flag 200572/107829
22.83/11.78	c cleaning 13996 clauses out of 28010 with flag 236762/122830
26.32/13.40	c cleaning 15007 clauses out of 30014 with flag 277580/138830
29.53/15.00	c cleaning 16003 clauses out of 32006 with flag 315491/155829
30.12/15.31	c And the winner is solver0
30.16/15.69	c Got one! Elapsed wall clock time (in seconds):15.569
30.16/15.69	o -79
30.37/15.81	c cleaning 10734 clauses out of 21468 with flag 2053/161294
31.36/16.31	c cleaning 8364 clauses out of 16734 with flag 14726/167294
32.43/16.86	c cleaning 7682 clauses out of 15371 with flag 29406/174295
33.83/17.52	c cleaning 7840 clauses out of 15689 with flag 46986/182295
35.43/18.34	c cleaning 8424 clauses out of 16850 with flag 67881/191296
37.43/19.31	c cleaning 9207 clauses out of 18425 with flag 91134/201295
39.42/20.34	c cleaning 10105 clauses out of 20217 with flag 115580/212294
42.08/21.60	c cleaning 11057 clauses out of 22113 with flag 141416/224295
44.68/22.99	c cleaning 12028 clauses out of 24056 with flag 169450/237295
48.09/24.60	c cleaning 13012 clauses out of 26027 with flag 200604/251294
51.48/26.40	c cleaning 14006 clauses out of 28016 with flag 233422/266295
55.49/28.34	c cleaning 15003 clauses out of 30011 with flag 268744/282296
60.15/30.68	c cleaning 16003 clauses out of 32006 with flag 308545/299294
65.35/33.28	c cleaning 17001 clauses out of 34003 with flag 349751/317294
71.45/36.25	c cleaning 18001 clauses out of 36002 with flag 388331/336294
76.45/38.72	c cleaning 19001 clauses out of 38003 with flag 429953/356296
81.45/41.24	c cleaning 19998 clauses out of 40000 with flag 473503/377294
87.34/44.19	c cleaning 20993 clauses out of 42003 with flag 519943/399295
93.73/47.35	c cleaning 21999 clauses out of 44010 with flag 567344/422295
101.73/51.32	c cleaning 23001 clauses out of 46010 with flag 615747/446294
105.97/53.48	c And the winner is solver0
106.06/53.70	c Got one! Elapsed wall clock time (in seconds):53.578
106.06/53.70	o -80
107.45/54.47	c cleaning 23766 clauses out of 47538 with flag 10388/470823
108.47/54.99	c cleaning 14880 clauses out of 29773 with flag 22608/476824
109.67/55.50	c cleaning 10944 clauses out of 21892 with flag 37608/483823
110.68/56.04	c cleaning 9469 clauses out of 18948 with flag 55386/491823
111.88/56.63	c cleaning 9235 clauses out of 18480 with flag 75953/500824
113.10/57.26	c cleaning 9617 clauses out of 19244 with flag 97951/510823
114.68/58.01	c cleaning 10308 clauses out of 20628 with flag 122354/521824
116.28/58.86	c cleaning 11155 clauses out of 22320 with flag 149904/533824
118.28/59.89	c cleaning 12076 clauses out of 24166 with flag 179776/546825
120.73/61.03	c cleaning 13041 clauses out of 26089 with flag 211964/560824
123.53/62.40	c cleaning 14020 clauses out of 28048 with flag 246363/575824
126.73/64.05	c cleaning 15014 clauses out of 30028 with flag 282625/591824
129.73/65.59	c cleaning 16007 clauses out of 32013 with flag 317905/608823
133.32/67.33	c cleaning 17000 clauses out of 34007 with flag 355207/626824
136.99/69.13	c cleaning 18001 clauses out of 36007 with flag 395248/645824
140.99/71.19	c cleaning 18996 clauses out of 38006 with flag 437856/665824
145.39/73.39	c cleaning 20003 clauses out of 40009 with flag 485050/686823
146.99/74.12	c And the winner is solver0
147.06/74.26	c Got one! Elapsed wall clock time (in seconds):74.134
147.06/74.26	o -81
148.15/74.89	c cleaning 17073 clauses out of 34155 with flag 11170/700972
149.14/75.39	c cleaning 11539 clauses out of 23082 with flag 23924/706972
150.39/75.97	c cleaning 9263 clauses out of 18544 with flag 39522/713973
151.58/76.50	c cleaning 8636 clauses out of 17281 with flag 56927/721973
152.79/77.12	c cleaning 8819 clauses out of 17644 with flag 76279/730972
154.18/77.84	c cleaning 9408 clauses out of 18826 with flag 97366/740973
155.58/78.58	c cleaning 10210 clauses out of 20419 with flag 123324/751974
157.58/79.54	c cleaning 11103 clauses out of 22208 with flag 152307/763973
159.77/80.61	c cleaning 12053 clauses out of 24105 with flag 179300/776973
162.17/81.86	c cleaning 13027 clauses out of 26053 with flag 207645/790974
165.24/83.34	c cleaning 14009 clauses out of 28024 with flag 237838/805972
168.44/84.94	c cleaning 15007 clauses out of 30016 with flag 270457/821973
171.84/86.69	c cleaning 16003 clauses out of 32009 with flag 305002/838973
175.84/88.67	c cleaning 17002 clauses out of 34005 with flag 341470/856972
180.69/91.03	c cleaning 18002 clauses out of 36003 with flag 380175/875972
185.71/93.59	c cleaning 19001 clauses out of 38002 with flag 420715/895973
190.89/96.12	c cleaning 20001 clauses out of 40001 with flag 463890/916973
196.13/98.75	c cleaning 21000 clauses out of 42000 with flag 510143/938973
202.93/102.14	c cleaning 21997 clauses out of 43999 with flag 559548/961972
209.80/105.53	c cleaning 22995 clauses out of 46002 with flag 612278/985972
215.80/108.58	c cleaning 23998 clauses out of 48008 with flag 664449/1010973
223.00/112.20	c cleaning 25005 clauses out of 50009 with flag 717976/1036972
231.86/116.57	c cleaning 25997 clauses out of 52006 with flag 772725/1063974
241.94/121.57	c cleaning 27000 clauses out of 54007 with flag 830605/1091972
253.33/127.43	c cleaning 28004 clauses out of 56007 with flag 890079/1120972
265.96/133.73	c cleaning 29001 clauses out of 58004 with flag 953891/1150973
279.21/140.39	c cleaning 29996 clauses out of 60003 with flag 1020429/1181973
290.32/145.86	c cleaning 30996 clauses out of 62006 with flag 1086525/1213972
299.48/150.49	c cleaning 32000 clauses out of 64011 with flag 1160987/1246973
308.94/155.14	c cleaning 32997 clauses out of 66010 with flag 1233599/1280972
323.17/162.23	c cleaning 34004 clauses out of 68014 with flag 1304781/1315973
335.25/168.22	c cleaning 35001 clauses out of 70009 with flag 1377997/1351972
345.29/173.21	c cleaning 35999 clauses out of 72009 with flag 1454073/1388973
357.33/179.23	c cleaning 37006 clauses out of 74011 with flag 1531878/1426974
369.38/185.29	c cleaning 38000 clauses out of 76004 with flag 1613341/1465973
382.82/191.94	c cleaning 38997 clauses out of 78003 with flag 1700458/1505972
398.91/199.94	c cleaning 40003 clauses out of 80006 with flag 1786343/1546972
417.61/209.28	c cleaning 41003 clauses out of 82005 with flag 1875782/1588974
435.93/218.69	c cleaning 41998 clauses out of 84001 with flag 1963891/1631973
444.14/222.79	c cleaning 0 clauses out of 7864 with flag 0/7867
455.45/228.23	c cleaning 42995 clauses out of 86003 with flag 2052755/1675973
477.33/239.12	c cleaning 43996 clauses out of 88008 with flag 2143846/1720973
501.04/250.92	c cleaning 45007 clauses out of 90014 with flag 2237340/1766975
526.10/263.43	c cleaning 46003 clauses out of 92005 with flag 2333950/1813973
551.43/276.08	c cleaning 47001 clauses out of 94002 with flag 2431435/1861973
577.69/289.11	c cleaning 48000 clauses out of 96001 with flag 2530469/1910973
599.37/299.98	c cleaning 48995 clauses out of 98000 with flag 2634879/1960972
625.69/313.06	c cleaning 50003 clauses out of 100007 with flag 2738961/2011974
649.63/324.90	c cleaning 50993 clauses out of 102004 with flag 2855007/2063974
670.12/335.17	c cleaning 52000 clauses out of 104009 with flag 2977822/2116972
690.99/345.56	c cleaning 53002 clauses out of 106011 with flag 3094872/2170974
710.82/355.49	c cleaning 54003 clauses out of 108007 with flag 3209384/2225972
736.72/368.30	c cleaning 54999 clauses out of 110004 with flag 3324962/2281972
764.22/382.30	c cleaning 56001 clauses out of 112005 with flag 3445982/2338972
797.13/398.75	c cleaning 56998 clauses out of 114006 with flag 3564571/2396974
829.06/414.64	c cleaning 57998 clauses out of 116006 with flag 3687595/2455972
854.19/427.17	c cleaning 59001 clauses out of 118008 with flag 3816077/2515972
886.17/443.04	c cleaning 59998 clauses out of 120007 with flag 3940553/2576972
924.31/462.01	c cleaning 60999 clauses out of 122010 with flag 4068089/2638973
971.47/485.53	c cleaning 62002 clauses out of 124011 with flag 4195722/2701973
1029.13/514.70	c cleaning 63004 clauses out of 126008 with flag 4325555/2765972
1060.73/530.43	c cleaning 63998 clauses out of 128005 with flag 4467100/2830973
1091.05/545.60	c cleaning 64997 clauses out of 130006 with flag 4614087/2896972
1123.93/561.99	c cleaning 66001 clauses out of 132010 with flag 4768242/2963973
1163.09/581.42	c cleaning 66998 clauses out of 134008 with flag 4929614/3031972
1197.80/598.75	c cleaning 67995 clauses out of 136011 with flag 5080369/3100973
1234.40/616.91	c cleaning 69001 clauses out of 138016 with flag 5235659/3170973
1265.30/632.36	c cleaning 70002 clauses out of 140015 with flag 5385651/3241973
1303.82/651.52	c cleaning 71007 clauses out of 142013 with flag 5532972/3313973
1345.27/672.12	c cleaning 71997 clauses out of 144007 with flag 5684399/3386974
1389.08/693.90	c cleaning 73001 clauses out of 146009 with flag 5835681/3460973
1434.24/716.83	c cleaning 73997 clauses out of 148007 with flag 5988508/3535972
1475.38/737.31	c cleaning 75002 clauses out of 150010 with flag 6144183/3611972
1522.33/760.79	c cleaning 75996 clauses out of 152008 with flag 6304617/3688972
1533.59/766.34	c cleaning 0 clauses out of 13864 with flag 0/13867
1583.65/791.24	c cleaning 77000 clauses out of 154014 with flag 6467955/3766974
1653.09/825.84	c cleaning 78003 clauses out of 156012 with flag 6636043/3845972
1735.67/866.93	c cleaning 79003 clauses out of 158010 with flag 6807709/3925973
1800.01/898.90	c >>>>>>>>>> Solver number 0 (7 answers) <<<<<<<<<<<<<<<<<<
1800.01/898.90	c starts		: 17590
1800.01/898.90	c conflicts		: 3995280
1800.01/898.90	c decisions		: 5269557
1800.01/898.90	c propagations		: 42368020
1800.01/898.90	c inspects		: 12794269837
1800.01/898.90	c shortcuts		: 0
1800.01/898.90	c learnt literals	: 0
1800.01/898.90	c learnt binary clauses	: 241
1800.01/898.90	c learnt ternary clauses	: 547
1800.01/898.90	c learnt constraints	: 3995280
1800.01/898.90	c ignored constraints	: 0
1800.01/898.90	c root simplifications	: 0
1800.01/898.90	c removed literals (reason simplification)	: 15540169
1800.01/898.90	c reason swapping (by a shorter reason)	: 0
1800.01/898.90	c Calls to reduceDB	: 128
1800.01/898.90	c Number of update (reduction) of LBD	: 85948
1800.01/898.90	c Imported unit clauses	: 0
1800.01/898.90	c number of reductions to clauses (during analyze)	: 0
1800.01/898.90	c number of learned constraints concerned by reduction	: 0
1800.01/898.90	c number of learning phase by resolution	: 0
1800.01/898.90	c number of learning phase by cutting planes	: 0
1800.01/898.90	c speed (assignments/second)	: 47142.46770139409
1800.01/898.90	c non guided choices	0
1800.01/898.93	c learnt constraints type 
1800.01/898.93	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 241
1800.01/898.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 148073
1800.01/898.93	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.01/898.93	c starts		: 71
1800.01/898.93	c conflicts		: 15077
1800.01/898.93	c decisions		: 16977
1800.01/898.93	c propagations		: 297448
1800.01/898.93	c inspects		: 927200673
1800.01/898.93	c shortcuts		: 0
1800.01/898.93	c learnt literals	: 0
1800.01/898.93	c learnt binary clauses	: 0
1800.01/898.93	c learnt ternary clauses	: 6
1800.01/898.93	c learnt constraints	: 15074
1800.01/898.93	c ignored constraints	: 0
1800.01/898.93	c root simplifications	: 0
1800.01/898.93	c removed literals (reason simplification)	: 0
1800.01/898.93	c reason swapping (by a shorter reason)	: 0
1800.01/898.93	c Calls to reduceDB	: 2
1800.01/898.93	c Number of update (reduction) of LBD	: 0
1800.01/898.93	c Imported unit clauses	: 0
1800.01/898.93	c number of reductions to clauses (during analyze)	: 0
1800.01/898.93	c number of learned constraints concerned by reduction	: 0
1800.01/898.93	c number of learning phase by resolution	: 0
1800.01/898.93	c number of learning phase by cutting planes	: 0
1800.01/898.93	c speed (assignments/second)	: 360.6873052251204
1800.01/898.93	c non guided choices	0
1800.01/898.94	c learnt constraints type 
1800.01/898.94	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 7
1800.01/898.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15067
1800.01/898.94	s SATISFIABLE
1800.01/898.94	c Found 7 solution(s)
1800.01/898.94	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 
1800.01/898.94	c objective function=-81
1800.01/898.94	c Total wall clock time (in seconds): 898.814

Verifier Data 

OK	-81

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-4119357-1467254173/watcher-4119357-1467254173 -o /tmp/evaluation-result-4119357-1467254173/solver-4119357-1467254173 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467246678-11562 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119357-1467254173.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.20 4.16 3.78 4/197 14373
/proc/meminfo: memFree=26191144/32872528 swapFree=13208/1155804
[pid=14373] ppid=14370 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/14373/stat : 14373 (java) R 14370 14373 11545 0 -1 4202496 417 0 0 0 0 0 0 0 20 0 1 0 6384736 9445376 88 33554432000 1073741824 1073778376 140737251498352 140737251495480 219504752055 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14373/statm: 2306 93 75 9 0 38 0

[startup+0.100059 s]
/proc/loadavg: 4.20 4.16 3.78 4/197 14373
/proc/meminfo: memFree=26191144/32872528 swapFree=13208/1155804
[pid=14373] ppid=14370 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/14373/stat : 14373 (java) S 14370 14373 11545 0 -1 4202496 4374 0 1 0 7 2 0 0 20 0 18 0 6384736 9787879424 6016 33554432000 1073741824 1073778376 140737251498352 140737251489488 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14373/statm: 2389619 6016 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200274 s]
/proc/loadavg: 4.20 4.16 3.78 4/197 14373
/proc/meminfo: memFree=26191144/32872528 swapFree=13208/1155804
[pid=14373] ppid=14370 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/14373/stat : 14373 (java) S 14370 14373 11545 0 -1 4202496 4576 0 1 0 17 2 0 0 20 0 19 0 6384736 10060525568 7722 33554432000 1073741824 1073778376 140737251498352 140737251489488 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14373/statm: 2456183 7722 2183 9 0 2446860 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9824732

[startup+0.300267 s]
/proc/loadavg: 4.20 4.16 3.78 4/197 14373
/proc/meminfo: memFree=26191144/32872528 swapFree=13208/1155804
[pid=14373] ppid=14370 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/14373/stat : 14373 (java) S 14370 14373 11545 0 -1 4202496 4576 0 1 0 17 2 0 0 20 0 19 0 6384736 10060525568 7722 33554432000 1073741824 1073778376 140737251498352 140737251489488 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14373/statm: 2456183 7722 2183 9 0 2446860 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9824732

[startup+0.70017 s]
/proc/loadavg: 4.20 4.16 3.78 4/197 14373
/proc/meminfo: memFree=26191144/32872528 swapFree=13208/1155804
[pid=14373] ppid=14370 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/14373/stat : 14373 (java) S 14370 14373 11545 0 -1 4202496 4617 0 1 0 20 2 0 0 20 0 22 0 6384736 10060525568 8785 33554432000 1073741824 1073778376 140737251498352 140737251489488 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14373/statm: 2456183 8785 2199 9 0 2446860 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9824732

[startup+1.50081 s]
/proc/loadavg: 4.10 4.14 3.78 3/216 14398
/proc/meminfo: memFree=26138444/32872528 swapFree=13208/1155804
[pid=14373] ppid=14370 vsize=9824732 CPUtime=2.22 cores=1,3,5,7
/proc/14373/stat : 14373 (java) S 14370 14373 11545 0 -1 4202496 18203 0 1 0 214 8 0 0 20 0 19 0 6384736 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140737251489488 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14373/statm: 2456183 22864 2259 9 0 2446860 0
[pid=14373/tid=14375] ppid=14370 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/14373/task/14375/stat : 14375 (java) S 14370 14373 11545 0 -1 4202560 2410 0 1 0 13 2 0 0 20 0 19 0 6384736 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717708632952 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14376] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14376/stat : 14376 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6384738 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717697694120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14377] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14377/stat : 14377 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6384738 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717696641576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14378] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14378/stat : 14378 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6384738 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717695588520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14379] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14379/stat : 14379 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6384738 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717694535976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14380] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14380/stat : 14380 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6384738 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717693483944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14381] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14381/stat : 14381 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6384738 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717692431400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14382] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14382/stat : 14382 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6384738 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717546224296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14383] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14383/stat : 14383 (java) S 14370 14373 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6384738 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717545171752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14384] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14384/stat : 14384 (java) S 14370 14373 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6384739 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717532760424 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14385] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14385/stat : 14385 (java) S 14370 14373 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6384739 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717531706744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14386] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14386/stat : 14386 (java) S 14370 14373 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6384739 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717530653576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14387] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14387/stat : 14387 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6384742 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717529602320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14388] ppid=14370 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/14373/task/14388/stat : 14388 (java) S 14370 14373 11545 0 -1 4202560 7608 0 0 0 60 2 0 0 20 0 19 0 6384742 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717528550200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14389] ppid=14370 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/14373/task/14389/stat : 14389 (java) S 14370 14373 11545 0 -1 4202560 6810 0 0 0 59 1 0 0 20 0 19 0 6384742 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717527497656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14390] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14390/stat : 14390 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6384742 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717526444792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14391] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14391/stat : 14391 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6384742 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717525392456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14394] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14394/stat : 14394 (java) S 14370 14373 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6384754 10060525568 22864 33554432000 1073741824 1073778376 140737251498352 140717522232104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9824732

[startup+3.10086 s]
/proc/loadavg: 4.10 4.14 3.78 5/219 14404
/proc/meminfo: memFree=26018544/32872528 swapFree=13208/1155804
[pid=14373] ppid=14370 vsize=9824732 CPUtime=5.17 cores=1,3,5,7
/proc/14373/stat : 14373 (java) S 14370 14373 11545 0 -1 4202496 21585 0 1 0 503 14 0 0 20 0 22 0 6384736 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140737251489488 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14373/statm: 2456183 51561 2280 9 0 2446860 0
[pid=14373/tid=14375] ppid=14370 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/14373/task/14375/stat : 14375 (java) S 14370 14373 11545 0 -1 4202560 2410 0 1 0 14 2 0 0 20 0 22 0 6384736 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717708632952 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14376] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14376/stat : 14376 (java) S 14370 14373 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 6384738 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717697694120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14377] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14377/stat : 14377 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6384738 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717696641576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14378] ppid=14370 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/14373/task/14378/stat : 14378 (java) S 14370 14373 11545 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 6384738 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717695588520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14379] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14379/stat : 14379 (java) S 14370 14373 11545 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 6384738 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717694535976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14380] ppid=14370 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/14373/task/14380/stat : 14380 (java) S 14370 14373 11545 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 6384738 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717693483944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14381] ppid=14370 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/14373/task/14381/stat : 14381 (java) S 14370 14373 11545 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 22 0 6384738 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717692431400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14382] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14382/stat : 14382 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6384738 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717546224296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14383] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14383/stat : 14383 (java) S 14370 14373 11545 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 6384738 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717545171752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14384] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14384/stat : 14384 (java) S 14370 14373 11545 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 6384739 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717532760424 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14385] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14385/stat : 14385 (java) S 14370 14373 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6384739 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717531706744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14386] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14386/stat : 14386 (java) S 14370 14373 11545 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6384739 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717530653576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14387] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14387/stat : 14387 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6384742 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717529602320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14388] ppid=14370 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/14373/task/14388/stat : 14388 (java) S 14370 14373 11545 0 -1 4202560 7915 0 0 0 92 2 0 0 20 0 22 0 6384742 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717528550200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14389] ppid=14370 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/14373/task/14389/stat : 14389 (java) R 14370 14373 11545 0 -1 4202560 9675 0 0 0 92 1 0 0 20 0 22 0 6384742 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717527485064 140717712724734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14390] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14390/stat : 14390 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6384742 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717526444792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14391] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14391/stat : 14391 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6384742 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717525392456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14394] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14394/stat : 14394 (java) S 14370 14373 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6384754 10060525568 51561 33554432000 1073741824 1073778376 140737251498352 140717522232104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.17
Current children cumulated vsize (KiB) 9824732

[startup+6.30097 s]
/proc/loadavg: 4.09 4.14 3.78 5/219 14407
/proc/meminfo: memFree=25662644/32872528 swapFree=13208/1155804
[pid=14373] ppid=14370 vsize=9824732 CPUtime=11.88 cores=1,3,5,7
/proc/14373/stat : 14373 (java) S 14370 14373 11545 0 -1 4202496 22507 0 1 0 1157 31 0 0 20 0 22 0 6384736 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140737251489488 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14373/statm: 2456183 155167 2280 9 0 2446860 0
[pid=14373/tid=14375] ppid=14370 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/14373/task/14375/stat : 14375 (java) S 14370 14373 11545 0 -1 4202560 2410 0 1 0 14 2 0 0 20 0 22 0 6384736 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717708632952 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14376] ppid=14370 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/14373/task/14376/stat : 14376 (java) S 14370 14373 11545 0 -1 4202560 48 0 0 0 6 0 0 0 20 0 22 0 6384738 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717697694120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14377] ppid=14370 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/14373/task/14377/stat : 14377 (java) S 14370 14373 11545 0 -1 4202560 53 0 0 0 4 2 0 0 20 0 22 0 6384738 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717696641576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14378] ppid=14370 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/14373/task/14378/stat : 14378 (java) S 14370 14373 11545 0 -1 4202560 42 0 0 0 5 0 0 0 20 0 22 0 6384738 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717695588520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14379] ppid=14370 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/14373/task/14379/stat : 14379 (java) S 14370 14373 11545 0 -1 4202560 75 0 0 0 6 2 0 0 20 0 22 0 6384738 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717694535976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14380] ppid=14370 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/14373/task/14380/stat : 14380 (java) S 14370 14373 11545 0 -1 4202560 63 0 0 0 5 3 0 0 20 0 22 0 6384738 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717693483944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14381] ppid=14370 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/14373/task/14381/stat : 14381 (java) S 14370 14373 11545 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 22 0 6384738 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717692431400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14382] ppid=14370 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/14373/task/14382/stat : 14382 (java) S 14370 14373 11545 0 -1 4202560 72 0 0 0 9 2 0 0 20 0 22 0 6384738 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717546224296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14383] ppid=14370 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/14373/task/14383/stat : 14383 (java) S 14370 14373 11545 0 -1 4202560 71 0 0 0 4 1 0 0 20 0 22 0 6384738 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717545171752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14384] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14384/stat : 14384 (java) S 14370 14373 11545 0 -1 4202560 455 0 0 0 0 0 0 0 20 0 22 0 6384739 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717532760424 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14385] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14385/stat : 14385 (java) S 14370 14373 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6384739 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717531706744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14386] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14386/stat : 14386 (java) S 14370 14373 11545 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6384739 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717530653576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14387] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14387/stat : 14387 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6384742 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717529602320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14388] ppid=14370 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/14373/task/14388/stat : 14388 (java) S 14370 14373 11545 0 -1 4202560 7915 0 0 0 93 2 0 0 20 0 22 0 6384742 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717528550200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14389] ppid=14370 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/14373/task/14389/stat : 14389 (java) S 14370 14373 11545 0 -1 4202560 9675 0 0 0 98 2 0 0 20 0 22 0 6384742 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717527497656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14390] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14390/stat : 14390 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6384742 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717526444792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14391] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14391/stat : 14391 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6384742 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717525392456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14394] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14394/stat : 14394 (java) S 14370 14373 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6384754 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717522232104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14405] ppid=14370 vsize=9824732 CPUtime=3.42 cores=1,3,5,7
/proc/14373/task/14405/stat : 14405 (java) R 14370 14373 11545 0 -1 4202560 9 0 0 0 342 0 0 0 20 0 22 0 6385005 10060525568 155167 33554432000 1073741824 1073778376 140737251498352 140717524337944 140717574348974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14406] ppid=14370 vsize=9824732 CPUtime=3.42 cores=1,3,5,7

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

[pid=14373/tid=14383] ppid=14370 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/14373/task/14383/stat : 14383 (java) S 14370 14373 11545 0 -1 4202560 525 0 0 0 204 11 0 0 20 0 22 0 6384738 10060525568 598875 33554432000 1073741824 1073778376 140737251498352 140717545171752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14384] ppid=14370 vsize=9824732 CPUtime=3.51 cores=1,3,5,7
/proc/14373/task/14384/stat : 14384 (java) S 14370 14373 11545 0 -1 4202560 2086 0 0 0 337 14 0 0 20 0 22 0 6384739 10060525568 598875 33554432000 1073741824 1073778376 140737251498352 140717532760424 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14385] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14385/stat : 14385 (java) S 14370 14373 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6384739 10060525568 598875 33554432000 1073741824 1073778376 140737251498352 140717531706744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14386] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14386/stat : 14386 (java) S 14370 14373 11545 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 6384739 10060525568 598875 33554432000 1073741824 1073778376 140737251498352 140717530653576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14387] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14387/stat : 14387 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6384742 10060525568 598875 33554432000 1073741824 1073778376 140737251498352 140717529602320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14388] ppid=14370 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/14373/task/14388/stat : 14388 (java) S 14370 14373 11545 0 -1 4202560 10255 0 0 0 134 2 0 0 20 0 22 0 6384742 10060525568 598875 33554432000 1073741824 1073778376 140737251498352 140717528550200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14389] ppid=14370 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/14373/task/14389/stat : 14389 (java) S 14370 14373 11545 0 -1 4202560 9675 0 0 0 102 2 0 0 20 0 22 0 6384742 10060525568 598875 33554432000 1073741824 1073778376 140737251498352 140717527497656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14390] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14390/stat : 14390 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6384742 10060525568 598875 33554432000 1073741824 1073778376 140737251498352 140717526444792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14391] ppid=14370 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/14373/task/14391/stat : 14391 (java) S 14370 14373 11545 0 -1 4202560 51 0 0 0 13 23 0 0 20 0 22 0 6384742 10060525568 598875 33554432000 1073741824 1073778376 140737251498352 140717525392456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14394] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14394/stat : 14394 (java) S 14370 14373 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6384754 10060525568 598875 33554432000 1073741824 1073778376 140737251498352 140717522232104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14415] ppid=14370 vsize=9824732 CPUtime=798.38 cores=1,3,5,7
/proc/14373/task/14415/stat : 14415 (java) R 14370 14373 11545 0 -1 4202560 62 0 0 0 79824 14 0 0 20 0 22 0 6392162 10060525568 598875 33554432000 1073741824 1073778376 140737251498352 140717521178384 140717574339452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14416] ppid=14370 vsize=9824732 CPUtime=798.34 cores=1,3,5,7
/proc/14373/task/14416/stat : 14416 (java) R 14370 14373 11545 0 -1 4202560 332 0 0 0 79815 19 0 0 20 0 22 0 6392162 10060525568 598875 33554432000 1073741824 1073778376 140737251498352 140717524337456 140717574410578 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14417] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14417/stat : 14417 (java) S 14370 14373 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6392162 10060525568 598875 33554432000 1073741824 1073778376 140737251498352 140717523285032 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1766.55
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.901 s]
/proc/loadavg: 4.00 3.94 3.89 5/219 14730
/proc/meminfo: memFree=23886492/32872528 swapFree=13208/1155804
[pid=14373] ppid=14370 vsize=9824732 CPUtime=1799.97 cores=1,3,5,7
/proc/14373/stat : 14373 (java) S 14370 14373 11545 0 -1 4202496 31553 0 1 0 179803 194 0 0 20 0 22 0 6384736 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140737251489488 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14373/statm: 2456183 588333 2289 9 0 2446860 0
[pid=14373/tid=14375] ppid=14370 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/14373/task/14375/stat : 14375 (java) S 14370 14373 11545 0 -1 4202560 2416 0 1 0 17 3 0 0 20 0 22 0 6384736 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717708632952 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14376] ppid=14370 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/14373/task/14376/stat : 14376 (java) S 14370 14373 11545 0 -1 4202560 534 0 0 0 204 10 0 0 20 0 22 0 6384738 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717697694120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14377] ppid=14370 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/14373/task/14377/stat : 14377 (java) S 14370 14373 11545 0 -1 4202560 482 0 0 0 211 14 0 0 20 0 22 0 6384738 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717696641576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14378] ppid=14370 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/14373/task/14378/stat : 14378 (java) S 14370 14373 11545 0 -1 4202560 513 0 0 0 192 11 0 0 20 0 22 0 6384738 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717695588520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14379] ppid=14370 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/14373/task/14379/stat : 14379 (java) S 14370 14373 11545 0 -1 4202560 497 0 0 0 207 13 0 0 20 0 22 0 6384738 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717694535976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14380] ppid=14370 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/14373/task/14380/stat : 14380 (java) S 14370 14373 11545 0 -1 4202560 465 0 0 0 205 14 0 0 20 0 22 0 6384738 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717693483944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14381] ppid=14370 vsize=9824732 CPUtime=2.29 cores=1,3,5,7
/proc/14373/task/14381/stat : 14381 (java) S 14370 14373 11545 0 -1 4202560 472 0 0 0 216 13 0 0 20 0 22 0 6384738 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717692431400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14382] ppid=14370 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/14373/task/14382/stat : 14382 (java) S 14370 14373 11545 0 -1 4202560 594 0 0 0 197 13 0 0 20 0 22 0 6384738 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717546224296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14383] ppid=14370 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/14373/task/14383/stat : 14383 (java) S 14370 14373 11545 0 -1 4202560 530 0 0 0 207 12 0 0 20 0 22 0 6384738 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717545171752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14384] ppid=14370 vsize=9824732 CPUtime=3.51 cores=1,3,5,7
/proc/14373/task/14384/stat : 14384 (java) S 14370 14373 11545 0 -1 4202560 2086 0 0 0 337 14 0 0 20 0 22 0 6384739 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717532760424 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14385] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14385/stat : 14385 (java) S 14370 14373 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6384739 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717531706744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14386] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14386/stat : 14386 (java) S 14370 14373 11545 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 6384739 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717530653576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14387] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14387/stat : 14387 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6384742 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717529602320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14388] ppid=14370 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/14373/task/14388/stat : 14388 (java) S 14370 14373 11545 0 -1 4202560 10255 0 0 0 134 2 0 0 20 0 22 0 6384742 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717528550200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14389] ppid=14370 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/14373/task/14389/stat : 14389 (java) S 14370 14373 11545 0 -1 4202560 9675 0 0 0 102 2 0 0 20 0 22 0 6384742 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717527497656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14390] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14390/stat : 14390 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6384742 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717526444792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14391] ppid=14370 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/14373/task/14391/stat : 14391 (java) S 14370 14373 11545 0 -1 4202560 51 0 0 0 13 24 0 0 20 0 22 0 6384742 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717525392456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14394] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14394/stat : 14394 (java) S 14370 14373 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6384754 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717522232104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14415] ppid=14370 vsize=9824732 CPUtime=814.78 cores=1,3,5,7
/proc/14373/task/14415/stat : 14415 (java) R 14370 14373 11545 0 -1 4202560 63 0 0 0 81464 14 0 0 20 0 22 0 6392162 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717521178384 140717574339452 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14416] ppid=14370 vsize=9824732 CPUtime=814.74 cores=1,3,5,7
/proc/14373/task/14416/stat : 14416 (java) R 14370 14373 11545 0 -1 4202560 335 0 0 0 81455 19 0 0 20 0 22 0 6392162 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717524335632 140717574407936 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14417] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14417/stat : 14417 (java) S 14370 14373 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6392162 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717523285032 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.97
Current children cumulated vsize (KiB) 9824732

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 14373 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+898.901 s]
/proc/loadavg: 4.00 3.94 3.89 5/219 14730
/proc/meminfo: memFree=23886492/32872528 swapFree=13208/1155804
[pid=14373] ppid=14370 vsize=9824732 CPUtime=1799.97 cores=1,3,5,7
/proc/14373/stat : 14373 (java) S 14370 14373 11545 0 -1 4202496 31553 0 1 0 179803 194 0 0 20 0 22 0 6384736 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140737251489488 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14373/statm: 2456183 588333 2289 9 0 2446860 0
[pid=14373/tid=14375] ppid=14370 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/14373/task/14375/stat : 14375 (java) S 14370 14373 11545 0 -1 4202560 2416 0 1 0 17 3 0 0 20 0 22 0 6384736 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717708632952 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14376] ppid=14370 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/14373/task/14376/stat : 14376 (java) S 14370 14373 11545 0 -1 4202560 534 0 0 0 204 10 0 0 20 0 22 0 6384738 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717697694120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14377] ppid=14370 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/14373/task/14377/stat : 14377 (java) S 14370 14373 11545 0 -1 4202560 482 0 0 0 211 14 0 0 20 0 22 0 6384738 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717696641576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14378] ppid=14370 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/14373/task/14378/stat : 14378 (java) S 14370 14373 11545 0 -1 4202560 513 0 0 0 192 11 0 0 20 0 22 0 6384738 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717695588520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14379] ppid=14370 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/14373/task/14379/stat : 14379 (java) S 14370 14373 11545 0 -1 4202560 497 0 0 0 207 13 0 0 20 0 22 0 6384738 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717694535976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14380] ppid=14370 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/14373/task/14380/stat : 14380 (java) S 14370 14373 11545 0 -1 4202560 465 0 0 0 205 14 0 0 20 0 22 0 6384738 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717693483944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14381] ppid=14370 vsize=9824732 CPUtime=2.29 cores=1,3,5,7
/proc/14373/task/14381/stat : 14381 (java) S 14370 14373 11545 0 -1 4202560 472 0 0 0 216 13 0 0 20 0 22 0 6384738 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717692431400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14382] ppid=14370 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/14373/task/14382/stat : 14382 (java) S 14370 14373 11545 0 -1 4202560 594 0 0 0 197 13 0 0 20 0 22 0 6384738 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717546224296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14383] ppid=14370 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/14373/task/14383/stat : 14383 (java) S 14370 14373 11545 0 -1 4202560 530 0 0 0 207 12 0 0 20 0 22 0 6384738 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717545171752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14384] ppid=14370 vsize=9824732 CPUtime=3.51 cores=1,3,5,7
/proc/14373/task/14384/stat : 14384 (java) S 14370 14373 11545 0 -1 4202560 2086 0 0 0 337 14 0 0 20 0 22 0 6384739 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717532760424 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14385] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14385/stat : 14385 (java) S 14370 14373 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6384739 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717531706744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14386] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14386/stat : 14386 (java) S 14370 14373 11545 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 6384739 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717530653576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14387] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14387/stat : 14387 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6384742 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717529602320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14388] ppid=14370 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/14373/task/14388/stat : 14388 (java) S 14370 14373 11545 0 -1 4202560 10255 0 0 0 134 2 0 0 20 0 22 0 6384742 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717528550200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14389] ppid=14370 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/14373/task/14389/stat : 14389 (java) S 14370 14373 11545 0 -1 4202560 9675 0 0 0 102 2 0 0 20 0 22 0 6384742 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717527497656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14390] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14390/stat : 14390 (java) S 14370 14373 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6384742 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717526444792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14391] ppid=14370 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/14373/task/14391/stat : 14391 (java) S 14370 14373 11545 0 -1 4202560 51 0 0 0 13 24 0 0 20 0 22 0 6384742 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717525392456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14373/tid=14394] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14394/stat : 14394 (java) S 14370 14373 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6384754 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717522232104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14373/tid=14415] ppid=14370 vsize=9824732 CPUtime=814.78 cores=1,3,5,7
/proc/14373/task/14415/stat : 14415 (java) R 14370 14373 11545 0 -1 4202560 63 0 0 0 81464 14 0 0 20 0 22 0 6392162 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717521178384 140717574339452 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14373/tid=14416] ppid=14370 vsize=9824732 CPUtime=814.74 cores=1,3,5,7
/proc/14373/task/14416/stat : 14416 (java) R 14370 14373 11545 0 -1 4202560 335 0 0 0 81455 19 0 0 20 0 22 0 6392162 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717524335632 140717574407936 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14373/tid=14417] ppid=14370 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14373/task/14417/stat : 14417 (java) S 14370 14373 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6392162 10060525568 588333 33554432000 1073741824 1073778376 140737251498352 140717523285032 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.97
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14373 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=878289
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=380638
# CPU time returned by wait4() is 1796.26
# while last known CPU time is 1799.97
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.0400009
#  lost CPU user time (s): 0.0400009
#  lost CPU system time (s): 0

Real time (s): 898.961
CPU time (s): 1800.01
CPU user time (s): 1798.07
CPU system time (s): 1.94
CPU usage (%): 200.232
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.88
system time used= 2.38064
maximum resident set size= 2970312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31604
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25847
involuntary context switches= 38988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84296 second user time and 6.52501 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-30 04:36:13
IDJOB=4119357
IDBENCH=111710
IDSOLVER=2543
FILE ID=node114/4119357-1467254173
RUNJOBID= node114-1467246678-11562
PBS_JOBID= 20004474
Free space on /tmp= 71672 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119357-1467254173/watcher-4119357-1467254173 -o /tmp/evaluation-result-4119357-1467254173/solver-4119357-1467254173 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467246678-11562 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4119357-1467254173.opb

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

MD5SUM BENCH= 5860d453a57eda7c4e66a0d11bc52e80
RANDOM SEED=1185009851

node114.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.752
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.50
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.752
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.752
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.752
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.752
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.752
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.752
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.56
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.752
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:        26191572 kB
Buffers:          117400 kB
Cached:          1211440 kB
SwapCached:            0 kB
Active:          3571344 kB
Inactive:        1207404 kB
Active(anon):    3452396 kB
Inactive(anon):        0 kB
Active(file):     118948 kB
Inactive(file):  1207404 kB
Unevictable:     1155804 kB
Mlocked:           13208 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               468 kB
Writeback:             0 kB
AnonPages:       4564720 kB
Mapped:            22244 kB
Shmem:               204 kB
Slab:             608548 kB
SReclaimable:      52804 kB
SUnreclaim:       555744 kB
KernelStack:        1808 kB
PageTables:        13784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5133884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4483072 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= 71668 MiB
End job on node114 at 2016-06-30 04:51:12