Trace number 4119602

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)-224 1800.79 1775.94

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-sporttournament42.opb
MD5SUM26abcf797f653d51003b3019ae19e5f0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-296
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 2207
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 2376
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2376
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)1680
Sum of products size (including duplicates)3360
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4119602-1467262693.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.24/0.27	c ... done. Wall clock time 0.16s.
0.24/0.27	c declared #vars     861
0.24/0.27	c internal #vars     2541
0.24/0.27	c #constraints  3360
0.24/0.27	c constraints type 
0.24/0.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1680
0.24/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1680
0.24/0.27	c 3360 constraints processed.
0.24/0.27	c objective function length is 2207 literals
0.44/0.32	c SATISFIABLE
0.44/0.32	c OPTIMIZING...
0.44/0.32	c Got one! Elapsed wall clock time (in seconds):0.204
0.44/0.32	o -215
0.44/0.37	c Got one! Elapsed wall clock time (in seconds):0.251
0.44/0.37	o -217
0.69/0.40	c Got one! Elapsed wall clock time (in seconds):0.285
0.69/0.40	o -218
0.69/0.43	c Got one! Elapsed wall clock time (in seconds):0.317
0.69/0.43	o -219
0.69/0.46	c Got one! Elapsed wall clock time (in seconds):0.343
0.69/0.46	o -220
0.69/0.48	c Got one! Elapsed wall clock time (in seconds):0.371
0.69/0.48	o -221
0.99/0.53	c Got one! Elapsed wall clock time (in seconds):0.414
0.99/0.53	o -222
2.16/1.46	c cleaning 2530 clauses out of 5068 with flag 10002/5068
3.32/2.57	c cleaning 4264 clauses out of 8538 with flag 22002/11068
4.72/3.91	c cleaning 5629 clauses out of 11274 with flag 36002/18068
6.24/5.45	c cleaning 6816 clauses out of 13646 with flag 52005/26069
8.15/7.27	c cleaning 7909 clauses out of 15829 with flag 70004/35068
10.25/9.36	c cleaning 8952 clauses out of 17920 with flag 90004/45068
12.55/11.62	c cleaning 9979 clauses out of 19968 with flag 112005/56068
15.27/14.25	c cleaning 10988 clauses out of 21989 with flag 136005/68068
18.07/17.07	c cleaning 11989 clauses out of 24002 with flag 162008/81069
21.42/20.25	c cleaning 12999 clauses out of 26012 with flag 190007/95068
24.91/23.76	c cleaning 13998 clauses out of 28014 with flag 220010/110069
25.31/24.13	c Got one! Elapsed wall clock time (in seconds):24.018
25.31/24.13	o -223
26.27/25.02	c cleaning 9936 clauses out of 19897 with flag 8044/115950
27.47/26.24	c cleaning 7972 clauses out of 15962 with flag 20046/121951
28.96/27.64	c cleaning 7486 clauses out of 14989 with flag 34045/128950
30.55/29.24	c cleaning 7741 clauses out of 15503 with flag 50046/136950
32.35/31.07	c cleaning 8372 clauses out of 16763 with flag 68048/145951
34.36/33.08	c cleaning 9187 clauses out of 18390 with flag 88046/155950
36.77/35.34	c cleaning 10092 clauses out of 20204 with flag 110048/166951
39.26/37.82	c cleaning 11044 clauses out of 22111 with flag 134046/178950
41.96/40.59	c cleaning 12025 clauses out of 24067 with flag 160046/191950
45.36/43.80	c cleaning 13010 clauses out of 26043 with flag 188048/205951
48.75/47.30	c cleaning 14006 clauses out of 28033 with flag 218048/220951
52.99/51.34	c cleaning 15003 clauses out of 30026 with flag 250046/236950
56.89/55.26	c cleaning 16006 clauses out of 32024 with flag 284048/253951
62.01/60.16	c cleaning 17000 clauses out of 34018 with flag 320048/271951
67.06/65.08	c cleaning 18000 clauses out of 36017 with flag 358046/290950
72.69/70.69	c cleaning 18996 clauses out of 38017 with flag 398047/310950
78.95/76.81	c cleaning 20002 clauses out of 40021 with flag 440047/331950
85.64/83.45	c cleaning 20997 clauses out of 42020 with flag 484049/353951
92.82/90.55	c cleaning 21999 clauses out of 44022 with flag 530047/376950
100.10/97.75	c cleaning 23004 clauses out of 46024 with flag 578051/400951
107.85/105.45	c cleaning 24002 clauses out of 48019 with flag 628049/425950
115.92/113.36	c cleaning 24997 clauses out of 50018 with flag 680051/451951
123.84/121.16	c cleaning 26000 clauses out of 52021 with flag 734051/478951
132.48/129.71	c cleaning 27000 clauses out of 54021 with flag 790051/506951
142.27/139.36	c cleaning 28000 clauses out of 56020 with flag 848049/535950
151.93/148.82	c cleaning 29000 clauses out of 58020 with flag 908049/565950
163.11/159.96	c cleaning 30000 clauses out of 60021 with flag 970051/596951
174.95/171.70	c cleaning 30999 clauses out of 62020 with flag 1034049/628950
187.83/184.47	c cleaning 32001 clauses out of 64021 with flag 1100049/661950
200.53/196.93	c cleaning 33003 clauses out of 66021 with flag 1168051/695951
213.27/209.57	c cleaning 34000 clauses out of 68017 with flag 1238049/730950
227.87/224.04	c cleaning 34994 clauses out of 70017 with flag 1310049/766950
243.26/239.20	c cleaning 35995 clauses out of 72024 with flag 1384051/803951
248.97/244.81	c Got one! Elapsed wall clock time (in seconds):244.695
248.97/244.81	o -224
250.89/246.79	c cleaning 29635 clauses out of 59295 with flag 10066/827217
252.61/248.43	c cleaning 17821 clauses out of 35660 with flag 22068/833217
254.22/250.04	c cleaning 12409 clauses out of 24840 with flag 36070/840218
256.03/251.82	c cleaning 10200 clauses out of 20430 with flag 52068/848217
257.87/253.66	c cleaning 9604 clauses out of 19230 with flag 70068/857217
259.97/255.75	c cleaning 9802 clauses out of 19626 with flag 90068/867217
262.27/258.09	c cleaning 10399 clauses out of 20824 with flag 112068/878217
264.99/260.72	c cleaning 11202 clauses out of 22425 with flag 136068/890217
268.04/263.76	c cleaning 12102 clauses out of 24223 with flag 162069/903217
271.57/267.22	c cleaning 13049 clauses out of 26120 with flag 190067/917216
275.51/271.13	c cleaning 14021 clauses out of 28071 with flag 220067/932216
279.80/275.36	c cleaning 15015 clauses out of 30051 with flag 252069/948217
284.09/279.59	c cleaning 16007 clauses out of 32036 with flag 286069/965217
289.32/284.78	c cleaning 17005 clauses out of 34028 with flag 322067/983216
294.88/290.26	c cleaning 18000 clauses out of 36023 with flag 360067/1002216
301.52/296.80	c cleaning 19000 clauses out of 38024 with flag 400069/1022217
308.45/303.70	c cleaning 20002 clauses out of 40023 with flag 442067/1043216
315.01/310.11	c cleaning 20995 clauses out of 42022 with flag 486069/1065217
322.42/317.45	c cleaning 22004 clauses out of 44026 with flag 532067/1088216
328.81/323.76	c cleaning 23003 clauses out of 46023 with flag 580070/1112217
336.55/331.37	c cleaning 23996 clauses out of 48019 with flag 630068/1137216
344.38/339.08	c cleaning 25005 clauses out of 50024 with flag 682070/1163217
353.03/347.50	c cleaning 26000 clauses out of 52019 with flag 736070/1190217
361.47/355.82	c cleaning 27002 clauses out of 54019 with flag 792070/1218217
371.20/365.32	c cleaning 27999 clauses out of 56017 with flag 850070/1247217
380.30/374.34	c cleaning 28998 clauses out of 58018 with flag 910072/1277217
391.25/385.13	c cleaning 29998 clauses out of 60019 with flag 972070/1308216
401.71/395.49	c cleaning 31002 clauses out of 62022 with flag 1036072/1340217
413.59/407.19	c cleaning 32003 clauses out of 64019 with flag 1102076/1373216
424.66/418.00	c cleaning 33001 clauses out of 66016 with flag 1170081/1407216
436.98/430.13	c cleaning 33996 clauses out of 68015 with flag 1240085/1442216
450.85/443.80	c cleaning 35002 clauses out of 70020 with flag 1312090/1478217
463.00/455.76	c cleaning 35995 clauses out of 72017 with flag 1386089/1515216
477.52/470.03	c cleaning 37003 clauses out of 74023 with flag 1462091/1553217
491.61/483.90	c cleaning 37996 clauses out of 76020 with flag 1540091/1592217
506.96/499.17	c cleaning 39002 clauses out of 78024 with flag 1620091/1632217
522.52/514.47	c cleaning 40001 clauses out of 80022 with flag 1702092/1673217
539.00/530.73	c cleaning 40997 clauses out of 82021 with flag 1786092/1715217
555.34/546.74	c cleaning 42000 clauses out of 84023 with flag 1872090/1758216
572.84/564.08	c cleaning 43004 clauses out of 86023 with flag 1960095/1802216
590.13/581.13	c cleaning 43998 clauses out of 88020 with flag 2050107/1847217
609.26/600.09	c cleaning 45001 clauses out of 90022 with flag 2142108/1893217
626.89/617.48	c cleaning 46005 clauses out of 92020 with flag 2236107/1940216
645.85/636.15	c cleaning 47004 clauses out of 94017 with flag 2332112/1988218
668.56/658.51	c cleaning 47996 clauses out of 96012 with flag 2430110/2037217
691.15/680.85	c cleaning 48997 clauses out of 98015 with flag 2530109/2087216
713.58/702.97	c cleaning 49998 clauses out of 100018 with flag 2632109/2138216
736.90/725.94	c cleaning 50997 clauses out of 102020 with flag 2736111/2190216
763.65/752.31	c cleaning 52000 clauses out of 104024 with flag 2842113/2243217
791.35/779.61	c cleaning 53003 clauses out of 106024 with flag 2950113/2297217
819.83/807.74	c cleaning 53996 clauses out of 108021 with flag 3060113/2352217
849.39/836.91	c cleaning 55001 clauses out of 110025 with flag 3172113/2408217
877.51/864.74	c cleaning 56003 clauses out of 112023 with flag 3286111/2465216
906.09/892.91	c cleaning 57002 clauses out of 114021 with flag 3402115/2523217
932.15/918.66	c cleaning 57998 clauses out of 116018 with flag 3520115/2582216
960.44/946.50	c cleaning 59003 clauses out of 118021 with flag 3640117/2642217
992.41/978.03	c cleaning 60002 clauses out of 120018 with flag 3762118/2703217
1026.80/1011.98	c cleaning 60996 clauses out of 122015 with flag 3886116/2765216
1061.92/1046.58	c cleaning 61996 clauses out of 124019 with flag 4012116/2828216
1095.78/1079.93	c cleaning 63001 clauses out of 126024 with flag 4140119/2892217
1130.89/1114.70	c cleaning 64002 clauses out of 128022 with flag 4270118/2957216
1170.23/1153.53	c cleaning 65000 clauses out of 130021 with flag 4402120/3023217
1211.46/1194.25	c cleaning 66000 clauses out of 132020 with flag 4536119/3090216
1252.06/1234.21	c cleaning 66995 clauses out of 134021 with flag 4672121/3158217
1296.12/1277.81	c cleaning 68003 clauses out of 136026 with flag 4810121/3227217
1341.15/1322.34	c cleaning 68998 clauses out of 138022 with flag 4950120/3297216
1387.33/1368.02	c cleaning 70000 clauses out of 140025 with flag 5092122/3368217
1435.82/1416.06	c cleaning 70999 clauses out of 142024 with flag 5236120/3440216
1482.09/1461.88	c cleaning 72006 clauses out of 144026 with flag 5382124/3513217
1529.72/1508.83	c cleaning 73003 clauses out of 146020 with flag 5530124/3587217
1577.00/1555.43	c cleaning 74000 clauses out of 148016 with flag 5680122/3662216
1627.59/1605.57	c cleaning 74999 clauses out of 150017 with flag 5832124/3738217
1680.15/1657.46	c cleaning 75997 clauses out of 152017 with flag 5986122/3815216
1735.22/1711.94	c cleaning 76999 clauses out of 154020 with flag 6142122/3893216
1790.43/1766.42	c cleaning 78001 clauses out of 156021 with flag 6300124/3972216
1800.04/1775.90	c starts		: 10
1800.04/1775.90	c conflicts		: 3990633
1800.04/1775.90	c decisions		: 4006660
1800.04/1775.90	c propagations		: 94553723
1800.04/1775.90	c inspects		: 20654087647
1800.04/1775.90	c shortcuts		: 0
1800.04/1775.90	c learnt literals	: 0
1800.04/1775.90	c learnt binary clauses	: 0
1800.04/1775.90	c learnt ternary clauses	: 0
1800.04/1775.90	c learnt constraints	: 3990633
1800.04/1775.90	c ignored constraints	: 0
1800.04/1775.90	c root simplifications	: 0
1800.04/1775.90	c removed literals (reason simplification)	: 0
1800.04/1775.90	c reason swapping (by a shorter reason)	: 0
1800.04/1775.90	c Calls to reduceDB	: 119
1800.04/1775.90	c Number of update (reduction) of LBD	: 66
1800.04/1775.90	c Imported unit clauses	: 0
1800.04/1775.90	c number of reductions to clauses (during analyze)	: 0
1800.04/1775.90	c number of learned constraints concerned by reduction	: 0
1800.04/1775.90	c number of learning phase by resolution	: 0
1800.04/1775.90	c number of learning phase by cutting planes	: 0
1800.04/1775.90	c speed (assignments/second)	: 53251.1626937776
1800.04/1775.90	c non guided choices	136
1800.04/1775.93	c learnt constraints type 
1800.04/1775.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 96437
1800.04/1775.93	s SATISFIABLE
1800.04/1775.93	c Found 9 solution(s)
1800.04/1775.93	v -x1 x2 x3 x4 -x5 -x6 -x7 x8 x9 -x10 -x11 -x12 -x13 -x14 x15 x16 x17 x18 x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 x30 -x31 x32 x33 x34 -x35 x36 x37 x38 x39 x40 x41 -x42 -x43 -x44 x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 x54 x55 -x56 x57 -x58 -x59 x60 x61 x62 x63 x64 x65 -x66 x67 x68 x69 -x70 x71 -x72 -x73 x74 x75 x76 -x77 x78 -x79 x80 x81 x82 x83 x84 -x85 x86 -x87 x88 x89 -x90 x91 -x92 -x93 x94 -x95 x96 x97 x98 -x99 x100 x101 -x102 x103 -x104 -x105 x106 -x107 x108 -x109 x110 x111 x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 x121 x122 x123 -x124 x125 -x126 -x127 x128 x129 x130 x131 x132 -x133 x134 x135 -x136 x137 x138 x139 -x140 x141 x142 x143 x144 -x145 x146 -x147 x148 -x149 -x150 x151 x152 x153 -x154 x155 x156 -x157 x158 x159 -x160 -x161 x162 -x163 x164 -x165 x166 x167 x168 x169 -x170 x171 -x172 -x173 x174 x175 -x176 x177 -x178 -x179 -x180 x181 x182 -x183 -x184 x185 -x186 x187 -x188 x189 x190 x191 x192 x193 -x194 x195 x196 -x197 -x198 -x199 x200 -x201 x202 x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 x213 x214 x215 x216 -x217 -x218 -x219 x220 x221 x222 -x223 -x224 x225 -x226 x227 x228 x229 x230 -x231 x232 x233 -x234 x235 -x236 x237 x238 -x239 x240 -x241 x242 x243 -x244 x245 x246 x247 -x248 -x249 -x250 x251 x252 -x253 x254 -x255 -x256 x257 x258 -x259 -x260 x261 x262 x263 x264 x265 -x266 x267 x268 x269 x270 x271 x272 x273 x274 -x275 x276 -x277 x278 x279 -x280 -x281 x282 -x283 x284 x285 -x286 -x287 x288 -x289 x290 x291 x292 x293 x294 x295 x296 -x297 x298 -x299 x300 -x301 -x302 x303 x304 -x305 -x306 x307 x308 x309 x310 -x311 x312 x313 -x314 -x315 x316 x317 x318 x319 x320 -x321 x322 -x323 -x324 x325 x326 -x327 x328 -x329 -x330 x331 x332 x333 x334 x335 x336 -x337 x338 x339 x340 x341 x342 x343 -x344 x345 x346 -x347 -x348 x349 x350 x351 x352 x353 x354 x355 -x356 x357 -x358 x359 x360 -x361 x362 -x363 x364 -x365 -x366 x367 x368 -x369 x370 x371 x372 x373 -x374 x375 -x376 x377 x378 x379 -x380 -x381 -x382 x383 x384 -x385 -x386 x387 x388 x389 x390 x391 -x392 x393 x394 x395 -x396 -x397 x398 x399 x400 x401 x402 -x403 x404 -x405 x406 x407 -x408 -x409 x410 x411 x412 -x413 x414 -x415 x416 x417 x418 x419 x420 -x421 -x422 -x423 -x424 x425 -x426 x427 -x428 -x429 -x430 x431 x432 x433 -x434 -x435 -x436 -x437 x438 -x439 x440 -x441 -x442 -x443 x444 x445 -x446 x447 x448 x449 x450 -x451 x452 x453 -x454 x455 -x456 x457 x458 -x459 x460 -x461 x462 x463 x464 x465 x466 x467 x468 -x469 x470 x471 x472 -x473 -x474 x475 -x476 -x477 -x478 x479 x480 x481 x482 x483 -x484 x485 x486 -x487 -x488 -x489 -x490 x491 x492 x493 x494 -x495 x496 -x497 x498 x499 x500 -x501 x502 x503 x504 x505 -x506 x507 -x508 x509 x510 x511 -x512 x513 x514 x515 -x516 -x517 x518 x519 x520 x521 -x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 -x540 x541 x542 x543 x544 -x545 x546 -x547 x548 -x549 x550 x551 x552 -x553 x554 x555 x556 x557 -x558 -x559 x560 -x561 -x562 -x563 x564 x565 x566 x567 x568 x569 -x570 -x571 x572 x573 x574 x575 -x576 x577 x578 x579 x580 x581 x582 x583 -x584 x585 x586 -x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 -x599 -x600 x601 x602 x603 x604 x605 x606 -x607 x608 x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 x641 x642 -x643 x644 x645 -x646 -x647 -x648 x649 x650 x651 x652 -x653 x654 -x655 -x656 -x657 -x658 x659 x660 -x661 x662 x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 x675 x676 x677 -x678 x679 x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 x689 x690 x691 -x692 -x693 -x694 -x695 x696 x697 -x698 -x699 -x700 x701 x702 x703 x704 x705 -x706 x707 -x708 -x709 x710 x711 -x712 -x713 x714 -x715 -x716 x717 x718 -x719 x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 x752 -x753 -x754 -x755 -x756 x757 x758 -x759 x760 -x761 -x762 x763 -x764 -x765 -x766 x767 x768 x769 x770 x771 -x772 x773 -x774 -x775 x776 -x777 x778 x779 -x780 x781 -x782 -x783 -x784 x785 x786 x787 x788 -x789 x790 -x791 -x792 x793 x794 x795 -x796 x797 x798 x799 x800 -x801 x802 x803 x804 x805 x806 -x807 -x808 -x809 x810 -x811 x812 -x813 x814 -x815 -x816 x817 x818 -x819 x820 -x821 x822 -x823 -x824 -x825 -x826 x827 x828 x829 x830 x831 x832 x833 -x834 -x835 x836 x837 -x838 -x839 x840 x841 x842 x843 x844 -x845 x846 -x847 x848 x849 x850 -x851 x852 x853 x854 x855 -x856 -x857 -x858 -x859 -x860 x861 
1800.04/1775.93	c objective function=-224
1800.04/1775.93	c Total wall clock time (in seconds): 1775.818

Verifier Data 

OK	-224

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-4119602-1467262693/watcher-4119602-1467262693 -o /tmp/evaluation-result-4119602-1467262693/solver-4119602-1467262693 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467262693-14856 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119602-1467262693.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.06 2.18 5/175 14884
/proc/meminfo: memFree=30715436/32872528 swapFree=480236/529292
[pid=14882] ppid=14877 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/14882/stat : 14882 (java) D 14877 14882 6228 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 5289230 9515008 184 33554432000 1073741824 1073778376 140735882501392 140735882492616 211458616759 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/14882/statm: 2323 184 142 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 2.08 2.06 2.18 5/175 14884
/proc/meminfo: memFree=30715436/32872528 swapFree=480236/529292
[pid=14882] ppid=14877 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14877 14882 6228 0 -1 4202496 4388 0 1 0 8 1 0 0 20 0 18 0 5289230 9787879424 6023 33554432000 1073741824 1073778376 140735232769920 140735232761056 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14882/statm: 2389619 6023 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200219 s]
/proc/loadavg: 2.08 2.06 2.18 5/175 14884
/proc/meminfo: memFree=30715436/32872528 swapFree=480236/529292
[pid=14882] ppid=14877 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14877 14882 6228 0 -1 4202496 4685 0 1 0 23 1 0 0 20 0 18 0 5289230 9787879424 6757 33554432000 1073741824 1073778376 140735232769920 140735232761056 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14882/statm: 2389619 6757 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300235 s]
/proc/loadavg: 2.08 2.06 2.18 5/175 14884
/proc/meminfo: memFree=30715436/32872528 swapFree=480236/529292
[pid=14882] ppid=14877 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14877 14882 6228 0 -1 4202496 5720 0 1 0 43 1 0 0 20 0 19 0 5289230 9856040960 8357 33554432000 1073741824 1073778376 140735232769920 140735232761056 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14882/statm: 2406260 8357 2240 9 0 2396937 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9625040

[startup+0.700186 s]
/proc/loadavg: 2.08 2.06 2.18 5/175 14884
/proc/meminfo: memFree=30715436/32872528 swapFree=480236/529292
[pid=14882] ppid=14877 vsize=9625040 CPUtime=1.42 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14877 14882 6228 0 -1 4202496 11142 0 1 0 139 3 0 0 20 0 19 0 5289230 9856040960 13506 33554432000 1073741824 1073778376 140735232769920 140735232761056 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14882/statm: 2406260 13506 2259 9 0 2396937 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9625040

[startup+1.50087 s]
/proc/loadavg: 2.08 2.06 2.18 5/212 14921
/proc/meminfo: memFree=30617844/32872528 swapFree=480236/529292
[pid=14882] ppid=14877 vsize=9625040 CPUtime=2.29 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14877 14882 6228 0 -1 4202496 11947 0 1 0 226 3 0 0 20 0 19 0 5289230 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140735232761056 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14882/statm: 2406260 17611 2267 9 0 2396937 0
[pid=14882/tid=14887] ppid=14877 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) R 14877 14882 6228 0 -1 4202560 2423 0 1 0 144 2 0 0 20 0 19 0 5289231 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421619314400 140421490164693 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14890] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421608385320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14893] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421461916328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14895] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421460864040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14896] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421459811240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14898] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14898/stat : 14898 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421458757928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14900] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14900/stat : 14900 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421457705128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14901] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14901/stat : 14901 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421456652840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14903] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14903/stat : 14903 (java) S 14877 14882 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421455600040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14905] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14905/stat : 14905 (java) S 14877 14882 6228 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421443402472 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14908] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14908/stat : 14908 (java) S 14877 14882 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421442348536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14910] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14910/stat : 14910 (java) S 14877 14882 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421441296136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14912] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14912/stat : 14912 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421440244624 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14914] ppid=14877 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/14882/task/14914/stat : 14914 (java) S 14877 14882 6228 0 -1 4202560 4261 0 0 0 37 0 0 0 20 0 19 0 5289236 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421439191224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14916] ppid=14877 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/14882/task/14916/stat : 14916 (java) S 14877 14882 6228 0 -1 4202560 3987 0 0 0 43 0 0 0 20 0 19 0 5289236 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421438138424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14918] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14918/stat : 14918 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421437086328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14920] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14920/stat : 14920 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421436033736 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14921] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14921/stat : 14921 (java) S 14877 14882 6228 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5289259 9856040960 17611 33554432000 1073741824 1073778376 140735232769920 140421434979752 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 9625040

[startup+3.10083 s]
/proc/loadavg: 2.08 2.06 2.18 4/213 14922
/proc/meminfo: memFree=30479776/32872528 swapFree=480236/529292
[pid=14882] ppid=14877 vsize=9625040 CPUtime=3.92 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14877 14882 6228 0 -1 4202496 11966 0 1 0 388 4 0 0 20 0 19 0 5289230 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140735232761056 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14882/statm: 2406260 26827 2267 9 0 2396937 0
[pid=14882/tid=14887] ppid=14877 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) R 14877 14882 6228 0 -1 4202560 2442 0 1 0 303 3 0 0 20 0 19 0 5289231 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421619321368 140421490143612 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14890] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421608385320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14893] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421461916328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14895] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421460864040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14896] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421459811240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14898] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14898/stat : 14898 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421458757928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14900] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14900/stat : 14900 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421457705128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14901] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14901/stat : 14901 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421456652840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14903] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14903/stat : 14903 (java) S 14877 14882 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421455600040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14905] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14905/stat : 14905 (java) S 14877 14882 6228 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421443402472 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14908] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14908/stat : 14908 (java) S 14877 14882 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421442348536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14910] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14910/stat : 14910 (java) S 14877 14882 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421441296136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14912] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14912/stat : 14912 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421440244624 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14914] ppid=14877 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/14882/task/14914/stat : 14914 (java) S 14877 14882 6228 0 -1 4202560 4261 0 0 0 38 0 0 0 20 0 19 0 5289236 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421439191224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14916] ppid=14877 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/14882/task/14916/stat : 14916 (java) S 14877 14882 6228 0 -1 4202560 3987 0 0 0 45 0 0 0 20 0 19 0 5289236 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421438138424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14918] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14918/stat : 14918 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421437086328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14920] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14920/stat : 14920 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421436033736 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14921] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14921/stat : 14921 (java) S 14877 14882 6228 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5289259 9856040960 26827 33554432000 1073741824 1073778376 140735232769920 140421434979752 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 9625040

[startup+6.30093 s]
/proc/loadavg: 2.07 2.06 2.18 4/213 14922
/proc/meminfo: memFree=30367012/32872528 swapFree=480236/529292
[pid=14882] ppid=14877 vsize=9625040 CPUtime=7.25 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14877 14882 6228 0 -1 4202496 12094 0 1 0 716 9 0 0 20 0 19 0 5289230 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140735232761056 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14882/statm: 2406260 52391 2281 9 0 2396937 0
[pid=14882/tid=14887] ppid=14877 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) R 14877 14882 6228 0 -1 4202560 2476 0 1 0 619 4 0 0 20 0 19 0 5289231 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421619322216 140421490143553 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14890] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14877 14882 6228 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421608385320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14893] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14877 14882 6228 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421461916328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14895] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14877 14882 6228 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421460864040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14896] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14877 14882 6228 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421459811240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14898] ppid=14877 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/14882/task/14898/stat : 14898 (java) S 14877 14882 6228 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 5289232 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421458757928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14900] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14900/stat : 14900 (java) S 14877 14882 6228 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421457705128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14901] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14901/stat : 14901 (java) S 14877 14882 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421456652840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14903] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14903/stat : 14903 (java) S 14877 14882 6228 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 5289232 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421455600040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14905] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14905/stat : 14905 (java) S 14877 14882 6228 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421443402472 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14908] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14908/stat : 14908 (java) S 14877 14882 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421442348536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14910] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14910/stat : 14910 (java) S 14877 14882 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421441296136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14912] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14912/stat : 14912 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421440244624 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14914] ppid=14877 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/14882/task/14914/stat : 14914 (java) S 14877 14882 6228 0 -1 4202560 4261 0 0 0 39 0 0 0 20 0 19 0 5289236 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421439191224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14916] ppid=14877 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/14882/task/14916/stat : 14916 (java) S 14877 14882 6228 0 -1 4202560 3987 0 0 0 49 0 0 0 20 0 19 0 5289236 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421438138424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14918] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14918/stat : 14918 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421437086328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14920] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14920/stat : 14920 (java) S 14877 14882 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421436033736 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14921] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14921/stat : 14921 (java) S 14877 14882 6228 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5289259 9856040960 52391 33554432000 1073741824 1073778376 140735232769920 140421434979752 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 9625040


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

[pid=14882/tid=14908] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14908/stat : 14908 (java) S 14877 14882 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 211694 33554432000 1073741824 1073778376 140735232769920 140421442348536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14910] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14910/stat : 14910 (java) S 14877 14882 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 211694 33554432000 1073741824 1073778376 140735232769920 140421441296136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14912] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14912/stat : 14912 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 211694 33554432000 1073741824 1073778376 140735232769920 140421440244624 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14914] ppid=14877 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/14882/task/14914/stat : 14914 (java) S 14877 14882 6228 0 -1 4202560 4266 0 0 0 48 0 0 0 20 0 19 0 5289236 9856040960 211694 33554432000 1073741824 1073778376 140735232769920 140421439191224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14916] ppid=14877 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/14882/task/14916/stat : 14916 (java) S 14877 14882 6228 0 -1 4202560 3987 0 0 0 50 0 0 0 20 0 19 0 5289236 9856040960 211694 33554432000 1073741824 1073778376 140735232769920 140421438138424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14918] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14918/stat : 14918 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 211694 33554432000 1073741824 1073778376 140735232769920 140421437086328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14920] ppid=14877 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/14882/task/14920/stat : 14920 (java) S 14877 14882 6228 0 -1 4202560 97 0 0 0 26 30 0 0 20 0 19 0 5289236 9856040960 211694 33554432000 1073741824 1073778376 140735232769920 140421436033736 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14921] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14921/stat : 14921 (java) S 14877 14882 6228 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5289259 9856040960 211694 33554432000 1073741824 1073778376 140735232769920 140421434979752 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1685.09
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.15 2.15 2.14 4/213 14990
/proc/meminfo: memFree=28899488/32872528 swapFree=480236/529292
[pid=14882] ppid=14877 vsize=9625040 CPUtime=1745.81 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14877 14882 6228 0 -1 4202496 28125 0 1 0 174330 251 0 0 20 0 19 0 5289230 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140735232761056 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14882/statm: 2406260 190589 2291 9 0 2396937 0
[pid=14882/tid=14887] ppid=14877 vsize=9625040 CPUtime=1706.91 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) R 14877 14882 6228 0 -1 4202560 2915 0 1 0 170659 32 0 0 20 0 19 0 5289231 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421619322200 140421490412912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14890] ppid=14877 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14877 14882 6228 0 -1 4202560 1999 0 0 0 363 24 0 0 20 0 19 0 5289232 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421608385320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14893] ppid=14877 vsize=9625040 CPUtime=4.14 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14877 14882 6228 0 -1 4202560 1623 0 0 0 386 28 0 0 20 0 19 0 5289232 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421461916328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14895] ppid=14877 vsize=9625040 CPUtime=4.03 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14877 14882 6228 0 -1 4202560 1508 0 0 0 373 30 0 0 20 0 19 0 5289232 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421460864040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14896] ppid=14877 vsize=9625040 CPUtime=4.02 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14877 14882 6228 0 -1 4202560 1550 0 0 0 376 26 0 0 20 0 19 0 5289232 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421459811240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14898] ppid=14877 vsize=9625040 CPUtime=3.99 cores=1,3,5,7
/proc/14882/task/14898/stat : 14898 (java) S 14877 14882 6228 0 -1 4202560 1853 0 0 0 376 23 0 0 20 0 19 0 5289232 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421458757928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14900] ppid=14877 vsize=9625040 CPUtime=4.02 cores=1,3,5,7
/proc/14882/task/14900/stat : 14900 (java) S 14877 14882 6228 0 -1 4202560 1626 0 0 0 377 25 0 0 20 0 19 0 5289232 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421457705128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14901] ppid=14877 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/14882/task/14901/stat : 14901 (java) S 14877 14882 6228 0 -1 4202560 1693 0 0 0 365 25 0 0 20 0 19 0 5289232 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421456652840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14903] ppid=14877 vsize=9625040 CPUtime=3.71 cores=1,3,5,7
/proc/14882/task/14903/stat : 14903 (java) S 14877 14882 6228 0 -1 4202560 1609 0 0 0 346 25 0 0 20 0 19 0 5289232 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421455600040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14905] ppid=14877 vsize=9625040 CPUtime=6.09 cores=1,3,5,7
/proc/14882/task/14905/stat : 14905 (java) S 14877 14882 6228 0 -1 4202560 2133 0 0 0 600 9 0 0 20 0 19 0 5289234 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421443402472 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14908] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14908/stat : 14908 (java) S 14877 14882 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421442348536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14910] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14910/stat : 14910 (java) S 14877 14882 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421441296136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14912] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14912/stat : 14912 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421440244624 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14914] ppid=14877 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/14882/task/14914/stat : 14914 (java) S 14877 14882 6228 0 -1 4202560 4266 0 0 0 48 0 0 0 20 0 19 0 5289236 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421439191224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14916] ppid=14877 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/14882/task/14916/stat : 14916 (java) S 14877 14882 6228 0 -1 4202560 3987 0 0 0 50 0 0 0 20 0 19 0 5289236 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421438138424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14918] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14918/stat : 14918 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421437086328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14920] ppid=14877 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/14882/task/14920/stat : 14920 (java) S 14877 14882 6228 0 -1 4202560 101 0 0 0 27 32 0 0 20 0 19 0 5289236 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421436033736 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14921] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14921/stat : 14921 (java) S 14877 14882 6228 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5289259 9856040960 190589 33554432000 1073741824 1073778376 140735232769920 140421434979752 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1745.81
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1775.9 s]
/proc/loadavg: 2.16 2.15 2.14 4/213 14991
/proc/meminfo: memFree=28931256/32872528 swapFree=480236/529292
[pid=14882] ppid=14877 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14877 14882 6228 0 -1 4202496 29710 0 1 0 179740 264 0 0 20 0 19 0 5289230 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140735232761056 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14882/statm: 2406260 207736 2291 9 0 2396937 0
[pid=14882/tid=14887] ppid=14877 vsize=9625040 CPUtime=1760.12 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) R 14877 14882 6228 0 -1 4202560 2926 0 1 0 175979 33 0 0 20 0 19 0 5289231 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421619322064 140421490143204 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14890] ppid=14877 vsize=9625040 CPUtime=3.99 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14877 14882 6228 0 -1 4202560 2221 0 0 0 372 27 0 0 20 0 19 0 5289232 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421608385320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14893] ppid=14877 vsize=9625040 CPUtime=4.26 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14877 14882 6228 0 -1 4202560 1641 0 0 0 397 29 0 0 20 0 19 0 5289232 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421461916328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14895] ppid=14877 vsize=9625040 CPUtime=4.12 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14877 14882 6228 0 -1 4202560 1690 0 0 0 381 31 0 0 20 0 19 0 5289232 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421460864040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14896] ppid=14877 vsize=9625040 CPUtime=4.12 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14877 14882 6228 0 -1 4202560 1681 0 0 0 385 27 0 0 20 0 19 0 5289232 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421459811240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14898] ppid=14877 vsize=9625040 CPUtime=4.13 cores=1,3,5,7
/proc/14882/task/14898/stat : 14898 (java) S 14877 14882 6228 0 -1 4202560 1947 0 0 0 387 26 0 0 20 0 19 0 5289232 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421458757928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14900] ppid=14877 vsize=9625040 CPUtime=4.11 cores=1,3,5,7
/proc/14882/task/14900/stat : 14900 (java) S 14877 14882 6228 0 -1 4202560 1860 0 0 0 384 27 0 0 20 0 19 0 5289232 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421457705128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14901] ppid=14877 vsize=9625040 CPUtime=4.01 cores=1,3,5,7
/proc/14882/task/14901/stat : 14901 (java) S 14877 14882 6228 0 -1 4202560 2147 0 0 0 375 26 0 0 20 0 19 0 5289232 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421456652840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14903] ppid=14877 vsize=9625040 CPUtime=3.79 cores=1,3,5,7
/proc/14882/task/14903/stat : 14903 (java) S 14877 14882 6228 0 -1 4202560 1829 0 0 0 353 26 0 0 20 0 19 0 5289232 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421455600040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14905] ppid=14877 vsize=9625040 CPUtime=6.22 cores=1,3,5,7
/proc/14882/task/14905/stat : 14905 (java) S 14877 14882 6228 0 -1 4202560 2148 0 0 0 613 9 0 0 20 0 19 0 5289234 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421443402472 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14908] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14908/stat : 14908 (java) S 14877 14882 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421442348536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14910] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14910/stat : 14910 (java) S 14877 14882 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421441296136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14912] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14912/stat : 14912 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421440244624 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14914] ppid=14877 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/14882/task/14914/stat : 14914 (java) S 14877 14882 6228 0 -1 4202560 4266 0 0 0 48 0 0 0 20 0 19 0 5289236 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421439191224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14916] ppid=14877 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/14882/task/14916/stat : 14916 (java) S 14877 14882 6228 0 -1 4202560 3987 0 0 0 50 0 0 0 20 0 19 0 5289236 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421438138424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14918] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14918/stat : 14918 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421437086328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14920] ppid=14877 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/14882/task/14920/stat : 14920 (java) S 14877 14882 6228 0 -1 4202560 105 0 0 0 28 33 0 0 20 0 19 0 5289236 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421436033736 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14921] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14921/stat : 14921 (java) S 14877 14882 6228 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5289259 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421434979752 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1775.9 s]
/proc/loadavg: 2.16 2.15 2.14 4/213 14991
/proc/meminfo: memFree=28931256/32872528 swapFree=480236/529292
[pid=14882] ppid=14877 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14877 14882 6228 0 -1 4202496 29710 0 1 0 179740 264 0 0 20 0 19 0 5289230 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140735232761056 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14882/statm: 2406260 207736 2291 9 0 2396937 0
[pid=14882/tid=14887] ppid=14877 vsize=9625040 CPUtime=1760.12 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) R 14877 14882 6228 0 -1 4202560 2926 0 1 0 175979 33 0 0 20 0 19 0 5289231 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421619322064 140421490143204 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14890] ppid=14877 vsize=9625040 CPUtime=3.99 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14877 14882 6228 0 -1 4202560 2221 0 0 0 372 27 0 0 20 0 19 0 5289232 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421608385320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14893] ppid=14877 vsize=9625040 CPUtime=4.26 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14877 14882 6228 0 -1 4202560 1641 0 0 0 397 29 0 0 20 0 19 0 5289232 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421461916328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14895] ppid=14877 vsize=9625040 CPUtime=4.12 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14877 14882 6228 0 -1 4202560 1690 0 0 0 381 31 0 0 20 0 19 0 5289232 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421460864040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14896] ppid=14877 vsize=9625040 CPUtime=4.12 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14877 14882 6228 0 -1 4202560 1681 0 0 0 385 27 0 0 20 0 19 0 5289232 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421459811240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14898] ppid=14877 vsize=9625040 CPUtime=4.13 cores=1,3,5,7
/proc/14882/task/14898/stat : 14898 (java) S 14877 14882 6228 0 -1 4202560 1947 0 0 0 387 26 0 0 20 0 19 0 5289232 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421458757928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14900] ppid=14877 vsize=9625040 CPUtime=4.11 cores=1,3,5,7
/proc/14882/task/14900/stat : 14900 (java) S 14877 14882 6228 0 -1 4202560 1860 0 0 0 384 27 0 0 20 0 19 0 5289232 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421457705128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14901] ppid=14877 vsize=9625040 CPUtime=4.01 cores=1,3,5,7
/proc/14882/task/14901/stat : 14901 (java) S 14877 14882 6228 0 -1 4202560 2147 0 0 0 375 26 0 0 20 0 19 0 5289232 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421456652840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14903] ppid=14877 vsize=9625040 CPUtime=3.79 cores=1,3,5,7
/proc/14882/task/14903/stat : 14903 (java) S 14877 14882 6228 0 -1 4202560 1829 0 0 0 353 26 0 0 20 0 19 0 5289232 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421455600040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14905] ppid=14877 vsize=9625040 CPUtime=6.22 cores=1,3,5,7
/proc/14882/task/14905/stat : 14905 (java) S 14877 14882 6228 0 -1 4202560 2148 0 0 0 613 9 0 0 20 0 19 0 5289234 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421443402472 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14908] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14908/stat : 14908 (java) S 14877 14882 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421442348536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14910] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14910/stat : 14910 (java) S 14877 14882 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5289234 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421441296136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14912] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14912/stat : 14912 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421440244624 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14914] ppid=14877 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/14882/task/14914/stat : 14914 (java) S 14877 14882 6228 0 -1 4202560 4266 0 0 0 48 0 0 0 20 0 19 0 5289236 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421439191224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14916] ppid=14877 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/14882/task/14916/stat : 14916 (java) S 14877 14882 6228 0 -1 4202560 3987 0 0 0 50 0 0 0 20 0 19 0 5289236 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421438138424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14918] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14918/stat : 14918 (java) S 14877 14882 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5289236 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421437086328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14920] ppid=14877 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/14882/task/14920/stat : 14920 (java) S 14877 14882 6228 0 -1 4202560 105 0 0 0 28 33 0 0 20 0 19 0 5289236 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421436033736 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14921] ppid=14877 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14921/stat : 14921 (java) S 14877 14882 6228 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5289259 9856040960 207736 33554432000 1073741824 1073778376 140735232769920 140421434979752 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1775.94
CPU time (s): 1800.79
CPU user time (s): 1797.71
CPU system time (s): 3.08153
CPU usage (%): 101.399
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.71
system time used= 3.08153
maximum resident set size= 909028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29752
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51647
involuntary context switches= 55360

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4544 second user time and 14.1199 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-30 06:58:13
IDJOB=4119602
IDBENCH=111771
IDSOLVER=2546
FILE ID=node141/4119602-1467262693
RUNJOBID= node141-1467262693-14856
PBS_JOBID= 20004482
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-sporttournament42.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119602-1467262693/watcher-4119602-1467262693 -o /tmp/evaluation-result-4119602-1467262693/solver-4119602-1467262693 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467262693-14856 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119602-1467262693.opb

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

MD5SUM BENCH= 26abcf797f653d51003b3019ae19e5f0
RANDOM SEED=388214353

node141.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.448
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.89
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.448
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.448
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.448
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.448
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.448
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	: 5339.30
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.448
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.53
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.448
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30715800 kB
Buffers:          145004 kB
Cached:           726140 kB
SwapCached:            0 kB
Active:           202564 kB
Inactive:         682532 kB
Active(anon):      16620 kB
Inactive(anon):        4 kB
Active(file):     185944 kB
Inactive(file):   682528 kB
Unevictable:      529292 kB
Mlocked:          480236 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1640 kB
Writeback:            12 kB
AnonPages:        542556 kB
Mapped:            14112 kB
Shmem:               204 kB
Slab:             610120 kB
SReclaimable:      54056 kB
SUnreclaim:       556064 kB
KernelStack:        1408 kB
PageTables:         5412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     629484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 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= 71700 MiB
End job on node141 at 2016-06-30 07:27:49