Trace number 4090541

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.02 1788.75

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM7b4c43120f8532700d0af4fec83df613
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark1800.01
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1200
Total number of constraints100
Number of soft constraints67
Number of constraints which are clauses60
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint30
Top cost 3602
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3601
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 31
Number of bits of the biggest sum of numbers5
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4090541-1466062204.wbo
0.09/0.11	c reading problem ... 
0.09/0.19	c ... done. Wall clock time 0.078s.
0.09/0.19	c declared #vars     1200
0.09/0.19	c internal #vars     1267
0.09/0.19	c #constraints  100
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 60
0.09/0.19	c org.sat4j.minisat.constraints.card.MinWatchCard => 14
0.09/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 26
0.09/0.19	c 100 constraints processed.
0.09/0.19	c objective function length is 67 literals
0.53/0.31	c SATISFIABLE
0.53/0.31	c OPTIMIZING...
0.53/0.31	c Got one! Elapsed wall clock time (in seconds):0.201
0.53/0.31	o 298
0.53/0.33	c Got one! Elapsed wall clock time (in seconds):0.219
0.53/0.33	o 191
0.68/0.47	c Got one! Elapsed wall clock time (in seconds):0.357
0.68/0.47	o 148
0.97/0.63	c Got one! Elapsed wall clock time (in seconds):0.52
0.97/0.63	o 139
1.09/0.78	c Got one! Elapsed wall clock time (in seconds):0.669
1.09/0.78	o 125
1.19/0.87	c Got one! Elapsed wall clock time (in seconds):0.759
1.19/0.87	o 119
1.39/1.03	c cleaning 4059 clauses out of 8122 with flag 6972/8122
2.25/1.84	c cleaning 5026 clauses out of 10064 with flag 55795/14123
2.35/1.99	c Got one! Elapsed wall clock time (in seconds):1.875
2.35/1.99	o 106
2.46/2.07	c Got one! Elapsed wall clock time (in seconds):1.955
2.46/2.07	o 93
2.78/2.40	c Got one! Elapsed wall clock time (in seconds):2.282
2.78/2.40	o 63
3.23/2.77	c cleaning 6142 clauses out of 12294 with flag 14831/21379
3.48/2.97	c Got one! Elapsed wall clock time (in seconds):2.86
3.48/2.97	o 43
4.00/3.43	c cleaning 5965 clauses out of 11929 with flag 27726/27156
4.50/3.92	c cleaning 5982 clauses out of 11964 with flag 77278/33156
5.31/4.71	c cleaning 6489 clauses out of 12983 with flag 140392/40157
6.22/5.68	c cleaning 7247 clauses out of 14496 with flag 214641/48159
6.51/5.92	c Got one! Elapsed wall clock time (in seconds):5.806
6.51/5.92	o 41
6.61/6.06	c Got one! Elapsed wall clock time (in seconds):5.943
6.61/6.06	o 13
6.72/6.12	c cleaning 6551 clauses out of 13114 with flag 6184/54024
7.22/6.61	c cleaning 6270 clauses out of 12563 with flag 47866/60024
7.91/7.35	c cleaning 6631 clauses out of 13292 with flag 103784/67023
8.61/8.01	c cleaning 7315 clauses out of 14661 with flag 161258/75023
9.31/8.73	c cleaning 8141 clauses out of 16346 with flag 220591/84023
10.01/9.41	c cleaning 9093 clauses out of 18206 with flag 291166/94024
10.91/10.33	c cleaning 10038 clauses out of 20112 with flag 371735/105023
12.52/11.93	c cleaning 10956 clauses out of 22074 with flag 473132/117023
14.11/13.57	c cleaning 12056 clauses out of 24120 with flag 589001/130025
17.22/16.66	c cleaning 13028 clauses out of 26062 with flag 720101/144023
19.24/18.69	c cleaning 14015 clauses out of 28036 with flag 856150/159025
21.24/20.61	c cleaning 14993 clauses out of 30019 with flag 976588/175023
24.33/23.75	c cleaning 15938 clauses out of 32027 with flag 1105494/192024
28.03/27.43	c cleaning 16978 clauses out of 34088 with flag 1253262/210023
31.73/31.12	c cleaning 17988 clauses out of 36111 with flag 1420474/229024
35.83/35.27	c cleaning 18992 clauses out of 38124 with flag 1600110/249025
40.63/40.07	c cleaning 20005 clauses out of 40133 with flag 1781510/270026
45.53/44.97	c cleaning 21001 clauses out of 42126 with flag 2003222/292024
50.77/50.18	c cleaning 21995 clauses out of 44124 with flag 2239045/315023
56.28/55.62	c cleaning 23002 clauses out of 46129 with flag 2493104/339023
62.08/61.46	c cleaning 24063 clauses out of 48127 with flag 2778106/364023
66.38/65.75	c cleaning 25022 clauses out of 50064 with flag 2987343/390023
72.38/71.77	c cleaning 26016 clauses out of 52043 with flag 3223007/417024
79.08/78.49	c cleaning 27008 clauses out of 54026 with flag 3464634/445023
87.48/86.82	c cleaning 28001 clauses out of 56018 with flag 3715146/474023
97.01/96.23	c cleaning 29005 clauses out of 58020 with flag 3987949/504026
107.31/106.54	c cleaning 30001 clauses out of 60012 with flag 4284416/535023
114.12/113.33	c cleaning 30985 clauses out of 62012 with flag 4557309/567024
118.91/118.19	c cleaning 31881 clauses out of 64028 with flag 4825439/600025
126.81/126.02	c cleaning 32984 clauses out of 66145 with flag 5178841/634023
135.21/134.21	c cleaning 34003 clauses out of 68161 with flag 5528681/669023
140.51/139.54	c cleaning 34905 clauses out of 70158 with flag 5839299/705023
148.31/147.39	c cleaning 36100 clauses out of 72253 with flag 6192387/742023
158.60/157.48	c cleaning 37068 clauses out of 74153 with flag 6567885/780023
167.30/166.20	c cleaning 38027 clauses out of 76086 with flag 6953161/819024
175.86/174.43	c cleaning 39022 clauses out of 78058 with flag 7331192/859023
187.36/185.98	c cleaning 40019 clauses out of 80038 with flag 7717793/900025
203.06/201.67	c cleaning 41005 clauses out of 82019 with flag 8172521/942025
220.34/218.61	c cleaning 42005 clauses out of 84013 with flag 8655971/985024
230.64/228.98	c cleaning 42943 clauses out of 86009 with flag 9047991/1029025
242.02/240.00	c cleaning 44017 clauses out of 88067 with flag 9406557/1074026
256.32/254.32	c cleaning 45009 clauses out of 90048 with flag 9787621/1120024
272.46/270.29	c cleaning 46006 clauses out of 92038 with flag 10186007/1167023
291.14/288.89	c cleaning 46997 clauses out of 94033 with flag 10634586/1215024
309.47/307.20	c cleaning 48001 clauses out of 96036 with flag 11113513/1264024
329.76/327.30	c cleaning 49005 clauses out of 98036 with flag 11629365/1314025
349.76/347.33	c cleaning 50006 clauses out of 100029 with flag 12113948/1365023
364.37/361.84	c cleaning 50959 clauses out of 102023 with flag 12587031/1417023
377.29/374.61	c cleaning 51972 clauses out of 104064 with flag 13104958/1470023
391.66/388.93	c cleaning 53001 clauses out of 106092 with flag 13554792/1524023
416.56/413.84	c cleaning 53972 clauses out of 108091 with flag 14061545/1579023
443.86/441.09	c cleaning 54981 clauses out of 110121 with flag 14617085/1635025
474.96/472.09	c cleaning 55987 clauses out of 112140 with flag 15215979/1692025
505.75/502.86	c cleaning 56994 clauses out of 114151 with flag 15777961/1750023
530.41/527.44	c cleaning 58059 clauses out of 116157 with flag 16296220/1809023
547.58/544.56	c cleaning 59030 clauses out of 118098 with flag 16871920/1869023
570.31/567.12	c cleaning 59990 clauses out of 120068 with flag 17420894/1930023
585.80/582.56	c cleaning 61007 clauses out of 122078 with flag 17937320/1992023
614.62/611.27	c cleaning 62014 clauses out of 124071 with flag 18510100/2055023
634.42/631.07	c cleaning 63013 clauses out of 126059 with flag 19086206/2119025
665.01/661.57	c cleaning 64008 clauses out of 128044 with flag 19653608/2184023
693.10/689.57	c cleaning 65009 clauses out of 130037 with flag 20298625/2250024
728.50/724.80	c cleaning 65999 clauses out of 132027 with flag 20941569/2317023
761.29/757.50	c cleaning 67005 clauses out of 134032 with flag 21641568/2385027
782.06/778.21	c cleaning 67994 clauses out of 136024 with flag 22284272/2454024
803.74/799.89	c cleaning 68998 clauses out of 138029 with flag 22875535/2524023
824.55/820.42	c cleaning 69977 clauses out of 140031 with flag 23470139/2595023
843.37/839.11	c cleaning 71005 clauses out of 142054 with flag 24025676/2667023
861.66/857.36	c cleaning 71973 clauses out of 144049 with flag 24633908/2740023
880.74/876.31	c cleaning 73017 clauses out of 146077 with flag 25218273/2814024
905.91/901.34	c cleaning 74000 clauses out of 148059 with flag 25848618/2889023
931.62/926.91	c cleaning 75005 clauses out of 150059 with flag 26476934/2965023
970.71/965.93	c cleaning 76004 clauses out of 152054 with flag 27157515/3042023
1012.76/1007.90	c cleaning 76996 clauses out of 154052 with flag 27688302/3120025
1054.65/1049.65	c cleaning 78007 clauses out of 156054 with flag 28305613/3199023
1088.02/1082.86	c cleaning 79008 clauses out of 158048 with flag 28943830/3279024
1118.22/1112.94	c cleaning 80003 clauses out of 160039 with flag 29538562/3360023
1140.42/1134.92	c cleaning 80998 clauses out of 162036 with flag 30236448/3442023
1164.19/1158.59	c cleaning 81947 clauses out of 164039 with flag 30975394/3525024
1188.66/1182.99	c cleaning 83021 clauses out of 166093 with flag 31674943/3609025
1215.24/1209.36	c cleaning 84006 clauses out of 168070 with flag 32372403/3694023
1242.31/1236.25	c cleaning 85011 clauses out of 170064 with flag 33121279/3780023
1263.96/1257.79	c cleaning 86027 clauses out of 172054 with flag 33862834/3867024
1291.37/1284.95	c cleaning 86889 clauses out of 174026 with flag 34690826/3955023
1326.14/1319.50	c cleaning 88072 clauses out of 176143 with flag 35548659/4044029
1351.70/1344.79	c cleaning 88947 clauses out of 178065 with flag 36297489/4134023
1378.82/1371.62	c cleaning 89951 clauses out of 180121 with flag 37152470/4225026
1415.82/1408.45	c cleaning 91067 clauses out of 182167 with flag 37935096/4317023
1447.47/1439.86	c cleaning 91976 clauses out of 184100 with flag 38758999/4410023
1475.49/1467.65	c cleaning 93029 clauses out of 186125 with flag 39526280/4504024
1505.07/1496.92	c cleaning 94032 clauses out of 188096 with flag 40308306/4599024
1531.83/1523.45	c cleaning 94992 clauses out of 190063 with flag 41214619/4695023
1560.13/1551.40	c cleaning 95930 clauses out of 192071 with flag 41992694/4792023
1598.08/1589.14	c cleaning 96946 clauses out of 194142 with flag 42837347/4890024
1643.71/1634.49	c cleaning 98075 clauses out of 196195 with flag 43742176/4989023
1675.07/1665.39	c cleaning 99045 clauses out of 198121 with flag 44578536/5089024
1706.25/1696.20	c cleaning 100013 clauses out of 200075 with flag 45424374/5190023
1740.38/1729.85	c cleaning 101013 clauses out of 202062 with flag 46227680/5292023
1777.25/1766.36	c cleaning 102014 clauses out of 204052 with flag 47084330/5395026
1800.02/1788.71	c starts		: 16733
1800.02/1788.71	c conflicts		: 5468486
1800.02/1788.71	c decisions		: 10846519
1800.02/1788.71	c propagations		: 146253626
1800.02/1788.71	c inspects		: 32435803932
1800.02/1788.71	c shortcuts		: 0
1800.02/1788.71	c learnt literals	: 0
1800.02/1788.71	c learnt binary clauses	: 0
1800.02/1788.71	c learnt ternary clauses	: 0
1800.02/1788.71	c learnt constraints	: 5468486
1800.02/1788.71	c ignored constraints	: 0
1800.02/1788.71	c root simplifications	: 0
1800.02/1788.71	c removed literals (reason simplification)	: 0
1800.02/1788.71	c reason swapping (by a shorter reason)	: 0
1800.02/1788.71	c Calls to reduceDB	: 106
1800.02/1788.71	c Number of update (reduction) of LBD	: 3029893
1800.02/1788.71	c Imported unit clauses	: 0
1800.02/1788.71	c number of reductions to clauses (during analyze)	: 0
1800.02/1788.71	c number of learned constraints concerned by reduction	: 0
1800.02/1788.71	c number of learning phase by resolution	: 0
1800.02/1788.71	c number of learning phase by cutting planes	: 0
1800.02/1788.71	c speed (assignments/second)	: 81773.86913038933
1800.02/1788.71	c non guided choices	86172
1800.02/1788.74	c learnt constraints type 
1800.02/1788.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 175499
1800.02/1788.74	s SATISFIABLE
1800.02/1788.74	c Found 12 solution(s)
1800.02/1788.74	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 
1800.02/1788.74	c objective function=13
1800.02/1788.74	c Total wall clock time (in seconds): 1788.63

Verifier Data 

OK	13

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-4090541-1466062204/watcher-4090541-1466062204 -o /tmp/evaluation-result-4090541-1466062204/solver-4090541-1466062204 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466062136-14871 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090541-1466062204.wbo 

pid=15050
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: 1.62 0.59 0.25 3/195 15053
/proc/meminfo: memFree=31624396/32872528 swapFree=248296/248296
[pid=15053] ppid=15050 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/15053/stat : 15053 (java) R 15050 15053 14855 0 -1 4202496 473 0 0 0 0 0 0 0 20 0 1 0 8270802 9515008 127 33554432000 1073741824 1073778376 140735598448480 140735598445608 247063876399 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15053/statm: 2372 133 103 9 0 120 0

[startup+0.10006 s]
/proc/loadavg: 1.62 0.59 0.25 3/195 15053
/proc/meminfo: memFree=31624396/32872528 swapFree=248296/248296
[pid=15053] ppid=15050 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/15053/stat : 15053 (java) S 15050 15053 14855 0 -1 4202496 4431 0 1 0 8 1 0 0 20 0 18 0 8270802 9787879424 6071 33554432000 1073741824 1073778376 140735598448480 140735598439616 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15053/statm: 2389619 6071 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: 1.62 0.59 0.25 3/195 15053
/proc/meminfo: memFree=31624396/32872528 swapFree=248296/248296
[pid=15053] ppid=15050 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/15053/stat : 15053 (java) S 15050 15053 14855 0 -1 4202496 4976 0 1 0 26 1 0 0 20 0 18 0 8270802 9787879424 6973 33554432000 1073741824 1073778376 140735598448480 140735598439616 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15053/statm: 2389619 6973 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300214 s]
/proc/loadavg: 1.62 0.59 0.25 3/195 15053
/proc/meminfo: memFree=31624396/32872528 swapFree=248296/248296
[pid=15053] ppid=15050 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/15053/stat : 15053 (java) S 15050 15053 14855 0 -1 4202496 6818 0 1 0 52 1 0 0 20 0 19 0 8270802 9856040960 8483 33554432000 1073741824 1073778376 140735598448480 140735598439616 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15053/statm: 2406260 8483 2246 9 0 2396937 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9625040

[startup+0.700173 s]
/proc/loadavg: 1.62 0.59 0.25 3/195 15053
/proc/meminfo: memFree=31624396/32872528 swapFree=248296/248296
[pid=15053] ppid=15050 vsize=9625040 CPUtime=1.09 cores=0,2,4,6
/proc/15053/stat : 15053 (java) S 15050 15053 14855 0 -1 4202496 8719 0 1 0 107 2 0 0 20 0 19 0 8270802 9856040960 9713 33554432000 1073741824 1073778376 140735598448480 140735598439616 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15053/statm: 2406260 9713 2252 9 0 2396937 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9625040

[startup+1.50073 s]
/proc/loadavg: 1.62 0.59 0.25 3/214 15072
/proc/meminfo: memFree=31585608/32872528 swapFree=248296/248296
[pid=15053] ppid=15050 vsize=9625040 CPUtime=1.95 cores=0,2,4,6
/proc/15053/stat : 15053 (java) S 15050 15053 14855 0 -1 4202496 8757 0 1 0 193 2 0 0 20 0 19 0 8270802 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140735598439616 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15053/statm: 2406260 11258 2259 9 0 2396937 0
[pid=15053/tid=15055] ppid=15050 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/15053/task/15055/stat : 15055 (java) R 15050 15053 14855 0 -1 4202560 2451 0 1 0 144 1 0 0 20 0 19 0 8270803 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228471623992 140228344172483 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15056] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15056/stat : 15056 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228315302312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15057] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15057/stat : 15057 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228314249768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15058] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15058/stat : 15058 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228313196712 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15053/tid=15059] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15059/stat : 15059 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228312144168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15053/tid=15060] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15060/stat : 15060 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228311092136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15061] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15061/stat : 15061 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228310039592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15053/tid=15062] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15062/stat : 15062 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228308986536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15063] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15063/stat : 15063 (java) S 15050 15053 14855 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228307933992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15064] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15064/stat : 15064 (java) S 15050 15053 14855 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8270805 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228295735656 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15065] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15065/stat : 15065 (java) S 15050 15053 14855 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8270806 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228294681976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15066] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15066/stat : 15066 (java) S 15050 15053 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8270806 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228293628808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15067] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15067/stat : 15067 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270808 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228292577552 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15068] ppid=15050 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/15053/task/15068/stat : 15068 (java) S 15050 15053 14855 0 -1 4202560 2865 0 0 0 26 0 0 0 20 0 19 0 8270808 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228291525432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15053/tid=15069] ppid=15050 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/15053/task/15069/stat : 15069 (java) S 15050 15053 14855 0 -1 4202560 2168 0 0 0 19 0 0 0 20 0 19 0 8270808 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228290472888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15070] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15070/stat : 15070 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270808 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228289420024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15071] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15071/stat : 15071 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270808 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228288367688 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15072] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15072/stat : 15072 (java) S 15050 15053 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8270822 9856040960 11258 33554432000 1073741824 1073778376 140735598448480 140228287312936 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 1.62 0.59 0.25 3/214 15072
/proc/meminfo: memFree=31578720/32872528 swapFree=248296/248296
[pid=15053] ppid=15050 vsize=9625040 CPUtime=3.69 cores=0,2,4,6
/proc/15053/stat : 15053 (java) S 15050 15053 14855 0 -1 4202496 10518 0 1 0 367 2 0 0 20 0 19 0 8270802 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140735598439616 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15053/statm: 2406260 13911 2259 9 0 2396937 0
[pid=15053/tid=15055] ppid=15050 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/15053/task/15055/stat : 15055 (java) R 15050 15053 14855 0 -1 4202560 2457 0 1 0 303 2 0 0 20 0 19 0 8270803 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228471615792 140228344172165 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15056] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15056/stat : 15056 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228315302312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15057] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15057/stat : 15057 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228314249768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15058] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15058/stat : 15058 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228313196712 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15053/tid=15059] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15059/stat : 15059 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228312144168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15053/tid=15060] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15060/stat : 15060 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228311092136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15061] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15061/stat : 15061 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228310039592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15053/tid=15062] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15062/stat : 15062 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228308986536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15063] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15063/stat : 15063 (java) S 15050 15053 14855 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228307933992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15064] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15064/stat : 15064 (java) S 15050 15053 14855 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8270805 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228295735656 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15065] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15065/stat : 15065 (java) S 15050 15053 14855 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8270806 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228294681976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15066] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15066/stat : 15066 (java) S 15050 15053 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8270806 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228293628808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15067] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15067/stat : 15067 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270808 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228292577552 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15068] ppid=15050 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/15053/task/15068/stat : 15068 (java) S 15050 15053 14855 0 -1 4202560 4616 0 0 0 38 0 0 0 20 0 19 0 8270808 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228291525432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15053/tid=15069] ppid=15050 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/15053/task/15069/stat : 15069 (java) S 15050 15053 14855 0 -1 4202560 2172 0 0 0 22 0 0 0 20 0 19 0 8270808 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228290472888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15070] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15070/stat : 15070 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270808 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228289420024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15071] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15071/stat : 15071 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270808 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228288367688 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15072] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15072/stat : 15072 (java) S 15050 15053 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8270822 9856040960 13911 33554432000 1073741824 1073778376 140735598448480 140228287312936 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 9625040

[startup+6.30077 s]
/proc/loadavg: 1.65 0.61 0.26 3/214 15072
/proc/meminfo: memFree=31556388/32872528 swapFree=248296/248296
[pid=15053] ppid=15050 vsize=9625040 CPUtime=6.91 cores=0,2,4,6
/proc/15053/stat : 15053 (java) S 15050 15053 14855 0 -1 4202496 10534 0 1 0 688 3 0 0 20 0 19 0 8270802 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140735598439616 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15053/statm: 2406260 18844 2260 9 0 2396937 0
[pid=15053/tid=15055] ppid=15050 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/15053/task/15055/stat : 15055 (java) R 15050 15053 14855 0 -1 4202560 2469 0 1 0 621 2 0 0 20 0 19 0 8270803 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228471615184 140228344125920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15056] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15056/stat : 15056 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228315302312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15057] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15057/stat : 15057 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228314249768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15058] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15058/stat : 15058 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228313196712 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15053/tid=15059] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15059/stat : 15059 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228312144168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15053/tid=15060] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15060/stat : 15060 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228311092136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15061] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15061/stat : 15061 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228310039592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15053/tid=15062] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15062/stat : 15062 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228308986536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15063] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15063/stat : 15063 (java) S 15050 15053 14855 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8270804 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228307933992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15064] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15064/stat : 15064 (java) S 15050 15053 14855 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8270805 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228295735656 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15065] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15065/stat : 15065 (java) S 15050 15053 14855 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8270806 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228294681976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15066] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15066/stat : 15066 (java) S 15050 15053 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8270806 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228293628808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15067] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15067/stat : 15067 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270808 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228292577552 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15068] ppid=15050 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/15053/task/15068/stat : 15068 (java) S 15050 15053 14855 0 -1 4202560 4619 0 0 0 41 0 0 0 20 0 19 0 8270808 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228291525432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15053/tid=15069] ppid=15050 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/15053/task/15069/stat : 15069 (java) S 15050 15053 14855 0 -1 4202560 2172 0 0 0 22 0 0 0 20 0 19 0 8270808 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228290472888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15070] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15070/stat : 15070 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270808 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228289420024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15071] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15071/stat : 15071 (java) S 15050 15053 14855 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8270808 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228288367688 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15072] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15072/stat : 15072 (java) S 15050 15053 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8270822 9856040960 18844 33554432000 1073741824 1073778376 140735598448480 140228287312936 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (KiB) 9625040


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

[pid=15053/tid=15072] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15072/stat : 15072 (java) S 15050 15053 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8270822 9856040960 72553 33554432000 1073741824 1073778376 140735598448480 140228287312936 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1732.81
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.05 2.09 1.80 3/213 15179
/proc/meminfo: memFree=31462492/32872528 swapFree=248296/248296
[pid=15053] ppid=15050 vsize=9625040 CPUtime=1793.52 cores=0,2,4,6
/proc/15053/stat : 15053 (java) S 15050 15053 14855 0 -1 4202496 16241 0 1 0 179237 115 0 0 20 0 19 0 8270802 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140735598439616 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15053/statm: 2406260 69995 2282 9 0 2396937 0
[pid=15053/tid=15055] ppid=15050 vsize=9625040 CPUtime=1770.95 cores=0,2,4,6
/proc/15053/task/15055/stat : 15055 (java) R 15050 15053 14855 0 -1 4202560 2651 0 1 0 177066 29 0 0 20 0 19 0 8270803 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228471622960 140228344125949 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15056] ppid=15050 vsize=9625040 CPUtime=1.76 cores=0,2,4,6
/proc/15053/task/15056/stat : 15056 (java) S 15050 15053 14855 0 -1 4202560 622 0 0 0 165 11 0 0 20 0 19 0 8270804 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228315302312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15057] ppid=15050 vsize=9625040 CPUtime=1.69 cores=0,2,4,6
/proc/15053/task/15057/stat : 15057 (java) S 15050 15053 14855 0 -1 4202560 425 0 0 0 162 7 0 0 20 0 19 0 8270804 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228314249768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15058] ppid=15050 vsize=9625040 CPUtime=1.97 cores=0,2,4,6
/proc/15053/task/15058/stat : 15058 (java) S 15050 15053 14855 0 -1 4202560 779 0 0 0 183 14 0 0 20 0 19 0 8270804 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228313196712 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15053/tid=15059] ppid=15050 vsize=9625040 CPUtime=1.94 cores=0,2,4,6
/proc/15053/task/15059/stat : 15059 (java) S 15050 15053 14855 0 -1 4202560 602 0 0 0 181 13 0 0 20 0 19 0 8270804 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228312144168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15060] ppid=15050 vsize=9625040 CPUtime=1.72 cores=0,2,4,6
/proc/15053/task/15060/stat : 15060 (java) S 15050 15053 14855 0 -1 4202560 430 0 0 0 161 11 0 0 20 0 19 0 8270804 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228311092136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15053/tid=15061] ppid=15050 vsize=9625040 CPUtime=1.59 cores=0,2,4,6
/proc/15053/task/15061/stat : 15061 (java) S 15050 15053 14855 0 -1 4202560 378 0 0 0 151 8 0 0 20 0 19 0 8270804 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228310039592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15062] ppid=15050 vsize=9625040 CPUtime=1.92 cores=0,2,4,6
/proc/15053/task/15062/stat : 15062 (java) S 15050 15053 14855 0 -1 4202560 648 0 0 0 181 11 0 0 20 0 19 0 8270804 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228308986536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15053/tid=15063] ppid=15050 vsize=9625040 CPUtime=1.93 cores=0,2,4,6
/proc/15053/task/15063/stat : 15063 (java) S 15050 15053 14855 0 -1 4202560 688 0 0 0 180 13 0 0 20 0 19 0 8270804 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228307933992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15053/tid=15064] ppid=15050 vsize=9625040 CPUtime=2.56 cores=0,2,4,6
/proc/15053/task/15064/stat : 15064 (java) S 15050 15053 14855 0 -1 4202560 580 0 0 0 252 4 0 0 20 0 19 0 8270805 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228295735656 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15065] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15065/stat : 15065 (java) S 15050 15053 14855 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8270806 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228294681976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15066] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15066/stat : 15066 (java) S 15050 15053 14855 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8270806 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228293628808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15067] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15067/stat : 15067 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270808 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228292577552 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15068] ppid=15050 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/15053/task/15068/stat : 15068 (java) S 15050 15053 14855 0 -1 4202560 4903 0 0 0 43 0 0 0 20 0 19 0 8270808 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228291525432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15069] ppid=15050 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/15053/task/15069/stat : 15069 (java) S 15050 15053 14855 0 -1 4202560 2172 0 0 0 22 0 0 0 20 0 19 0 8270808 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228290472888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15070] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15070/stat : 15070 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270808 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228289420024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15071] ppid=15050 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/15053/task/15071/stat : 15071 (java) S 15050 15053 14855 0 -1 4202560 103 0 0 0 24 25 0 0 20 0 19 0 8270808 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228288367688 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15072] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15072/stat : 15072 (java) S 15050 15053 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8270822 9856040960 69995 33554432000 1073741824 1073778376 140735598448480 140228287312936 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1793.52
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.71 s]
/proc/loadavg: 2.04 2.09 1.80 3/213 15179
/proc/meminfo: memFree=31455788/32872528 swapFree=248296/248296
[pid=15053] ppid=15050 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/15053/stat : 15053 (java) S 15050 15053 14855 0 -1 4202496 16243 0 1 0 179887 115 0 0 20 0 19 0 8270802 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140735598439616 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15053/statm: 2406260 69642 2282 9 0 2396937 0
[pid=15053/tid=15055] ppid=15050 vsize=9625040 CPUtime=1777.3 cores=0,2,4,6
/proc/15053/task/15055/stat : 15055 (java) R 15050 15053 14855 0 -1 4202560 2653 0 1 0 177700 30 0 0 20 0 19 0 8270803 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228471622960 140228344130080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15056] ppid=15050 vsize=9625040 CPUtime=1.78 cores=0,2,4,6
/proc/15053/task/15056/stat : 15056 (java) S 15050 15053 14855 0 -1 4202560 622 0 0 0 167 11 0 0 20 0 19 0 8270804 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228315302312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15053/tid=15057] ppid=15050 vsize=9625040 CPUtime=1.69 cores=0,2,4,6
/proc/15053/task/15057/stat : 15057 (java) S 15050 15053 14855 0 -1 4202560 425 0 0 0 162 7 0 0 20 0 19 0 8270804 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228314249768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15058] ppid=15050 vsize=9625040 CPUtime=1.99 cores=0,2,4,6
/proc/15053/task/15058/stat : 15058 (java) S 15050 15053 14855 0 -1 4202560 779 0 0 0 185 14 0 0 20 0 19 0 8270804 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228313196712 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15059] ppid=15050 vsize=9625040 CPUtime=1.96 cores=0,2,4,6
/proc/15053/task/15059/stat : 15059 (java) S 15050 15053 14855 0 -1 4202560 602 0 0 0 183 13 0 0 20 0 19 0 8270804 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228312144168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15053/tid=15060] ppid=15050 vsize=9625040 CPUtime=1.73 cores=0,2,4,6
/proc/15053/task/15060/stat : 15060 (java) S 15050 15053 14855 0 -1 4202560 430 0 0 0 162 11 0 0 20 0 19 0 8270804 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228311092136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15053/tid=15061] ppid=15050 vsize=9625040 CPUtime=1.61 cores=0,2,4,6
/proc/15053/task/15061/stat : 15061 (java) S 15050 15053 14855 0 -1 4202560 378 0 0 0 153 8 0 0 20 0 19 0 8270804 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228310039592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15053/tid=15062] ppid=15050 vsize=9625040 CPUtime=1.94 cores=0,2,4,6
/proc/15053/task/15062/stat : 15062 (java) S 15050 15053 14855 0 -1 4202560 648 0 0 0 183 11 0 0 20 0 19 0 8270804 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228308986536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15063] ppid=15050 vsize=9625040 CPUtime=1.96 cores=0,2,4,6
/proc/15053/task/15063/stat : 15063 (java) S 15050 15053 14855 0 -1 4202560 688 0 0 0 183 13 0 0 20 0 19 0 8270804 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228307933992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15064] ppid=15050 vsize=9625040 CPUtime=2.56 cores=0,2,4,6
/proc/15053/task/15064/stat : 15064 (java) S 15050 15053 14855 0 -1 4202560 580 0 0 0 252 4 0 0 20 0 19 0 8270805 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228295735656 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15065] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15065/stat : 15065 (java) S 15050 15053 14855 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8270806 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228294681976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15066] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15066/stat : 15066 (java) S 15050 15053 14855 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8270806 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228293628808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15067] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15067/stat : 15067 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270808 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228292577552 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15068] ppid=15050 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/15053/task/15068/stat : 15068 (java) S 15050 15053 14855 0 -1 4202560 4903 0 0 0 43 0 0 0 20 0 19 0 8270808 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228291525432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15069] ppid=15050 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/15053/task/15069/stat : 15069 (java) S 15050 15053 14855 0 -1 4202560 2172 0 0 0 22 0 0 0 20 0 19 0 8270808 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228290472888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15070] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15070/stat : 15070 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270808 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228289420024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15071] ppid=15050 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/15053/task/15071/stat : 15071 (java) S 15050 15053 14855 0 -1 4202560 103 0 0 0 24 25 0 0 20 0 19 0 8270808 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228288367688 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15072] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15072/stat : 15072 (java) S 15050 15053 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8270822 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228287312936 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 15053 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1788.71 s]
/proc/loadavg: 2.04 2.09 1.80 3/213 15179
/proc/meminfo: memFree=31455788/32872528 swapFree=248296/248296
[pid=15053] ppid=15050 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/15053/stat : 15053 (java) S 15050 15053 14855 0 -1 4202496 16243 0 1 0 179887 115 0 0 20 0 19 0 8270802 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140735598439616 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15053/statm: 2406260 69642 2282 9 0 2396937 0
[pid=15053/tid=15055] ppid=15050 vsize=9625040 CPUtime=1777.3 cores=0,2,4,6
/proc/15053/task/15055/stat : 15055 (java) R 15050 15053 14855 0 -1 4202560 2653 0 1 0 177700 30 0 0 20 0 19 0 8270803 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228471622960 140228344130080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15056] ppid=15050 vsize=9625040 CPUtime=1.78 cores=0,2,4,6
/proc/15053/task/15056/stat : 15056 (java) S 15050 15053 14855 0 -1 4202560 622 0 0 0 167 11 0 0 20 0 19 0 8270804 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228315302312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15053/tid=15057] ppid=15050 vsize=9625040 CPUtime=1.69 cores=0,2,4,6
/proc/15053/task/15057/stat : 15057 (java) S 15050 15053 14855 0 -1 4202560 425 0 0 0 162 7 0 0 20 0 19 0 8270804 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228314249768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15058] ppid=15050 vsize=9625040 CPUtime=1.99 cores=0,2,4,6
/proc/15053/task/15058/stat : 15058 (java) S 15050 15053 14855 0 -1 4202560 779 0 0 0 185 14 0 0 20 0 19 0 8270804 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228313196712 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15059] ppid=15050 vsize=9625040 CPUtime=1.96 cores=0,2,4,6
/proc/15053/task/15059/stat : 15059 (java) S 15050 15053 14855 0 -1 4202560 602 0 0 0 183 13 0 0 20 0 19 0 8270804 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228312144168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15053/tid=15060] ppid=15050 vsize=9625040 CPUtime=1.73 cores=0,2,4,6
/proc/15053/task/15060/stat : 15060 (java) S 15050 15053 14855 0 -1 4202560 430 0 0 0 162 11 0 0 20 0 19 0 8270804 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228311092136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15053/tid=15061] ppid=15050 vsize=9625040 CPUtime=1.61 cores=0,2,4,6
/proc/15053/task/15061/stat : 15061 (java) S 15050 15053 14855 0 -1 4202560 378 0 0 0 153 8 0 0 20 0 19 0 8270804 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228310039592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15053/tid=15062] ppid=15050 vsize=9625040 CPUtime=1.94 cores=0,2,4,6
/proc/15053/task/15062/stat : 15062 (java) S 15050 15053 14855 0 -1 4202560 648 0 0 0 183 11 0 0 20 0 19 0 8270804 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228308986536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15063] ppid=15050 vsize=9625040 CPUtime=1.96 cores=0,2,4,6
/proc/15053/task/15063/stat : 15063 (java) S 15050 15053 14855 0 -1 4202560 688 0 0 0 183 13 0 0 20 0 19 0 8270804 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228307933992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15064] ppid=15050 vsize=9625040 CPUtime=2.56 cores=0,2,4,6
/proc/15053/task/15064/stat : 15064 (java) S 15050 15053 14855 0 -1 4202560 580 0 0 0 252 4 0 0 20 0 19 0 8270805 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228295735656 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15065] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15065/stat : 15065 (java) S 15050 15053 14855 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8270806 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228294681976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15066] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15066/stat : 15066 (java) S 15050 15053 14855 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8270806 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228293628808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15067] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15067/stat : 15067 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270808 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228292577552 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15053/tid=15068] ppid=15050 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/15053/task/15068/stat : 15068 (java) S 15050 15053 14855 0 -1 4202560 4903 0 0 0 43 0 0 0 20 0 19 0 8270808 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228291525432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15069] ppid=15050 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/15053/task/15069/stat : 15069 (java) S 15050 15053 14855 0 -1 4202560 2172 0 0 0 22 0 0 0 20 0 19 0 8270808 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228290472888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15070] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15070/stat : 15070 (java) S 15050 15053 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270808 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228289420024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15071] ppid=15050 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/15053/task/15071/stat : 15071 (java) S 15050 15053 14855 0 -1 4202560 103 0 0 0 24 25 0 0 20 0 19 0 8270808 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228288367688 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15053/tid=15072] ppid=15050 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15053/task/15072/stat : 15072 (java) S 15050 15053 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8270822 9856040960 69642 33554432000 1073741824 1073778376 140735598448480 140228287312936 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1788.75
CPU time (s): 1800.02
CPU user time (s): 1798.87
CPU system time (s): 1.15
CPU usage (%): 100.63
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.42
system time used= 1.61075
maximum resident set size= 825120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16290
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42142
involuntary context switches= 30551

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.158 second user time and 16.0856 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-16 09:30:04
IDJOB=4090541
IDBENCH=78676
IDSOLVER=2551
FILE ID=node103/4090541-1466062204
RUNJOBID= node103-1466062136-14871
PBS_JOBID= 19904029
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090541-1466062204/watcher-4090541-1466062204 -o /tmp/evaluation-result-4090541-1466062204/solver-4090541-1466062204 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466062136-14871 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090541-1466062204.wbo

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

MD5SUM BENCH= 7b4c43120f8532700d0af4fec83df613
RANDOM SEED=1421364276

node103.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.278
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.55
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.278
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.278
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.278
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.278
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.278
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.278
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.278
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:        31624552 kB
Buffers:            2744 kB
Cached:            40596 kB
SwapCached:        41816 kB
Active:           230060 kB
Inactive:          60216 kB
Active(anon):     208056 kB
Inactive(anon):    41280 kB
Active(file):      22004 kB
Inactive(file):    18936 kB
Unevictable:      248296 kB
Mlocked:          248296 kB
SwapTotal:      67108856 kB
SwapFree:       67059952 kB
Dirty:               656 kB
Writeback:             0 kB
AnonPages:        538720 kB
Mapped:            15412 kB
Shmem:                 0 kB
Slab:             565308 kB
SReclaimable:       9288 kB
SUnreclaim:       556020 kB
KernelStack:        1744 kB
PageTables:         4732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1063932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 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= 71736 MiB
End job on node103 at 2016-06-16 09:59:53