Trace number 4106722

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)-25 1800.56 898.769

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_4.opb
MD5SUMd0c1e6f66b584092ef8bd8f37f3a4db9
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-25
Best CPU time to get the best result obtained on this benchmark476.417
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -25
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint10
Maximum length of a constraint18
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1258
Sum of products size (including duplicates)2516
Number of different products629
Sum of products size1258

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@16fd0b7
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@4413ee
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@75786e64
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@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4106722-1466276262.opb
0.09/0.12	c reading problem ... 
0.09/0.13	c  objective function found
0.21/0.26	c ... done. Wall clock time 0.141s.
0.21/0.26	c declared #vars     100
0.21/0.26	c internal #vars     729
0.21/0.26	c #constraints  1458
0.21/0.27	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.21/0.27	c constraints type 
0.21/0.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 629
0.21/0.27	c org.sat4j.minisat.constraints.cnf.UnitClauses => 78
0.21/0.27	c org.sat4j.specs.Constr$1 => 112
0.21/0.27	c org.sat4j.minisat.constraints.cnf.UnitClause => 10
0.21/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 629
0.21/0.27	c 1458 constraints processed.
0.21/0.27	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.21/0.27	c constraints type 
0.21/0.27	c org.sat4j.specs.Constr$1 => 112
0.21/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 629
0.21/0.27	c org.sat4j.pb.constraints.pb.UnitClausesPB => 78
0.21/0.27	c org.sat4j.pb.constraints.pb.UnitClausePB => 10
0.21/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPb => 629
0.21/0.27	c 1458 constraints processed.
0.21/0.27	c objective function length is 100 literals
0.21/0.28	c And the winner is solver0
0.40/0.77	c SATISFIABLE
0.40/0.77	c OPTIMIZING...
0.40/0.77	c Got one! Elapsed wall clock time (in seconds):0.645
0.40/0.77	o -19
0.40/0.78	c And the winner is solver0
0.41/1.27	c Got one! Elapsed wall clock time (in seconds):1.147
0.41/1.27	o -20
0.49/1.31	c And the winner is solver0
0.68/1.77	c Got one! Elapsed wall clock time (in seconds):1.648
0.68/1.77	o -21
0.78/1.87	c And the winner is solver1
1.43/2.27	c Got one! Elapsed wall clock time (in seconds):2.149
1.43/2.27	o -22
1.43/2.28	c And the winner is solver1
1.44/2.77	c Got one! Elapsed wall clock time (in seconds):2.65
1.44/2.77	o -23
2.31/3.04	c cleaning 2696 clauses out of 5391 with flag 9031/5391
3.02/3.34	c cleaning 4348 clauses out of 8696 with flag 22068/11392
3.89/3.72	c cleaning 5674 clauses out of 11347 with flag 36805/18391
4.74/4.19	c cleaning 6837 clauses out of 13674 with flag 53646/26392
6.03/4.80	c cleaning 7915 clauses out of 15835 with flag 72652/35390
7.54/5.50	c cleaning 8958 clauses out of 17920 with flag 93771/45390
9.17/6.25	c cleaning 9981 clauses out of 19964 with flag 116944/56392
11.26/7.22	c cleaning 10991 clauses out of 21982 with flag 142242/68391
13.33/8.29	c cleaning 11995 clauses out of 23990 with flag 169651/81390
15.96/9.54	c cleaning 12998 clauses out of 25996 with flag 199253/95391
18.75/10.98	c cleaning 13997 clauses out of 27997 with flag 230856/110390
22.23/12.68	c cleaning 14993 clauses out of 30000 with flag 264497/126390
26.02/14.45	c cleaning 16004 clauses out of 32007 with flag 300265/143390
30.02/16.47	c cleaning 17001 clauses out of 34003 with flag 338076/161390
34.42/18.61	c cleaning 18002 clauses out of 36006 with flag 378124/180394
39.33/21.06	c cleaning 18997 clauses out of 38000 with flag 420111/200390
45.11/23.94	c cleaning 20002 clauses out of 40003 with flag 464346/221390
51.36/27.04	c cleaning 21000 clauses out of 42001 with flag 510761/243390
57.97/30.30	c cleaning 22001 clauses out of 44002 with flag 559386/266391
64.76/33.70	c cleaning 23000 clauses out of 46000 with flag 610016/290390
72.24/37.50	c cleaning 23999 clauses out of 48000 with flag 662835/315390
80.63/41.62	c cleaning 24999 clauses out of 50001 with flag 717610/341390
85.83/44.28	c cleaning 0 clauses out of 5093 with flag 0/5094
90.11/46.15	c cleaning 25996 clauses out of 52003 with flag 774690/368391
99.41/50.74	c cleaning 26999 clauses out of 54009 with flag 833844/396393
109.60/55.81	c cleaning 28003 clauses out of 56008 with flag 895095/425391
121.07/61.60	c cleaning 29000 clauses out of 58005 with flag 958392/455391
132.28/67.18	c cleaning 29997 clauses out of 60004 with flag 1023769/486390
144.35/73.18	c cleaning 31004 clauses out of 62009 with flag 1091413/518392
157.74/79.89	c cleaning 32002 clauses out of 64003 with flag 1160971/551390
166.83/84.38	c And the winner is solver0
167.16/84.80	c Got one! Elapsed wall clock time (in seconds):84.675
167.16/84.80	o -24
171.34/86.90	c cleaning 30239 clauses out of 60478 with flag 10683/579867
173.54/87.96	c cleaning 18120 clauses out of 36240 with flag 23246/585868
174.95/88.70	c cleaning 12560 clauses out of 25119 with flag 37866/592867
176.56/89.42	c cleaning 10279 clauses out of 20558 with flag 54584/600866
177.96/90.13	c cleaning 9639 clauses out of 19280 with flag 73443/609867
179.55/90.90	c cleaning 9814 clauses out of 19641 with flag 94343/619867
181.21/91.76	c cleaning 10405 clauses out of 20828 with flag 117329/630868
183.41/92.86	c cleaning 11212 clauses out of 22423 with flag 142995/642868
186.21/94.28	c cleaning 12105 clauses out of 24209 with flag 170625/655866
189.81/96.04	c cleaning 13048 clauses out of 26104 with flag 200918/669866
193.82/98.07	c cleaning 14027 clauses out of 28057 with flag 233470/684867
197.81/100.07	c cleaning 15013 clauses out of 30030 with flag 268274/700867
202.26/102.26	c cleaning 16007 clauses out of 32019 with flag 304822/717869
207.08/104.61	c cleaning 17001 clauses out of 34009 with flag 344387/735866
211.86/107.03	c cleaning 18002 clauses out of 36013 with flag 385487/754871
216.66/109.46	c cleaning 19005 clauses out of 38009 with flag 427926/774869
221.72/111.96	c cleaning 20001 clauses out of 40002 with flag 472125/795867
228.31/115.21	c cleaning 20996 clauses out of 42000 with flag 518649/817866
235.92/119.08	c cleaning 21996 clauses out of 44004 with flag 567159/840866
242.96/122.58	c cleaning 22996 clauses out of 46008 with flag 617612/864866
249.75/125.91	c cleaning 24000 clauses out of 48012 with flag 670254/889866
258.35/130.20	c cleaning 24999 clauses out of 50012 with flag 725627/915866
270.01/136.03	c cleaning 26000 clauses out of 52013 with flag 788856/942866
284.88/143.46	c cleaning 26999 clauses out of 54013 with flag 862009/970866
302.34/152.14	c cleaning 28000 clauses out of 56014 with flag 935745/999866
322.39/162.17	c cleaning 29002 clauses out of 58015 with flag 1010200/1029867
340.85/171.35	c cleaning 30006 clauses out of 60012 with flag 1085549/1060866
358.90/180.31	c cleaning 31004 clauses out of 62008 with flag 1159408/1092868
377.13/189.49	c cleaning 31996 clauses out of 64005 with flag 1232993/1125869
402.41/202.07	c cleaning 33001 clauses out of 66006 with flag 1314277/1159866
434.11/217.82	c cleaning 33997 clauses out of 68006 with flag 1401865/1194867
462.80/232.18	c cleaning 35004 clauses out of 70009 with flag 1489078/1230867
487.46/244.41	c cleaning 36002 clauses out of 72005 with flag 1573127/1267867
498.70/250.05	c cleaning 0 clauses out of 10877 with flag 0/10879
511.02/256.12	c cleaning 36999 clauses out of 74003 with flag 1653768/1305867
546.34/273.73	c cleaning 37995 clauses out of 76005 with flag 1749432/1344868
586.78/293.83	c cleaning 39005 clauses out of 78009 with flag 1853379/1384867
627.55/314.41	c cleaning 40002 clauses out of 80005 with flag 1950728/1425868
662.92/332.05	c cleaning 41001 clauses out of 82002 with flag 2048521/1467867
706.51/353.71	c cleaning 41997 clauses out of 84000 with flag 2150520/1510866
758.12/379.48	c cleaning 43002 clauses out of 86004 with flag 2256400/1554867
804.18/402.31	c cleaning 44000 clauses out of 88003 with flag 2368028/1599868
842.97/421.61	c cleaning 44998 clauses out of 90002 with flag 2468382/1645867
890.02/445.09	c cleaning 45999 clauses out of 92003 with flag 2573138/1692866
925.01/462.48	c cleaning 47002 clauses out of 94005 with flag 2675427/1740867
959.50/479.90	c cleaning 47997 clauses out of 96003 with flag 2780158/1789867
989.03/494.61	c cleaning 49001 clauses out of 98005 with flag 2886370/1839866
1018.81/509.42	c cleaning 50003 clauses out of 100005 with flag 2994324/1890867
1051.76/525.88	c cleaning 50995 clauses out of 102002 with flag 3105054/1942867
1087.11/543.45	c cleaning 51998 clauses out of 104006 with flag 3217725/1995866
1124.29/561.90	c cleaning 52999 clauses out of 106009 with flag 3331909/2049867
1158.44/578.99	c cleaning 53997 clauses out of 108009 with flag 3447413/2104866
1180.36/589.85	c And the winner is solver1
1180.63/590.11	c Got one! Elapsed wall clock time (in seconds):589.987
1180.63/590.11	o -25
1188.28/594.00	c cleaning 50156 clauses out of 100327 with flag 12513/2151181
1193.13/596.34	c cleaning 28075 clauses out of 56171 with flag 26877/2157181
1195.71/597.62	c cleaning 17542 clauses out of 35096 with flag 44244/2164181
1197.71/598.65	c cleaning 12777 clauses out of 25553 with flag 64577/2172180
1199.52/599.58	c cleaning 10881 clauses out of 21776 with flag 86051/2181180
1201.51/600.51	c cleaning 10441 clauses out of 20895 with flag 110350/2191180
1203.74/601.69	c cleaning 10726 clauses out of 21454 with flag 137906/2202180
1206.35/602.99	c cleaning 11364 clauses out of 22730 with flag 167532/2214182
1209.54/604.51	c cleaning 12182 clauses out of 24364 with flag 200185/2227180
1213.21/606.32	c cleaning 13085 clauses out of 26182 with flag 235993/2241180
1217.01/608.27	c cleaning 14050 clauses out of 28099 with flag 273930/2256182
1221.62/610.54	c cleaning 15024 clauses out of 30050 with flag 315101/2272183
1227.06/613.29	c cleaning 16009 clauses out of 32024 with flag 357791/2289181
1233.48/616.45	c cleaning 17004 clauses out of 34016 with flag 403827/2307182
1239.30/619.39	c cleaning 18001 clauses out of 36010 with flag 450370/2326180
1247.32/623.37	c cleaning 19004 clauses out of 38010 with flag 499238/2346181
1256.02/627.69	c cleaning 19997 clauses out of 40006 with flag 552427/2367181
1264.87/632.08	c cleaning 21004 clauses out of 42009 with flag 609035/2389181
1274.32/636.79	c cleaning 21996 clauses out of 44006 with flag 669675/2412182
1287.05/643.02	c cleaning 23002 clauses out of 46010 with flag 734115/2436182
1300.72/649.89	c cleaning 24003 clauses out of 48006 with flag 801102/2461180
1318.02/658.48	c cleaning 25001 clauses out of 50004 with flag 869990/2487181
1331.22/665.08	c cleaning 25993 clauses out of 52002 with flag 935972/2514180
1348.33/673.93	c cleaning 27000 clauses out of 54011 with flag 1010478/2542182
1367.96/683.73	c cleaning 28005 clauses out of 56010 with flag 1089264/2571181
1387.65/693.54	c cleaning 29001 clauses out of 58005 with flag 1171384/2601181
1408.16/703.70	c cleaning 29999 clauses out of 60004 with flag 1256772/2632181
1426.24/712.73	c cleaning 31003 clauses out of 62005 with flag 1343487/2664181
1448.33/723.79	c cleaning 31995 clauses out of 64002 with flag 1432543/2697181
1472.30/735.62	c cleaning 32995 clauses out of 66006 with flag 1520760/2731180
1500.23/749.58	c cleaning 34002 clauses out of 68012 with flag 1610997/2766181
1533.55/766.12	c cleaning 35002 clauses out of 70009 with flag 1707806/2802180
1568.76/783.67	c cleaning 36000 clauses out of 72007 with flag 1808370/2839180
1600.32/799.34	c cleaning 37005 clauses out of 74009 with flag 1911757/2877182
1634.50/816.31	c cleaning 37994 clauses out of 76002 with flag 2019316/2916180
1667.65/832.81	c cleaning 39001 clauses out of 78008 with flag 2125375/2956180
1700.15/849.05	c cleaning 40002 clauses out of 80008 with flag 2231208/2997181
1737.96/867.82	c cleaning 41003 clauses out of 82005 with flag 2341224/3039180
1779.74/888.60	c cleaning 41998 clauses out of 84006 with flag 2458923/3082184
1800.03/898.71	c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<<
1800.03/898.71	c starts		: 23651
1800.03/898.71	c conflicts		: 3110223
1800.03/898.71	c decisions		: 4184894
1800.03/898.71	c propagations		: 18735545
1800.03/898.71	c inspects		: 11757008113
1800.03/898.71	c shortcuts		: 0
1800.03/898.71	c learnt literals	: 0
1800.03/898.71	c learnt binary clauses	: 0
1800.03/898.71	c learnt ternary clauses	: 0
1800.03/898.71	c learnt constraints	: 3110223
1800.03/898.71	c ignored constraints	: 0
1800.03/898.71	c root simplifications	: 0
1800.03/898.71	c removed literals (reason simplification)	: 75768014
1800.03/898.71	c reason swapping (by a shorter reason)	: 0
1800.03/898.71	c Calls to reduceDB	: 119
1800.03/898.71	c Number of update (reduction) of LBD	: 116426
1800.03/898.71	c Imported unit clauses	: 0
1800.03/898.71	c number of reductions to clauses (during analyze)	: 0
1800.03/898.71	c number of learned constraints concerned by reduction	: 0
1800.03/898.71	c number of learning phase by resolution	: 0
1800.03/898.71	c number of learning phase by cutting planes	: 0
1800.03/898.71	c speed (assignments/second)	: 60711.61928586937
1800.03/898.71	c non guided choices	0
1800.03/898.74	c learnt constraints type 
1800.03/898.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 70047
1800.03/898.74	c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<<
1800.03/898.74	c starts		: 69
1800.03/898.74	c conflicts		: 19436
1800.03/898.74	c decisions		: 22026
1800.03/898.74	c propagations		: 168513
1800.03/898.74	c inspects		: 875392259
1800.03/898.74	c shortcuts		: 0
1800.03/898.74	c learnt literals	: 0
1800.03/898.74	c learnt binary clauses	: 0
1800.03/898.74	c learnt ternary clauses	: 0
1800.03/898.74	c learnt constraints	: 19433
1800.03/898.74	c ignored constraints	: 0
1800.03/898.74	c root simplifications	: 0
1800.03/898.74	c removed literals (reason simplification)	: 0
1800.03/898.74	c reason swapping (by a shorter reason)	: 0
1800.03/898.74	c Calls to reduceDB	: 2
1800.03/898.74	c Number of update (reduction) of LBD	: 0
1800.03/898.74	c Imported unit clauses	: 0
1800.03/898.74	c number of reductions to clauses (during analyze)	: 0
1800.03/898.74	c number of learned constraints concerned by reduction	: 0
1800.03/898.74	c number of learning phase by resolution	: 0
1800.03/898.74	c number of learning phase by cutting planes	: 0
1800.03/898.74	c speed (assignments/second)	: 207.1156242855984
1800.03/898.74	c non guided choices	0
1800.03/898.74	c learnt constraints type 
1800.03/898.74	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 295
1800.03/898.74	c org.sat4j.pb.constraints.pb.MaxWatchPb => 19138
1800.03/898.74	s SATISFIABLE
1800.03/898.74	c Found 7 solution(s)
1800.03/898.74	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 
1800.03/898.74	c objective function=-25
1800.03/898.74	c Total wall clock time (in seconds): 898.622

Verifier Data 

OK	-25

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-4106722-1466276262/watcher-4106722-1466276262 -o /tmp/evaluation-result-4106722-1466276262/solver-4106722-1466276262 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466264922-3637 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106722-1466276262.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.43 4.35 4.30 4/197 10427
/proc/meminfo: memFree=26956676/32872528 swapFree=1286400/1433568
[pid=10427] ppid=10424 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/10427/stat : 10427 (java) S 10424 10427 3621 0 -1 4202496 1294 0 0 0 0 0 0 0 20 0 2 0 29672936 95129600 927 33554432000 1073741824 1073778376 140733687182336 140733687173472 214373007421 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10427/statm: 23225 927 703 9 0 16769 0
[pid=10427/tid=10428] ppid=10424 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10428/stat : 10428 (java) R 10424 10427 3621 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 2 0 29672936 98635776 940 33554432000 1073741824 1073778376 140733687182336 140617424743976 214360489544 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 4.43 4.35 4.30 4/197 10427
/proc/meminfo: memFree=26956676/32872528 swapFree=1286400/1433568
[pid=10427] ppid=10424 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/10427/stat : 10427 (java) S 10424 10427 3621 0 -1 4202496 4485 0 1 0 8 1 0 0 20 0 18 0 29672936 9787879424 5582 33554432000 1073741824 1073778376 140733687182336 140733687173472 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10427/statm: 2389619 5582 2125 9 0 2380296 0
[pid=10427/tid=10428] ppid=10424 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/10427/task/10428/stat : 10428 (java) R 10424 10427 3621 0 -1 4202560 2419 0 1 0 7 0 0 0 20 0 18 0 29672936 9787879424 5582 33554432000 1073741824 1073778376 140733687182336 140617424720512 140617414811499 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200306 s]
/proc/loadavg: 4.43 4.35 4.30 4/197 10427
/proc/meminfo: memFree=26956676/32872528 swapFree=1286400/1433568
[pid=10427] ppid=10424 vsize=9558476 CPUtime=0.21 cores=0,2,4,6
/proc/10427/stat : 10427 (java) S 10424 10427 3621 0 -1 4202496 4657 0 1 0 20 1 0 0 20 0 18 0 29672936 9787879424 6745 33554432000 1073741824 1073778376 140733687182336 140733687173472 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10427/statm: 2389619 6745 2197 9 0 2380296 0
[pid=10427/tid=10428] ppid=10424 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/10427/task/10428/stat : 10428 (java) R 10424 10427 3621 0 -1 4202560 2447 0 1 0 17 0 0 0 20 0 18 0 29672936 9787879424 6745 33554432000 1073741824 1073778376 140733687182336 140617424748760 140617431405200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476

[startup+0.300349 s]
/proc/loadavg: 4.43 4.35 4.30 4/197 10427
/proc/meminfo: memFree=26956676/32872528 swapFree=1286400/1433568
[pid=10427] ppid=10424 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/10427/stat : 10427 (java) S 10424 10427 3621 0 -1 4202496 6219 0 1 0 39 1 0 0 20 0 19 0 29672936 10060525568 9175 33554432000 1073741824 1073778376 140733687182336 140733687173472 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10427/statm: 2456183 9175 2235 9 0 2446860 0
[pid=10427/tid=10428] ppid=10424 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/10427/task/10428/stat : 10428 (java) S 10424 10427 3621 0 -1 4202560 2482 0 1 0 24 0 0 0 20 0 19 0 29672936 10060525568 9175 33554432000 1073741824 1073778376 140733687182336 140617424749432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 9824732

[startup+0.700297 s]
/proc/loadavg: 4.43 4.35 4.30 4/197 10427
/proc/meminfo: memFree=26956676/32872528 swapFree=1286400/1433568
[pid=10427] ppid=10424 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/10427/stat : 10427 (java) S 10424 10427 3621 0 -1 4202496 6219 0 1 0 39 1 0 0 20 0 19 0 29672936 10060525568 9175 33554432000 1073741824 1073778376 140733687182336 140733687173472 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10427/statm: 2456183 9175 2235 9 0 2446860 0
[pid=10427/tid=10428] ppid=10424 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/10427/task/10428/stat : 10428 (java) S 10424 10427 3621 0 -1 4202560 2482 0 1 0 24 0 0 0 20 0 19 0 29672936 10060525568 9175 33554432000 1073741824 1073778376 140733687182336 140617424749432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 9824732

[startup+1.50087 s]
/proc/loadavg: 4.43 4.35 4.30 3/216 10452
/proc/meminfo: memFree=26921712/32872528 swapFree=1286400/1433568
[pid=10427] ppid=10424 vsize=9824732 CPUtime=0.68 cores=0,2,4,6
/proc/10427/stat : 10427 (java) S 10424 10427 3621 0 -1 4202496 9135 0 1 0 64 4 0 0 20 0 19 0 29672936 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140733687173472 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10427/statm: 2456183 12750 2249 9 0 2446860 0
[pid=10427/tid=10428] ppid=10424 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/10427/task/10428/stat : 10428 (java) S 10424 10427 3621 0 -1 4202560 2482 0 1 0 24 0 0 0 20 0 19 0 29672936 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617424749432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10430] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10430/stat : 10430 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29672937 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617268636328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10431] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10431/stat : 10431 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29672937 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617267583784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10432] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10432/stat : 10432 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29672937 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617266531240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10433] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10433/stat : 10433 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29672937 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617265478696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10434] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10434/stat : 10434 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29672937 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617264425128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10435] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10435/stat : 10435 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29672937 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617263372584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10436] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10436/stat : 10436 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29672937 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617262320040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10437] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10437/stat : 10437 (java) S 10424 10427 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29672937 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617261267496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10438] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10438/stat : 10438 (java) S 10424 10427 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29672938 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617248856680 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10439] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10439/stat : 10439 (java) S 10424 10427 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29672939 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617247803000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10440] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10440/stat : 10440 (java) S 10424 10427 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29672939 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617246750344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10441] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10441/stat : 10441 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29672941 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617245699088 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10442] ppid=10424 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/10427/task/10442/stat : 10442 (java) S 10424 10427 3621 0 -1 4202560 3011 0 0 0 17 0 0 0 20 0 19 0 29672941 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617244645432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10443] ppid=10424 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/10427/task/10443/stat : 10443 (java) S 10424 10427 3621 0 -1 4202560 2293 0 0 0 18 0 0 0 20 0 19 0 29672941 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617243592888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10444] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10444/stat : 10444 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29672941 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617242540536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10445] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10445/stat : 10445 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29672941 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617241488200 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10448] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10448/stat : 10448 (java) S 10424 10427 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29672963 10060525568 12750 33554432000 1073741824 1073778376 140733687182336 140617238328872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9824732

[startup+3.10079 s]
/proc/loadavg: 4.43 4.35 4.30 3/216 10458
/proc/meminfo: memFree=26891380/32872528 swapFree=1286400/1433568
[pid=10427] ppid=10424 vsize=9824732 CPUtime=2.55 cores=0,2,4,6
/proc/10427/stat : 10427 (java) S 10424 10427 3621 0 -1 4202496 16333 0 1 0 246 9 0 0 20 0 22 0 29672936 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140733687173472 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10427/statm: 2456183 44819 2282 9 0 2446860 0
[pid=10427/tid=10428] ppid=10424 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/10427/task/10428/stat : 10428 (java) S 10424 10427 3621 0 -1 4202560 2482 0 1 0 24 0 0 0 20 0 22 0 29672936 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617424749432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10430] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10430/stat : 10430 (java) S 10424 10427 3621 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 29672937 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617268636328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10431] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10431/stat : 10431 (java) S 10424 10427 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29672937 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617267583784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10432] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10432/stat : 10432 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29672937 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617266531240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10433] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10433/stat : 10433 (java) S 10424 10427 3621 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 29672937 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617265478696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10434] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10434/stat : 10434 (java) S 10424 10427 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29672937 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617264425128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10435] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10435/stat : 10435 (java) S 10424 10427 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29672937 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617263372584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10436] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10436/stat : 10436 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29672937 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617262320040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10437] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10437/stat : 10437 (java) S 10424 10427 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29672937 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617261267496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10438] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10438/stat : 10438 (java) S 10424 10427 3621 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 29672938 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617248856680 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10439] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10439/stat : 10439 (java) S 10424 10427 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29672939 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617247803000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10440] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10440/stat : 10440 (java) S 10424 10427 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29672939 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617246750344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10441] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10441/stat : 10441 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29672941 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617245699088 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10442] ppid=10424 vsize=9824732 CPUtime=0.65 cores=0,2,4,6
/proc/10427/task/10442/stat : 10442 (java) S 10424 10427 3621 0 -1 4202560 6853 0 0 0 63 2 0 0 20 0 22 0 29672941 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617244645432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10443] ppid=10424 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/10427/task/10443/stat : 10443 (java) S 10424 10427 3621 0 -1 4202560 5536 0 0 0 69 2 0 0 20 0 22 0 29672941 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617243592888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10444] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10444/stat : 10444 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29672941 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617242540536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10445] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10445/stat : 10445 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29672941 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617241488200 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10458] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10458/stat : 10458 (java) S 10424 10427 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29673113 10060525568 44819 33554432000 1073741824 1073778376 140733687182336 140617239380776 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 9824732

[startup+6.30095 s]
/proc/loadavg: 4.40 4.34 4.30 7/219 10464
/proc/meminfo: memFree=26596592/32872528 swapFree=1286400/1433568
[pid=10427] ppid=10424 vsize=9824732 CPUtime=9.38 cores=0,2,4,6
/proc/10427/stat : 10427 (java) S 10424 10427 3621 0 -1 4202496 16895 0 1 0 918 20 0 0 20 0 22 0 29672936 10060525568 107229 33554432000 1073741824 1073778376 140733687182336 140733687173472 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10427/statm: 2456183 107229 2284 9 0 2446860 0
[pid=10427/tid=10428] ppid=10424 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/10427/task/10428/stat : 10428 (java) S 10424 10427 3621 0 -1 4202560 2482 0 1 0 24 0 0 0 20 0 22 0 29672936 10060525568 107229 33554432000 1073741824 1073778376 140733687182336 140617424749432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10430] ppid=10424 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/10427/task/10430/stat : 10430 (java) S 10424 10427 3621 0 -1 4202560 36 0 0 0 3 0 0 0 20 0 22 0 29672937 10060525568 107229 33554432000 1073741824 1073778376 140733687182336 140617268636328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10431] ppid=10424 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/10427/task/10431/stat : 10431 (java) S 10424 10427 3621 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 22 0 29672937 10060525568 107229 33554432000 1073741824 1073778376 140733687182336 140617267583784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10432] ppid=10424 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/10427/task/10432/stat : 10432 (java) S 10424 10427 3621 0 -1 4202560 41 0 0 0 3 2 0 0 20 0 22 0 29672937 10060525568 107229 33554432000 1073741824 1073778376 140733687182336 140617266531240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10433] ppid=10424 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/10427/task/10433/stat : 10433 (java) S 10424 10427 3621 0 -1 4202560 28 0 0 0 5 0 0 0 20 0 22 0 29672937 10060525568 107229 33554432000 1073741824 1073778376 140733687182336 140617265478696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10434] ppid=10424 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/10427/task/10434/stat : 10434 (java) S 10424 10427 3621 0 -1 4202560 41 0 0 0 3 2 0 0 20 0 22 0 29672937 10060525568 107229 33554432000 1073741824 1073778376 140733687182336 140617264425128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10435] ppid=10424 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/10427/task/10435/stat : 10435 (java) S 10424 10427 3621 0 -1 4202560 45 0 0 0 6 1 0 0 20 0 22 0 29672937 10060525568 107229 33554432000 1073741824 1073778376 140733687182336 140617263372584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10436] ppid=10424 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/10427/task/10436/stat : 10436 (java) S 10424 10427 3621 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 22 0 29672937 10060525568 107229 33554432000 1073741824 1073778376 140733687182336 140617262320040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10437] ppid=10424 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10427/task/10437/stat : 10437 (java) S 10424 10427 3621 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 29672937 10060525568 107229 33554432000 1073741824 1073778376 140733687182336 140617261267496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10438] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10438/stat : 10438 (java) S 10424 10427 3621 0 -1 4202560 204 0 0 0 0 0 0 0 20 0 22 0 29672938 10060525568 107229 33554432000 1073741824 1073778376 140733687182336 140617248856680 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10439] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10439/stat : 10439 (java) S 10424 10427 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29672939 10060525568 107229 33554432000 1073741824 1073778376 140733687182336 140617247803000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10440] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10440/stat : 10440 (java) S 10424 10427 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29672939 10060525568 107229 33554432000 1073741824 1073778376 140733687182336 140617246750344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10441] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10441/stat : 10441 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29672941 10060525568 107229 33554432000 1073741824 1073778376 140733687182336 140617245699088 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10442] ppid=10424 vsize=9824732 CPUtime=0.72 cores=0,2,4,6
/proc/10427/task/10442/stat : 10442 (java) S 10424 10427 3621 0 -1 4202560 6858 0 0 0 70 2 0 0 20 0 22 0 29672941 10060525568 107229 33554432000 1073741824 1073778376 140733687182336 140617244645432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10443] ppid=10424 vsize=9824732 CPUtime=0.92 cores=0,2,4,6

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

[startup+882.308 s]
/proc/loadavg: 4.20 4.17 4.21 6/219 10624
/proc/meminfo: memFree=25494828/32872528 swapFree=1286400/1433568
[pid=10427] ppid=10424 vsize=9824732 CPUtime=1767.09 cores=0,2,4,6
/proc/10427/stat : 10427 (java) S 10424 10427 3621 0 -1 4202496 27082 0 1 0 176545 164 0 0 20 0 22 0 29672936 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140733687173472 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10427/statm: 2456183 562758 2293 9 0 2446860 0
[pid=10427/tid=10428] ppid=10424 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/10427/task/10428/stat : 10428 (java) S 10424 10427 3621 0 -1 4202560 2485 0 1 0 26 3 0 0 20 0 22 0 29672936 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617424749432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10430] ppid=10424 vsize=9824732 CPUtime=2.52 cores=0,2,4,6
/proc/10427/task/10430/stat : 10430 (java) S 10424 10427 3621 0 -1 4202560 384 0 0 0 243 9 0 0 20 0 22 0 29672937 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617268636328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10431] ppid=10424 vsize=9824732 CPUtime=2.38 cores=0,2,4,6
/proc/10427/task/10431/stat : 10431 (java) S 10424 10427 3621 0 -1 4202560 371 0 0 0 231 7 0 0 20 0 22 0 29672937 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617267583784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10432] ppid=10424 vsize=9824732 CPUtime=2.67 cores=0,2,4,6
/proc/10427/task/10432/stat : 10432 (java) S 10424 10427 3621 0 -1 4202560 385 0 0 0 260 7 0 0 20 0 22 0 29672937 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617266531240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10433] ppid=10424 vsize=9824732 CPUtime=2.42 cores=0,2,4,6
/proc/10427/task/10433/stat : 10433 (java) S 10424 10427 3621 0 -1 4202560 364 0 0 0 234 8 0 0 20 0 22 0 29672937 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617265478696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10434] ppid=10424 vsize=9824732 CPUtime=2.52 cores=0,2,4,6
/proc/10427/task/10434/stat : 10434 (java) S 10424 10427 3621 0 -1 4202560 444 0 0 0 241 11 0 0 20 0 22 0 29672937 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617264425128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10435] ppid=10424 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/10427/task/10435/stat : 10435 (java) S 10424 10427 3621 0 -1 4202560 424 0 0 0 233 10 0 0 20 0 22 0 29672937 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617263372584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10436] ppid=10424 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/10427/task/10436/stat : 10436 (java) S 10424 10427 3621 0 -1 4202560 390 0 0 0 233 10 0 0 20 0 22 0 29672937 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617262320040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10437] ppid=10424 vsize=9824732 CPUtime=2.36 cores=0,2,4,6
/proc/10427/task/10437/stat : 10437 (java) S 10424 10427 3621 0 -1 4202560 372 0 0 0 229 7 0 0 20 0 22 0 29672937 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617261267496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10438] ppid=10424 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/10427/task/10438/stat : 10438 (java) S 10424 10427 3621 0 -1 4202560 1477 0 0 0 211 17 0 0 20 0 22 0 29672938 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617248856680 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10439] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10439/stat : 10439 (java) S 10424 10427 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29672939 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617247803000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10440] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10440/stat : 10440 (java) S 10424 10427 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29672939 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617246750344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10441] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10441/stat : 10441 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29672941 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617245699088 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10442] ppid=10424 vsize=9824732 CPUtime=0.77 cores=0,2,4,6
/proc/10427/task/10442/stat : 10442 (java) S 10424 10427 3621 0 -1 4202560 6866 0 0 0 75 2 0 0 20 0 22 0 29672941 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617244645432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10443] ppid=10424 vsize=9824732 CPUtime=1.89 cores=0,2,4,6
/proc/10427/task/10443/stat : 10443 (java) S 10424 10427 3621 0 -1 4202560 10293 0 0 0 186 3 0 0 20 0 22 0 29672941 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617243592888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10444] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10444/stat : 10444 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29672941 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617242540536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10445] ppid=10424 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/10427/task/10445/stat : 10445 (java) S 10424 10427 3621 0 -1 4202560 51 0 0 0 16 18 0 0 20 0 22 0 29672941 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617241488200 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10469] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10469/stat : 10469 (java) S 10424 10427 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29681448 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617239380904 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10505] ppid=10424 vsize=9824732 CPUtime=289.41 cores=0,2,4,6
/proc/10427/task/10505/stat : 10505 (java) R 10424 10427 3621 0 -1 4202560 12 0 0 0 28937 4 0 0 20 0 22 0 29731947 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617238326688 140617364958423 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10506] ppid=10424 vsize=9824732 CPUtime=289.38 cores=0,2,4,6
/proc/10427/task/10506/stat : 10506 (java) R 10424 10427 3621 0 -1 4202560 54 0 0 0 28934 4 0 0 20 0 22 0 29731947 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617237273376 140617365655137 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10507] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10507/stat : 10507 (java) S 10424 10427 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29731947 10060525568 562758 33554432000 1073741824 1073778376 140733687182336 140617240433960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1767.09
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.701 s]
/proc/loadavg: 4.22 4.18 4.21 5/219 10624
/proc/meminfo: memFree=25542360/32872528 swapFree=1286400/1433568
[pid=10427] ppid=10424 vsize=9824732 CPUtime=1800.03 cores=0,2,4,6
/proc/10427/stat : 10427 (java) S 10424 10427 3621 0 -1 4202496 27107 0 1 0 179837 166 0 0 20 0 22 0 29672936 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140733687173472 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10427/statm: 2456183 563349 2293 9 0 2446860 0
[pid=10427/tid=10428] ppid=10424 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/10427/task/10428/stat : 10428 (java) S 10424 10427 3621 0 -1 4202560 2485 0 1 0 26 3 0 0 20 0 22 0 29672936 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617424749432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10430] ppid=10424 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/10427/task/10430/stat : 10430 (java) S 10424 10427 3621 0 -1 4202560 385 0 0 0 245 9 0 0 20 0 22 0 29672937 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617268636328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10431] ppid=10424 vsize=9824732 CPUtime=2.41 cores=0,2,4,6
/proc/10427/task/10431/stat : 10431 (java) S 10424 10427 3621 0 -1 4202560 372 0 0 0 234 7 0 0 20 0 22 0 29672937 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617267583784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10432] ppid=10424 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/10427/task/10432/stat : 10432 (java) S 10424 10427 3621 0 -1 4202560 386 0 0 0 264 7 0 0 20 0 22 0 29672937 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617266531240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10433] ppid=10424 vsize=9824732 CPUtime=2.47 cores=0,2,4,6
/proc/10427/task/10433/stat : 10433 (java) S 10424 10427 3621 0 -1 4202560 371 0 0 0 239 8 0 0 20 0 22 0 29672937 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617265478696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10434] ppid=10424 vsize=9824732 CPUtime=2.56 cores=0,2,4,6
/proc/10427/task/10434/stat : 10434 (java) S 10424 10427 3621 0 -1 4202560 447 0 0 0 245 11 0 0 20 0 22 0 29672937 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617264425128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10435] ppid=10424 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/10427/task/10435/stat : 10435 (java) S 10424 10427 3621 0 -1 4202560 428 0 0 0 237 11 0 0 20 0 22 0 29672937 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617263372584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10436] ppid=10424 vsize=9824732 CPUtime=2.45 cores=0,2,4,6
/proc/10427/task/10436/stat : 10436 (java) S 10424 10427 3621 0 -1 4202560 390 0 0 0 235 10 0 0 20 0 22 0 29672937 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617262320040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10437] ppid=10424 vsize=9824732 CPUtime=2.39 cores=0,2,4,6
/proc/10427/task/10437/stat : 10437 (java) S 10424 10427 3621 0 -1 4202560 377 0 0 0 232 7 0 0 20 0 22 0 29672937 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617261267496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10438] ppid=10424 vsize=9824732 CPUtime=2.29 cores=0,2,4,6
/proc/10427/task/10438/stat : 10438 (java) S 10424 10427 3621 0 -1 4202560 1477 0 0 0 212 17 0 0 20 0 22 0 29672938 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617248856680 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10439] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10439/stat : 10439 (java) S 10424 10427 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29672939 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617247803000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10440] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10440/stat : 10440 (java) S 10424 10427 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29672939 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617246750344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10441] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10441/stat : 10441 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29672941 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617245699088 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10442] ppid=10424 vsize=9824732 CPUtime=0.77 cores=0,2,4,6
/proc/10427/task/10442/stat : 10442 (java) S 10424 10427 3621 0 -1 4202560 6866 0 0 0 75 2 0 0 20 0 22 0 29672941 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617244645432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10443] ppid=10424 vsize=9824732 CPUtime=1.89 cores=0,2,4,6
/proc/10427/task/10443/stat : 10443 (java) S 10424 10427 3621 0 -1 4202560 10293 0 0 0 186 3 0 0 20 0 22 0 29672941 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617243592888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10444] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10444/stat : 10444 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29672941 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617242540536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10445] ppid=10424 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/10427/task/10445/stat : 10445 (java) S 10424 10427 3621 0 -1 4202560 51 0 0 0 17 18 0 0 20 0 22 0 29672941 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617241488200 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10469] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10469/stat : 10469 (java) S 10424 10427 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29681448 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617239380904 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10505] ppid=10424 vsize=9824732 CPUtime=305.73 cores=0,2,4,6
/proc/10427/task/10505/stat : 10505 (java) R 10424 10427 3621 0 -1 4202560 12 0 0 0 30569 4 0 0 20 0 22 0 29731947 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617238326688 140617364958423 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10506] ppid=10424 vsize=9824732 CPUtime=305.7 cores=0,2,4,6
/proc/10427/task/10506/stat : 10506 (java) R 10424 10427 3621 0 -1 4202560 57 0 0 0 30566 4 0 0 20 0 22 0 29731947 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617237273376 140617365031915 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10507] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10507/stat : 10507 (java) S 10424 10427 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29731947 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617240433960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 10427 sig 9
??? kill -10427 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+898.701 s]
/proc/loadavg: 4.22 4.18 4.21 5/219 10624
/proc/meminfo: memFree=25542360/32872528 swapFree=1286400/1433568
[pid=10427] ppid=10424 vsize=9824732 CPUtime=1800.03 cores=0,2,4,6
/proc/10427/stat : 10427 (java) S 10424 10427 3621 0 -1 4202496 27107 0 1 0 179837 166 0 0 20 0 22 0 29672936 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140733687173472 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10427/statm: 2456183 563349 2293 9 0 2446860 0
[pid=10427/tid=10428] ppid=10424 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/10427/task/10428/stat : 10428 (java) S 10424 10427 3621 0 -1 4202560 2485 0 1 0 26 3 0 0 20 0 22 0 29672936 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617424749432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10430] ppid=10424 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/10427/task/10430/stat : 10430 (java) S 10424 10427 3621 0 -1 4202560 385 0 0 0 245 9 0 0 20 0 22 0 29672937 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617268636328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10431] ppid=10424 vsize=9824732 CPUtime=2.41 cores=0,2,4,6
/proc/10427/task/10431/stat : 10431 (java) S 10424 10427 3621 0 -1 4202560 372 0 0 0 234 7 0 0 20 0 22 0 29672937 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617267583784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10432] ppid=10424 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/10427/task/10432/stat : 10432 (java) S 10424 10427 3621 0 -1 4202560 386 0 0 0 264 7 0 0 20 0 22 0 29672937 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617266531240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10433] ppid=10424 vsize=9824732 CPUtime=2.47 cores=0,2,4,6
/proc/10427/task/10433/stat : 10433 (java) S 10424 10427 3621 0 -1 4202560 371 0 0 0 239 8 0 0 20 0 22 0 29672937 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617265478696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10434] ppid=10424 vsize=9824732 CPUtime=2.56 cores=0,2,4,6
/proc/10427/task/10434/stat : 10434 (java) S 10424 10427 3621 0 -1 4202560 447 0 0 0 245 11 0 0 20 0 22 0 29672937 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617264425128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10435] ppid=10424 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/10427/task/10435/stat : 10435 (java) S 10424 10427 3621 0 -1 4202560 428 0 0 0 237 11 0 0 20 0 22 0 29672937 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617263372584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10436] ppid=10424 vsize=9824732 CPUtime=2.45 cores=0,2,4,6
/proc/10427/task/10436/stat : 10436 (java) S 10424 10427 3621 0 -1 4202560 390 0 0 0 235 10 0 0 20 0 22 0 29672937 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617262320040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10437] ppid=10424 vsize=9824732 CPUtime=2.39 cores=0,2,4,6
/proc/10427/task/10437/stat : 10437 (java) S 10424 10427 3621 0 -1 4202560 377 0 0 0 232 7 0 0 20 0 22 0 29672937 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617261267496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10438] ppid=10424 vsize=9824732 CPUtime=2.29 cores=0,2,4,6
/proc/10427/task/10438/stat : 10438 (java) S 10424 10427 3621 0 -1 4202560 1477 0 0 0 212 17 0 0 20 0 22 0 29672938 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617248856680 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10439] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10439/stat : 10439 (java) S 10424 10427 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29672939 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617247803000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10440] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10440/stat : 10440 (java) S 10424 10427 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29672939 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617246750344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10441] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10441/stat : 10441 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29672941 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617245699088 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10442] ppid=10424 vsize=9824732 CPUtime=0.77 cores=0,2,4,6
/proc/10427/task/10442/stat : 10442 (java) S 10424 10427 3621 0 -1 4202560 6866 0 0 0 75 2 0 0 20 0 22 0 29672941 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617244645432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10443] ppid=10424 vsize=9824732 CPUtime=1.89 cores=0,2,4,6
/proc/10427/task/10443/stat : 10443 (java) S 10424 10427 3621 0 -1 4202560 10293 0 0 0 186 3 0 0 20 0 22 0 29672941 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617243592888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10444] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10444/stat : 10444 (java) S 10424 10427 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29672941 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617242540536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10427/tid=10445] ppid=10424 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/10427/task/10445/stat : 10445 (java) S 10424 10427 3621 0 -1 4202560 51 0 0 0 17 18 0 0 20 0 22 0 29672941 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617241488200 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10469] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10469/stat : 10469 (java) S 10424 10427 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29681448 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617239380904 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10427/tid=10505] ppid=10424 vsize=9824732 CPUtime=305.73 cores=0,2,4,6
/proc/10427/task/10505/stat : 10505 (java) R 10424 10427 3621 0 -1 4202560 12 0 0 0 30569 4 0 0 20 0 22 0 29731947 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617238326688 140617364958423 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10427/tid=10506] ppid=10424 vsize=9824732 CPUtime=305.7 cores=0,2,4,6
/proc/10427/task/10506/stat : 10506 (java) R 10424 10427 3621 0 -1 4202560 57 0 0 0 30566 4 0 0 20 0 22 0 29731947 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617237273376 140617365031915 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10427/tid=10507] ppid=10424 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10427/task/10507/stat : 10507 (java) S 10424 10427 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29731947 10060525568 563349 33554432000 1073741824 1073778376 140733687182336 140617240433960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 898.769
CPU time (s): 1800.56
CPU user time (s): 1798.57
CPU system time (s): 1.9917
CPU usage (%): 200.336
Max. virtual memory (cumulated for all children) (KiB): 9825848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 1.9917
maximum resident set size= 2918516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27155
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27848
involuntary context switches= 45554

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.55116 second user time and 7.67583 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 20:57:42
IDJOB=4106722
IDBENCH=48206
IDSOLVER=2543
FILE ID=node130/4106722-1466276262
RUNJOBID= node130-1466264922-3637
PBS_JOBID= 19918227
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_4.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106722-1466276262/watcher-4106722-1466276262 -o /tmp/evaluation-result-4106722-1466276262/solver-4106722-1466276262 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466264922-3637 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4106722-1466276262.opb

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

MD5SUM BENCH= d0c1e6f66b584092ef8bd8f37f3a4db9
RANDOM SEED=1192923258

node130.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.365
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.73
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.365
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.365
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.365
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.365
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.365
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.53
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.365
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.365
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:        26957212 kB
Buffers:           52812 kB
Cached:           169872 kB
SwapCached:         1872 kB
Active:          3563784 kB
Inactive:         170112 kB
Active(anon):    3511648 kB
Inactive(anon):     2212 kB
Active(file):      52136 kB
Inactive(file):   167900 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098744 kB
Dirty:               888 kB
Writeback:             0 kB
AnonPages:       4987600 kB
Mapped:            15428 kB
Shmem:                 0 kB
Slab:             602112 kB
SReclaimable:      45292 kB
SUnreclaim:       556820 kB
KernelStack:        1784 kB
PageTables:        13692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5463296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3610624 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= 71748 MiB
End job on node130 at 2016-06-18 21:12:41