Trace number 4081241

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)-29 1800.07 891.37

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb
MD5SUM7f24dba3f3d4b877b96bd50f5b27c089
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark71.8311
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved YES
Number of variables595
Total number of constraints28143
Number of constraints which are clauses28143
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 595
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 595
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 595
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4081241-1465228608.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
1.63/0.71	c ... done. Wall clock time 0.588s.
1.63/0.71	c declared #vars     595
1.63/0.71	c #constraints  28143
1.63/0.71	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.63/0.71	c constraints type 
1.63/0.71	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 28143
1.63/0.71	c 28143 constraints processed.
1.63/0.71	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.63/0.71	c constraints type 
1.63/0.71	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 28143
1.63/0.71	c 28143 constraints processed.
1.63/0.71	c objective function length is 595 literals
1.63/0.72	c And the winner is solver0
1.97/1.21	c SATISFIABLE
1.97/1.21	c OPTIMIZING...
1.97/1.22	c Got one! Elapsed wall clock time (in seconds):1.094
1.97/1.22	o -24
1.97/1.23	c And the winner is solver0
2.05/1.72	c Got one! Elapsed wall clock time (in seconds):1.6
2.05/1.72	o -25
2.35/1.83	c And the winner is solver0
2.96/2.22	c Got one! Elapsed wall clock time (in seconds):2.103
2.96/2.22	o -26
2.96/2.23	c And the winner is solver0
2.99/2.72	c Got one! Elapsed wall clock time (in seconds):2.606
2.99/2.72	o -27
4.99/3.43	c cleaning 2607 clauses out of 5217 with flag 10875/5217
6.88/4.22	c cleaning 4305 clauses out of 8610 with flag 25049/11217
9.01/5.27	c cleaning 5653 clauses out of 11306 with flag 41572/18218
11.53/6.46	c cleaning 6826 clauses out of 13651 with flag 58814/26216
13.29/7.26	c And the winner is solver1
13.29/7.28	c Got one! Elapsed wall clock time (in seconds):7.165
13.29/7.28	o -28
15.40/8.27	c cleaning 8672 clauses out of 17350 with flag 12170/36741
17.50/9.25	c cleaning 7336 clauses out of 14676 with flag 27350/42739
19.73/10.31	c cleaning 7168 clauses out of 14340 with flag 44694/49739
22.55/11.69	c cleaning 7582 clauses out of 15174 with flag 64504/57741
25.55/13.14	c cleaning 8295 clauses out of 16592 with flag 85072/66741
29.36/14.98	c cleaning 9148 clauses out of 18296 with flag 109829/76740
33.36/16.97	c cleaning 10071 clauses out of 20147 with flag 136989/87739
38.91/19.90	c cleaning 11034 clauses out of 22077 with flag 165121/99740
44.09/22.41	c cleaning 12020 clauses out of 24043 with flag 197343/112740
49.59/25.15	c cleaning 13013 clauses out of 26025 with flag 229657/126742
57.03/28.84	c cleaning 14005 clauses out of 28010 with flag 260860/141740
64.98/32.79	c cleaning 15003 clauses out of 30005 with flag 294316/157740
73.99/37.14	c cleaning 16001 clauses out of 32001 with flag 329668/174739
82.79/41.59	c cleaning 17001 clauses out of 34001 with flag 367041/192740
93.43/47.11	c cleaning 17997 clauses out of 35999 with flag 406711/211739
103.23/52.05	c cleaning 19002 clauses out of 38003 with flag 448359/231740
114.72/57.76	c cleaning 20000 clauses out of 40000 with flag 492202/252739
126.10/63.35	c cleaning 20999 clauses out of 42000 with flag 537785/274739
137.70/69.11	c cleaning 22001 clauses out of 44003 with flag 585495/297741
150.88/75.67	c cleaning 0 clauses out of 5131 with flag 0/5131
151.45/75.90	c cleaning 23002 clauses out of 46003 with flag 635354/321742
167.59/83.72	c cleaning 23994 clauses out of 47998 with flag 687307/346739
181.93/90.87	c cleaning 25003 clauses out of 50006 with flag 741400/372741
199.69/100.19	c cleaning 26001 clauses out of 52003 with flag 797435/399741
216.10/108.35	c cleaning 26999 clauses out of 54001 with flag 855577/427740
233.54/117.01	c cleaning 27999 clauses out of 56002 with flag 915905/456740
254.03/127.24	c cleaning 29000 clauses out of 58002 with flag 978129/486739
275.00/137.65	c cleaning 29994 clauses out of 60002 with flag 1042514/517739
296.59/148.37	c cleaning 30998 clauses out of 62010 with flag 1108990/549741
320.07/159.85	c cleaning 31992 clauses out of 64011 with flag 1177508/582740
343.29/171.38	c cleaning 33006 clauses out of 66018 with flag 1247675/616739
367.34/183.29	c cleaning 34007 clauses out of 68014 with flag 1320387/651741
394.22/196.52	c cleaning 35005 clauses out of 70009 with flag 1394717/687743
422.49/210.32	c cleaning 36002 clauses out of 72003 with flag 1471507/724742
451.45/224.46	c cleaning 36991 clauses out of 74000 with flag 1550272/762741
479.67/238.13	c cleaning 38004 clauses out of 76008 with flag 1631317/801740
516.71/257.04	c cleaning 39002 clauses out of 78003 with flag 1714441/841739
544.88/271.06	c cleaning 39994 clauses out of 80001 with flag 1799657/882739
573.80/285.38	c cleaning 40999 clauses out of 82007 with flag 1886891/924739
604.61/300.59	c cleaning 41997 clauses out of 84008 with flag 1976315/967739
639.54/317.85	c cleaning 42998 clauses out of 86013 with flag 2067600/1011741
677.10/336.35	c cleaning 44007 clauses out of 88014 with flag 2161155/1056740
717.02/355.95	c cleaning 45004 clauses out of 90007 with flag 2257014/1102740
760.92/377.57	c cleaning 45999 clauses out of 92003 with flag 2354772/1149740
801.66/397.47	c cleaning 46997 clauses out of 94006 with flag 2453957/1197742
838.71/415.68	c cleaning 48005 clauses out of 96011 with flag 2554789/1246744
853.46/422.80	c cleaning 0 clauses out of 11133 with flag 0/11133
882.33/436.76	c cleaning 48999 clauses out of 98001 with flag 2658002/1296739
930.18/461.11	c cleaning 49997 clauses out of 100002 with flag 2763453/1347739
976.80/484.33	c cleaning 50993 clauses out of 102005 with flag 2870734/1399739
1029.14/510.20	c cleaning 52006 clauses out of 104012 with flag 2980772/1452739
1080.20/535.42	c And the winner is solver1
1080.40/535.78	c cleaning 52997 clauses out of 106006 with flag 3092921/1506739
1080.40/535.84	c Got one! Elapsed wall clock time (in seconds):535.725
1080.40/535.84	o -29
1083.51/537.41	c cleaning 28999 clauses out of 58010 with flag 11202/1511740
1086.11/538.73	c cleaning 17502 clauses out of 35011 with flag 24653/1517740
1088.51/539.96	c cleaning 12249 clauses out of 24508 with flag 41168/1524739
1091.12/541.27	c cleaning 10125 clauses out of 20259 with flag 60081/1532739
1094.28/542.73	c cleaning 9557 clauses out of 19134 with flag 81117/1541739
1097.28/544.22	c cleaning 9779 clauses out of 19578 with flag 103847/1551740
1100.88/546.00	c cleaning 10396 clauses out of 20801 with flag 129819/1562742
1105.07/548.15	c cleaning 11196 clauses out of 22402 with flag 157472/1574739
1110.51/550.76	c cleaning 12097 clauses out of 24206 with flag 188737/1587739
1116.51/553.74	c cleaning 13054 clauses out of 26109 with flag 224589/1601739
1123.33/557.02	c cleaning 14025 clauses out of 28055 with flag 261362/1616739
1130.14/560.48	c cleaning 15012 clauses out of 30030 with flag 298957/1632739
1137.75/564.21	c cleaning 15996 clauses out of 32018 with flag 338713/1649739
1147.02/568.72	c cleaning 17009 clauses out of 34022 with flag 384151/1667739
1155.81/573.16	c cleaning 18006 clauses out of 36014 with flag 429132/1686740
1166.29/578.24	c cleaning 18996 clauses out of 38007 with flag 476593/1706739
1178.04/583.94	c cleaning 20002 clauses out of 40012 with flag 527895/1727740
1189.44/589.65	c cleaning 21006 clauses out of 42012 with flag 579747/1749742
1203.15/596.38	c cleaning 22002 clauses out of 44003 with flag 634932/1772739
1217.84/603.54	c cleaning 22995 clauses out of 46002 with flag 692071/1796740
1236.18/612.59	c cleaning 23996 clauses out of 48006 with flag 754062/1821739
1254.35/621.46	c cleaning 24997 clauses out of 50012 with flag 815766/1847741
1272.04/630.18	c cleaning 26003 clauses out of 52014 with flag 878469/1874740
1292.00/639.93	c cleaning 27005 clauses out of 54011 with flag 944716/1902740
1313.15/650.37	c cleaning 28000 clauses out of 56005 with flag 1015153/1931739
1334.65/660.90	c cleaning 29001 clauses out of 58007 with flag 1088950/1961741
1358.69/672.63	c cleaning 29999 clauses out of 60005 with flag 1162262/1992740
1383.21/684.75	c cleaning 30998 clauses out of 62005 with flag 1237739/2024739
1409.48/697.54	c cleaning 31999 clauses out of 64008 with flag 1315716/2057740
1438.21/711.75	c cleaning 33004 clauses out of 66011 with flag 1395916/2091742
1468.05/726.37	c cleaning 34003 clauses out of 68005 with flag 1479876/2126740
1499.56/741.77	c cleaning 34994 clauses out of 70002 with flag 1567209/2162740
1531.89/757.71	c cleaning 35997 clauses out of 72007 with flag 1651211/2199739
1568.88/775.98	c cleaning 37005 clauses out of 74010 with flag 1742876/2237739
1607.77/795.03	c cleaning 38004 clauses out of 76008 with flag 1838175/2276742
1648.27/814.91	c cleaning 38997 clauses out of 78001 with flag 1932216/2316739
1686.50/833.78	c cleaning 39999 clauses out of 80005 with flag 2028820/2357740
1732.86/857.97	c cleaning 40997 clauses out of 82005 with flag 2129848/2399739
1777.15/879.99	c cleaning 41998 clauses out of 84010 with flag 2233614/2442741
1800.07/891.30	c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<<
1800.07/891.30	c starts		: 20998
1800.07/891.30	c conflicts		: 2469022
1800.07/891.30	c decisions		: 13801262
1800.07/891.30	c propagations		: 25392517
1800.07/891.30	c inspects		: 7784558545
1800.07/891.30	c shortcuts		: 0
1800.07/891.30	c learnt literals	: 0
1800.07/891.30	c learnt binary clauses	: 0
1800.07/891.30	c learnt ternary clauses	: 0
1800.07/891.30	c learnt constraints	: 2469022
1800.07/891.30	c ignored constraints	: 0
1800.07/891.30	c root simplifications	: 0
1800.07/891.30	c removed literals (reason simplification)	: 51368044
1800.07/891.30	c reason swapping (by a shorter reason)	: 0
1800.07/891.30	c Calls to reduceDB	: 93
1800.07/891.30	c Number of update (reduction) of LBD	: 82635
1800.07/891.30	c Imported unit clauses	: 0
1800.07/891.30	c number of reductions to clauses (during analyze)	: 0
1800.07/891.30	c number of learned constraints concerned by reduction	: 0
1800.07/891.30	c number of learning phase by resolution	: 0
1800.07/891.30	c number of learning phase by cutting planes	: 0
1800.07/891.30	c speed (assignments/second)	: 71435.85336142847
1800.07/891.30	c non guided choices	0
1800.07/891.33	c learnt constraints type 
1800.07/891.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 68293
1800.07/891.33	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.07/891.33	c starts		: 49
1800.07/891.33	c conflicts		: 15545
1800.07/891.33	c decisions		: 18241
1800.07/891.33	c propagations		: 156020
1800.07/891.33	c inspects		: 824719242
1800.07/891.33	c shortcuts		: 0
1800.07/891.33	c learnt literals	: 0
1800.07/891.33	c learnt binary clauses	: 0
1800.07/891.33	c learnt ternary clauses	: 0
1800.07/891.33	c learnt constraints	: 15545
1800.07/891.33	c ignored constraints	: 0
1800.07/891.33	c root simplifications	: 0
1800.07/891.33	c removed literals (reason simplification)	: 0
1800.07/891.33	c reason swapping (by a shorter reason)	: 0
1800.07/891.33	c Calls to reduceDB	: 2
1800.07/891.33	c Number of update (reduction) of LBD	: 0
1800.07/891.33	c Imported unit clauses	: 0
1800.07/891.33	c number of reductions to clauses (during analyze)	: 0
1800.07/891.33	c number of learned constraints concerned by reduction	: 0
1800.07/891.33	c number of learning phase by resolution	: 0
1800.07/891.33	c number of learning phase by cutting planes	: 0
1800.07/891.33	c speed (assignments/second)	: 175.57916817652898
1800.07/891.33	c non guided choices	0
1800.07/891.33	c learnt constraints type 
1800.07/891.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 248
1800.07/891.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15297
1800.07/891.33	s SATISFIABLE
1800.07/891.33	c Found 6 solution(s)
1800.07/891.34	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 
1800.07/891.34	c objective function=-29
1800.07/891.34	c Total wall clock time (in seconds): 891.22

Verifier Data 

OK	-29

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

pid=24703
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: 3.94 4.08 4.12 5/197 24706
/proc/meminfo: memFree=26613176/32872528 swapFree=12328/568296
[pid=24706] ppid=24703 vsize=9212 CPUtime=0 cores=0,2,4,6
/proc/24706/stat : 24706 (java) R 24703 24706 21426 0 -1 4202496 390 0 0 0 0 0 0 0 20 0 1 0 104793385 9433088 62 33554432000 1073741824 1073778376 140735949723376 140735949720504 206619840800 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24706/statm: 2306 73 57 9 0 38 0

[startup+0.10006 s]
/proc/loadavg: 3.94 4.08 4.12 5/197 24706
/proc/meminfo: memFree=26613176/32872528 swapFree=12328/568296
[pid=24706] ppid=24703 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/24706/stat : 24706 (java) S 24703 24706 21426 0 -1 4202496 4403 0 1 0 8 1 0 0 20 0 18 0 104793385 9787879424 6036 33554432000 1073741824 1073778376 140735949723376 140735949714512 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24706/statm: 2389619 6036 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200214 s]
/proc/loadavg: 3.94 4.08 4.12 5/197 24706
/proc/meminfo: memFree=26613176/32872528 swapFree=12328/568296
[pid=24706] ppid=24703 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/24706/stat : 24706 (java) S 24703 24706 21426 0 -1 4202496 4662 0 1 0 22 1 0 0 20 0 18 0 104793385 9787879424 6758 33554432000 1073741824 1073778376 140735949723376 140735949714512 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24706/statm: 2389619 6758 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300222 s]
/proc/loadavg: 3.94 4.08 4.12 5/197 24706
/proc/meminfo: memFree=26613176/32872528 swapFree=12328/568296
[pid=24706] ppid=24703 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/24706/stat : 24706 (java) S 24703 24706 21426 0 -1 4202496 5581 0 1 0 45 1 0 0 20 0 18 0 104793385 9787879424 8485 33554432000 1073741824 1073778376 140735949723376 140735949714512 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24706/statm: 2389619 8485 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700187 s]
/proc/loadavg: 3.94 4.08 4.12 5/197 24706
/proc/meminfo: memFree=26613176/32872528 swapFree=12328/568296
[pid=24706] ppid=24703 vsize=9558476 CPUtime=1.63 cores=0,2,4,6
/proc/24706/stat : 24706 (java) S 24703 24706 21426 0 -1 4202496 22738 0 1 0 158 5 0 0 20 0 18 0 104793385 9787879424 32968 33554432000 1073741824 1073778376 140735949723376 140735949714512 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24706/statm: 2389619 32968 2243 9 0 2380296 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9558476

[startup+1.5008 s]
/proc/loadavg: 4.03 4.10 4.13 3/216 24728
/proc/meminfo: memFree=26480872/32872528 swapFree=12328/568296
[pid=24706] ppid=24703 vsize=9824732 CPUtime=2.05 cores=0,2,4,6
/proc/24706/stat : 24706 (java) S 24703 24706 21426 0 -1 4202496 22862 0 1 0 196 9 0 0 20 0 19 0 104793385 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140735949714512 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24706/statm: 2456183 36130 2259 9 0 2446860 0
[pid=24706/tid=24708] ppid=24703 vsize=9824732 CPUtime=0.68 cores=0,2,4,6
/proc/24706/task/24708/stat : 24708 (java) S 24703 24706 21426 0 -1 4202560 2455 0 1 0 67 1 0 0 20 0 19 0 104793386 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140372511572856 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24709/stat : 24709 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104793387 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140372354837288 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24710] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24710/stat : 24710 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104793387 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140372353784488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24711] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24711/stat : 24711 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104793387 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140372352732200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24712] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24712/stat : 24712 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104793387 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140372351679400 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24713] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24713/stat : 24713 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104793387 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140372350626088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24714] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24714/stat : 24714 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104793387 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140372013476008 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24715] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24715/stat : 24715 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104793387 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140372012423720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24716] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24716/stat : 24716 (java) S 24703 24706 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104793387 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140372011370920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24717] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24717/stat : 24717 (java) S 24703 24706 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104793388 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140371999173352 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24718] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24718/stat : 24718 (java) S 24703 24706 21426 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104793389 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140371998119416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24719] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24719/stat : 24719 (java) S 24703 24706 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104793389 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140371997067016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24720] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24720/stat : 24720 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104793391 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140371996015504 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24721] ppid=24703 vsize=9824732 CPUtime=0.63 cores=0,2,4,6
/proc/24706/task/24721/stat : 24721 (java) S 24703 24706 21426 0 -1 4202560 10092 0 0 0 61 2 0 0 20 0 19 0 104793391 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140371994962104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24722] ppid=24703 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/24706/task/24722/stat : 24722 (java) S 24703 24706 21426 0 -1 4202560 8973 0 0 0 60 2 0 0 20 0 19 0 104793391 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140371993909304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24723] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24723/stat : 24723 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104793391 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140371992857208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24724] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24724/stat : 24724 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104793391 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140371991804616 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24728] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24728/stat : 24728 (java) S 24703 24706 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104793458 10060525568 36130 33554432000 1073741824 1073778376 140735949723376 140371987494440 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 9824732

[startup+3.10076 s]
/proc/loadavg: 4.03 4.10 4.13 3/216 24734
/proc/meminfo: memFree=26466204/32872528 swapFree=12328/568296
[pid=24706] ppid=24703 vsize=9824732 CPUtime=4.2 cores=0,2,4,6
/proc/24706/stat : 24706 (java) S 24703 24706 21426 0 -1 4202496 24505 0 1 0 407 13 0 0 20 0 22 0 104793385 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140735949714512 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24706/statm: 2456183 54291 2285 9 0 2446860 0
[pid=24706/tid=24708] ppid=24703 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/24706/task/24708/stat : 24708 (java) S 24703 24706 21426 0 -1 4202560 2455 0 1 0 68 2 0 0 20 0 22 0 104793386 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140372511572856 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24709/stat : 24709 (java) S 24703 24706 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104793387 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140372354837288 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24710] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24710/stat : 24710 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104793387 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140372353784488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24711] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24711/stat : 24711 (java) S 24703 24706 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104793387 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140372352732200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24712] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24712/stat : 24712 (java) S 24703 24706 21426 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 104793387 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140372351679400 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24706/tid=24713] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24713/stat : 24713 (java) S 24703 24706 21426 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 104793387 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140372350626088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24714] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24714/stat : 24714 (java) S 24703 24706 21426 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 104793387 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140372013476008 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24715] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24715/stat : 24715 (java) S 24703 24706 21426 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 104793387 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140372012423720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24716] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24716/stat : 24716 (java) S 24703 24706 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104793387 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140372011370920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24717] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24717/stat : 24717 (java) S 24703 24706 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104793388 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140371999173352 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24718] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24718/stat : 24718 (java) S 24703 24706 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104793389 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140371998119416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24719] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24719/stat : 24719 (java) S 24703 24706 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104793389 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140371997067016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24720] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24720/stat : 24720 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104793391 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140371996015504 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24721] ppid=24703 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/24706/task/24721/stat : 24721 (java) R 24703 24706 21426 0 -1 4202560 11613 0 0 0 124 3 0 0 20 0 22 0 104793391 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140371994961984 140372517726777 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24722] ppid=24703 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/24706/task/24722/stat : 24722 (java) S 24703 24706 21426 0 -1 4202560 8982 0 0 0 109 2 0 0 20 0 22 0 104793391 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140371993909304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24723] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24723/stat : 24723 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104793391 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140371992857208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24724] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24724/stat : 24724 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104793391 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140371991804616 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24728] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24728/stat : 24728 (java) S 24703 24706 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104793458 10060525568 54291 33554432000 1073741824 1073778376 140735949723376 140371987494440 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 9824732

[startup+6.30099 s]
/proc/loadavg: 4.03 4.10 4.13 11/219 24740
/proc/meminfo: memFree=26137144/32872528 swapFree=12328/568296
[pid=24706] ppid=24703 vsize=9824732 CPUtime=11.33 cores=0,2,4,6
/proc/24706/stat : 24706 (java) S 24703 24706 21426 0 -1 4202496 26221 0 1 0 1096 37 0 0 20 0 22 0 104793385 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140735949714512 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24706/statm: 2456183 135728 2292 9 0 2446860 0
[pid=24706/tid=24708] ppid=24703 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/24706/task/24708/stat : 24708 (java) S 24703 24706 21426 0 -1 4202560 2455 0 1 0 68 2 0 0 20 0 22 0 104793386 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140372511572856 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/24706/task/24709/stat : 24709 (java) S 24703 24706 21426 0 -1 4202560 159 0 0 0 5 2 0 0 20 0 22 0 104793387 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140372354837288 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24710] ppid=24703 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/24706/task/24710/stat : 24710 (java) S 24703 24706 21426 0 -1 4202560 140 0 0 0 10 3 0 0 20 0 22 0 104793387 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140372353784488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24711] ppid=24703 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/24706/task/24711/stat : 24711 (java) S 24703 24706 21426 0 -1 4202560 54 0 0 0 8 3 0 0 20 0 22 0 104793387 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140372352732200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24712] ppid=24703 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/24706/task/24712/stat : 24712 (java) S 24703 24706 21426 0 -1 4202560 203 0 0 0 11 3 0 0 20 0 22 0 104793387 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140372351679400 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24713] ppid=24703 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/24706/task/24713/stat : 24713 (java) S 24703 24706 21426 0 -1 4202560 119 0 0 0 7 2 0 0 20 0 22 0 104793387 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140372350626088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24714] ppid=24703 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/24706/task/24714/stat : 24714 (java) S 24703 24706 21426 0 -1 4202560 251 0 0 0 7 3 0 0 20 0 22 0 104793387 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140372013476008 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24715] ppid=24703 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/24706/task/24715/stat : 24715 (java) S 24703 24706 21426 0 -1 4202560 158 0 0 0 5 2 0 0 20 0 22 0 104793387 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140372012423720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24716] ppid=24703 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/24706/task/24716/stat : 24716 (java) S 24703 24706 21426 0 -1 4202560 160 0 0 0 9 4 0 0 20 0 22 0 104793387 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140372011370920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24717] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24717/stat : 24717 (java) S 24703 24706 21426 0 -1 4202560 230 0 0 0 0 0 0 0 20 0 22 0 104793388 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140371999173352 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24706/tid=24718] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24718/stat : 24718 (java) S 24703 24706 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104793389 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140371998119416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24719] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24719/stat : 24719 (java) S 24703 24706 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104793389 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140371997067016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24720] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24720/stat : 24720 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104793391 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140371996015504 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24721] ppid=24703 vsize=9824732 CPUtime=1.43 cores=0,2,4,6
/proc/24706/task/24721/stat : 24721 (java) S 24703 24706 21426 0 -1 4202560 11619 0 0 0 140 3 0 0 20 0 22 0 104793391 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140371994962104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24722] ppid=24703 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/24706/task/24722/stat : 24722 (java) S 24703 24706 21426 0 -1 4202560 8987 0 0 0 125 2 0 0 20 0 22 0 104793391 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140371993909304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24723] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24723/stat : 24723 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104793391 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140371992857208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24724] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24724/stat : 24724 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104793391 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140371991804616 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24728] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24728/stat : 24728 (java) S 24703 24706 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104793458 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140371987494440 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24706/tid=24738] ppid=24703 vsize=9824732 CPUtime=3.3 cores=0,2,4,6
/proc/24706/task/24738/stat : 24738 (java) R 24703 24706 21426 0 -1 4202560 13 0 0 0 330 0 0 0 20 0 22 0 104793658 10060525568 135728 33554432000 1073741824 1073778376 140735949723376 140371989598584 140372366791167 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24739] ppid=24703 vsize=9824732 CPUtime=3.29 cores=0,2,4,6

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

[pid=24706/tid=24716] ppid=24703 vsize=9824732 CPUtime=7.39 cores=0,2,4,6
/proc/24706/task/24716/stat : 24716 (java) S 24703 24706 21426 0 -1 4202560 852 0 0 0 711 28 0 0 20 0 22 0 104793387 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372011370920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24706/tid=24717] ppid=24703 vsize=9824732 CPUtime=9.06 cores=0,2,4,6
/proc/24706/task/24717/stat : 24717 (java) S 24703 24706 21426 0 -1 4202560 3431 0 0 0 901 5 0 0 20 0 22 0 104793388 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371999173352 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24718] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24718/stat : 24718 (java) S 24703 24706 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104793389 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371998119416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24706/tid=24719] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24719/stat : 24719 (java) S 24703 24706 21426 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104793389 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371997067016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24720] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24720/stat : 24720 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104793391 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371996015504 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24721] ppid=24703 vsize=9824732 CPUtime=1.53 cores=0,2,4,6
/proc/24706/task/24721/stat : 24721 (java) S 24703 24706 21426 0 -1 4202560 11629 0 0 0 150 3 0 0 20 0 22 0 104793391 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371994962104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24722] ppid=24703 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/24706/task/24722/stat : 24722 (java) S 24703 24706 21426 0 -1 4202560 9037 0 0 0 185 2 0 0 20 0 22 0 104793391 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371993909304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24723] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24723/stat : 24723 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104793391 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371992857208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24724] ppid=24703 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/24706/task/24724/stat : 24724 (java) S 24703 24706 21426 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 104793391 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371991804616 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24740] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24740/stat : 24740 (java) S 24703 24706 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104793658 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371988546600 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24847] ppid=24703 vsize=9824732 CPUtime=336.76 cores=0,2,4,6
/proc/24706/task/24847/stat : 24847 (java) R 24703 24706 21426 0 -1 4202560 10 0 0 0 33671 5 0 0 20 0 22 0 104846970 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371989590528 140372366799692 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24706/tid=24848] ppid=24703 vsize=9824732 CPUtime=336.7 cores=0,2,4,6
/proc/24706/task/24848/stat : 24848 (java) R 24703 24706 21426 0 -1 4202560 24 0 0 0 33665 5 0 0 20 0 22 0 104846970 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371990650112 140372366938180 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24849] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24849/stat : 24849 (java) S 24703 24706 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104846970 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371987493672 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1779.67
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+891.301 s]
/proc/loadavg: 4.21 4.22 4.18 5/219 24859
/proc/meminfo: memFree=26352112/32872528 swapFree=12328/568296
[pid=24706] ppid=24703 vsize=9824732 CPUtime=1797.78 cores=0,2,4,6
/proc/24706/stat : 24706 (java) S 24703 24706 21426 0 -1 4202496 36481 0 1 0 179468 310 0 0 20 0 22 0 104793385 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140735949714512 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24706/statm: 2456183 1113744 2301 9 0 2446860 0
[pid=24706/tid=24708] ppid=24703 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/24706/task/24708/stat : 24708 (java) S 24703 24706 21426 0 -1 4202560 2481 0 1 0 70 3 0 0 20 0 22 0 104793386 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372511572856 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=9824732 CPUtime=7.62 cores=0,2,4,6
/proc/24706/task/24709/stat : 24709 (java) S 24703 24706 21426 0 -1 4202560 986 0 0 0 733 29 0 0 20 0 22 0 104793387 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372354837288 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24710] ppid=24703 vsize=9824732 CPUtime=6.95 cores=0,2,4,6
/proc/24706/task/24710/stat : 24710 (java) S 24703 24706 21426 0 -1 4202560 809 0 0 0 666 29 0 0 20 0 22 0 104793387 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372353784488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24711] ppid=24703 vsize=9824732 CPUtime=7.01 cores=0,2,4,6
/proc/24706/task/24711/stat : 24711 (java) S 24703 24706 21426 0 -1 4202560 763 0 0 0 676 25 0 0 20 0 22 0 104793387 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372352732200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24712] ppid=24703 vsize=9824732 CPUtime=7.09 cores=0,2,4,6
/proc/24706/task/24712/stat : 24712 (java) S 24703 24706 21426 0 -1 4202560 998 0 0 0 678 31 0 0 20 0 22 0 104793387 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372351679400 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24713] ppid=24703 vsize=9824732 CPUtime=7.86 cores=0,2,4,6
/proc/24706/task/24713/stat : 24713 (java) S 24703 24706 21426 0 -1 4202560 889 0 0 0 755 31 0 0 20 0 22 0 104793387 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372350626088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24714] ppid=24703 vsize=9824732 CPUtime=7.97 cores=0,2,4,6
/proc/24706/task/24714/stat : 24714 (java) S 24703 24706 21426 0 -1 4202560 1056 0 0 0 768 29 0 0 20 0 22 0 104793387 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372013476008 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24715] ppid=24703 vsize=9824732 CPUtime=7.05 cores=0,2,4,6
/proc/24706/task/24715/stat : 24715 (java) S 24703 24706 21426 0 -1 4202560 888 0 0 0 681 24 0 0 20 0 22 0 104793387 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372012423720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24716] ppid=24703 vsize=9824732 CPUtime=7.41 cores=0,2,4,6
/proc/24706/task/24716/stat : 24716 (java) S 24703 24706 21426 0 -1 4202560 852 0 0 0 713 28 0 0 20 0 22 0 104793387 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372011370920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24717] ppid=24703 vsize=9824732 CPUtime=9.06 cores=0,2,4,6
/proc/24706/task/24717/stat : 24717 (java) S 24703 24706 21426 0 -1 4202560 3431 0 0 0 901 5 0 0 20 0 22 0 104793388 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371999173352 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24718] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24718/stat : 24718 (java) S 24703 24706 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104793389 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371998119416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24706/tid=24719] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24719/stat : 24719 (java) S 24703 24706 21426 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104793389 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371997067016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24720] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24720/stat : 24720 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104793391 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371996015504 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24721] ppid=24703 vsize=9824732 CPUtime=1.53 cores=0,2,4,6
/proc/24706/task/24721/stat : 24721 (java) S 24703 24706 21426 0 -1 4202560 11629 0 0 0 150 3 0 0 20 0 22 0 104793391 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371994962104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24722] ppid=24703 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/24706/task/24722/stat : 24722 (java) S 24703 24706 21426 0 -1 4202560 9037 0 0 0 185 2 0 0 20 0 22 0 104793391 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371993909304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24723] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24723/stat : 24723 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104793391 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371992857208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24724] ppid=24703 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/24706/task/24724/stat : 24724 (java) S 24703 24706 21426 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 104793391 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371991804616 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24740] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24740/stat : 24740 (java) S 24703 24706 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104793658 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371988546600 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24847] ppid=24703 vsize=9824732 CPUtime=345.66 cores=0,2,4,6
/proc/24706/task/24847/stat : 24847 (java) R 24703 24706 21426 0 -1 4202560 10 0 0 0 34561 5 0 0 20 0 22 0 104846970 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371989597456 140372366887616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24706/tid=24848] ppid=24703 vsize=9824732 CPUtime=345.59 cores=0,2,4,6
/proc/24706/task/24848/stat : 24848 (java) R 24703 24706 21426 0 -1 4202560 25 0 0 0 34554 5 0 0 20 0 22 0 104846970 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371990650080 140372367009231 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24849] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24849/stat : 24849 (java) S 24703 24706 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104846970 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371987493672 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1797.78
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 24706 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+891.301 s]
/proc/loadavg: 4.21 4.22 4.18 5/219 24859
/proc/meminfo: memFree=26352112/32872528 swapFree=12328/568296
[pid=24706] ppid=24703 vsize=9824732 CPUtime=1797.78 cores=0,2,4,6
/proc/24706/stat : 24706 (java) S 24703 24706 21426 0 -1 4202496 36481 0 1 0 179468 310 0 0 20 0 22 0 104793385 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140735949714512 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24706/statm: 2456183 1113744 2301 9 0 2446860 0
[pid=24706/tid=24708] ppid=24703 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/24706/task/24708/stat : 24708 (java) S 24703 24706 21426 0 -1 4202560 2481 0 1 0 70 3 0 0 20 0 22 0 104793386 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372511572856 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=9824732 CPUtime=7.62 cores=0,2,4,6
/proc/24706/task/24709/stat : 24709 (java) S 24703 24706 21426 0 -1 4202560 986 0 0 0 733 29 0 0 20 0 22 0 104793387 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372354837288 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24710] ppid=24703 vsize=9824732 CPUtime=6.95 cores=0,2,4,6
/proc/24706/task/24710/stat : 24710 (java) S 24703 24706 21426 0 -1 4202560 809 0 0 0 666 29 0 0 20 0 22 0 104793387 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372353784488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24711] ppid=24703 vsize=9824732 CPUtime=7.01 cores=0,2,4,6
/proc/24706/task/24711/stat : 24711 (java) S 24703 24706 21426 0 -1 4202560 763 0 0 0 676 25 0 0 20 0 22 0 104793387 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372352732200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24712] ppid=24703 vsize=9824732 CPUtime=7.09 cores=0,2,4,6
/proc/24706/task/24712/stat : 24712 (java) S 24703 24706 21426 0 -1 4202560 998 0 0 0 678 31 0 0 20 0 22 0 104793387 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372351679400 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24713] ppid=24703 vsize=9824732 CPUtime=7.86 cores=0,2,4,6
/proc/24706/task/24713/stat : 24713 (java) S 24703 24706 21426 0 -1 4202560 889 0 0 0 755 31 0 0 20 0 22 0 104793387 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372350626088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24714] ppid=24703 vsize=9824732 CPUtime=7.97 cores=0,2,4,6
/proc/24706/task/24714/stat : 24714 (java) S 24703 24706 21426 0 -1 4202560 1056 0 0 0 768 29 0 0 20 0 22 0 104793387 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372013476008 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24715] ppid=24703 vsize=9824732 CPUtime=7.05 cores=0,2,4,6
/proc/24706/task/24715/stat : 24715 (java) S 24703 24706 21426 0 -1 4202560 888 0 0 0 681 24 0 0 20 0 22 0 104793387 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372012423720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24716] ppid=24703 vsize=9824732 CPUtime=7.41 cores=0,2,4,6
/proc/24706/task/24716/stat : 24716 (java) S 24703 24706 21426 0 -1 4202560 852 0 0 0 713 28 0 0 20 0 22 0 104793387 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140372011370920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24717] ppid=24703 vsize=9824732 CPUtime=9.06 cores=0,2,4,6
/proc/24706/task/24717/stat : 24717 (java) S 24703 24706 21426 0 -1 4202560 3431 0 0 0 901 5 0 0 20 0 22 0 104793388 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371999173352 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24718] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24718/stat : 24718 (java) S 24703 24706 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104793389 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371998119416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24706/tid=24719] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24719/stat : 24719 (java) S 24703 24706 21426 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104793389 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371997067016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24720] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24720/stat : 24720 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104793391 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371996015504 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24721] ppid=24703 vsize=9824732 CPUtime=1.53 cores=0,2,4,6
/proc/24706/task/24721/stat : 24721 (java) S 24703 24706 21426 0 -1 4202560 11629 0 0 0 150 3 0 0 20 0 22 0 104793391 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371994962104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24722] ppid=24703 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/24706/task/24722/stat : 24722 (java) S 24703 24706 21426 0 -1 4202560 9037 0 0 0 185 2 0 0 20 0 22 0 104793391 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371993909304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24723] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24723/stat : 24723 (java) S 24703 24706 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104793391 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371992857208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24724] ppid=24703 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/24706/task/24724/stat : 24724 (java) S 24703 24706 21426 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 104793391 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371991804616 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24706/tid=24740] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24740/stat : 24740 (java) S 24703 24706 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104793658 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371988546600 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24706/tid=24847] ppid=24703 vsize=9824732 CPUtime=345.66 cores=0,2,4,6
/proc/24706/task/24847/stat : 24847 (java) R 24703 24706 21426 0 -1 4202560 10 0 0 0 34561 5 0 0 20 0 22 0 104846970 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371989597456 140372366887616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24706/tid=24848] ppid=24703 vsize=9824732 CPUtime=345.59 cores=0,2,4,6
/proc/24706/task/24848/stat : 24848 (java) R 24703 24706 21426 0 -1 4202560 25 0 0 0 34554 5 0 0 20 0 22 0 104846970 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371990650080 140372367009231 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24706/tid=24849] ppid=24703 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24706/task/24849/stat : 24849 (java) S 24703 24706 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104846970 10060525568 1113744 33554432000 1073741824 1073778376 140735949723376 140371987493672 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24706 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=899437
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=370487
# CPU time returned by wait4() is 1796.27
# while last known CPU time is 1797.78
#
# 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): 2.28992
#  lost CPU user time (s): 2.43994
#  lost CPU system time (s): -0.15

Real time (s): 891.37
CPU time (s): 1800.07
CPU user time (s): 1797.12
CPU system time (s): 2.95
CPU usage (%): 201.944
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.9
system time used= 3.37049
maximum resident set size= 4455088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36518
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24711
involuntary context switches= 39046

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.23405 second user time and 6.75297 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-06 17:56:48
IDJOB=4081241
IDBENCH=2271
IDSOLVER=2543
FILE ID=node138/4081241-1465228608
RUNJOBID= node138-1465221375-21442
PBS_JOBID= 19843229
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081241-1465228608/watcher-4081241-1465228608 -o /tmp/evaluation-result-4081241-1465228608/solver-4081241-1465228608 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21442 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081241-1465228608.opb

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

MD5SUM BENCH= 7f24dba3f3d4b877b96bd50f5b27c089
RANDOM SEED=964716885

node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.807
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:        26613556 kB
Buffers:           20692 kB
Cached:            88476 kB
SwapCached:        46424 kB
Active:          4859568 kB
Inactive:          95284 kB
Active(anon):    4801188 kB
Inactive(anon):    47160 kB
Active(file):      58380 kB
Inactive(file):    48124 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053444 kB
Dirty:              1260 kB
Writeback:             0 kB
AnonPages:       5395616 kB
Mapped:            15368 kB
Shmem:                 0 kB
Slab:             567692 kB
SReclaimable:      11264 kB
SUnreclaim:       556428 kB
KernelStack:        1592 kB
PageTables:        14436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5982928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5285888 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 node138 at 2016-06-06 18:11:40