Trace number 4103644

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)0 1800.01 1793.94

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-kb2.opb
MD5SUM7bb51fb18714f8fdd98e0de4fc62f6d8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables1096
Total number of constraints52
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 constraints52
Minimum length of a constraint13
Maximum length of a constraint300
Number of terms in the objective function 48
Biggest coefficient in the objective function 4325376
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 12058535
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 5715913739337728
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 75299293548900036
Number of bits of the biggest sum of numbers57
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/0.10	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.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-4103644-1466246104.opb
0.10/0.10	c reading problem ... 
0.10/0.10	c  objective function found
0.32/0.27	c ... done. Wall clock time 0.165s.
0.32/0.27	c declared #vars     1096
0.32/0.27	c #constraints  68
0.32/0.27	c constraints type 
0.32/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 68
0.32/0.27	c 68 constraints processed.
0.32/0.27	c objective function length is 48 literals
1.53/0.90	c cleaning 2499 clauses out of 5001 with flag 16447/5001
2.08/1.45	c cleaning 4252 clauses out of 8504 with flag 34449/11003
2.89/2.23	c cleaning 5624 clauses out of 11250 with flag 62529/18001
3.59/2.96	c cleaning 6807 clauses out of 13625 with flag 88004/26000
4.42/3.78	c cleaning 7906 clauses out of 15819 with flag 111071/35001
5.41/4.70	c cleaning 8953 clauses out of 17915 with flag 136252/45003
6.52/5.80	c cleaning 9977 clauses out of 19959 with flag 162851/56000
7.72/7.04	c cleaning 10990 clauses out of 21985 with flag 189958/68003
9.22/8.51	c cleaning 11996 clauses out of 23992 with flag 220916/81000
10.92/10.27	c cleaning 12997 clauses out of 25999 with flag 254502/95003
12.93/12.24	c cleaning 13995 clauses out of 28003 with flag 290571/110004
15.13/14.45	c cleaning 14995 clauses out of 30004 with flag 329761/126000
17.23/16.52	c cleaning 16002 clauses out of 32009 with flag 371936/143000
19.66/18.95	c cleaning 17001 clauses out of 34007 with flag 414749/161000
21.96/21.25	c cleaning 17999 clauses out of 36008 with flag 457352/180002
24.86/24.11	c cleaning 19002 clauses out of 38008 with flag 505774/200001
28.26/27.59	c cleaning 20002 clauses out of 40005 with flag 554320/221000
31.56/30.87	c cleaning 20996 clauses out of 42003 with flag 604996/243000
35.59/34.83	c cleaning 21995 clauses out of 44009 with flag 658918/266002
39.89/39.11	c cleaning 23004 clauses out of 46012 with flag 713539/290000
44.39/43.60	c cleaning 24000 clauses out of 48010 with flag 771069/315002
49.30/48.56	c cleaning 25001 clauses out of 50009 with flag 831782/341001
54.33/53.60	c cleaning 26003 clauses out of 52008 with flag 896728/368001
60.43/59.70	c cleaning 26996 clauses out of 54005 with flag 964693/396001
66.23/65.42	c cleaning 27997 clauses out of 56011 with flag 1030998/425003
72.39/71.55	c cleaning 29004 clauses out of 58011 with flag 1097329/455000
79.18/78.36	c cleaning 29997 clauses out of 60007 with flag 1164982/486000
89.38/88.57	c cleaning 30995 clauses out of 62010 with flag 1236276/518000
97.88/97.08	c cleaning 31997 clauses out of 64017 with flag 1306818/551002
106.22/105.34	c cleaning 33000 clauses out of 66019 with flag 1379592/585001
114.72/113.90	c cleaning 34002 clauses out of 68018 with flag 1456478/620000
123.42/122.55	c cleaning 35002 clauses out of 70016 with flag 1536197/656000
136.86/135.96	c cleaning 35999 clauses out of 72015 with flag 1618739/693001
149.96/149.08	c cleaning 37002 clauses out of 74015 with flag 1705147/731000
160.81/159.83	c cleaning 38001 clauses out of 76013 with flag 1798336/770000
172.82/171.82	c cleaning 38997 clauses out of 78013 with flag 1897429/810001
186.57/185.54	c cleaning 40006 clauses out of 80018 with flag 1988526/851003
201.08/200.08	c cleaning 40999 clauses out of 82010 with flag 2082826/893001
226.67/225.57	c cleaning 42003 clauses out of 84011 with flag 2178523/936001
247.37/246.29	c cleaning 43001 clauses out of 86007 with flag 2280696/980000
256.38/255.20	c cleaning 43999 clauses out of 88007 with flag 2546173/1025001
270.39/269.03	c cleaning 45004 clauses out of 90007 with flag 2819573/1071000
284.58/283.17	c cleaning 45997 clauses out of 92004 with flag 3083315/1118001
296.01/294.52	c cleaning 46990 clauses out of 94006 with flag 3388726/1166000
307.19/305.67	c cleaning 47994 clauses out of 96016 with flag 3686641/1215000
316.35/314.78	c cleaning 48999 clauses out of 98022 with flag 3913089/1265000
333.48/331.86	c cleaning 50001 clauses out of 100023 with flag 4026920/1316000
349.58/347.81	c cleaning 51000 clauses out of 102023 with flag 4143237/1368001
366.78/365.07	c cleaning 52003 clauses out of 104022 with flag 4261496/1421000
385.15/383.37	c cleaning 53000 clauses out of 106023 with flag 4378518/1475004
405.49/403.63	c cleaning 53994 clauses out of 108019 with flag 4499047/1530000
410.13/408.29	c SATISFIABLE
410.13/408.29	c OPTIMIZING...
410.13/408.29	c Got one! Elapsed wall clock time (in seconds):408.189
410.13/408.29	o 0
411.31/409.47	c cleaning 42824 clauses out of 85647 with flag 18164/1561622
412.61/410.71	c cleaning 24403 clauses out of 48822 with flag 48367/1567621
413.61/411.73	c cleaning 15706 clauses out of 31421 with flag 93174/1574623
414.84/412.91	c cleaning 11853 clauses out of 23713 with flag 142149/1582621
416.14/414.22	c cleaning 10420 clauses out of 20860 with flag 198716/1591621
417.55/415.68	c cleaning 10214 clauses out of 20441 with flag 262090/1601622
419.15/417.21	c cleaning 10605 clauses out of 21227 with flag 324653/1612622
420.76/418.88	c cleaning 11302 clauses out of 22622 with flag 398646/1624622
422.56/420.68	c cleaning 12156 clauses out of 24321 with flag 480006/1637623
424.78/422.86	c cleaning 13074 clauses out of 26163 with flag 567134/1651621
426.88/424.99	c cleaning 14040 clauses out of 28090 with flag 646626/1666622
429.60/427.63	c cleaning 15021 clauses out of 30051 with flag 747981/1682623
432.62/430.67	c cleaning 16012 clauses out of 32029 with flag 864104/1699622
435.64/433.69	c cleaning 17006 clauses out of 34018 with flag 968454/1717623
439.07/437.02	c cleaning 17992 clauses out of 36013 with flag 1067876/1736624
442.59/440.59	c cleaning 19004 clauses out of 38019 with flag 1159914/1756622
446.72/444.60	c cleaning 20001 clauses out of 40015 with flag 1251820/1777622
451.13/449.01	c cleaning 20997 clauses out of 42013 with flag 1368172/1799621
455.95/453.80	c cleaning 22004 clauses out of 44017 with flag 1494132/1822622
461.50/459.37	c cleaning 22998 clauses out of 46012 with flag 1637647/1846621
464.64/462.45	c cleaning 23998 clauses out of 48015 with flag 1697282/1871622
471.63/469.40	c cleaning 25006 clauses out of 50018 with flag 1749287/1897623
478.96/476.76	c cleaning 26000 clauses out of 52011 with flag 1804867/1924622
486.76/484.58	c cleaning 27002 clauses out of 54010 with flag 1861070/1952621
495.68/493.48	c cleaning 28003 clauses out of 56010 with flag 1919715/1981623
505.44/503.18	c cleaning 28996 clauses out of 58005 with flag 1980115/2011621
516.82/514.41	c cleaning 30000 clauses out of 60010 with flag 2042599/2042622
527.38/524.97	c cleaning 31003 clauses out of 62011 with flag 2114034/2074624
535.04/532.51	c cleaning 32003 clauses out of 64006 with flag 2281668/2107622
540.40/537.87	c cleaning 32994 clauses out of 66005 with flag 2396618/2141624
547.93/545.36	c cleaning 33999 clauses out of 68009 with flag 2474171/2176622
555.37/552.73	c cleaning 35006 clauses out of 70011 with flag 2558064/2212623
562.40/559.73	c cleaning 35995 clauses out of 72003 with flag 2648378/2249621
571.33/568.61	c cleaning 36991 clauses out of 74008 with flag 2737132/2287621
579.55/576.82	c cleaning 38002 clauses out of 76019 with flag 2821637/2326623
590.22/587.44	c cleaning 39005 clauses out of 78015 with flag 2910271/2366621
601.79/598.93	c cleaning 40002 clauses out of 80012 with flag 3003367/2407623
611.14/608.23	c cleaning 40994 clauses out of 82008 with flag 3100118/2449621
621.79/618.88	c cleaning 42001 clauses out of 84015 with flag 3343534/2492622
636.68/633.61	c cleaning 43008 clauses out of 86026 with flag 3654377/2536634
653.06/649.95	c cleaning 43998 clauses out of 88005 with flag 3899825/2581621
661.96/658.72	c cleaning 45003 clauses out of 90010 with flag 4028233/2627624
679.71/676.44	c cleaning 46002 clauses out of 92006 with flag 4130552/2674623
700.06/696.77	c cleaning 46997 clauses out of 94002 with flag 4226550/2722621
720.92/717.57	c cleaning 47998 clauses out of 96005 with flag 4324569/2771621
745.75/742.30	c cleaning 49005 clauses out of 98009 with flag 4424586/2821623
771.95/768.47	c cleaning 49992 clauses out of 100002 with flag 4526588/2872621
799.19/795.62	c cleaning 51005 clauses out of 102010 with flag 4630620/2924621
826.49/822.82	c cleaning 52001 clauses out of 104008 with flag 4736632/2977624
856.82/853.11	c cleaning 53001 clauses out of 106006 with flag 4844700/3031623
888.01/884.21	c cleaning 54001 clauses out of 108005 with flag 4960108/3086623
919.57/915.74	c cleaning 54995 clauses out of 110002 with flag 5105407/3142621
952.12/948.17	c cleaning 55998 clauses out of 112007 with flag 5252587/3199621
978.80/974.75	c cleaning 56998 clauses out of 114009 with flag 5379701/3257621
1007.98/1003.84	c cleaning 58001 clauses out of 116012 with flag 5500621/3316622
1038.98/1034.76	c cleaning 59000 clauses out of 118011 with flag 5622239/3376622
1073.16/1068.82	c cleaning 59999 clauses out of 120011 with flag 5746113/3437622
1107.02/1102.64	c cleaning 60992 clauses out of 122012 with flag 5872540/3499622
1145.06/1140.55	c cleaning 62002 clauses out of 124021 with flag 6001777/3562623
1186.84/1182.28	c cleaning 62997 clauses out of 126017 with flag 6133595/3626621
1225.56/1220.83	c cleaning 63998 clauses out of 128021 with flag 6267078/3691622
1274.74/1269.96	c cleaning 65005 clauses out of 130022 with flag 6400605/3757621
1318.79/1313.83	c cleaning 66001 clauses out of 132018 with flag 6550811/3824622
1373.95/1368.81	c cleaning 66998 clauses out of 134016 with flag 6686937/3892621
1429.99/1424.73	c cleaning 68007 clauses out of 136019 with flag 6828289/3961622
1489.45/1484.01	c cleaning 69000 clauses out of 138013 with flag 6968522/4031623
1556.87/1551.32	c cleaning 70000 clauses out of 140013 with flag 7110564/4102623
1625.04/1619.38	c cleaning 71000 clauses out of 142011 with flag 7254619/4174621
1693.77/1687.96	c cleaning 71997 clauses out of 144011 with flag 7400630/4247621
1770.49/1764.51	c cleaning 73004 clauses out of 146014 with flag 7548717/4321621
1800.01/1793.90	c starts		: 7612
1800.01/1793.90	c conflicts		: 4363591
1800.01/1793.90	c decisions		: 5367886
1800.01/1793.90	c propagations		: 68474653
1800.01/1793.90	c inspects		: 32819653160
1800.01/1793.90	c shortcuts		: 0
1800.01/1793.90	c learnt literals	: 1
1800.01/1793.90	c learnt binary clauses	: 43
1800.01/1793.90	c learnt ternary clauses	: 322
1800.01/1793.90	c learnt constraints	: 4363590
1800.01/1793.90	c ignored constraints	: 0
1800.01/1793.90	c root simplifications	: 0
1800.01/1793.90	c removed literals (reason simplification)	: 0
1800.01/1793.90	c reason swapping (by a shorter reason)	: 0
1800.01/1793.90	c Calls to reduceDB	: 121
1800.01/1793.90	c Number of update (reduction) of LBD	: 365828
1800.01/1793.90	c Imported unit clauses	: 0
1800.01/1793.90	c number of reductions to clauses (during analyze)	: 0
1800.01/1793.90	c number of learned constraints concerned by reduction	: 0
1800.01/1793.90	c number of learning phase by resolution	: 0
1800.01/1793.90	c number of learning phase by cutting planes	: 0
1800.01/1793.90	c speed (assignments/second)	: 38176.62135069256
1800.01/1793.90	c non guided choices	65
1800.01/1793.93	c learnt constraints type 
1800.01/1793.93	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 43
1800.01/1793.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 114938
1800.01/1793.93	s SATISFIABLE
1800.01/1793.93	c Found 1 solution(s)
1800.01/1793.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 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 
1800.01/1793.93	c objective function=0
1800.01/1793.93	c Total wall clock time (in seconds): 1793.829

Verifier Data 

OK	0

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-4103644-1466246104/watcher-4103644-1466246104 -o /tmp/evaluation-result-4103644-1466246104/solver-4103644-1466246104 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466240732-22004 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103644-1466246104.opb 

pid=22920
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: 2.26 2.24 2.18 4/194 22923
/proc/meminfo: memFree=29998964/32872528 swapFree=1542984/1696284
[pid=22923] ppid=22920 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/22923/stat : 22923 (java) S 22920 22923 21988 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 26657039 98570240 977 33554432000 1073741824 1073778376 140733475650480 140733475641616 270710898749 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22923/statm: 24065 977 743 9 0 16771 0
[pid=22923/tid=22924] ppid=22920 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22924/stat : 22924 (java) R 22920 22923 21988 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 26657040 98570240 978 33554432000 1073741824 1073778376 140733475650480 140219219365416 270707541376 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.26 2.24 2.18 4/194 22923
/proc/meminfo: memFree=29998964/32872528 swapFree=1542984/1696284
[pid=22923] ppid=22920 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/22923/stat : 22923 (java) S 22920 22923 21988 0 -1 4202496 4477 0 1 0 9 1 0 0 20 0 18 0 26657039 9787879424 6101 33554432000 1073741824 1073778376 140733475650480 140733475641616 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22923/statm: 2389619 6101 2155 9 0 2380296 0
[pid=22923/tid=22924] ppid=22920 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/22923/task/22924/stat : 22924 (java) R 22920 22923 21988 0 -1 4202560 2370 0 1 0 7 0 0 0 20 0 18 0 26657040 9787879424 6101 33554432000 1073741824 1073778376 140733475650480 140219219368648 270710924557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200261 s]
/proc/loadavg: 2.26 2.24 2.18 4/194 22923
/proc/meminfo: memFree=29998964/32872528 swapFree=1542984/1696284
[pid=22923] ppid=22920 vsize=9558476 CPUtime=0.32 cores=0,2,4,6
/proc/22923/stat : 22923 (java) S 22920 22923 21988 0 -1 4202496 8548 0 1 0 30 2 0 0 20 0 18 0 26657039 9787879424 9304 33554432000 1073741824 1073778376 140733475650480 140733475641616 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22923/statm: 2389619 9304 2218 9 0 2380296 0
[pid=22923/tid=22924] ppid=22920 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/22923/task/22924/stat : 22924 (java) R 22920 22923 21988 0 -1 4202560 2389 0 1 0 17 0 0 0 20 0 18 0 26657040 9787879424 9304 33554432000 1073741824 1073778376 140733475650480 140219219368168 140219223040208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9558476

[startup+0.300254 s]
/proc/loadavg: 2.26 2.24 2.18 4/194 22923
/proc/meminfo: memFree=29998964/32872528 swapFree=1542984/1696284
[pid=22923] ppid=22920 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/22923/stat : 22923 (java) S 22920 22923 21988 0 -1 4202496 9625 0 1 0 59 3 0 0 20 0 19 0 26657039 9856040960 10503 33554432000 1073741824 1073778376 140733475650480 140733475641616 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22923/statm: 2406260 10503 2239 9 0 2396937 0
[pid=22923/tid=22924] ppid=22920 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/22923/task/22924/stat : 22924 (java) R 22920 22923 21988 0 -1 4202560 2400 0 1 0 26 1 0 0 20 0 19 0 26657040 9856040960 10503 33554432000 1073741824 1073778376 140733475650480 140219219370624 270710914104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 9625040

[startup+0.700296 s]
/proc/loadavg: 2.26 2.24 2.18 4/194 22923
/proc/meminfo: memFree=29998964/32872528 swapFree=1542984/1696284
[pid=22923] ppid=22920 vsize=9625040 CPUtime=1.25 cores=0,2,4,6
/proc/22923/stat : 22923 (java) S 22920 22923 21988 0 -1 4202496 10564 0 1 0 122 3 0 0 20 0 19 0 26657039 9856040960 14267 33554432000 1073741824 1073778376 140733475650480 140733475641616 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22923/statm: 2406260 14267 2250 9 0 2396937 0
[pid=22923/tid=22924] ppid=22920 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/22923/task/22924/stat : 22924 (java) R 22920 22923 21988 0 -1 4202560 2408 0 1 0 66 1 0 0 20 0 19 0 26657040 9856040960 14267 33554432000 1073741824 1073778376 140733475650480 140219219370392 140219089755980 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9625040

[startup+1.50082 s]
/proc/loadavg: 2.26 2.24 2.18 4/213 22942
/proc/meminfo: memFree=29898776/32872528 swapFree=1542984/1696284
[pid=22923] ppid=22920 vsize=9625040 CPUtime=2.18 cores=0,2,4,6
/proc/22923/stat : 22923 (java) S 22920 22923 21988 0 -1 4202496 10615 0 1 0 215 3 0 0 20 0 19 0 26657039 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140733475641616 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22923/statm: 2406260 20449 2259 9 0 2396937 0
[pid=22923/tid=22924] ppid=22920 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/22923/task/22924/stat : 22924 (java) R 22920 22923 21988 0 -1 4202560 2421 0 1 0 146 1 0 0 20 0 19 0 26657040 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219219369208 140219089710005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22926] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22926/stat : 22926 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219208432296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22927] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22927/stat : 22927 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219061582632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22928] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22928/stat : 22928 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219060530088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22929] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22929/stat : 22929 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219059477544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22930] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22930/stat : 22930 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219058423976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22931] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22931/stat : 22931 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219057371432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22932] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22932/stat : 22932 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219056318888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22933] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22933/stat : 22933 (java) S 22920 22923 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219055266344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22934] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22934/stat : 22934 (java) S 22920 22923 21988 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 26657041 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219043068520 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22935] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22935/stat : 22935 (java) S 22920 22923 21988 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 26657042 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219042014840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22936] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22936/stat : 22936 (java) S 22920 22923 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26657042 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219040962184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22937] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22937/stat : 22937 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657044 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219039910928 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22938] ppid=22920 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/22923/task/22938/stat : 22938 (java) S 22920 22923 21988 0 -1 4202560 3106 0 0 0 31 0 0 0 20 0 19 0 26657044 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219038857272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22939] ppid=22920 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/22923/task/22939/stat : 22939 (java) S 22920 22923 21988 0 -1 4202560 3811 0 0 0 35 1 0 0 20 0 19 0 26657044 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219037804728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22940] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22940/stat : 22940 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657044 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219036752376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22941] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22941/stat : 22941 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657044 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219035700040 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22942] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22942/stat : 22942 (java) S 22920 22923 21988 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 26657067 9856040960 20449 33554432000 1073741824 1073778376 140733475650480 140219034645800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 9625040

[startup+3.10082 s]
/proc/loadavg: 2.26 2.24 2.18 4/213 22942
/proc/meminfo: memFree=29869976/32872528 swapFree=1542984/1696284
[pid=22923] ppid=22920 vsize=9625040 CPUtime=3.81 cores=0,2,4,6
/proc/22923/stat : 22923 (java) S 22920 22923 21988 0 -1 4202496 10639 0 1 0 377 4 0 0 20 0 19 0 26657039 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140733475641616 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22923/statm: 2406260 32225 2259 9 0 2396937 0
[pid=22923/tid=22924] ppid=22920 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/22923/task/22924/stat : 22924 (java) R 22920 22923 21988 0 -1 4202560 2445 0 1 0 305 2 0 0 20 0 19 0 26657040 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219219361472 140219089756503 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22926] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22926/stat : 22926 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219208432296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22927] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22927/stat : 22927 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219061582632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22928] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22928/stat : 22928 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219060530088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22929] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22929/stat : 22929 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219059477544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22930] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22930/stat : 22930 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219058423976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22931] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22931/stat : 22931 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219057371432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22932] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22932/stat : 22932 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219056318888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22933] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22933/stat : 22933 (java) S 22920 22923 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219055266344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22934] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22934/stat : 22934 (java) S 22920 22923 21988 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 26657041 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219043068520 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22935] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22935/stat : 22935 (java) S 22920 22923 21988 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 26657042 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219042014840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22936] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22936/stat : 22936 (java) S 22920 22923 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26657042 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219040962184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22937] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22937/stat : 22937 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657044 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219039910928 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22938] ppid=22920 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/22923/task/22938/stat : 22938 (java) S 22920 22923 21988 0 -1 4202560 3106 0 0 0 31 0 0 0 20 0 19 0 26657044 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219038857272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22939] ppid=22920 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/22923/task/22939/stat : 22939 (java) S 22920 22923 21988 0 -1 4202560 3811 0 0 0 37 1 0 0 20 0 19 0 26657044 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219037804728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22940] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22940/stat : 22940 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657044 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219036752376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22941] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22941/stat : 22941 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657044 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219035700040 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22942] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22942/stat : 22942 (java) S 22920 22923 21988 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 26657067 9856040960 32225 33554432000 1073741824 1073778376 140733475650480 140219034645800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 2.24 2.23 2.18 4/213 22942
/proc/meminfo: memFree=29682400/32872528 swapFree=1542984/1696284
[pid=22923] ppid=22920 vsize=9625040 CPUtime=7.02 cores=0,2,4,6
/proc/22923/stat : 22923 (java) S 22920 22923 21988 0 -1 4202496 10686 0 1 0 697 5 0 0 20 0 19 0 26657039 9856040960 42485 33554432000 1073741824 1073778376 140733475650480 140733475641616 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22923/statm: 2406260 42485 2273 9 0 2396937 0
[pid=22923/tid=22924] ppid=22920 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/22923/task/22924/stat : 22924 (java) R 22920 22923 21988 0 -1 4202560 2467 0 1 0 623 2 0 0 20 0 19 0 26657040 9856040960 42485 33554432000 1073741824 1073778376 140733475650480 140219219369240 140219089727958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22926] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22926/stat : 22926 (java) S 22920 22923 21988 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 42485 33554432000 1073741824 1073778376 140733475650480 140219208432296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22927] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22927/stat : 22927 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 42485 33554432000 1073741824 1073778376 140733475650480 140219061582632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22928] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22928/stat : 22928 (java) S 22920 22923 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 42485 33554432000 1073741824 1073778376 140733475650480 140219060530088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22929] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22929/stat : 22929 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 42485 33554432000 1073741824 1073778376 140733475650480 140219059477544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22930] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22930/stat : 22930 (java) S 22920 22923 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 42485 33554432000 1073741824 1073778376 140733475650480 140219058423976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22931] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22931/stat : 22931 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 42485 33554432000 1073741824 1073778376 140733475650480 140219057371432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22932] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22932/stat : 22932 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 42485 33554432000 1073741824 1073778376 140733475650480 140219056318888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22933] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22933/stat : 22933 (java) S 22920 22923 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26657040 9856040960 42485 33554432000 1073741824 1073778376 140733475650480 140219055266344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22934] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22934/stat : 22934 (java) S 22920 22923 21988 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 26657041 9856040960 42485 33554432000 1073741824 1073778376 140733475650480 140219043068520 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22935] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22935/stat : 22935 (java) S 22920 22923 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26657042 9856040960 42485 33554432000 1073741824 1073778376 140733475650480 140219042014840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22936] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22936/stat : 22936 (java) S 22920 22923 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 26657042 9856040960 42485 33554432000 1073741824 1073778376 140733475650480 140219040962184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22937] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22937/stat : 22937 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657044 9856040960 42485 33554432000 1073741824 1073778376 140733475650480 140219039910928 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22938] ppid=22920 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/22923/task/22938/stat : 22938 (java) S 22920 22923 21988 0 -1 4202560 3106 0 0 0 31 0 0 0 20 0 19 0 26657044 9856040960 42485 33554432000 1073741824 1073778376 140733475650480 140219038857272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22939] ppid=22920 vsize=9625040 CPUtime=0.39 cores=0,2,4,6

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

[pid=22923/tid=22942] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22942/stat : 22942 (java) S 22920 22923 21988 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 26657067 9856040960 62160 33554432000 1073741824 1073778376 140733475650480 140219034645800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1728.23
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.24 2.27 2.21 3/213 23009
/proc/meminfo: memFree=28649464/32872528 swapFree=1542984/1696284
[pid=22923] ppid=22920 vsize=9625040 CPUtime=1788.35 cores=0,2,4,6
/proc/22923/stat : 22923 (java) S 22920 22923 21988 0 -1 4202496 14347 0 1 0 178764 71 0 0 20 0 19 0 26657039 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140733475641616 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22923/statm: 2406260 62000 2282 9 0 2396937 0
[pid=22923/tid=22924] ppid=22920 vsize=9625040 CPUtime=1774.6 cores=0,2,4,6
/proc/22923/task/22924/stat : 22924 (java) R 22920 22923 21988 0 -1 4202560 2659 0 1 0 177429 31 0 0 20 0 19 0 26657040 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219219369152 140219089773830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22926] ppid=22920 vsize=9625040 CPUtime=0.94 cores=0,2,4,6
/proc/22923/task/22926/stat : 22926 (java) S 22920 22923 21988 0 -1 4202560 258 0 0 0 90 4 0 0 20 0 19 0 26657040 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219208432296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22927] ppid=22920 vsize=9625040 CPUtime=1 cores=0,2,4,6
/proc/22923/task/22927/stat : 22927 (java) S 22920 22923 21988 0 -1 4202560 411 0 0 0 94 6 0 0 20 0 19 0 26657040 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219061582632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22928] ppid=22920 vsize=9625040 CPUtime=0.94 cores=0,2,4,6
/proc/22923/task/22928/stat : 22928 (java) S 22920 22923 21988 0 -1 4202560 421 0 0 0 89 5 0 0 20 0 19 0 26657040 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219060530088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22929] ppid=22920 vsize=9625040 CPUtime=1 cores=0,2,4,6
/proc/22923/task/22929/stat : 22929 (java) S 22920 22923 21988 0 -1 4202560 376 0 0 0 94 6 0 0 20 0 19 0 26657040 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219059477544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22930] ppid=22920 vsize=9625040 CPUtime=0.93 cores=0,2,4,6
/proc/22923/task/22930/stat : 22930 (java) S 22920 22923 21988 0 -1 4202560 197 0 0 0 87 6 0 0 20 0 19 0 26657040 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219058423976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22931] ppid=22920 vsize=9625040 CPUtime=0.99 cores=0,2,4,6
/proc/22923/task/22931/stat : 22931 (java) S 22920 22923 21988 0 -1 4202560 490 0 0 0 91 8 0 0 20 0 19 0 26657040 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219057371432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22932] ppid=22920 vsize=9625040 CPUtime=0.96 cores=0,2,4,6
/proc/22923/task/22932/stat : 22932 (java) S 22920 22923 21988 0 -1 4202560 506 0 0 0 90 6 0 0 20 0 19 0 26657040 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219056318888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22933] ppid=22920 vsize=9625040 CPUtime=0.94 cores=0,2,4,6
/proc/22923/task/22933/stat : 22933 (java) S 22920 22923 21988 0 -1 4202560 530 0 0 0 89 5 0 0 20 0 19 0 26657040 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219055266344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22934] ppid=22920 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/22923/task/22934/stat : 22934 (java) S 22920 22923 21988 0 -1 4202560 200 0 0 0 49 4 0 0 20 0 19 0 26657041 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219043068520 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22935] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22935/stat : 22935 (java) S 22920 22923 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26657042 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219042014840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22936] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22936/stat : 22936 (java) S 22920 22923 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 26657042 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219040962184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22937] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22937/stat : 22937 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657044 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219039910928 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22938] ppid=22920 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/22923/task/22938/stat : 22938 (java) S 22920 22923 21988 0 -1 4202560 3106 0 0 0 31 0 0 0 20 0 19 0 26657044 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219038857272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22939] ppid=22920 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/22923/task/22939/stat : 22939 (java) S 22920 22923 21988 0 -1 4202560 3826 0 0 0 40 2 0 0 20 0 19 0 26657044 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219037804728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22940] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22940/stat : 22940 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657044 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219036752376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22941] ppid=22920 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/22923/task/22941/stat : 22941 (java) S 22920 22923 21988 0 -1 4202560 104 0 0 0 24 23 0 0 20 0 19 0 26657044 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219035700040 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22942] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22942/stat : 22942 (java) S 22920 22923 21988 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 26657067 9856040960 62000 33554432000 1073741824 1073778376 140733475650480 140219034645800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.9 s]
/proc/loadavg: 2.20 2.26 2.21 5/214 23011
/proc/meminfo: memFree=28649964/32872528 swapFree=1542984/1696284
[pid=22923] ppid=22920 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/22923/stat : 22923 (java) S 22920 22923 21988 0 -1 4202496 14349 0 1 0 179930 71 0 0 20 0 19 0 26657039 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140733475641616 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22923/statm: 2406260 61807 2282 9 0 2396937 0
[pid=22923/tid=22924] ppid=22920 vsize=9625040 CPUtime=1786.15 cores=0,2,4,6
/proc/22923/task/22924/stat : 22924 (java) R 22920 22923 21988 0 -1 4202560 2661 0 1 0 178583 32 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219219369152 140219089750099 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22926] ppid=22920 vsize=9625040 CPUtime=0.96 cores=0,2,4,6
/proc/22923/task/22926/stat : 22926 (java) S 22920 22923 21988 0 -1 4202560 258 0 0 0 92 4 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219208432296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22927] ppid=22920 vsize=9625040 CPUtime=1.01 cores=0,2,4,6
/proc/22923/task/22927/stat : 22927 (java) S 22920 22923 21988 0 -1 4202560 411 0 0 0 95 6 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219061582632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22928] ppid=22920 vsize=9625040 CPUtime=0.94 cores=0,2,4,6
/proc/22923/task/22928/stat : 22928 (java) S 22920 22923 21988 0 -1 4202560 421 0 0 0 89 5 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219060530088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22929] ppid=22920 vsize=9625040 CPUtime=1.01 cores=0,2,4,6
/proc/22923/task/22929/stat : 22929 (java) S 22920 22923 21988 0 -1 4202560 376 0 0 0 95 6 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219059477544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22930] ppid=22920 vsize=9625040 CPUtime=0.93 cores=0,2,4,6
/proc/22923/task/22930/stat : 22930 (java) S 22920 22923 21988 0 -1 4202560 197 0 0 0 87 6 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219058423976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22931] ppid=22920 vsize=9625040 CPUtime=0.99 cores=0,2,4,6
/proc/22923/task/22931/stat : 22931 (java) S 22920 22923 21988 0 -1 4202560 490 0 0 0 91 8 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219057371432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22932] ppid=22920 vsize=9625040 CPUtime=0.97 cores=0,2,4,6
/proc/22923/task/22932/stat : 22932 (java) S 22920 22923 21988 0 -1 4202560 506 0 0 0 91 6 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219056318888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22933] ppid=22920 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/22923/task/22933/stat : 22933 (java) S 22920 22923 21988 0 -1 4202560 530 0 0 0 90 5 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219055266344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22934] ppid=22920 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/22923/task/22934/stat : 22934 (java) S 22920 22923 21988 0 -1 4202560 200 0 0 0 49 4 0 0 20 0 19 0 26657041 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219043068520 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22935] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22935/stat : 22935 (java) S 22920 22923 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26657042 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219042014840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22936] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22936/stat : 22936 (java) S 22920 22923 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 26657042 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219040962184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22937] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22937/stat : 22937 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657044 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219039910928 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22938] ppid=22920 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/22923/task/22938/stat : 22938 (java) S 22920 22923 21988 0 -1 4202560 3106 0 0 0 31 0 0 0 20 0 19 0 26657044 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219038857272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22939] ppid=22920 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/22923/task/22939/stat : 22939 (java) S 22920 22923 21988 0 -1 4202560 3826 0 0 0 40 2 0 0 20 0 19 0 26657044 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219037804728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22940] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22940/stat : 22940 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657044 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219036752376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22941] ppid=22920 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/22923/task/22941/stat : 22941 (java) S 22920 22923 21988 0 -1 4202560 104 0 0 0 24 24 0 0 20 0 19 0 26657044 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219035700040 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22942] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22942/stat : 22942 (java) S 22920 22923 21988 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 26657067 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219034645800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 22923 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1793.9 s]
/proc/loadavg: 2.20 2.26 2.21 5/214 23011
/proc/meminfo: memFree=28649964/32872528 swapFree=1542984/1696284
[pid=22923] ppid=22920 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/22923/stat : 22923 (java) S 22920 22923 21988 0 -1 4202496 14349 0 1 0 179930 71 0 0 20 0 19 0 26657039 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140733475641616 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22923/statm: 2406260 61807 2282 9 0 2396937 0
[pid=22923/tid=22924] ppid=22920 vsize=9625040 CPUtime=1786.15 cores=0,2,4,6
/proc/22923/task/22924/stat : 22924 (java) R 22920 22923 21988 0 -1 4202560 2661 0 1 0 178583 32 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219219369152 140219089750099 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22926] ppid=22920 vsize=9625040 CPUtime=0.96 cores=0,2,4,6
/proc/22923/task/22926/stat : 22926 (java) S 22920 22923 21988 0 -1 4202560 258 0 0 0 92 4 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219208432296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22927] ppid=22920 vsize=9625040 CPUtime=1.01 cores=0,2,4,6
/proc/22923/task/22927/stat : 22927 (java) S 22920 22923 21988 0 -1 4202560 411 0 0 0 95 6 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219061582632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22928] ppid=22920 vsize=9625040 CPUtime=0.94 cores=0,2,4,6
/proc/22923/task/22928/stat : 22928 (java) S 22920 22923 21988 0 -1 4202560 421 0 0 0 89 5 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219060530088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22929] ppid=22920 vsize=9625040 CPUtime=1.01 cores=0,2,4,6
/proc/22923/task/22929/stat : 22929 (java) S 22920 22923 21988 0 -1 4202560 376 0 0 0 95 6 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219059477544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22930] ppid=22920 vsize=9625040 CPUtime=0.93 cores=0,2,4,6
/proc/22923/task/22930/stat : 22930 (java) S 22920 22923 21988 0 -1 4202560 197 0 0 0 87 6 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219058423976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22931] ppid=22920 vsize=9625040 CPUtime=0.99 cores=0,2,4,6
/proc/22923/task/22931/stat : 22931 (java) S 22920 22923 21988 0 -1 4202560 490 0 0 0 91 8 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219057371432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22932] ppid=22920 vsize=9625040 CPUtime=0.97 cores=0,2,4,6
/proc/22923/task/22932/stat : 22932 (java) S 22920 22923 21988 0 -1 4202560 506 0 0 0 91 6 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219056318888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22933] ppid=22920 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/22923/task/22933/stat : 22933 (java) S 22920 22923 21988 0 -1 4202560 530 0 0 0 90 5 0 0 20 0 19 0 26657040 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219055266344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22934] ppid=22920 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/22923/task/22934/stat : 22934 (java) S 22920 22923 21988 0 -1 4202560 200 0 0 0 49 4 0 0 20 0 19 0 26657041 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219043068520 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22923/tid=22935] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22935/stat : 22935 (java) S 22920 22923 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26657042 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219042014840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22936] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22936/stat : 22936 (java) S 22920 22923 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 26657042 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219040962184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22937] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22937/stat : 22937 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657044 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219039910928 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22938] ppid=22920 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/22923/task/22938/stat : 22938 (java) S 22920 22923 21988 0 -1 4202560 3106 0 0 0 31 0 0 0 20 0 19 0 26657044 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219038857272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22923/tid=22939] ppid=22920 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/22923/task/22939/stat : 22939 (java) S 22920 22923 21988 0 -1 4202560 3826 0 0 0 40 2 0 0 20 0 19 0 26657044 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219037804728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22940] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22940/stat : 22940 (java) S 22920 22923 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26657044 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219036752376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22923/tid=22941] ppid=22920 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/22923/task/22941/stat : 22941 (java) S 22920 22923 21988 0 -1 4202560 104 0 0 0 24 24 0 0 20 0 19 0 26657044 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219035700040 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22923/tid=22942] ppid=22920 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22923/task/22942/stat : 22942 (java) S 22920 22923 21988 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 26657067 9856040960 61807 33554432000 1073741824 1073778376 140733475650480 140219034645800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22923 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=768153
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=221814
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1793.94
CPU time (s): 1800.01
CPU user time (s): 1799.3
CPU system time (s): 0.71
CPU usage (%): 100.338
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.77
system time used= 1.22181
maximum resident set size= 441612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14396
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43846
involuntary context switches= 25005

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4433 second user time and 11.8832 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-18 12:35:04
IDJOB=4103644
IDBENCH=2418
IDSOLVER=2546
FILE ID=node125/4103644-1466246104
RUNJOBID= node125-1466240732-22004
PBS_JOBID= 19918195
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-kb2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103644-1466246104/watcher-4103644-1466246104 -o /tmp/evaluation-result-4103644-1466246104/solver-4103644-1466246104 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466240732-22004 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4103644-1466246104.opb

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

MD5SUM BENCH= 7bb51fb18714f8fdd98e0de4fc62f6d8
RANDOM SEED=679695481

node125.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.683
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.36
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.683
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.683
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.683
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.54
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.683
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.683
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.683
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.683
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:        29998864 kB
Buffers:          120172 kB
Cached:           134196 kB
SwapCached:          688 kB
Active:           248932 kB
Inactive:         190048 kB
Active(anon):     186284 kB
Inactive(anon):     1292 kB
Active(file):      62648 kB
Inactive(file):   188756 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098232 kB
Dirty:              4184 kB
Writeback:             0 kB
AnonPages:       1989032 kB
Mapped:            15436 kB
Shmem:                 0 kB
Slab:             603336 kB
SReclaimable:      46668 kB
SUnreclaim:       556668 kB
KernelStack:        1760 kB
PageTables:         8268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2513468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    421888 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= 71732 MiB
End job on node125 at 2016-06-18 13:04:58