Trace number 4090480

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.01 1794.44

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/spot5/
normalized-spot5-28_wcsp.wbo
MD5SUMa55ceb8d29eae2e4164c23000e30d1cb
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark270105
Best CPU time to get the best result obtained on this benchmark50.4873
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables576
Total number of constraints7352
Number of soft constraints7122
Number of constraints which are clauses7122
Number of constraints which are cardinality constraints (but not clauses)230
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 326159
Min constraint cost 1
Max constraint cost 326159
Sum of constraints costs 2248213986
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@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4090480-1466071894.wbo
0.09/0.11	c reading problem ... 
0.47/0.39	c ... done. Wall clock time 0.278s.
0.47/0.39	c declared #vars     576
0.47/0.39	c internal #vars     7698
0.47/0.39	c #constraints  7582
0.47/0.39	c constraints type 
0.47/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6950
0.47/0.39	c org.sat4j.minisat.constraints.card.MinWatchCard => 58
0.47/0.39	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 574
0.47/0.39	c 7582 constraints processed.
0.47/0.39	c objective function length is 7122 literals
1.04/0.56	c SATISFIABLE
1.04/0.56	c OPTIMIZING...
1.04/0.56	c Got one! Elapsed wall clock time (in seconds):0.447
1.04/0.56	o 296110
1.32/0.68	c Got one! Elapsed wall clock time (in seconds):0.572
1.32/0.68	o 285110
3.42/2.29	c cleaning 2559 clauses out of 5118 with flag 37733/5118
5.19/3.96	c cleaning 4280 clauses out of 8559 with flag 88908/11118
7.19/5.97	c cleaning 5637 clauses out of 11278 with flag 142575/18117
9.12/7.85	c cleaning 6818 clauses out of 13642 with flag 196524/26118
11.25/9.99	c cleaning 7910 clauses out of 15823 with flag 255266/35117
14.04/12.79	c cleaning 8957 clauses out of 17913 with flag 319965/45117
17.24/15.97	c cleaning 9976 clauses out of 19956 with flag 411546/56117
20.53/19.29	c cleaning 10989 clauses out of 21980 with flag 491168/68117
24.73/23.48	c cleaning 11995 clauses out of 23991 with flag 592172/81117
28.84/27.55	c cleaning 12999 clauses out of 25997 with flag 693404/95118
33.53/32.21	c cleaning 13999 clauses out of 28000 with flag 785023/110120
38.70/37.34	c cleaning 15000 clauses out of 30000 with flag 884906/126119
44.69/43.32	c cleaning 15995 clauses out of 31998 with flag 1000468/143117
49.62/48.24	c cleaning 17001 clauses out of 34003 with flag 1157365/161117
55.20/53.73	c cleaning 18000 clauses out of 36004 with flag 1307591/180119
61.70/60.24	c cleaning 19002 clauses out of 38004 with flag 1387504/200119
68.40/66.95	c cleaning 20002 clauses out of 40003 with flag 1482464/221120
75.40/73.98	c cleaning 20998 clauses out of 41998 with flag 1578953/243117
83.60/82.16	c cleaning 22000 clauses out of 44000 with flag 1663328/266117
91.65/90.18	c cleaning 22997 clauses out of 46000 with flag 1798804/290117
100.15/98.64	c cleaning 24001 clauses out of 48003 with flag 1915214/315117
108.36/106.85	c cleaning 24999 clauses out of 50002 with flag 2040751/341117
116.75/115.20	c cleaning 26002 clauses out of 52004 with flag 2136899/368118
125.35/123.89	c cleaning 26997 clauses out of 54002 with flag 2261492/396118
135.08/133.42	c cleaning 28004 clauses out of 56007 with flag 2432211/425120
145.17/143.51	c cleaning 28995 clauses out of 58000 with flag 2563175/455117
155.57/153.90	c cleaning 30002 clauses out of 60006 with flag 2738162/486118
165.97/164.37	c cleaning 31003 clauses out of 62005 with flag 2940338/518119
177.17/175.58	c cleaning 32001 clauses out of 64001 with flag 3111244/551118
189.51/187.74	c cleaning 32998 clauses out of 66004 with flag 3293101/585122
202.12/200.31	c cleaning 34000 clauses out of 68001 with flag 3477313/620117
215.41/213.67	c cleaning 35001 clauses out of 70002 with flag 3661945/656118
231.51/229.74	c cleaning 35996 clauses out of 72000 with flag 3856904/693117
247.08/245.12	c cleaning 37001 clauses out of 74004 with flag 4046852/731117
261.18/259.23	c cleaning 37999 clauses out of 76003 with flag 4223179/770117
275.28/273.31	c cleaning 38998 clauses out of 78004 with flag 4408445/810117
289.99/288.06	c cleaning 40004 clauses out of 80007 with flag 4605982/851118
304.04/301.91	c cleaning 40996 clauses out of 82002 with flag 4865225/893117
319.44/317.39	c cleaning 42001 clauses out of 84006 with flag 5138147/936117
339.25/337.15	c cleaning 43001 clauses out of 86005 with flag 5434817/980117
358.41/356.19	c cleaning 43997 clauses out of 88004 with flag 5746363/1025117
376.41/374.19	c cleaning 45004 clauses out of 90009 with flag 6035768/1071119
402.01/399.76	c cleaning 46003 clauses out of 92007 with flag 6348500/1118121
426.81/424.37	c cleaning 46998 clauses out of 94001 with flag 6659380/1166118
448.42/445.94	c cleaning 48000 clauses out of 96003 with flag 6983090/1215118
466.19/463.56	c cleaning 48997 clauses out of 98002 with flag 7161150/1265117
490.50/487.82	c cleaning 50000 clauses out of 100005 with flag 7497736/1316117
513.80/511.13	c cleaning 51002 clauses out of 102005 with flag 7832483/1368117
537.81/534.94	c cleaning 52002 clauses out of 104003 with flag 8146888/1421117
569.30/566.35	c cleaning 52999 clauses out of 106001 with flag 8473497/1475117
589.41/586.48	c cleaning 53998 clauses out of 108002 with flag 8828260/1530117
608.79/605.76	c cleaning 55001 clauses out of 110005 with flag 9104295/1586118
634.17/631.13	c cleaning 55999 clauses out of 112005 with flag 9394873/1643119
656.25/653.12	c cleaning 56997 clauses out of 114004 with flag 9659837/1701117
679.46/676.37	c cleaning 58002 clauses out of 116007 with flag 9964165/1760117
705.13/701.96	c cleaning 59002 clauses out of 118007 with flag 10297894/1820119
735.04/731.70	c cleaning 60000 clauses out of 120006 with flag 10614038/1881120
763.24/759.91	c cleaning 60999 clauses out of 122003 with flag 10943603/1943117
791.43/788.00	c cleaning 61998 clauses out of 124005 with flag 11274502/2006118
820.54/817.08	c cleaning 63002 clauses out of 126007 with flag 11583513/2070118
850.65/847.17	c cleaning 63996 clauses out of 128004 with flag 11906705/2135117
881.07/877.50	c cleaning 65003 clauses out of 130009 with flag 12188434/2201118
909.62/906.03	c cleaning 65997 clauses out of 132006 with flag 12549817/2268118
951.39/947.73	c cleaning 67002 clauses out of 134010 with flag 12987756/2336119
993.60/989.92	c cleaning 68000 clauses out of 136008 with flag 13445898/2405119
1033.66/1029.91	c cleaning 69001 clauses out of 138007 with flag 13901796/2475118
1086.29/1082.48	c cleaning 69996 clauses out of 140005 with flag 14313002/2546117
1120.19/1116.28	c cleaning 71003 clauses out of 142011 with flag 14734189/2618119
1153.72/1149.77	c cleaning 72002 clauses out of 144006 with flag 15134465/2691117
1182.91/1178.82	c cleaning 73003 clauses out of 146007 with flag 15663467/2765120
1223.04/1218.84	c cleaning 73995 clauses out of 148001 with flag 16118143/2840117
1258.83/1254.55	c cleaning 75003 clauses out of 150007 with flag 16505069/2916118
1311.70/1307.36	c cleaning 75996 clauses out of 152004 with flag 16916236/2993118
1369.08/1364.60	c cleaning 77000 clauses out of 154008 with flag 17322719/3071118
1429.75/1425.20	c cleaning 78005 clauses out of 156012 with flag 17732234/3150122
1479.35/1474.72	c Got one! Elapsed wall clock time (in seconds):1474.607
1479.35/1474.72	o 285105
1479.35/1474.77	c Got one! Elapsed wall clock time (in seconds):1474.655
1479.35/1474.77	o 284110
1479.90/1475.15	c Got one! Elapsed wall clock time (in seconds):1475.035
1479.90/1475.15	o 284105
1480.81/1476.08	c Got one! Elapsed wall clock time (in seconds):1475.971
1480.81/1476.08	o 283110
1481.12/1476.38	c Got one! Elapsed wall clock time (in seconds):1476.269
1481.12/1476.38	o 283105
1492.02/1487.23	c cleaning 81166 clauses out of 162332 with flag 6199/3234447
1495.71/1490.91	c cleaning 43584 clauses out of 87168 with flag 18452/3240449
1497.01/1492.21	c Got one! Elapsed wall clock time (in seconds):1492.098
1497.01/1492.21	o 282115
1497.11/1492.31	c Got one! Elapsed wall clock time (in seconds):1492.197
1497.11/1492.31	o 282110
1497.31/1492.43	c Got one! Elapsed wall clock time (in seconds):1492.317
1497.31/1492.43	o 282105
1497.31/1492.45	c Got one! Elapsed wall clock time (in seconds):1492.335
1497.31/1492.45	o 281110
1498.01/1493.14	c cleaning 24939 clauses out of 49877 with flag 2093/3246742
1498.41/1493.56	c Got one! Elapsed wall clock time (in seconds):1493.445
1498.41/1493.56	o 281105
1499.51/1494.68	c cleaning 15236 clauses out of 30472 with flag 8317/3252276
1500.61/1495.74	c Got one! Elapsed wall clock time (in seconds):1495.629
1500.61/1495.74	o 280115
1501.11/1496.24	c cleaning 10548 clauses out of 21096 with flag 4204/3258136
1502.71/1497.81	c cleaning 8269 clauses out of 16549 with flag 26937/3264137
1504.21/1499.40	c cleaning 7636 clauses out of 15279 with flag 67408/3271136
1506.31/1501.44	c cleaning 7821 clauses out of 15645 with flag 137174/3279138
1508.61/1503.71	c cleaning 8408 clauses out of 16822 with flag 181122/3288136
1511.11/1506.20	c cleaning 9206 clauses out of 18414 with flag 231121/3298136
1513.87/1508.92	c cleaning 10103 clauses out of 20210 with flag 293031/3309138
1516.97/1512.03	c cleaning 11050 clauses out of 22105 with flag 352804/3321136
1520.27/1515.35	c cleaning 12023 clauses out of 24055 with flag 424130/3334136
1523.67/1518.79	c cleaning 13015 clauses out of 26032 with flag 496826/3348136
1527.37/1522.49	c cleaning 14004 clauses out of 28017 with flag 583947/3363136
1531.52/1526.54	c cleaning 15004 clauses out of 30013 with flag 680327/3379136
1536.22/1531.22	c cleaning 16004 clauses out of 32010 with flag 775388/3396137
1541.12/1536.16	c cleaning 17003 clauses out of 34007 with flag 874375/3414138
1546.52/1541.50	c cleaning 17994 clauses out of 36002 with flag 981458/3433136
1552.34/1547.30	c cleaning 19001 clauses out of 38008 with flag 1089397/3453136
1558.44/1553.42	c cleaning 20002 clauses out of 40007 with flag 1203006/3474136
1564.64/1559.61	c cleaning 21001 clauses out of 42006 with flag 1323543/3496137
1571.17/1566.17	c cleaning 21999 clauses out of 44004 with flag 1453100/3519136
1578.57/1573.54	c cleaning 23000 clauses out of 46005 with flag 1580351/3543136
1586.47/1581.48	c cleaning 24000 clauses out of 48008 with flag 1718857/3568139
1594.00/1588.98	c cleaning 24999 clauses out of 50006 with flag 1879515/3594137
1602.21/1597.15	c cleaning 26002 clauses out of 52007 with flag 2071216/3621137
1610.64/1605.54	c cleaning 27002 clauses out of 54004 with flag 2156127/3649136
1620.84/1615.76	c cleaning 28000 clauses out of 56002 with flag 2291284/3678136
1631.83/1626.64	c cleaning 29002 clauses out of 58003 with flag 2454315/3708137
1643.53/1638.30	c cleaning 29998 clauses out of 60001 with flag 2575419/3739137
1653.86/1648.65	c cleaning 30999 clauses out of 62002 with flag 2787173/3771136
1664.86/1659.60	c cleaning 32000 clauses out of 64005 with flag 3033278/3804138
1675.15/1669.87	c cleaning 32999 clauses out of 66004 with flag 3157401/3838137
1687.05/1681.71	c cleaning 33999 clauses out of 68005 with flag 3296851/3873137
1701.29/1695.99	c cleaning 34997 clauses out of 70005 with flag 3447650/3909136
1717.78/1712.46	c cleaning 36001 clauses out of 72010 with flag 3686334/3946138
1733.92/1728.55	c cleaning 37003 clauses out of 74007 with flag 3933334/3984136
1747.49/1742.01	c cleaning 38003 clauses out of 76005 with flag 4090408/4023137
1762.09/1756.70	c cleaning 39001 clauses out of 78003 with flag 4242348/4063138
1777.04/1771.53	c cleaning 40000 clauses out of 80000 with flag 4462098/4104136
1792.61/1787.05	c cleaning 41000 clauses out of 82001 with flag 4716101/4146137
1800.01/1794.40	c starts		: 24
1800.01/1794.40	c conflicts		: 4169117
1800.01/1794.40	c decisions		: 4514031
1800.01/1794.40	c propagations		: 197893077
1800.01/1794.40	c inspects		: 15152722243
1800.01/1794.40	c shortcuts		: 0
1800.01/1794.40	c learnt literals	: 0
1800.01/1794.40	c learnt binary clauses	: 0
1800.01/1794.40	c learnt ternary clauses	: 14
1800.01/1794.40	c learnt constraints	: 4169117
1800.01/1794.40	c ignored constraints	: 0
1800.01/1794.40	c root simplifications	: 0
1800.01/1794.40	c removed literals (reason simplification)	: 0
1800.01/1794.40	c reason swapping (by a shorter reason)	: 0
1800.01/1794.40	c Calls to reduceDB	: 117
1800.01/1794.40	c Number of update (reduction) of LBD	: 44121
1800.01/1794.40	c Imported unit clauses	: 0
1800.01/1794.40	c number of reductions to clauses (during analyze)	: 0
1800.01/1794.40	c number of learned constraints concerned by reduction	: 0
1800.01/1794.40	c number of learning phase by resolution	: 0
1800.01/1794.40	c number of learning phase by cutting planes	: 0
1800.01/1794.40	c speed (assignments/second)	: 110309.15347165473
1800.01/1794.40	c non guided choices	118
1800.01/1794.42	c learnt constraints type 
1800.01/1794.42	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 63981
1800.01/1794.42	s SATISFIABLE
1800.01/1794.42	c Found 13 solution(s)
1800.01/1794.43	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 
1800.01/1794.43	c objective function=280115
1800.01/1794.43	c Total wall clock time (in seconds): 1794.315

Verifier Data 

OK	280115

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-4090480-1466071894/watcher-4090480-1466071894 -o /tmp/evaluation-result-4090480-1466071894/solver-4090480-1466071894 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466062134-7217 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090480-1466071894.wbo 

pid=10955
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.14 2.25 2.20 3/194 10958
/proc/meminfo: memFree=30518212/32872528 swapFree=1103228/1182944
[pid=10958] ppid=10955 vsize=9160 CPUtime=0 cores=0,2,4,6
/proc/10958/stat : 10958 (java) R 10955 10958 7201 0 -1 4202496 433 0 0 0 0 0 0 0 20 0 1 0 9238361 9379840 90 33554432000 1073741824 1073778376 140736105544608 140736105541736 271787395721 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10958/statm: 2290 107 81 9 0 38 0

[startup+0.100116 s]
/proc/loadavg: 2.14 2.25 2.20 3/194 10958
/proc/meminfo: memFree=30518212/32872528 swapFree=1103228/1182944
[pid=10958] ppid=10955 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/10958/stat : 10958 (java) S 10955 10958 7201 0 -1 4202496 4416 0 1 0 8 1 0 0 20 0 18 0 9238361 9787879424 6049 33554432000 1073741824 1073778376 140736105544608 140736105535744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10958/statm: 2389619 6049 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200315 s]
/proc/loadavg: 2.14 2.25 2.20 3/194 10958
/proc/meminfo: memFree=30518212/32872528 swapFree=1103228/1182944
[pid=10958] ppid=10955 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/10958/stat : 10958 (java) S 10955 10958 7201 0 -1 4202496 4773 0 1 0 24 1 0 0 20 0 18 0 9238361 9787879424 6826 33554432000 1073741824 1073778376 140736105544608 140736105535744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10958/statm: 2389619 6826 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300221 s]
/proc/loadavg: 2.14 2.25 2.20 3/194 10958
/proc/meminfo: memFree=30518212/32872528 swapFree=1103228/1182944
[pid=10958] ppid=10955 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/10958/stat : 10958 (java) S 10955 10958 7201 0 -1 4202496 5803 0 1 0 46 1 0 0 20 0 18 0 9238361 9787879424 8528 33554432000 1073741824 1073778376 140736105544608 140736105535744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10958/statm: 2389619 8528 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700183 s]
/proc/loadavg: 2.14 2.25 2.20 3/194 10958
/proc/meminfo: memFree=30518212/32872528 swapFree=1103228/1182944
[pid=10958] ppid=10955 vsize=9625040 CPUtime=1.61 cores=0,2,4,6
/proc/10958/stat : 10958 (java) S 10955 10958 7201 0 -1 4202496 13502 0 1 0 158 3 0 0 20 0 19 0 9238361 9856040960 17118 33554432000 1073741824 1073778376 140736105544608 140736105535744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10958/statm: 2406260 17118 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.14 2.25 2.20 3/213 10977
/proc/meminfo: memFree=30455212/32872528 swapFree=1103228/1182944
[pid=10958] ppid=10955 vsize=9625040 CPUtime=2.71 cores=0,2,4,6
/proc/10958/stat : 10958 (java) S 10955 10958 7201 0 -1 4202496 14211 0 1 0 268 3 0 0 20 0 19 0 9238361 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140736105535744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10958/statm: 2406260 18367 2269 9 0 2396937 0
[pid=10958/tid=10960] ppid=10955 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/10958/task/10960/stat : 10960 (java) R 10955 10958 7201 0 -1 4202560 2474 0 1 0 145 2 0 0 20 0 19 0 9238362 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363633012792 140363506028048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10961] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10961/stat : 10961 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363476928808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10962] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10962/stat : 10962 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363475876008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10963] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10963/stat : 10963 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363474823720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10958/tid=10964] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10964/stat : 10964 (java) S 10955 10958 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363473770920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10965] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10965/stat : 10965 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363472718632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10966] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10966/stat : 10966 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363471665832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10958/tid=10967] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10967/stat : 10967 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363470613544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10968] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10968/stat : 10968 (java) S 10955 10958 7201 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363469560744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10969] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10969/stat : 10969 (java) S 10955 10958 7201 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9238364 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363457149160 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10970] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10970/stat : 10970 (java) S 10955 10958 7201 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9238365 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363456095224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10971] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10971/stat : 10971 (java) S 10955 10958 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9238365 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363455042824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10972] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10972/stat : 10972 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238367 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363453991312 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10973] ppid=10955 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/10958/task/10973/stat : 10973 (java) S 10955 10958 7201 0 -1 4202560 5434 0 0 0 56 2 0 0 20 0 19 0 9238367 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363452938936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10974] ppid=10955 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/10958/task/10974/stat : 10974 (java) S 10955 10958 7201 0 -1 4202560 5031 0 0 0 63 0 0 0 20 0 19 0 9238367 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363451886136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10975] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10975/stat : 10975 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238367 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363450834040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10976] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10976/stat : 10976 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238367 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363449781448 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10977] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10977/stat : 10977 (java) S 10955 10958 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9238403 9856040960 18367 33554432000 1073741824 1073778376 140736105544608 140363448726440 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 9625040

[startup+3.1008 s]
/proc/loadavg: 2.14 2.25 2.20 3/213 10977
/proc/meminfo: memFree=30451248/32872528 swapFree=1103228/1182944
[pid=10958] ppid=10955 vsize=9625040 CPUtime=4.34 cores=0,2,4,6
/proc/10958/stat : 10958 (java) S 10955 10958 7201 0 -1 4202496 14218 0 1 0 431 3 0 0 20 0 19 0 9238361 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140736105535744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10958/statm: 2406260 19396 2274 9 0 2396937 0
[pid=10958/tid=10960] ppid=10955 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/10958/task/10960/stat : 10960 (java) R 10955 10958 7201 0 -1 4202560 2476 0 1 0 305 2 0 0 20 0 19 0 9238362 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363633012904 140363506028160 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10961] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10961/stat : 10961 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363476928808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10962] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10962/stat : 10962 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363475876008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10963] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10963/stat : 10963 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363474823720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10958/tid=10964] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10964/stat : 10964 (java) S 10955 10958 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363473770920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10965] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10965/stat : 10965 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363472718632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10966] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10966/stat : 10966 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363471665832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10958/tid=10967] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10967/stat : 10967 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363470613544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10968] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10968/stat : 10968 (java) S 10955 10958 7201 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363469560744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10969] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10969/stat : 10969 (java) S 10955 10958 7201 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9238364 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363457149160 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10970] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10970/stat : 10970 (java) S 10955 10958 7201 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9238365 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363456095224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10971] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10971/stat : 10971 (java) S 10955 10958 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9238365 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363455042824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10972] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10972/stat : 10972 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238367 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363453991312 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10973] ppid=10955 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/10958/task/10973/stat : 10973 (java) S 10955 10958 7201 0 -1 4202560 5439 0 0 0 58 2 0 0 20 0 19 0 9238367 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363452938936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10974] ppid=10955 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/10958/task/10974/stat : 10974 (java) S 10955 10958 7201 0 -1 4202560 5031 0 0 0 65 0 0 0 20 0 19 0 9238367 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363451886136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10975] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10975/stat : 10975 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238367 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363450834040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10976] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10976/stat : 10976 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238367 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363449781448 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10977] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10977/stat : 10977 (java) S 10955 10958 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9238403 9856040960 19396 33554432000 1073741824 1073778376 140736105544608 140363448726440 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.13 2.25 2.20 3/213 10977
/proc/meminfo: memFree=30440536/32872528 swapFree=1103228/1182944
[pid=10958] ppid=10955 vsize=9625040 CPUtime=7.6 cores=0,2,4,6
/proc/10958/stat : 10958 (java) S 10955 10958 7201 0 -1 4202496 14225 0 1 0 757 3 0 0 20 0 19 0 9238361 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140736105535744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10958/statm: 2406260 21949 2275 9 0 2396937 0
[pid=10958/tid=10960] ppid=10955 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/10958/task/10960/stat : 10960 (java) R 10955 10958 7201 0 -1 4202560 2482 0 1 0 624 2 0 0 20 0 19 0 9238362 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363633004240 140363506028111 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10961] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10961/stat : 10961 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363476928808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10962] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10962/stat : 10962 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363475876008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10963] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10963/stat : 10963 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363474823720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10958/tid=10964] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10964/stat : 10964 (java) S 10955 10958 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363473770920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10965] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10965/stat : 10965 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363472718632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10966] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10966/stat : 10966 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363471665832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10958/tid=10967] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10967/stat : 10967 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363470613544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10968] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10968/stat : 10968 (java) S 10955 10958 7201 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9238363 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363469560744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10969] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10969/stat : 10969 (java) S 10955 10958 7201 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9238364 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363457149160 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10970] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10970/stat : 10970 (java) S 10955 10958 7201 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9238365 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363456095224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10971] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10971/stat : 10971 (java) S 10955 10958 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9238365 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363455042824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10972] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10972/stat : 10972 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238367 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363453991312 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10973] ppid=10955 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/10958/task/10973/stat : 10973 (java) S 10955 10958 7201 0 -1 4202560 5439 0 0 0 61 2 0 0 20 0 19 0 9238367 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363452938936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10974] ppid=10955 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/10958/task/10974/stat : 10974 (java) S 10955 10958 7201 0 -1 4202560 5031 0 0 0 68 0 0 0 20 0 19 0 9238367 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363451886136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10975] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10975/stat : 10975 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238367 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363450834040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10976] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10976/stat : 10976 (java) S 10955 10958 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9238367 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363449781448 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10977] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10977/stat : 10977 (java) S 10955 10958 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9238403 9856040960 21949 33554432000 1073741824 1073778376 140736105544608 140363448726440 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.6
Current children cumulated vsize (KiB) 9625040


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

[pid=10958/tid=10977] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10977/stat : 10977 (java) S 10955 10958 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9238403 9856040960 120976 33554432000 1073741824 1073778376 140736105544608 140363448726440 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1667.56
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.16 2.16 2.16 3/214 11085
/proc/meminfo: memFree=23727132/32872528 swapFree=1103228/1182944
[pid=10958] ppid=10955 vsize=9625040 CPUtime=1727.72 cores=0,2,4,6
/proc/10958/stat : 10958 (java) S 10955 10958 7201 0 -1 4202496 17607 0 1 0 172691 81 0 0 20 0 19 0 9238361 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140736105535744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10958/statm: 2406260 117385 2299 9 0 2396937 0
[pid=10958/tid=10960] ppid=10955 vsize=9625040 CPUtime=1715.85 cores=0,2,4,6
/proc/10958/task/10960/stat : 10960 (java) R 10955 10958 7201 0 -1 4202560 2574 0 1 0 171555 30 0 0 20 0 19 0 9238362 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363633012000 140363505906611 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10961] ppid=10955 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/10958/task/10961/stat : 10961 (java) S 10955 10958 7201 0 -1 4202560 360 0 0 0 62 6 0 0 20 0 19 0 9238363 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363476928808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10962] ppid=10955 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/10958/task/10962/stat : 10962 (java) S 10955 10958 7201 0 -1 4202560 399 0 0 0 52 5 0 0 20 0 19 0 9238363 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363475876008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10963] ppid=10955 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/10958/task/10963/stat : 10963 (java) S 10955 10958 7201 0 -1 4202560 332 0 0 0 58 8 0 0 20 0 19 0 9238363 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363474823720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10958/tid=10964] ppid=10955 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/10958/task/10964/stat : 10964 (java) S 10955 10958 7201 0 -1 4202560 404 0 0 0 54 9 0 0 20 0 19 0 9238363 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363473770920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10965] ppid=10955 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/10958/task/10965/stat : 10965 (java) S 10955 10958 7201 0 -1 4202560 352 0 0 0 44 7 0 0 20 0 19 0 9238363 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363472718632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10966] ppid=10955 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/10958/task/10966/stat : 10966 (java) S 10955 10958 7201 0 -1 4202560 380 0 0 0 56 10 0 0 20 0 19 0 9238363 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363471665832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10958/tid=10967] ppid=10955 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/10958/task/10967/stat : 10967 (java) S 10955 10958 7201 0 -1 4202560 231 0 0 0 62 8 0 0 20 0 19 0 9238363 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363470613544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10968] ppid=10955 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/10958/task/10968/stat : 10968 (java) S 10955 10958 7201 0 -1 4202560 492 0 0 0 59 6 0 0 20 0 19 0 9238363 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363469560744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10958/tid=10969] ppid=10955 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/10958/task/10969/stat : 10969 (java) S 10955 10958 7201 0 -1 4202560 249 0 0 0 51 2 0 0 20 0 19 0 9238364 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363457149160 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10970] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10970/stat : 10970 (java) S 10955 10958 7201 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9238365 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363456095224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10958/tid=10971] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10971/stat : 10971 (java) S 10955 10958 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9238365 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363455042824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10972] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10972/stat : 10972 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238367 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363453991312 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10973] ppid=10955 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/10958/task/10973/stat : 10973 (java) S 10955 10958 7201 0 -1 4202560 5443 0 0 0 75 2 0 0 20 0 19 0 9238367 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363452938936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10974] ppid=10955 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
/proc/10958/task/10974/stat : 10974 (java) S 10955 10958 7201 0 -1 4202560 5034 0 0 0 85 0 0 0 20 0 19 0 9238367 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363451886136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10975] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10975/stat : 10975 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238367 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363450834040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10976] ppid=10955 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/10958/task/10976/stat : 10976 (java) S 10955 10958 7201 0 -1 4202560 100 0 0 0 22 23 0 0 20 0 19 0 9238367 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363449781448 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10977] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10977/stat : 10977 (java) S 10955 10958 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9238403 9856040960 117385 33554432000 1073741824 1073778376 140736105544608 140363448726440 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1727.72
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.20 2.16 2.16 3/213 11086
/proc/meminfo: memFree=23742820/32872528 swapFree=1103228/1182944
[pid=10958] ppid=10955 vsize=9625040 CPUtime=1787.91 cores=0,2,4,6
/proc/10958/stat : 10958 (java) S 10955 10958 7201 0 -1 4202496 17648 0 1 0 178709 82 0 0 20 0 19 0 9238361 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140736105535744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10958/statm: 2406260 113327 2299 9 0 2396937 0
[pid=10958/tid=10960] ppid=10955 vsize=9625040 CPUtime=1775.63 cores=0,2,4,6
/proc/10958/task/10960/stat : 10960 (java) R 10955 10958 7201 0 -1 4202560 2577 0 1 0 177533 30 0 0 20 0 19 0 9238362 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363633012000 140363506028136 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10961] ppid=10955 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/10958/task/10961/stat : 10961 (java) S 10955 10958 7201 0 -1 4202560 360 0 0 0 66 6 0 0 20 0 19 0 9238363 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363476928808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10958/tid=10962] ppid=10955 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/10958/task/10962/stat : 10962 (java) S 10955 10958 7201 0 -1 4202560 399 0 0 0 56 5 0 0 20 0 19 0 9238363 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363475876008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10963] ppid=10955 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/10958/task/10963/stat : 10963 (java) S 10955 10958 7201 0 -1 4202560 332 0 0 0 62 8 0 0 20 0 19 0 9238363 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363474823720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10964] ppid=10955 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/10958/task/10964/stat : 10964 (java) S 10955 10958 7201 0 -1 4202560 404 0 0 0 57 9 0 0 20 0 19 0 9238363 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363473770920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10965] ppid=10955 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/10958/task/10965/stat : 10965 (java) S 10955 10958 7201 0 -1 4202560 352 0 0 0 46 7 0 0 20 0 19 0 9238363 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363472718632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10966] ppid=10955 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/10958/task/10966/stat : 10966 (java) S 10955 10958 7201 0 -1 4202560 380 0 0 0 58 10 0 0 20 0 19 0 9238363 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363471665832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10967] ppid=10955 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/10958/task/10967/stat : 10967 (java) S 10955 10958 7201 0 -1 4202560 231 0 0 0 64 8 0 0 20 0 19 0 9238363 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363470613544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10958/tid=10968] ppid=10955 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/10958/task/10968/stat : 10968 (java) S 10955 10958 7201 0 -1 4202560 522 0 0 0 62 6 0 0 20 0 19 0 9238363 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363469560744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10969] ppid=10955 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/10958/task/10969/stat : 10969 (java) S 10955 10958 7201 0 -1 4202560 253 0 0 0 51 2 0 0 20 0 19 0 9238364 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363457149160 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10970] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10970/stat : 10970 (java) S 10955 10958 7201 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9238365 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363456095224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10958/tid=10971] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10971/stat : 10971 (java) S 10955 10958 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9238365 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363455042824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10972] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10972/stat : 10972 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238367 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363453991312 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10973] ppid=10955 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/10958/task/10973/stat : 10973 (java) S 10955 10958 7201 0 -1 4202560 5443 0 0 0 75 2 0 0 20 0 19 0 9238367 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363452938936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10974] ppid=10955 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
/proc/10958/task/10974/stat : 10974 (java) S 10955 10958 7201 0 -1 4202560 5034 0 0 0 85 0 0 0 20 0 19 0 9238367 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363451886136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10975] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10975/stat : 10975 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238367 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363450834040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10976] ppid=10955 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/10958/task/10976/stat : 10976 (java) S 10955 10958 7201 0 -1 4202560 104 0 0 0 23 24 0 0 20 0 19 0 9238367 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363449781448 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10977] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10977/stat : 10977 (java) S 10955 10958 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9238403 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363448726440 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1787.91
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.4 s]
/proc/loadavg: 2.17 2.15 2.16 4/213 11087
/proc/meminfo: memFree=23742948/32872528 swapFree=1103228/1182944
[pid=10958] ppid=10955 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/10958/stat : 10958 (java) S 10955 10958 7201 0 -1 4202496 17648 0 1 0 179919 82 0 0 20 0 19 0 9238361 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140736105535744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10958/statm: 2406260 113327 2299 9 0 2396937 0
[pid=10958/tid=10960] ppid=10955 vsize=9625040 CPUtime=1787.7 cores=0,2,4,6
/proc/10958/task/10960/stat : 10960 (java) R 10955 10958 7201 0 -1 4202560 2577 0 1 0 178739 31 0 0 20 0 19 0 9238362 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363633004288 140363506150645 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10961] ppid=10955 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/10958/task/10961/stat : 10961 (java) S 10955 10958 7201 0 -1 4202560 360 0 0 0 66 6 0 0 20 0 19 0 9238363 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363476928808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10958/tid=10962] ppid=10955 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/10958/task/10962/stat : 10962 (java) S 10955 10958 7201 0 -1 4202560 399 0 0 0 56 5 0 0 20 0 19 0 9238363 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363475876008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10963] ppid=10955 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/10958/task/10963/stat : 10963 (java) S 10955 10958 7201 0 -1 4202560 332 0 0 0 62 8 0 0 20 0 19 0 9238363 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363474823720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10964] ppid=10955 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/10958/task/10964/stat : 10964 (java) S 10955 10958 7201 0 -1 4202560 404 0 0 0 57 9 0 0 20 0 19 0 9238363 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363473770920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10965] ppid=10955 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/10958/task/10965/stat : 10965 (java) S 10955 10958 7201 0 -1 4202560 352 0 0 0 46 7 0 0 20 0 19 0 9238363 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363472718632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10966] ppid=10955 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/10958/task/10966/stat : 10966 (java) S 10955 10958 7201 0 -1 4202560 380 0 0 0 58 10 0 0 20 0 19 0 9238363 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363471665832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10967] ppid=10955 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/10958/task/10967/stat : 10967 (java) S 10955 10958 7201 0 -1 4202560 231 0 0 0 64 8 0 0 20 0 19 0 9238363 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363470613544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10958/tid=10968] ppid=10955 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/10958/task/10968/stat : 10968 (java) S 10955 10958 7201 0 -1 4202560 522 0 0 0 62 6 0 0 20 0 19 0 9238363 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363469560744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10969] ppid=10955 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/10958/task/10969/stat : 10969 (java) S 10955 10958 7201 0 -1 4202560 253 0 0 0 51 2 0 0 20 0 19 0 9238364 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363457149160 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10970] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10970/stat : 10970 (java) S 10955 10958 7201 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9238365 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363456095224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10958/tid=10971] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10971/stat : 10971 (java) S 10955 10958 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9238365 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363455042824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10972] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10972/stat : 10972 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238367 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363453991312 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10973] ppid=10955 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/10958/task/10973/stat : 10973 (java) S 10955 10958 7201 0 -1 4202560 5443 0 0 0 75 2 0 0 20 0 19 0 9238367 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363452938936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10958/tid=10974] ppid=10955 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
/proc/10958/task/10974/stat : 10974 (java) S 10955 10958 7201 0 -1 4202560 5034 0 0 0 85 0 0 0 20 0 19 0 9238367 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363451886136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10958/tid=10975] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10975/stat : 10975 (java) S 10955 10958 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9238367 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363450834040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10976] ppid=10955 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/10958/task/10976/stat : 10976 (java) S 10955 10958 7201 0 -1 4202560 104 0 0 0 23 24 0 0 20 0 19 0 9238367 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363449781448 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10958/tid=10977] ppid=10955 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10958/task/10977/stat : 10977 (java) S 10955 10958 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9238403 9856040960 113327 33554432000 1073741824 1073778376 140736105544608 140363448726440 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 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 10958 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10958 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=649171
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=321799
# CPU time returned by wait4() is 1795.97
# 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): 1794.44
CPU time (s): 1800.01
CPU user time (s): 1799.19
CPU system time (s): 0.82
CPU usage (%): 100.311
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.65
system time used= 1.3218
maximum resident set size= 693848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17684
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39264
involuntary context switches= 12980

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.19721 second user time and 6.91195 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-16 12:11:34
IDJOB=4090480
IDBENCH=79600
IDSOLVER=2551
FILE ID=node115/4090480-1466071894
RUNJOBID= node115-1466062134-7217
PBS_JOBID= 19904021
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= a55ceb8d29eae2e4164c23000e30d1cb
RANDOM SEED=1508857683

node115.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.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		: 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.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		: 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:        30518632 kB
Buffers:           15436 kB
Cached:            50812 kB
SwapCached:         2108 kB
Active:           417440 kB
Inactive:          37936 kB
Active(anon):     389748 kB
Inactive(anon):     1636 kB
Active(file):      27692 kB
Inactive(file):    36300 kB
Unevictable:     1182944 kB
Mlocked:         1103228 kB
SwapTotal:      67108856 kB
SwapFree:       67099108 kB
Dirty:               856 kB
Writeback:             0 kB
AnonPages:       1529664 kB
Mapped:            15364 kB
Shmem:                 0 kB
Slab:             565260 kB
SReclaimable:       9116 kB
SUnreclaim:       556144 kB
KernelStack:        1760 kB
PageTables:         6944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2257744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    397312 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= 71492 MiB
End job on node115 at 2016-06-16 12:41:28