Trace number 4090488

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800 1794.14

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
spot5/normalized-spot5-507_wcsp.wbo
MD5SUM70f7d720e5307fef10b429a6228b2be3
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark27390
Best CPU time to get the best result obtained on this benchmark47.5048
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables884
Total number of constraints8460
Number of soft constraints8149
Number of constraints which are clauses8149
Number of constraints which are cardinality constraints (but not clauses)311
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 42528
Min constraint cost 1
Max constraint cost 42528
Sum of constraints costs 333376991
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.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@2b21cc40
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@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4090488-1466072628.wbo
0.09/0.11	c reading problem ... 
0.78/0.41	c ... done. Wall clock time 0.296s.
0.78/0.41	c declared #vars     884
0.78/0.41	c internal #vars     9033
0.78/0.41	c #constraints  8771
0.78/0.41	c constraints type 
0.78/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7969
0.78/0.41	c org.sat4j.minisat.constraints.card.MinWatchCard => 131
0.78/0.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 671
0.78/0.41	c 8771 constraints processed.
0.78/0.41	c objective function length is 8149 literals
1.04/0.52	c SATISFIABLE
1.04/0.52	c OPTIMIZING...
1.04/0.52	c Got one! Elapsed wall clock time (in seconds):0.41
1.04/0.52	o 30431
1.28/0.65	c Got one! Elapsed wall clock time (in seconds):0.543
1.28/0.65	o 30430
3.08/2.13	c cleaning 2521 clauses out of 5041 with flag 14057/5041
4.74/3.75	c cleaning 4257 clauses out of 8518 with flag 32125/11039
6.65/5.70	c cleaning 5631 clauses out of 11262 with flag 53090/18040
8.75/7.75	c cleaning 6813 clauses out of 13630 with flag 78283/26039
11.28/10.22	c cleaning 7901 clauses out of 15817 with flag 107497/35039
14.00/12.92	c cleaning 8954 clauses out of 17916 with flag 141271/45039
17.01/15.97	c cleaning 9979 clauses out of 19963 with flag 176865/56040
20.31/19.23	c cleaning 10990 clauses out of 21984 with flag 216524/68040
23.81/22.70	c cleaning 11997 clauses out of 23994 with flag 258525/81040
27.99/26.85	c cleaning 12995 clauses out of 25997 with flag 300575/95040
32.00/30.90	c cleaning 13996 clauses out of 28001 with flag 344858/110039
36.69/35.55	c cleaning 15002 clauses out of 30005 with flag 389901/126039
41.79/40.64	c cleaning 15994 clauses out of 32003 with flag 444712/143039
46.89/45.73	c cleaning 16999 clauses out of 34009 with flag 502884/161039
52.09/50.92	c cleaning 17999 clauses out of 36010 with flag 563142/180039
57.79/56.64	c cleaning 19005 clauses out of 38013 with flag 630885/200041
63.88/62.67	c cleaning 19995 clauses out of 40006 with flag 697663/221039
70.78/69.53	c cleaning 21004 clauses out of 42011 with flag 761055/243039
78.07/76.84	c cleaning 22004 clauses out of 44007 with flag 831451/266039
85.98/84.75	c cleaning 22997 clauses out of 46003 with flag 912009/290039
95.37/94.18	c cleaning 24001 clauses out of 48006 with flag 988451/315039
104.50/103.15	c cleaning 25001 clauses out of 50005 with flag 1081927/341039
113.19/111.80	c cleaning 26002 clauses out of 52004 with flag 1174913/368039
122.09/120.77	c cleaning 27002 clauses out of 54003 with flag 1261322/396040
130.99/129.70	c cleaning 27997 clauses out of 56001 with flag 1353028/425040
141.65/140.15	c cleaning 28996 clauses out of 58003 with flag 1437473/455039
151.35/149.89	c cleaning 29998 clauses out of 60007 with flag 1531190/486039
161.65/160.16	c cleaning 31003 clauses out of 62009 with flag 1626223/518039
173.96/172.41	c cleaning 32004 clauses out of 64007 with flag 1735485/551040
185.42/183.79	c cleaning 32997 clauses out of 66003 with flag 1854097/585040
197.82/196.15	c cleaning 33997 clauses out of 68005 with flag 1975868/620039
210.72/209.10	c cleaning 35000 clauses out of 70008 with flag 2093624/656039
223.93/222.24	c cleaning 36004 clauses out of 72011 with flag 2232637/693042
237.28/235.49	c cleaning 37002 clauses out of 74005 with flag 2353197/731040
250.49/248.62	c cleaning 38001 clauses out of 76002 with flag 2477337/770039
263.79/261.96	c cleaning 38998 clauses out of 78001 with flag 2590412/810039
278.68/276.74	c cleaning 39993 clauses out of 80005 with flag 2711475/851041
295.18/293.21	c cleaning 41003 clauses out of 82010 with flag 2842088/893039
311.64/309.55	c cleaning 41998 clauses out of 84009 with flag 2972649/936041
329.74/327.61	c cleaning 43004 clauses out of 86009 with flag 3087599/980039
348.08/345.85	c cleaning 44001 clauses out of 88006 with flag 3257455/1025040
364.67/362.49	c cleaning 44997 clauses out of 90005 with flag 3394423/1071040
382.74/380.48	c cleaning 45999 clauses out of 92008 with flag 3535428/1118040
401.24/398.92	c cleaning 47003 clauses out of 94010 with flag 3677578/1166041
423.02/420.62	c cleaning 47996 clauses out of 96005 with flag 3823135/1215039
447.81/445.42	c cleaning 49004 clauses out of 98009 with flag 4006349/1265039
472.41/469.91	c cleaning 50000 clauses out of 100005 with flag 4177626/1316039
495.21/492.74	c cleaning 51003 clauses out of 102007 with flag 4342968/1368041
516.79/514.20	c cleaning 51994 clauses out of 104003 with flag 4511262/1421040
537.19/534.59	c cleaning 53003 clauses out of 106009 with flag 4715142/1475040
548.30/545.69	c Got one! Elapsed wall clock time (in seconds):545.584
548.30/545.69	o 30429
551.17/548.30	c cleaning 45398 clauses out of 90796 with flag 16963/1512830
553.37/550.50	c cleaning 25700 clauses out of 51399 with flag 37087/1518831
555.57/552.71	c cleaning 16350 clauses out of 32699 with flag 59678/1525831
557.87/555.09	c cleaning 12174 clauses out of 24348 with flag 85242/1533830
560.79/557.98	c cleaning 10587 clauses out of 21174 with flag 114916/1542830
563.99/561.17	c cleaning 10295 clauses out of 20589 with flag 147729/1552832
567.09/564.22	c cleaning 10646 clauses out of 21292 with flag 173485/1563830
570.19/567.37	c cleaning 11324 clauses out of 22647 with flag 202976/1575831
573.69/570.89	c cleaning 12162 clauses out of 24323 with flag 235563/1588831
577.90/575.06	c cleaning 13080 clauses out of 26160 with flag 267246/1602830
581.90/579.07	c cleaning 14039 clauses out of 28080 with flag 303142/1617830
586.63/583.71	c cleaning 15021 clauses out of 30041 with flag 340320/1633830
591.44/588.58	c cleaning 16004 clauses out of 32020 with flag 381143/1650830
596.63/593.70	c cleaning 17004 clauses out of 34016 with flag 422434/1668830
601.54/598.66	c cleaning 18005 clauses out of 36014 with flag 468904/1687832
607.09/604.12	c cleaning 19002 clauses out of 38009 with flag 519823/1707832
612.89/609.90	c cleaning 19998 clauses out of 40005 with flag 570321/1728830
619.19/616.27	c cleaning 21004 clauses out of 42007 with flag 624149/1750830
626.08/623.14	c cleaning 21997 clauses out of 44004 with flag 680115/1773831
633.51/630.57	c cleaning 23002 clauses out of 46006 with flag 738054/1797830
640.71/637.72	c cleaning 23999 clauses out of 48004 with flag 805653/1822830
648.41/645.40	c cleaning 24997 clauses out of 50005 with flag 884608/1848830
657.65/654.68	c cleaning 26002 clauses out of 52011 with flag 967643/1875833
667.45/664.45	c cleaning 27001 clauses out of 54006 with flag 1052838/1903830
677.54/674.52	c cleaning 27999 clauses out of 56005 with flag 1142933/1932830
687.16/684.14	c cleaning 29002 clauses out of 58007 with flag 1237066/1962831
697.36/694.36	c cleaning 29999 clauses out of 60005 with flag 1332744/1993831
708.91/705.87	c cleaning 30998 clauses out of 62006 with flag 1424171/2025831
720.51/717.50	c cleaning 31998 clauses out of 64007 with flag 1527840/2058830
732.97/729.89	c cleaning 33003 clauses out of 66010 with flag 1647283/2092831
745.96/742.82	c cleaning 34001 clauses out of 68007 with flag 1756865/2127831
759.18/756.00	c cleaning 34998 clauses out of 70007 with flag 1845586/2163832
773.09/769.97	c cleaning 36001 clauses out of 72007 with flag 1942702/2200830
787.72/784.51	c cleaning 36993 clauses out of 74006 with flag 2053839/2238830
803.11/799.95	c cleaning 38004 clauses out of 76013 with flag 2171925/2277830
819.55/816.40	c cleaning 39003 clauses out of 78009 with flag 2275740/2317830
836.49/833.29	c cleaning 39999 clauses out of 80006 with flag 2389230/2358830
853.89/850.63	c cleaning 41001 clauses out of 82010 with flag 2498588/2400833
872.13/868.82	c cleaning 41999 clauses out of 84006 with flag 2609214/2443830
890.10/886.78	c cleaning 42998 clauses out of 86007 with flag 2733098/2487830
909.19/905.85	c cleaning 43997 clauses out of 88010 with flag 2871839/2532831
928.32/924.95	c cleaning 45001 clauses out of 90013 with flag 3011465/2578831
947.17/943.74	c cleaning 46006 clauses out of 92012 with flag 3153039/2625831
965.93/962.42	c cleaning 46994 clauses out of 94006 with flag 3293994/2673831
986.34/982.80	c cleaning 48003 clauses out of 96012 with flag 3435914/2722831
1006.66/1003.14	c cleaning 49002 clauses out of 98010 with flag 3579182/2772832
1027.24/1023.64	c cleaning 49996 clauses out of 100007 with flag 3756886/2823831
1048.02/1044.33	c cleaning 51002 clauses out of 102010 with flag 3942906/2875830
1068.74/1065.05	c cleaning 52003 clauses out of 104009 with flag 4128126/2928831
1089.48/1085.79	c cleaning 52999 clauses out of 106005 with flag 4306865/2982830
1111.62/1107.81	c cleaning 54001 clauses out of 108008 with flag 4486603/3037832
1132.55/1128.75	c cleaning 54996 clauses out of 110005 with flag 4653531/3093830
1154.82/1150.97	c cleaning 55998 clauses out of 112009 with flag 4851228/3150830
1177.56/1173.67	c cleaning 56997 clauses out of 114011 with flag 5059209/3208830
1201.82/1197.80	c cleaning 58003 clauses out of 116015 with flag 5265720/3267831
1227.64/1223.64	c cleaning 59004 clauses out of 118011 with flag 5433522/3327830
1254.36/1250.20	c cleaning 60002 clauses out of 120007 with flag 5590462/3388830
1279.82/1275.65	c cleaning 60999 clauses out of 122005 with flag 5751591/3450830
1305.79/1301.52	c cleaning 61996 clauses out of 124006 with flag 5924919/3513830
1332.69/1328.37	c cleaning 62998 clauses out of 126010 with flag 6107959/3577830
1359.72/1355.34	c cleaning 64003 clauses out of 128013 with flag 6331673/3642831
1388.38/1383.98	c cleaning 65001 clauses out of 130010 with flag 6543368/3708831
1419.23/1414.73	c cleaning 66005 clauses out of 132009 with flag 6760530/3775831
1450.73/1446.12	c cleaning 66999 clauses out of 134003 with flag 6979132/3843830
1481.96/1477.29	c cleaning 67998 clauses out of 136004 with flag 7234909/3912830
1513.28/1508.45	c cleaning 68997 clauses out of 138008 with flag 7483324/3982832
1546.59/1541.64	c cleaning 70000 clauses out of 140010 with flag 7708148/4053831
1582.62/1577.55	c cleaning 71004 clauses out of 142009 with flag 7956740/4125830
1618.68/1613.44	c cleaning 71999 clauses out of 144006 with flag 8209603/4198831
1653.64/1648.39	c cleaning 72995 clauses out of 146008 with flag 8459951/4272832
1686.55/1681.13	c cleaning 74001 clauses out of 148011 with flag 8703299/4347830
1718.74/1713.29	c cleaning 74997 clauses out of 150010 with flag 8975553/4423830
1752.73/1747.05	c cleaning 76002 clauses out of 152013 with flag 9232801/4500830
1789.46/1783.61	c cleaning 77004 clauses out of 154011 with flag 9475382/4578830
1800.00/1794.11	c starts		: 8
1800.00/1794.11	c conflicts		: 4606114
1800.00/1794.11	c decisions		: 6479808
1800.00/1794.11	c propagations		: 608584500
1800.00/1794.11	c inspects		: 16169043725
1800.00/1794.11	c shortcuts		: 0
1800.00/1794.11	c learnt literals	: 0
1800.00/1794.11	c learnt binary clauses	: 0
1800.00/1794.11	c learnt ternary clauses	: 82
1800.00/1794.11	c learnt constraints	: 4606114
1800.00/1794.11	c ignored constraints	: 0
1800.00/1794.11	c root simplifications	: 0
1800.00/1794.11	c removed literals (reason simplification)	: 0
1800.00/1794.11	c reason swapping (by a shorter reason)	: 0
1800.00/1794.11	c Calls to reduceDB	: 124
1800.00/1794.11	c Number of update (reduction) of LBD	: 341938
1800.00/1794.11	c Imported unit clauses	: 0
1800.00/1794.11	c number of reductions to clauses (during analyze)	: 0
1800.00/1794.11	c number of learned constraints concerned by reduction	: 0
1800.00/1794.11	c number of learning phase by resolution	: 0
1800.00/1794.11	c number of learning phase by cutting planes	: 0
1800.00/1794.11	c speed (assignments/second)	: 339294.5548694413
1800.00/1794.11	c non guided choices	79
1800.00/1794.13	c learnt constraints type 
1800.00/1794.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 104291
1800.00/1794.13	s SATISFIABLE
1800.00/1794.13	c Found 3 solution(s)
1800.00/1794.14	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 
1800.00/1794.14	c objective function=30429
1800.00/1794.14	c Total wall clock time (in seconds): 1794.026

Verifier Data 

OK	30429

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-4090488-1466072628/watcher-4090488-1466072628 -o /tmp/evaluation-result-4090488-1466072628/solver-4090488-1466072628 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466062104-9110 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090488-1466072628.wbo 

pid=15270
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.00 2.00 2.00 3/194 15273
/proc/meminfo: memFree=31631428/32872528 swapFree=7268/7268
[pid=15273] ppid=15270 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/15273/stat : 15273 (java) D 15270 15273 9094 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 9307588 9515008 185 33554432000 1073741824 1073778376 140736467641920 140736467630984 243756264743 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/15273/statm: 2323 185 143 9 0 71 0

[startup+0.100058 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 15273
/proc/meminfo: memFree=31631428/32872528 swapFree=7268/7268
[pid=15273] ppid=15270 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/15273/stat : 15273 (java) S 15270 15273 9094 0 -1 4202496 4386 0 1 0 9 0 0 0 20 0 18 0 9307588 9787879424 6025 33554432000 1073741824 1073778376 140736467641920 140736467633056 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15273/statm: 2389619 6025 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200221 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 15273
/proc/meminfo: memFree=31631428/32872528 swapFree=7268/7268
[pid=15273] ppid=15270 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/15273/stat : 15273 (java) S 15270 15273 9094 0 -1 4202496 4714 0 1 0 24 0 0 0 20 0 18 0 9307588 9787879424 6798 33554432000 1073741824 1073778376 140736467641920 140736467633056 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15273/statm: 2389619 6798 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300222 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 15273
/proc/meminfo: memFree=31631428/32872528 swapFree=7268/7268
[pid=15273] ppid=15270 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/15273/stat : 15273 (java) S 15270 15273 9094 0 -1 4202496 5992 0 1 0 47 1 0 0 20 0 18 0 9307588 9787879424 9125 33554432000 1073741824 1073778376 140736467641920 140736467633056 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15273/statm: 2389619 9125 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700186 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 15273
/proc/meminfo: memFree=31631428/32872528 swapFree=7268/7268
[pid=15273] ppid=15270 vsize=9625040 CPUtime=1.54 cores=0,2,4,6
/proc/15273/stat : 15273 (java) S 15270 15273 9094 0 -1 4202496 11404 0 1 0 152 2 0 0 20 0 19 0 9307588 9856040960 16503 33554432000 1073741824 1073778376 140736467641920 140736467633056 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15273/statm: 2406260 16503 2265 9 0 2396937 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 9625040

[startup+1.50084 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 15292
/proc/meminfo: memFree=31572328/32872528 swapFree=7268/7268
[pid=15273] ppid=15270 vsize=9625040 CPUtime=2.48 cores=0,2,4,6
/proc/15273/stat : 15273 (java) S 15270 15273 9094 0 -1 4202496 11678 0 1 0 246 2 0 0 20 0 19 0 9307588 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140736467633056 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15273/statm: 2406260 17572 2269 9 0 2396937 0
[pid=15273/tid=15275] ppid=15270 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/15273/task/15275/stat : 15275 (java) R 15270 15273 9094 0 -1 4202560 2430 0 1 0 144 1 0 0 20 0 19 0 9307589 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069941882720 140069772643642 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15273/tid=15276] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15276/stat : 15276 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069903375272 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15277] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15277/stat : 15277 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069902322728 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15278] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15278/stat : 15278 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069901269672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15273/tid=15279] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15279/stat : 15279 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069900217128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15273/tid=15280] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15280/stat : 15280 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069899164072 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15281] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15281/stat : 15281 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069898111528 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15273/tid=15282] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15282/stat : 15282 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069897058472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15273/tid=15283] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15283/stat : 15283 (java) S 15270 15273 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069896005928 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15284] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15284/stat : 15284 (java) S 15270 15273 9094 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9307591 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069765614440 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15285] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15285/stat : 15285 (java) S 15270 15273 9094 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9307592 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069764560760 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15286] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15286/stat : 15286 (java) S 15270 15273 9094 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9307592 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069763507592 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15287] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15287/stat : 15287 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307594 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069762456336 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15288] ppid=15270 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/15273/task/15288/stat : 15288 (java) S 15270 15273 9094 0 -1 4202560 2354 0 0 0 49 0 0 0 20 0 19 0 9307594 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069761403192 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15289] ppid=15270 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/15273/task/15289/stat : 15289 (java) S 15270 15273 9094 0 -1 4202560 5616 0 0 0 49 0 0 0 20 0 19 0 9307594 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069760350648 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15290] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15290/stat : 15290 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307594 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069759297784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15291] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15291/stat : 15291 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307594 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069758245448 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15292] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15292/stat : 15292 (java) S 15270 15273 9094 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9307632 9856040960 17572 33554432000 1073741824 1073778376 140736467641920 140069757191720 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 15292
/proc/meminfo: memFree=31567000/32872528 swapFree=7268/7268
[pid=15273] ppid=15270 vsize=9625040 CPUtime=4.1 cores=0,2,4,6
/proc/15273/stat : 15273 (java) S 15270 15273 9094 0 -1 4202496 11687 0 1 0 408 2 0 0 20 0 19 0 9307588 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140736467633056 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15273/statm: 2406260 19113 2274 9 0 2396937 0
[pid=15273/tid=15275] ppid=15270 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/15273/task/15275/stat : 15275 (java) R 15270 15273 9094 0 -1 4202560 2434 0 1 0 304 1 0 0 20 0 19 0 9307589 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069941881320 140069772664373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15273/tid=15276] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15276/stat : 15276 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069903375272 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15277] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15277/stat : 15277 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069902322728 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15278] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15278/stat : 15278 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069901269672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15273/tid=15279] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15279/stat : 15279 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069900217128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15273/tid=15280] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15280/stat : 15280 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069899164072 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15281] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15281/stat : 15281 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069898111528 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15273/tid=15282] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15282/stat : 15282 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069897058472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15273/tid=15283] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15283/stat : 15283 (java) S 15270 15273 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069896005928 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15284] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15284/stat : 15284 (java) S 15270 15273 9094 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9307591 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069765614440 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15285] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15285/stat : 15285 (java) S 15270 15273 9094 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9307592 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069764560760 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15286] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15286/stat : 15286 (java) S 15270 15273 9094 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9307592 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069763507592 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15287] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15287/stat : 15287 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307594 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069762456336 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15288] ppid=15270 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/15273/task/15288/stat : 15288 (java) S 15270 15273 9094 0 -1 4202560 2357 0 0 0 50 0 0 0 20 0 19 0 9307594 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069761403192 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15289] ppid=15270 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/15273/task/15289/stat : 15289 (java) S 15270 15273 9094 0 -1 4202560 5618 0 0 0 50 0 0 0 20 0 19 0 9307594 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069760350648 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15290] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15290/stat : 15290 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307594 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069759297784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15291] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15291/stat : 15291 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307594 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069758245448 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15292] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15292/stat : 15292 (java) S 15270 15273 9094 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9307632 9856040960 19113 33554432000 1073741824 1073778376 140736467641920 140069757191720 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 15292
/proc/meminfo: memFree=31553052/32872528 swapFree=7268/7268
[pid=15273] ppid=15270 vsize=9625040 CPUtime=7.34 cores=0,2,4,6
/proc/15273/stat : 15273 (java) S 15270 15273 9094 0 -1 4202496 11697 0 1 0 732 2 0 0 20 0 19 0 9307588 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140736467633056 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15273/statm: 2406260 22007 2275 9 0 2396937 0
[pid=15273/tid=15275] ppid=15270 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/15273/task/15275/stat : 15275 (java) R 15270 15273 9094 0 -1 4202560 2443 0 1 0 623 1 0 0 20 0 19 0 9307589 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069941874400 140069772643811 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15273/tid=15276] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15276/stat : 15276 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069903375272 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15277] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15277/stat : 15277 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069902322728 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15278] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15278/stat : 15278 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069901269672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15273/tid=15279] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15279/stat : 15279 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069900217128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15273/tid=15280] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15280/stat : 15280 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069899164072 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15281] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15281/stat : 15281 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069898111528 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15273/tid=15282] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15282/stat : 15282 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069897058472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15273/tid=15283] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15283/stat : 15283 (java) S 15270 15273 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9307590 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069896005928 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15284] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15284/stat : 15284 (java) S 15270 15273 9094 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9307591 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069765614440 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15285] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15285/stat : 15285 (java) S 15270 15273 9094 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9307592 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069764560760 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15286] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15286/stat : 15286 (java) S 15270 15273 9094 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9307592 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069763507592 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15287] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15287/stat : 15287 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307594 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069762456336 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15288] ppid=15270 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/15273/task/15288/stat : 15288 (java) S 15270 15273 9094 0 -1 4202560 2357 0 0 0 53 0 0 0 20 0 19 0 9307594 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069761403192 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15289] ppid=15270 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/15273/task/15289/stat : 15289 (java) S 15270 15273 9094 0 -1 4202560 5618 0 0 0 52 0 0 0 20 0 19 0 9307594 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069760350648 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15290] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15290/stat : 15290 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307594 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069759297784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15291] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15291/stat : 15291 (java) S 15270 15273 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9307594 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069758245448 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15292] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15292/stat : 15292 (java) S 15270 15273 9094 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9307632 9856040960 22007 33554432000 1073741824 1073778376 140736467641920 140069757191720 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 9625040


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

/proc/15273/task/15292/stat : 15292 (java) S 15270 15273 9094 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9307632 9856040960 110296 33554432000 1073741824 1073778376 140736467641920 140069757191720 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1727.86
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 15402
/proc/meminfo: memFree=23159616/32872528 swapFree=7268/7268
[pid=15273] ppid=15270 vsize=9625040 CPUtime=1788.16 cores=0,2,4,6
/proc/15273/stat : 15273 (java) S 15270 15273 9094 0 -1 4202496 15847 0 1 0 178733 83 0 0 20 0 19 0 9307588 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140736467633056 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15273/statm: 2406260 108720 2299 9 0 2396937 0
[pid=15273/tid=15275] ppid=15270 vsize=9625040 CPUtime=1774.86 cores=0,2,4,6
/proc/15273/task/15275/stat : 15275 (java) R 15270 15273 9094 0 -1 4202560 2558 0 1 0 177455 31 0 0 20 0 19 0 9307589 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069941882192 140069772550355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15276] ppid=15270 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/15273/task/15276/stat : 15276 (java) S 15270 15273 9094 0 -1 4202560 578 0 0 0 63 9 0 0 20 0 19 0 9307590 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069903375272 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15273/tid=15277] ppid=15270 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/15273/task/15277/stat : 15277 (java) S 15270 15273 9094 0 -1 4202560 334 0 0 0 65 5 0 0 20 0 19 0 9307590 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069902322728 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15278] ppid=15270 vsize=9625040 CPUtime=0.86 cores=0,2,4,6
/proc/15273/task/15278/stat : 15278 (java) S 15270 15273 9094 0 -1 4202560 471 0 0 0 79 7 0 0 20 0 19 0 9307590 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069901269672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15273/tid=15279] ppid=15270 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/15273/task/15279/stat : 15279 (java) S 15270 15273 9094 0 -1 4202560 274 0 0 0 78 9 0 0 20 0 19 0 9307590 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069900217128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15273/tid=15280] ppid=15270 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/15273/task/15280/stat : 15280 (java) S 15270 15273 9094 0 -1 4202560 306 0 0 0 72 7 0 0 20 0 19 0 9307590 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069899164072 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15273/tid=15281] ppid=15270 vsize=9625040 CPUtime=0.83 cores=0,2,4,6
/proc/15273/task/15281/stat : 15281 (java) S 15270 15273 9094 0 -1 4202560 191 0 0 0 77 6 0 0 20 0 19 0 9307590 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069898111528 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15282] ppid=15270 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/15273/task/15282/stat : 15282 (java) S 15270 15273 9094 0 -1 4202560 426 0 0 0 82 10 0 0 20 0 19 0 9307590 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069897058472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15273/tid=15283] ppid=15270 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/15273/task/15283/stat : 15283 (java) S 15270 15273 9094 0 -1 4202560 470 0 0 0 65 5 0 0 20 0 19 0 9307590 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069896005928 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15273/tid=15284] ppid=15270 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/15273/task/15284/stat : 15284 (java) S 15270 15273 9094 0 -1 4202560 313 0 0 0 80 2 0 0 20 0 19 0 9307591 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069765614440 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15285] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15285/stat : 15285 (java) S 15270 15273 9094 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9307592 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069764560760 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15286] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15286/stat : 15286 (java) S 15270 15273 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9307592 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069763507592 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15287] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15287/stat : 15287 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307594 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069762456336 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15288] ppid=15270 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/15273/task/15288/stat : 15288 (java) S 15270 15273 9094 0 -1 4202560 2933 0 0 0 67 0 0 0 20 0 19 0 9307594 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069761403192 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15289] ppid=15270 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/15273/task/15289/stat : 15289 (java) S 15270 15273 9094 0 -1 4202560 5625 0 0 0 63 0 0 0 20 0 19 0 9307594 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069760350648 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15290] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15290/stat : 15290 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307594 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069759297784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15291] ppid=15270 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/15273/task/15291/stat : 15291 (java) S 15270 15273 9094 0 -1 4202560 104 0 0 0 18 19 0 0 20 0 19 0 9307594 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069758245448 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15292] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15292/stat : 15292 (java) S 15270 15273 9094 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9307632 9856040960 108720 33554432000 1073741824 1073778376 140736467641920 140069757191720 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1788.16
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.1 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 15402
/proc/meminfo: memFree=23159620/32872528 swapFree=7268/7268
[pid=15273] ppid=15270 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/15273/stat : 15273 (java) S 15270 15273 9094 0 -1 4202496 15849 0 1 0 179917 83 0 0 20 0 19 0 9307588 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140736467633056 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15273/statm: 2406260 108721 2299 9 0 2396937 0
[pid=15273/tid=15275] ppid=15270 vsize=9625040 CPUtime=1786.62 cores=0,2,4,6
/proc/15273/task/15275/stat : 15275 (java) R 15270 15273 9094 0 -1 4202560 2559 0 1 0 178630 32 0 0 20 0 19 0 9307589 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069941882192 140069772643734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15276] ppid=15270 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/15273/task/15276/stat : 15276 (java) S 15270 15273 9094 0 -1 4202560 578 0 0 0 63 9 0 0 20 0 19 0 9307590 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069903375272 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15273/tid=15277] ppid=15270 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/15273/task/15277/stat : 15277 (java) S 15270 15273 9094 0 -1 4202560 334 0 0 0 66 5 0 0 20 0 19 0 9307590 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069902322728 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15278] ppid=15270 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/15273/task/15278/stat : 15278 (java) S 15270 15273 9094 0 -1 4202560 471 0 0 0 80 7 0 0 20 0 19 0 9307590 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069901269672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15273/tid=15279] ppid=15270 vsize=9625040 CPUtime=0.88 cores=0,2,4,6
/proc/15273/task/15279/stat : 15279 (java) S 15270 15273 9094 0 -1 4202560 274 0 0 0 79 9 0 0 20 0 19 0 9307590 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069900217128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15280] ppid=15270 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/15273/task/15280/stat : 15280 (java) S 15270 15273 9094 0 -1 4202560 306 0 0 0 72 7 0 0 20 0 19 0 9307590 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069899164072 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15273/tid=15281] ppid=15270 vsize=9625040 CPUtime=0.83 cores=0,2,4,6
/proc/15273/task/15281/stat : 15281 (java) S 15270 15273 9094 0 -1 4202560 191 0 0 0 77 6 0 0 20 0 19 0 9307590 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069898111528 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15282] ppid=15270 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/15273/task/15282/stat : 15282 (java) S 15270 15273 9094 0 -1 4202560 426 0 0 0 82 10 0 0 20 0 19 0 9307590 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069897058472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15273/tid=15283] ppid=15270 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/15273/task/15283/stat : 15283 (java) S 15270 15273 9094 0 -1 4202560 470 0 0 0 66 5 0 0 20 0 19 0 9307590 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069896005928 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15273/tid=15284] ppid=15270 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/15273/task/15284/stat : 15284 (java) S 15270 15273 9094 0 -1 4202560 314 0 0 0 80 2 0 0 20 0 19 0 9307591 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069765614440 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15285] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15285/stat : 15285 (java) S 15270 15273 9094 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9307592 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069764560760 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15286] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15286/stat : 15286 (java) S 15270 15273 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9307592 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069763507592 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15287] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15287/stat : 15287 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307594 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069762456336 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15288] ppid=15270 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/15273/task/15288/stat : 15288 (java) S 15270 15273 9094 0 -1 4202560 2933 0 0 0 67 0 0 0 20 0 19 0 9307594 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069761403192 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15289] ppid=15270 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/15273/task/15289/stat : 15289 (java) S 15270 15273 9094 0 -1 4202560 5625 0 0 0 63 0 0 0 20 0 19 0 9307594 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069760350648 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15290] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15290/stat : 15290 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307594 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069759297784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15291] ppid=15270 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/15273/task/15291/stat : 15291 (java) S 15270 15273 9094 0 -1 4202560 104 0 0 0 18 20 0 0 20 0 19 0 9307594 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069758245448 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15292] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15292/stat : 15292 (java) S 15270 15273 9094 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9307632 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069757191720 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 15273 sig 9
??? kill -15273 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1794.1 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 15402
/proc/meminfo: memFree=23159620/32872528 swapFree=7268/7268
[pid=15273] ppid=15270 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/15273/stat : 15273 (java) S 15270 15273 9094 0 -1 4202496 15849 0 1 0 179917 83 0 0 20 0 19 0 9307588 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140736467633056 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15273/statm: 2406260 108721 2299 9 0 2396937 0
[pid=15273/tid=15275] ppid=15270 vsize=9625040 CPUtime=1786.62 cores=0,2,4,6
/proc/15273/task/15275/stat : 15275 (java) R 15270 15273 9094 0 -1 4202560 2559 0 1 0 178630 32 0 0 20 0 19 0 9307589 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069941882192 140069772643734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15276] ppid=15270 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/15273/task/15276/stat : 15276 (java) S 15270 15273 9094 0 -1 4202560 578 0 0 0 63 9 0 0 20 0 19 0 9307590 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069903375272 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15273/tid=15277] ppid=15270 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/15273/task/15277/stat : 15277 (java) S 15270 15273 9094 0 -1 4202560 334 0 0 0 66 5 0 0 20 0 19 0 9307590 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069902322728 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15278] ppid=15270 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/15273/task/15278/stat : 15278 (java) S 15270 15273 9094 0 -1 4202560 471 0 0 0 80 7 0 0 20 0 19 0 9307590 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069901269672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15273/tid=15279] ppid=15270 vsize=9625040 CPUtime=0.88 cores=0,2,4,6
/proc/15273/task/15279/stat : 15279 (java) S 15270 15273 9094 0 -1 4202560 274 0 0 0 79 9 0 0 20 0 19 0 9307590 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069900217128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15280] ppid=15270 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/15273/task/15280/stat : 15280 (java) S 15270 15273 9094 0 -1 4202560 306 0 0 0 72 7 0 0 20 0 19 0 9307590 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069899164072 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15273/tid=15281] ppid=15270 vsize=9625040 CPUtime=0.83 cores=0,2,4,6
/proc/15273/task/15281/stat : 15281 (java) S 15270 15273 9094 0 -1 4202560 191 0 0 0 77 6 0 0 20 0 19 0 9307590 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069898111528 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15282] ppid=15270 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/15273/task/15282/stat : 15282 (java) S 15270 15273 9094 0 -1 4202560 426 0 0 0 82 10 0 0 20 0 19 0 9307590 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069897058472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15273/tid=15283] ppid=15270 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/15273/task/15283/stat : 15283 (java) S 15270 15273 9094 0 -1 4202560 470 0 0 0 66 5 0 0 20 0 19 0 9307590 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069896005928 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15273/tid=15284] ppid=15270 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/15273/task/15284/stat : 15284 (java) S 15270 15273 9094 0 -1 4202560 314 0 0 0 80 2 0 0 20 0 19 0 9307591 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069765614440 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15285] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15285/stat : 15285 (java) S 15270 15273 9094 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9307592 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069764560760 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15286] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15286/stat : 15286 (java) S 15270 15273 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9307592 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069763507592 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15287] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15287/stat : 15287 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307594 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069762456336 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15288] ppid=15270 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/15273/task/15288/stat : 15288 (java) S 15270 15273 9094 0 -1 4202560 2933 0 0 0 67 0 0 0 20 0 19 0 9307594 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069761403192 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15273/tid=15289] ppid=15270 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/15273/task/15289/stat : 15289 (java) S 15270 15273 9094 0 -1 4202560 5625 0 0 0 63 0 0 0 20 0 19 0 9307594 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069760350648 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15290] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15290/stat : 15290 (java) S 15270 15273 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9307594 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069759297784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15291] ppid=15270 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/15273/task/15291/stat : 15291 (java) S 15270 15273 9094 0 -1 4202560 104 0 0 0 18 20 0 0 20 0 19 0 9307594 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069758245448 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15273/tid=15292] ppid=15270 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15273/task/15292/stat : 15292 (java) S 15270 15273 9094 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9307632 9856040960 108721 33554432000 1073741824 1073778376 140736467641920 140069757191720 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1794.14
CPU time (s): 1800
CPU user time (s): 1799.17
CPU system time (s): 0.83
CPU usage (%): 100.326
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.63
system time used= 1.27181
maximum resident set size= 628668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15884
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40355
involuntary context switches= 26487

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7171 second user time and 16.5815 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-16 12:23:48
IDJOB=4090488
IDBENCH=79610
IDSOLVER=2551
FILE ID=node151/4090488-1466072628
RUNJOBID= node151-1466062104-9110
PBS_JOBID= 19903998
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/spot5/normalized-spot5-507_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090488-1466072628/watcher-4090488-1466072628 -o /tmp/evaluation-result-4090488-1466072628/solver-4090488-1466072628 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466062104-9110 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090488-1466072628.wbo

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

MD5SUM BENCH= 70f7d720e5307fef10b429a6228b2be3
RANDOM SEED=761699415

node151.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		: 2667.103
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	: 5334.20
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		: 2667.103
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		: 2667.103
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		: 2667.103
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		: 2667.103
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.54
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		: 2667.103
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		: 2667.103
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        31632220 kB
Buffers:           15832 kB
Cached:            54380 kB
SwapCached:        61604 kB
Active:           435356 kB
Inactive:          99956 kB
Active(anon):     406376 kB
Inactive(anon):    61036 kB
Active(file):      28980 kB
Inactive(file):    38920 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038976 kB
Dirty:               964 kB
Writeback:             0 kB
AnonPages:        411664 kB
Mapped:            15288 kB
Shmem:                 0 kB
Slab:             566288 kB
SReclaimable:       9800 kB
SUnreclaim:       556488 kB
KernelStack:        1600 kB
PageTables:         4812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1084488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    374784 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= 71496 MiB
End job on node151 at 2016-06-16 12:53:42