Trace number 4119421

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)-48 1800.18 901.096

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0444-0444.opb
MD5SUMa4f2ecc2dce6c75c2fea07242bbb9e5f
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-65
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables192
Total number of constraints64
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)64
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 576
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 576
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 576
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)576
Sum of products size (including duplicates)1152
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4119421-1467255600.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.24/0.22	c ... done. Wall clock time 0.111s.
0.24/0.22	c declared #vars     192
0.24/0.22	c internal #vars     768
0.24/0.22	c #constraints  1280
0.24/0.22	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.24/0.22	c constraints type 
0.24/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 640
0.24/0.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 64
0.24/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 576
0.24/0.22	c 1280 constraints processed.
0.24/0.22	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.24/0.22	c constraints type 
0.24/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 640
0.24/0.22	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 64
0.24/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPb => 576
0.24/0.22	c 1280 constraints processed.
0.24/0.22	c objective function length is 576 literals
0.24/0.24	c And the winner is solver0
0.41/0.73	c SATISFIABLE
0.41/0.73	c OPTIMIZING...
0.41/0.73	c Got one! Elapsed wall clock time (in seconds):0.621
0.41/0.73	o -43
0.60/0.81	c And the winner is solver0
0.80/1.23	c Got one! Elapsed wall clock time (in seconds):1.124
0.80/1.23	o -44
0.99/1.30	c And the winner is solver0
1.14/1.73	c Got one! Elapsed wall clock time (in seconds):1.626
1.14/1.73	o -45
1.73/1.93	c And the winner is solver0
2.06/2.24	c Got one! Elapsed wall clock time (in seconds):2.129
2.06/2.24	o -46
2.74/2.52	c cleaning 3153 clauses out of 6306 with flag 6360/6306
3.77/2.95	c cleaning 4575 clauses out of 9152 with flag 18998/12305
4.23/3.16	c And the winner is solver0
4.45/3.24	c Got one! Elapsed wall clock time (in seconds):3.132
4.45/3.24	o -47
4.70/3.39	c cleaning 4795 clauses out of 9590 with flag 4123/17318
5.81/3.82	c cleaning 5394 clauses out of 10795 with flag 16726/23318
6.89/4.33	c cleaning 6199 clauses out of 12401 with flag 31178/30318
8.17/4.92	c cleaning 7102 clauses out of 14204 with flag 47629/38320
9.65/5.63	c cleaning 8050 clauses out of 16101 with flag 66164/47319
11.04/6.39	c cleaning 9023 clauses out of 18052 with flag 86876/57320
13.14/7.36	c cleaning 10014 clauses out of 20028 with flag 109494/68319
15.34/8.45	c cleaning 11001 clauses out of 22013 with flag 134745/80318
17.82/9.60	c cleaning 12002 clauses out of 24012 with flag 161684/93318
20.04/10.80	c cleaning 13002 clauses out of 26010 with flag 190515/107318
23.38/12.32	c cleaning 14002 clauses out of 28009 with flag 221192/122319
26.59/13.97	c cleaning 15002 clauses out of 30007 with flag 253929/138319
30.35/15.71	c cleaning 16001 clauses out of 32006 with flag 288866/155320
33.75/17.45	c cleaning 17000 clauses out of 34003 with flag 326060/173318
38.55/19.71	c cleaning 18002 clauses out of 36004 with flag 365196/192319
42.75/21.85	c cleaning 18998 clauses out of 38001 with flag 405995/212318
47.74/24.23	c cleaning 19997 clauses out of 40003 with flag 449025/233318
52.37/26.54	c cleaning 21003 clauses out of 42006 with flag 494041/255318
57.36/29.05	c cleaning 22000 clauses out of 44004 with flag 541380/278319
62.97/31.88	c cleaning 23001 clauses out of 46003 with flag 590838/302318
69.21/34.80	c cleaning 24001 clauses out of 48002 with flag 642227/327318
75.41/37.96	c cleaning 24997 clauses out of 50002 with flag 695827/353319
80.47/40.66	c And the winner is solver0
80.56/40.81	c Got one! Elapsed wall clock time (in seconds):40.705
80.56/40.81	o -48
82.33/41.76	c cleaning 24359 clauses out of 48722 with flag 10786/377036
83.73/42.43	c cleaning 15174 clauses out of 30362 with flag 23637/383035
84.94/43.04	c cleaning 11088 clauses out of 22188 with flag 38466/390035
86.13/43.69	c cleaning 9546 clauses out of 19101 with flag 55225/398036
87.72/44.41	c cleaning 9274 clauses out of 18555 with flag 74405/407036
89.52/45.30	c cleaning 9636 clauses out of 19280 with flag 95713/417035
91.34/46.28	c cleaning 10323 clauses out of 20645 with flag 118973/428036
93.33/47.21	c cleaning 11157 clauses out of 22321 with flag 143732/440035
95.33/48.21	c cleaning 12082 clauses out of 24164 with flag 170456/453035
98.04/49.60	c cleaning 13036 clauses out of 26082 with flag 199798/467035
100.86/50.95	c cleaning 14022 clauses out of 28048 with flag 230622/482037
103.66/52.33	c cleaning 15011 clauses out of 30025 with flag 263522/498036
106.88/53.95	c cleaning 16004 clauses out of 32013 with flag 300389/515035
110.46/55.78	c cleaning 17002 clauses out of 34009 with flag 341177/533035
114.46/57.79	c cleaning 17996 clauses out of 36007 with flag 387819/552035
118.99/59.93	c cleaning 18999 clauses out of 38012 with flag 435207/572036
123.19/62.07	c cleaning 20000 clauses out of 40013 with flag 488468/593036
127.79/64.35	c cleaning 21003 clauses out of 42013 with flag 541556/615036
132.99/66.95	c cleaning 22003 clauses out of 44013 with flag 599370/638039
138.73/69.77	c cleaning 22996 clauses out of 46006 with flag 659239/662035
144.54/72.65	c cleaning 23996 clauses out of 48010 with flag 723553/687035
150.52/75.66	c cleaning 25007 clauses out of 50017 with flag 791248/713038
156.93/78.81	c cleaning 25998 clauses out of 52008 with flag 862892/740036
163.87/82.24	c cleaning 27005 clauses out of 54010 with flag 934742/768036
171.08/85.81	c cleaning 27996 clauses out of 56004 with flag 1013317/797035
178.87/89.71	c cleaning 29001 clauses out of 58010 with flag 1093667/827037
187.19/93.83	c cleaning 30002 clauses out of 60008 with flag 1179211/858036
196.39/98.47	c cleaning 31003 clauses out of 62008 with flag 1272219/890038
206.37/103.34	c cleaning 31998 clauses out of 64006 with flag 1362024/923039
215.17/107.80	c cleaning 33002 clauses out of 66004 with flag 1454935/957035
223.96/112.19	c cleaning 33995 clauses out of 68002 with flag 1549572/992035
233.18/116.75	c cleaning 35001 clauses out of 70009 with flag 1650963/1028037
242.36/121.38	c cleaning 35997 clauses out of 72006 with flag 1759760/1065035
251.36/125.89	c cleaning 37003 clauses out of 74009 with flag 1869785/1103035
262.16/131.24	c cleaning 37997 clauses out of 76007 with flag 1987900/1142036
272.57/136.45	c cleaning 39001 clauses out of 78011 with flag 2100124/1182037
283.95/142.16	c cleaning 40005 clauses out of 80009 with flag 2221999/1223036
297.47/149.30	c cleaning 41002 clauses out of 82004 with flag 2349442/1265036
310.47/155.75	c cleaning 41995 clauses out of 84001 with flag 2491241/1308035
323.26/162.17	c cleaning 42999 clauses out of 86006 with flag 2627533/1352035
335.06/168.00	c cleaning 44001 clauses out of 88010 with flag 2767543/1397038
347.26/174.10	c cleaning 44995 clauses out of 90006 with flag 2912259/1443035
360.25/180.60	c cleaning 46002 clauses out of 92011 with flag 3055058/1490035
372.05/186.55	c cleaning 47002 clauses out of 94010 with flag 3198884/1538036
384.45/192.72	c cleaning 48002 clauses out of 96007 with flag 3346068/1587035
397.65/199.34	c cleaning 48998 clauses out of 98005 with flag 3500358/1637035
411.25/206.16	c cleaning 50002 clauses out of 100007 with flag 3656529/1688035
425.45/213.29	c cleaning 50996 clauses out of 102005 with flag 3813783/1740035
440.45/220.70	c cleaning 52004 clauses out of 104009 with flag 3971605/1793035
455.45/228.24	c cleaning 53004 clauses out of 106008 with flag 4137416/1847038
470.84/235.98	c cleaning 53996 clauses out of 108001 with flag 4302917/1902035
484.84/242.94	c cleaning 55000 clauses out of 110006 with flag 4477847/1958036
501.84/251.43	c cleaning 56000 clauses out of 112006 with flag 4640108/2015036
520.23/260.62	c cleaning 56999 clauses out of 114007 with flag 4819015/2073037
538.24/269.64	c cleaning 57999 clauses out of 116008 with flag 5015168/2132037
555.64/278.37	c cleaning 59002 clauses out of 118007 with flag 5200526/2192035
574.43/287.70	c cleaning 59998 clauses out of 120006 with flag 5385710/2253036
592.42/296.79	c cleaning 61000 clauses out of 122007 with flag 5570681/2315035
612.86/307.18	c cleaning 61999 clauses out of 124007 with flag 5766346/2378035
633.45/317.45	c cleaning 63003 clauses out of 126009 with flag 5973676/2442036
653.66/327.58	c cleaning 64002 clauses out of 128006 with flag 6185811/2507036
677.06/339.27	c cleaning 65000 clauses out of 130007 with flag 6398054/2573039
701.46/351.43	c cleaning 66000 clauses out of 132003 with flag 6625315/2640035
724.47/362.94	c cleaning 66997 clauses out of 134003 with flag 6849604/2708035
750.26/375.81	c cleaning 68002 clauses out of 136006 with flag 7083741/2777035
775.06/388.29	c cleaning 68998 clauses out of 138005 with flag 7318710/2847036
798.86/400.17	c cleaning 69999 clauses out of 140006 with flag 7540577/2918035
824.05/412.75	c cleaning 71001 clauses out of 142007 with flag 7769300/2990035
851.85/426.64	c cleaning 71998 clauses out of 144007 with flag 8010028/3063036
876.66/439.07	c cleaning 73000 clauses out of 146009 with flag 8261075/3137036
904.45/452.96	c cleaning 73999 clauses out of 148009 with flag 8509893/3212036
932.85/467.01	c cleaning 74999 clauses out of 150011 with flag 8757592/3288037
961.25/481.24	c cleaning 76001 clauses out of 152011 with flag 9013960/3365036
991.26/496.27	c cleaning 77000 clauses out of 154009 with flag 9291737/3443035
1019.45/510.32	c cleaning 78001 clauses out of 156009 with flag 9557077/3522035
1049.05/525.16	c cleaning 79001 clauses out of 158009 with flag 9815688/3602036
1081.85/541.50	c cleaning 79999 clauses out of 160008 with flag 10074875/3683036
1114.04/557.65	c cleaning 81003 clauses out of 162009 with flag 10360248/3765036
1143.25/572.22	c cleaning 81995 clauses out of 164005 with flag 10641285/3848035
1173.44/587.32	c cleaning 83003 clauses out of 166012 with flag 10915688/3932037
1202.84/602.03	c cleaning 83997 clauses out of 168008 with flag 11206810/4017036
1235.85/618.51	c cleaning 85002 clauses out of 170010 with flag 11516800/4103035
1265.24/633.23	c cleaning 86004 clauses out of 172011 with flag 11824781/4190038
1298.04/649.68	c cleaning 87002 clauses out of 174006 with flag 12111883/4278037
1331.04/666.16	c cleaning 87996 clauses out of 176002 with flag 12427728/4367035
1362.24/681.77	c cleaning 89000 clauses out of 178007 with flag 12736642/4457036
1395.64/698.47	c cleaning 90002 clauses out of 180006 with flag 13055035/4548035
1432.05/716.67	c cleaning 90997 clauses out of 182006 with flag 13346897/4640037
1469.64/735.42	c cleaning 92003 clauses out of 184009 with flag 13645901/4733037
1509.24/755.28	c cleaning 92997 clauses out of 186004 with flag 13961745/4827035
1550.44/775.85	c cleaning 94002 clauses out of 188007 with flag 14286192/4922035
1594.17/798.06	c cleaning 94997 clauses out of 190006 with flag 14620826/5018036
1630.79/816.35	c cleaning 96001 clauses out of 192009 with flag 14956480/5115036
1665.58/833.73	c cleaning 96997 clauses out of 194008 with flag 15304926/5213036
1705.39/853.65	c cleaning 98002 clauses out of 196011 with flag 15655953/5312036
1746.38/874.12	c cleaning 98998 clauses out of 198008 with flag 16003305/5412035
1780.97/891.42	c cleaning 99999 clauses out of 200011 with flag 16350473/5513036
1800.18/901.01	c >>>>>>>>>> Solver number 0 (6 answers) <<<<<<<<<<<<<<<<<<
1800.18/901.01	c starts		: 22460
1800.18/901.01	c conflicts		: 5577359
1800.18/901.01	c decisions		: 10596400
1800.18/901.01	c propagations		: 229742200
1800.18/901.01	c inspects		: 11600606607
1800.18/901.01	c shortcuts		: 0
1800.18/901.01	c learnt literals	: 0
1800.18/901.01	c learnt binary clauses	: 0
1800.18/901.01	c learnt ternary clauses	: 0
1800.18/901.01	c learnt constraints	: 5577359
1800.18/901.01	c ignored constraints	: 0
1800.18/901.01	c root simplifications	: 0
1800.18/901.01	c removed literals (reason simplification)	: 2715602
1800.18/901.01	c reason swapping (by a shorter reason)	: 0
1800.18/901.01	c Calls to reduceDB	: 121
1800.18/901.01	c Number of update (reduction) of LBD	: 335537
1800.18/901.01	c Imported unit clauses	: 0
1800.18/901.01	c number of reductions to clauses (during analyze)	: 0
1800.18/901.01	c number of learned constraints concerned by reduction	: 0
1800.18/901.01	c number of learning phase by resolution	: 0
1800.18/901.01	c number of learning phase by cutting planes	: 0
1800.18/901.01	c speed (assignments/second)	: 255047.50316946828
1800.18/901.01	c non guided choices	0
1800.18/901.04	c learnt constraints type 
1800.18/901.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 164335
1800.18/901.04	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.18/901.04	c starts		: 32
1800.18/901.04	c conflicts		: 4151
1800.18/901.04	c decisions		: 11871
1800.18/901.04	c propagations		: 134081
1800.18/901.04	c inspects		: 67198445
1800.18/901.04	c shortcuts		: 0
1800.18/901.04	c learnt literals	: 0
1800.18/901.04	c learnt binary clauses	: 0
1800.18/901.04	c learnt ternary clauses	: 0
1800.18/901.04	c learnt constraints	: 4147
1800.18/901.04	c ignored constraints	: 0
1800.18/901.04	c root simplifications	: 0
1800.18/901.04	c removed literals (reason simplification)	: 0
1800.18/901.04	c reason swapping (by a shorter reason)	: 0
1800.18/901.04	c Calls to reduceDB	: 0
1800.18/901.04	c Number of update (reduction) of LBD	: 0
1800.18/901.04	c Imported unit clauses	: 0
1800.18/901.04	c number of reductions to clauses (during analyze)	: 0
1800.18/901.04	c number of learned constraints concerned by reduction	: 0
1800.18/901.04	c number of learning phase by resolution	: 0
1800.18/901.04	c number of learning phase by cutting planes	: 0
1800.18/901.04	c speed (assignments/second)	: 155.868266257469
1800.18/901.04	c non guided choices	0
1800.18/901.04	c learnt constraints type 
1800.18/901.04	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.18/901.04	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4146
1800.18/901.04	s SATISFIABLE
1800.18/901.04	c Found 6 solution(s)
1800.18/901.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 
1800.18/901.04	c objective function=-48
1800.18/901.04	c Total wall clock time (in seconds): 900.93

Verifier Data 

OK	-48

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

pid=15202
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.18 3.85 3.80 4/195 15205
/proc/meminfo: memFree=29465740/32872528 swapFree=13208/1155804
[pid=15205] ppid=15202 vsize=89800 CPUtime=0 cores=1,3,5,7
/proc/15205/stat : 15205 (java) S 15202 15205 11545 0 -1 4202496 1262 0 0 0 0 0 0 0 20 0 2 0 6527470 91955200 903 33554432000 1073741824 1073778376 140737154407808 140737154398944 219517321277 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15205/statm: 22970 907 687 9 0 16769 0
[pid=15205/tid=15206] ppid=15202 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15206/stat : 15206 (java) D 15202 15205 11545 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 6527471 94019584 918 33554432000 1073741824 1073778376 140737154407808 140000958565928 219504799015 0 0 4096 0 18446744072100588836 0 0 -1 5 0 0 0 0 0

[startup+0.100098 s]
/proc/loadavg: 4.18 3.85 3.80 4/195 15205
/proc/meminfo: memFree=29465740/32872528 swapFree=13208/1155804
[pid=15205] ppid=15202 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/15205/stat : 15205 (java) S 15202 15205 11545 0 -1 4202496 4467 0 1 0 10 1 0 0 20 0 18 0 6527470 9787879424 6094 33554432000 1073741824 1073778376 140737154407808 140737154398944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15205/statm: 2389619 6103 2156 9 0 2380296 0
[pid=15205/tid=15206] ppid=15202 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/15205/task/15206/stat : 15206 (java) R 15202 15205 11545 0 -1 4202560 2385 0 1 0 6 1 0 0 20 0 18 0 6527471 9787879424 6103 33554432000 1073741824 1073778376 140737154407808 140000958569736 140000964259522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200359 s]
/proc/loadavg: 4.18 3.85 3.80 4/195 15205
/proc/meminfo: memFree=29465740/32872528 swapFree=13208/1155804
[pid=15205] ppid=15202 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/15205/stat : 15205 (java) S 15202 15205 11545 0 -1 4202496 4609 0 1 0 23 1 0 0 20 0 18 0 6527470 9787879424 7206 33554432000 1073741824 1073778376 140737154407808 140737154398944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15205/statm: 2389619 7206 2213 9 0 2380296 0
[pid=15205/tid=15206] ppid=15202 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/15205/task/15206/stat : 15206 (java) R 15202 15205 11545 0 -1 4202560 2405 0 1 0 16 1 0 0 20 0 18 0 6527471 9787879424 7206 33554432000 1073741824 1073778376 140737154407808 140000958569864 140000784096816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300359 s]
/proc/loadavg: 4.18 3.85 3.80 4/195 15205
/proc/meminfo: memFree=29465740/32872528 swapFree=13208/1155804
[pid=15205] ppid=15202 vsize=9758168 CPUtime=0.41 cores=1,3,5,7
/proc/15205/stat : 15205 (java) S 15202 15205 11545 0 -1 4202496 7001 0 1 0 37 4 0 0 20 0 20 0 6527470 9992364032 10082 33554432000 1073741824 1073778376 140737154407808 140737154398944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15205/statm: 2439542 10082 2234 9 0 2430219 0
[pid=15205/tid=15206] ppid=15202 vsize=9758168 CPUtime=0.2 cores=1,3,5,7
/proc/15205/task/15206/stat : 15206 (java) S 15202 15205 11545 0 -1 4202560 2441 0 1 0 19 1 0 0 20 0 20 0 6527471 9992364032 10082 33554432000 1073741824 1073778376 140737154407808 140000958571384 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 9758168

[startup+0.700283 s]
/proc/loadavg: 4.18 3.85 3.80 4/195 15205
/proc/meminfo: memFree=29465740/32872528 swapFree=13208/1155804
[pid=15205] ppid=15202 vsize=9758168 CPUtime=0.41 cores=1,3,5,7
/proc/15205/stat : 15205 (java) S 15202 15205 11545 0 -1 4202496 7001 0 1 0 37 4 0 0 20 0 20 0 6527470 9992364032 10082 33554432000 1073741824 1073778376 140737154407808 140737154398944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15205/statm: 2439542 10082 2234 9 0 2430219 0
[pid=15205/tid=15206] ppid=15202 vsize=9758168 CPUtime=0.2 cores=1,3,5,7
/proc/15205/task/15206/stat : 15206 (java) S 15202 15205 11545 0 -1 4202560 2441 0 1 0 19 1 0 0 20 0 20 0 6527471 9992364032 10082 33554432000 1073741824 1073778376 140737154407808 140000958571384 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 9758168

[startup+1.50087 s]
/proc/loadavg: 4.18 3.85 3.80 2/214 15238
/proc/meminfo: memFree=29389636/32872528 swapFree=13208/1155804
[pid=15205] ppid=15202 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/15205/stat : 15205 (java) S 15202 15205 11545 0 -1 4202496 11508 0 1 0 105 9 0 0 20 0 19 0 6527470 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140737154398944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15205/statm: 2456183 14392 2252 9 0 2446860 0
[pid=15205/tid=15206] ppid=15202 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/15205/task/15206/stat : 15206 (java) S 15202 15205 11545 0 -1 4202560 2447 0 1 0 19 2 0 0 20 0 19 0 6527471 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000958571384 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15208] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15208/stat : 15208 (java) S 15202 15205 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6527472 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000920062376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15209] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15209/stat : 15209 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6527472 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000919009832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15210] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15210/stat : 15210 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6527472 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000917956776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15211] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15211/stat : 15211 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6527472 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000916904232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15212] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15212/stat : 15212 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6527472 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000915852200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15213] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15213/stat : 15213 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6527472 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000914799656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15214] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15214/stat : 15214 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6527472 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000913746600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15215] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15215/stat : 15215 (java) S 15202 15205 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6527472 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000912694056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15216] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15216/stat : 15216 (java) S 15202 15205 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6527473 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000781912424 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15217] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15217/stat : 15217 (java) S 15202 15205 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6527473 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000780858744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15218] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15218/stat : 15218 (java) S 15202 15205 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6527473 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000779805576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15219] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15219/stat : 15219 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6527475 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000778754320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15220] ppid=15202 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/15205/task/15220/stat : 15220 (java) S 15202 15205 11545 0 -1 4202560 4127 0 0 0 29 0 0 0 20 0 19 0 6527475 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000777702200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15221] ppid=15202 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/15205/task/15221/stat : 15221 (java) S 15202 15205 11545 0 -1 4202560 3564 0 0 0 27 0 0 0 20 0 19 0 6527475 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000776649656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15222] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15222/stat : 15222 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6527475 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000775596792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15223] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15223/stat : 15223 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6527475 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000774544456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15229] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15229/stat : 15229 (java) S 15202 15205 11545 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 6527494 10060525568 14392 33554432000 1073741824 1073778376 140737154407808 140000771384104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9824732

[startup+3.10079 s]
/proc/loadavg: 4.18 3.85 3.80 1/214 15250
/proc/meminfo: memFree=29311576/32872528 swapFree=13208/1155804
[pid=15205] ppid=15202 vsize=9824732 CPUtime=4.23 cores=1,3,5,7
/proc/15205/stat : 15205 (java) S 15202 15205 11545 0 -1 4202496 19411 0 1 0 409 14 0 0 20 0 22 0 6527470 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140737154398944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15205/statm: 2456183 47534 2286 9 0 2446860 0
[pid=15205/tid=15206] ppid=15202 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/15205/task/15206/stat : 15206 (java) S 15202 15205 11545 0 -1 4202560 2447 0 1 0 20 2 0 0 20 0 22 0 6527471 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000958571384 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15208] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15208/stat : 15208 (java) S 15202 15205 11545 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 6527472 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000920062376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15209] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15209/stat : 15209 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6527472 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000919009832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15210] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15210/stat : 15210 (java) S 15202 15205 11545 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 6527472 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000917956776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15211] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15211/stat : 15211 (java) S 15202 15205 11545 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 6527472 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000916904232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15212] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15212/stat : 15212 (java) S 15202 15205 11545 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 6527472 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000915852200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15205/tid=15213] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15213/stat : 15213 (java) S 15202 15205 11545 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 6527472 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000914799656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15205/tid=15214] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15214/stat : 15214 (java) S 15202 15205 11545 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 6527472 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000913746600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15205/tid=15215] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15215/stat : 15215 (java) S 15202 15205 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6527472 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000912694056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15216] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15216/stat : 15216 (java) S 15202 15205 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6527473 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000781912424 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15217] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15217/stat : 15217 (java) S 15202 15205 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6527473 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000780858744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15218] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15218/stat : 15218 (java) S 15202 15205 11545 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6527473 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000779805576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15219] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15219/stat : 15219 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6527475 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000778754320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15220] ppid=15202 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/15205/task/15220/stat : 15220 (java) S 15202 15205 11545 0 -1 4202560 7036 0 0 0 73 0 0 0 20 0 22 0 6527475 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000777702200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15221] ppid=15202 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/15205/task/15221/stat : 15221 (java) S 15202 15205 11545 0 -1 4202560 8439 0 0 0 79 2 0 0 20 0 22 0 6527475 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000776649656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15205/tid=15222] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15222/stat : 15222 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6527475 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000775596792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15223] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15223/stat : 15223 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6527475 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000774544456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15229] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15229/stat : 15229 (java) S 15202 15205 11545 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 6527494 10060525568 47534 33554432000 1073741824 1073778376 140737154407808 140000771384104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 9824732

[startup+6.30102 s]
/proc/loadavg: 4.09 3.84 3.80 4/218 15274
/proc/meminfo: memFree=29172724/32872528 swapFree=13208/1155804
[pid=15205] ppid=15202 vsize=9824732 CPUtime=11.04 cores=1,3,5,7
/proc/15205/stat : 15205 (java) S 15202 15205 11545 0 -1 4202496 23633 0 1 0 1079 25 0 0 20 0 22 0 6527470 10060525568 65981 33554432000 1073741824 1073778376 140737154407808 140737154398944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15205/statm: 2456183 65981 2286 9 0 2446860 0
[pid=15205/tid=15206] ppid=15202 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/15205/task/15206/stat : 15206 (java) S 15202 15205 11545 0 -1 4202560 2447 0 1 0 20 2 0 0 20 0 22 0 6527471 10060525568 65981 33554432000 1073741824 1073778376 140737154407808 140000958571384 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15208] ppid=15202 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/15205/task/15208/stat : 15208 (java) S 15202 15205 11545 0 -1 4202560 232 0 0 0 2 0 0 0 20 0 22 0 6527472 10060525568 65981 33554432000 1073741824 1073778376 140737154407808 140000920062376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15209] ppid=15202 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/15205/task/15209/stat : 15209 (java) S 15202 15205 11545 0 -1 4202560 207 0 0 0 4 2 0 0 20 0 22 0 6527472 10060525568 65981 33554432000 1073741824 1073778376 140737154407808 140000919009832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15210] ppid=15202 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/15205/task/15210/stat : 15210 (java) S 15202 15205 11545 0 -1 4202560 151 0 0 0 5 1 0 0 20 0 22 0 6527472 10060525568 65981 33554432000 1073741824 1073778376 140737154407808 140000917956776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15211] ppid=15202 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/15205/task/15211/stat : 15211 (java) S 15202 15205 11545 0 -1 4202560 142 0 0 0 5 2 0 0 20 0 22 0 6527472 10060525568 65981 33554432000 1073741824 1073778376 140737154407808 140000916904232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15205/tid=15212] ppid=15202 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/15205/task/15212/stat : 15212 (java) S 15202 15205 11545 0 -1 4202560 162 0 0 0 2 0 0 0 20 0 22 0 6527472 10060525568 65981 33554432000 1073741824 1073778376 140737154407808 140000915852200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15205/tid=15213] ppid=15202 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/15205/task/15213/stat : 15213 (java) S 15202 15205 11545 0 -1 4202560 91 0 0 0 2 2 0 0 20 0 22 0 6527472 10060525568 65981 33554432000 1073741824 1073778376 140737154407808 140000914799656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15214] ppid=15202 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/15205/task/15214/stat : 15214 (java) S 15202 15205 11545 0 -1 4202560 33 0 0 0 4 1 0 0 20 0 22 0 6527472 10060525568 65981 33554432000 1073741824 1073778376 140737154407808 140000913746600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15215] ppid=15202 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/15205/task/15215/stat : 15215 (java) S 15202 15205 11545 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 6527472 10060525568 65981 33554432000 1073741824 1073778376 140737154407808 140000912694056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15216] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15216/stat : 15216 (java) S 15202 15205 11545 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 6527473 10060525568 65981 33554432000 1073741824 1073778376 140737154407808 140000781912424 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15217] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15217/stat : 15217 (java) S 15202 15205 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6527473 10060525568 65981 33554432000 1073741824 1073778376 140737154407808 140000780858744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15218] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15218/stat : 15218 (java) S 15202 15205 11545 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6527473 10060525568 65981 33554432000 1073741824 1073778376 140737154407808 140000779805576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15219] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15219/stat : 15219 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6527475 10060525568 65981 33554432000 1073741824 1073778376 140737154407808 140000778754320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15220] ppid=15202 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/15205/task/15220/stat : 15220 (java) S 15202 15205 11545 0 -1 4202560 7037 0 0 0 95 0 0 0 20 0 22 0 6527475 10060525568 65981 33554432000 1073741824 1073778376 140737154407808 140000777702200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15221] ppid=15202 vsize=9824732 CPUtime=0.99 cores=1,3,5,7

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

[pid=15205/tid=15215] ppid=15202 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/15205/task/15215/stat : 15215 (java) S 15202 15205 11545 0 -1 4202560 1095 0 0 0 64 19 0 0 20 0 22 0 6527472 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000912694056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15216] ppid=15202 vsize=9824732 CPUtime=3.54 cores=1,3,5,7
/proc/15205/task/15216/stat : 15216 (java) S 15202 15205 11545 0 -1 4202560 2461 0 0 0 352 2 0 0 20 0 22 0 6527473 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000781912424 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15217] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15217/stat : 15217 (java) S 15202 15205 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6527473 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000780858744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15218] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15218/stat : 15218 (java) S 15202 15205 11545 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6527473 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000779805576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15219] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15219/stat : 15219 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6527475 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000778754320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15220] ppid=15202 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/15205/task/15220/stat : 15220 (java) S 15202 15205 11545 0 -1 4202560 7038 0 0 0 100 0 0 0 20 0 22 0 6527475 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000777702200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15221] ppid=15202 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/15205/task/15221/stat : 15221 (java) S 15202 15205 11545 0 -1 4202560 11602 0 0 0 102 3 0 0 20 0 22 0 6527475 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000776649656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15205/tid=15222] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15222/stat : 15222 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6527475 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000775596792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15223] ppid=15202 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/15205/task/15223/stat : 15223 (java) S 15202 15205 11545 0 -1 4202560 47 0 0 0 10 17 0 0 20 0 22 0 6527475 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000774544456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15229] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15229/stat : 15229 (java) S 15202 15205 11545 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 6527494 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000771384104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15296] ppid=15202 vsize=9824732 CPUtime=775.29 cores=1,3,5,7
/proc/15205/task/15296/stat : 15296 (java) R 15202 15205 11545 0 -1 4202560 18 0 0 0 77518 11 0 0 20 0 22 0 6531552 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000770322128 140000785171390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15205/tid=15297] ppid=15202 vsize=9824732 CPUtime=775.2 cores=1,3,5,7
/proc/15205/task/15297/stat : 15297 (java) R 15202 15205 11545 0 -1 4202560 340 0 0 0 77499 21 0 0 20 0 22 0 6531552 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000772433792 140000785218429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15298] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15298/stat : 15298 (java) S 15202 15205 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6531553 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000773490216 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1642.77
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.37 4.27 4.07 5/219 15393
/proc/meminfo: memFree=19748376/32872528 swapFree=13208/1155804
[pid=15205] ppid=15202 vsize=9824732 CPUtime=1762.78 cores=1,3,5,7
/proc/15205/stat : 15205 (java) S 15202 15205 11545 0 -1 4202496 36360 0 1 0 176016 262 0 0 20 0 22 0 6527470 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140737154398944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15205/statm: 2456183 976222 2295 9 0 2446860 0
[pid=15205/tid=15206] ppid=15202 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/15205/task/15206/stat : 15206 (java) S 15202 15205 11545 0 -1 4202560 2452 0 1 0 22 3 0 0 20 0 22 0 6527471 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000958571384 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15208] ppid=15202 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/15205/task/15208/stat : 15208 (java) S 15202 15205 11545 0 -1 4202560 1911 0 0 0 84 28 0 0 20 0 22 0 6527472 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000920062376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15205/tid=15209] ppid=15202 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/15205/task/15209/stat : 15209 (java) S 15202 15205 11545 0 -1 4202560 1086 0 0 0 71 23 0 0 20 0 22 0 6527472 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000919009832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15205/tid=15210] ppid=15202 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/15205/task/15210/stat : 15210 (java) S 15202 15205 11545 0 -1 4202560 1181 0 0 0 76 25 0 0 20 0 22 0 6527472 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000917956776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15211] ppid=15202 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/15205/task/15211/stat : 15211 (java) S 15202 15205 11545 0 -1 4202560 919 0 0 0 70 23 0 0 20 0 22 0 6527472 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000916904232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15212] ppid=15202 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/15205/task/15212/stat : 15212 (java) S 15202 15205 11545 0 -1 4202560 1341 0 0 0 84 32 0 0 20 0 22 0 6527472 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000915852200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15213] ppid=15202 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/15205/task/15213/stat : 15213 (java) S 15202 15205 11545 0 -1 4202560 1016 0 0 0 72 25 0 0 20 0 22 0 6527472 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000914799656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15214] ppid=15202 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/15205/task/15214/stat : 15214 (java) S 15202 15205 11545 0 -1 4202560 1619 0 0 0 60 22 0 0 20 0 22 0 6527472 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000913746600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15215] ppid=15202 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/15205/task/15215/stat : 15215 (java) S 15202 15205 11545 0 -1 4202560 1095 0 0 0 64 19 0 0 20 0 22 0 6527472 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000912694056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15216] ppid=15202 vsize=9824732 CPUtime=3.54 cores=1,3,5,7
/proc/15205/task/15216/stat : 15216 (java) S 15202 15205 11545 0 -1 4202560 2461 0 0 0 352 2 0 0 20 0 22 0 6527473 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000781912424 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15217] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15217/stat : 15217 (java) S 15202 15205 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6527473 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000780858744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15218] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15218/stat : 15218 (java) S 15202 15205 11545 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6527473 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000779805576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15219] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15219/stat : 15219 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6527475 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000778754320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15220] ppid=15202 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/15205/task/15220/stat : 15220 (java) S 15202 15205 11545 0 -1 4202560 7038 0 0 0 100 0 0 0 20 0 22 0 6527475 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000777702200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15221] ppid=15202 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/15205/task/15221/stat : 15221 (java) S 15202 15205 11545 0 -1 4202560 11602 0 0 0 102 3 0 0 20 0 22 0 6527475 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000776649656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15205/tid=15222] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15222/stat : 15222 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6527475 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000775596792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15223] ppid=15202 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/15205/task/15223/stat : 15223 (java) S 15202 15205 11545 0 -1 4202560 51 0 0 0 11 19 0 0 20 0 22 0 6527475 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000774544456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15229] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15229/stat : 15229 (java) S 15202 15205 11545 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 6527494 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000771384104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15296] ppid=15202 vsize=9824732 CPUtime=835.14 cores=1,3,5,7
/proc/15205/task/15296/stat : 15296 (java) R 15202 15205 11545 0 -1 4202560 18 0 0 0 83502 12 0 0 20 0 22 0 6531552 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000770322128 140000784538938 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15205/tid=15297] ppid=15202 vsize=9824732 CPUtime=835.04 cores=1,3,5,7
/proc/15205/task/15297/stat : 15297 (java) R 15202 15205 11545 0 -1 4202560 340 0 0 0 83482 22 0 0 20 0 22 0 6531552 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000772433792 140000785217319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15298] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15298/stat : 15298 (java) S 15202 15205 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6531553 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000773490216 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1762.78
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+901.008 s]
/proc/loadavg: 4.41 4.29 4.08 7/220 15394
/proc/meminfo: memFree=19748256/32872528 swapFree=13208/1155804
[pid=15205] ppid=15202 vsize=9824732 CPUtime=1800.17 cores=1,3,5,7
/proc/15205/stat : 15205 (java) S 15202 15205 11545 0 -1 4202496 36362 0 1 0 179755 262 0 0 20 0 22 0 6527470 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140737154398944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15205/statm: 2456183 976222 2295 9 0 2446860 0
[pid=15205/tid=15206] ppid=15202 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/15205/task/15206/stat : 15206 (java) S 15202 15205 11545 0 -1 4202560 2452 0 1 0 22 3 0 0 20 0 22 0 6527471 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000958571384 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15208] ppid=15202 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/15205/task/15208/stat : 15208 (java) S 15202 15205 11545 0 -1 4202560 1911 0 0 0 84 28 0 0 20 0 22 0 6527472 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000920062376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15205/tid=15209] ppid=15202 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/15205/task/15209/stat : 15209 (java) S 15202 15205 11545 0 -1 4202560 1086 0 0 0 71 23 0 0 20 0 22 0 6527472 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000919009832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15205/tid=15210] ppid=15202 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/15205/task/15210/stat : 15210 (java) S 15202 15205 11545 0 -1 4202560 1181 0 0 0 76 25 0 0 20 0 22 0 6527472 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000917956776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15211] ppid=15202 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/15205/task/15211/stat : 15211 (java) S 15202 15205 11545 0 -1 4202560 919 0 0 0 70 23 0 0 20 0 22 0 6527472 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000916904232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15212] ppid=15202 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/15205/task/15212/stat : 15212 (java) S 15202 15205 11545 0 -1 4202560 1341 0 0 0 84 32 0 0 20 0 22 0 6527472 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000915852200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15213] ppid=15202 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/15205/task/15213/stat : 15213 (java) S 15202 15205 11545 0 -1 4202560 1016 0 0 0 72 25 0 0 20 0 22 0 6527472 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000914799656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15214] ppid=15202 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/15205/task/15214/stat : 15214 (java) S 15202 15205 11545 0 -1 4202560 1619 0 0 0 60 22 0 0 20 0 22 0 6527472 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000913746600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15215] ppid=15202 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/15205/task/15215/stat : 15215 (java) S 15202 15205 11545 0 -1 4202560 1095 0 0 0 64 19 0 0 20 0 22 0 6527472 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000912694056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15216] ppid=15202 vsize=9824732 CPUtime=3.54 cores=1,3,5,7
/proc/15205/task/15216/stat : 15216 (java) S 15202 15205 11545 0 -1 4202560 2461 0 0 0 352 2 0 0 20 0 22 0 6527473 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000781912424 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15217] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15217/stat : 15217 (java) S 15202 15205 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6527473 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000780858744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15218] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15218/stat : 15218 (java) S 15202 15205 11545 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6527473 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000779805576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15219] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15219/stat : 15219 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6527475 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000778754320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15205/tid=15220] ppid=15202 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/15205/task/15220/stat : 15220 (java) S 15202 15205 11545 0 -1 4202560 7038 0 0 0 100 0 0 0 20 0 22 0 6527475 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000777702200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15221] ppid=15202 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/15205/task/15221/stat : 15221 (java) S 15202 15205 11545 0 -1 4202560 11602 0 0 0 102 3 0 0 20 0 22 0 6527475 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000776649656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15205/tid=15222] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15222/stat : 15222 (java) S 15202 15205 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6527475 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000775596792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15205/tid=15223] ppid=15202 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/15205/task/15223/stat : 15223 (java) S 15202 15205 11545 0 -1 4202560 53 0 0 0 11 19 0 0 20 0 22 0 6527475 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000774544456 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15229] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15229/stat : 15229 (java) S 15202 15205 11545 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 6527494 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000771384104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15296] ppid=15202 vsize=9824732 CPUtime=853.79 cores=1,3,5,7
/proc/15205/task/15296/stat : 15296 (java) R 15202 15205 11545 0 -1 4202560 18 0 0 0 85367 12 0 0 20 0 22 0 6531552 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000770322128 140000784525176 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15205/tid=15297] ppid=15202 vsize=9824732 CPUtime=853.69 cores=1,3,5,7
/proc/15205/task/15297/stat : 15297 (java) R 15202 15205 11545 0 -1 4202560 340 0 0 0 85347 22 0 0 20 0 22 0 6531552 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000772433792 140000784722932 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15205/tid=15298] ppid=15202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15205/task/15298/stat : 15298 (java) S 15202 15205 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6531553 10060525568 976222 33554432000 1073741824 1073778376 140737154407808 140000773490216 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
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 15205 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15205 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=231387
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=74532
# CPU time returned by wait4() is 1796.31
# while last known CPU time is 1800.17
#
# 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.00999451
#  lost CPU user time (s): 0.00999451
#  lost CPU system time (s): 0

Real time (s): 901.096
CPU time (s): 1800.18
CPU user time (s): 1797.56
CPU system time (s): 2.62
CPU usage (%): 199.777
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.23
system time used= 3.07453
maximum resident set size= 3905024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36408
page faults= 1
swaps= 0
block input operations= 0
block output operations= 648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22037
involuntary context switches= 13516

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.45217 second user time and 7.64384 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-30 05:00:00
IDJOB=4119421
IDBENCH=111726
IDSOLVER=2543
FILE ID=node114/4119421-1467255600
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-graphpart_3pm-0444-0444.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119421-1467255600/watcher-4119421-1467255600 -o /tmp/evaluation-result-4119421-1467255600/solver-4119421-1467255600 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467246678-11562 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4119421-1467255600.opb

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

MD5SUM BENCH= a4f2ecc2dce6c75c2fea07242bbb9e5f
RANDOM SEED=745634169

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:        29466464 kB
Buffers:          119488 kB
Cached:          1212412 kB
SwapCached:            0 kB
Active:           298992 kB
Inactive:        1209944 kB
Active(anon):     179604 kB
Inactive(anon):        0 kB
Active(file):     119388 kB
Inactive(file):  1209944 kB
Unevictable:     1155804 kB
Mlocked:           13208 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1900 kB
Writeback:             0 kB
AnonPages:       1324752 kB
Mapped:            22132 kB
Shmem:               204 kB
Slab:             609272 kB
SReclaimable:      52964 kB
SUnreclaim:       556308 kB
KernelStack:        1656 kB
PageTables:         7012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1857156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1222656 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 05:15:02