Trace number 4090716

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 PB16Wrong Cert. 1800.77 1776.15

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-langford-3-11_wcsp.wbo
MD5SUM69dbc7406636817ba2a44752a9d60525
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark16.6995
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1089
Total number of constraints40843
Number of soft constraints40810
Number of constraints which are clauses40810
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint33
Top cost 1
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 40810
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 34
Number of bits of the biggest sum of numbers6
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.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-4090716-1466068061.wbo
0.10/0.10	c reading problem ... 
1.08/0.56	c ... done. Wall clock time 0.454s.
1.08/0.56	c declared #vars     1089
1.08/0.56	c internal #vars     41899
1.08/0.56	c #constraints  40876
1.08/0.56	c constraints type 
1.08/0.56	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 40843
1.08/0.56	c org.sat4j.minisat.constraints.card.MinWatchCard => 33
1.08/0.56	c 40876 constraints processed.
1.08/0.56	c objective function length is 40810 literals
1.66/0.88	c SATISFIABLE
1.66/0.88	c OPTIMIZING...
1.66/0.88	c Got one! Elapsed wall clock time (in seconds):0.773
1.66/0.88	o 37
2.02/1.01	c Got one! Elapsed wall clock time (in seconds):0.909
2.02/1.01	o 31
2.22/1.11	c Got one! Elapsed wall clock time (in seconds):1.009
2.22/1.11	o 22
5.80/4.63	c cleaning 3014 clauses out of 6041 with flag 32742/6041
7.57/6.35	c cleaning 4507 clauses out of 9027 with flag 104078/12041
8.47/7.28	c Got one! Elapsed wall clock time (in seconds):7.171
8.47/7.28	o 21
10.69/9.34	c cleaning 4988 clauses out of 10100 with flag 31511/17621
13.11/11.75	c cleaning 5514 clauses out of 11112 with flag 80106/23621
13.82/12.46	c Got one! Elapsed wall clock time (in seconds):12.353
13.82/12.46	o 20
13.94/12.53	c Got one! Elapsed wall clock time (in seconds):12.424
13.94/12.53	o 19
14.04/12.61	c Got one! Elapsed wall clock time (in seconds):12.507
14.04/12.61	o 18
15.30/13.71	c cleaning 5591 clauses out of 11220 with flag 25269/29243
18.00/16.48	c cleaning 5760 clauses out of 11626 with flag 126421/35240
21.62/19.90	c cleaning 6420 clauses out of 12866 with flag 272259/42240
22.41/20.66	c Got one! Elapsed wall clock time (in seconds):20.555
22.41/20.66	o 17
22.51/20.72	c Got one! Elapsed wall clock time (in seconds):20.616
22.51/20.72	o 16
27.23/25.46	c cleaning 6053 clauses out of 12109 with flag 70525/47903
35.90/33.84	c cleaning 5951 clauses out of 12058 with flag 177547/53905
41.09/39.00	c Got one! Elapsed wall clock time (in seconds):38.894
41.09/39.00	o 15
41.09/39.07	c Got one! Elapsed wall clock time (in seconds):38.968
41.09/39.07	o 14
41.21/39.15	c Got one! Elapsed wall clock time (in seconds):39.05
41.21/39.15	o 13
43.61/41.51	c cleaning 6095 clauses out of 12248 with flag 10565/60046
48.63/46.46	c Got one! Elapsed wall clock time (in seconds):46.36
48.63/46.46	o 12
48.73/46.56	c Got one! Elapsed wall clock time (in seconds):46.457
48.73/46.56	o 11
48.83/46.63	c Got one! Elapsed wall clock time (in seconds):46.521
48.83/46.63	o 10
50.13/47.90	c Got one! Elapsed wall clock time (in seconds):47.797
50.13/47.90	o 9
52.84/50.69	c cleaning 5980 clauses out of 12008 with flag 10406/65901
63.73/61.53	c cleaning 5992 clauses out of 12027 with flag 75098/71900
80.62/78.29	c cleaning 6511 clauses out of 13035 with flag 137694/78900
92.22/89.82	c Got one! Elapsed wall clock time (in seconds):89.717
92.22/89.82	o 8
101.17/98.35	c cleaning 8929 clauses out of 18028 with flag 58005/90404
112.99/110.20	c cleaning 7517 clauses out of 15098 with flag 118244/96403
127.48/124.65	c cleaning 7277 clauses out of 14579 with flag 181230/103401
149.16/145.99	c cleaning 7614 clauses out of 15304 with flag 239794/111403
159.27/156.09	c Got one! Elapsed wall clock time (in seconds):155.99
159.27/156.09	o 7
171.76/167.96	c cleaning 9746 clauses out of 19499 with flag 43822/123212
175.96/172.16	c Got one! Elapsed wall clock time (in seconds):172.058
175.96/172.16	o 6
183.87/180.03	c cleaning 7735 clauses out of 15480 with flag 29944/128939
192.57/188.73	c cleaning 6856 clauses out of 13744 with flag 82212/134938
208.95/204.47	c cleaning 6926 clauses out of 13888 with flag 136103/141938
227.44/222.95	c cleaning 7466 clauses out of 14962 with flag 187294/149938
240.00/234.97	c cleaning 8209 clauses out of 16496 with flag 270735/158938
250.90/245.86	c Got one! Elapsed wall clock time (in seconds):245.758
250.90/245.86	o 5
261.82/256.54	c cleaning 10237 clauses out of 20508 with flag 54095/171159
274.46/268.89	c cleaning 8126 clauses out of 16267 with flag 120578/177155
285.47/279.86	c cleaning 7554 clauses out of 15141 with flag 214292/184155
297.32/291.44	c cleaning 7771 clauses out of 15586 with flag 304868/192154
314.21/308.19	c cleaning 8395 clauses out of 16816 with flag 389431/201155
338.88/332.52	c cleaning 9177 clauses out of 18420 with flag 452254/211154
360.88/354.59	c Got one! Elapsed wall clock time (in seconds):354.49
360.88/354.59	o 4
375.43/368.72	c cleaning 11479 clauses out of 23033 with flag 32531/224944
386.13/379.41	c cleaning 8575 clauses out of 17551 with flag 75192/230941
394.44/387.60	c cleaning 7960 clauses out of 15976 with flag 122645/237941
404.01/396.96	c cleaning 8001 clauses out of 16015 with flag 178570/245940
417.83/410.43	c cleaning 8491 clauses out of 17014 with flag 241016/254940
440.32/432.98	c Got one! Elapsed wall clock time (in seconds):432.874
440.32/432.98	o 3
456.53/449.12	c cleaning 10480 clauses out of 21130 with flag 26441/267547
467.36/459.83	c cleaning 8321 clauses out of 16649 with flag 68529/273546
489.06/481.52	c cleaning 7449 clauses out of 15329 with flag 101031/280547
504.92/497.29	c cleaning 7934 clauses out of 15879 with flag 139543/288546
529.79/521.95	c cleaning 8451 clauses out of 16946 with flag 183788/297547
550.90/542.80	c cleaning 9215 clauses out of 18495 with flag 251254/307547
574.00/565.71	c cleaning 10133 clauses out of 20280 with flag 328671/318547
603.18/594.83	c cleaning 11073 clauses out of 22147 with flag 408694/330547
630.54/622.09	c cleaning 12033 clauses out of 24073 with flag 507544/343546
654.27/645.18	c cleaning 13010 clauses out of 26040 with flag 650135/357546
684.33/674.48	c cleaning 14000 clauses out of 28030 with flag 845181/372546
712.75/701.61	c cleaning 15010 clauses out of 30031 with flag 1076265/388547
749.63/738.09	c cleaning 15982 clauses out of 32020 with flag 1347087/405546
810.81/798.92	c cleaning 16970 clauses out of 34039 with flag 1487374/423547
871.46/859.48	c cleaning 17892 clauses out of 36069 with flag 1632114/442547
917.49/904.86	c cleaning 19022 clauses out of 38177 with flag 1801673/462547
959.45/945.77	c cleaning 20042 clauses out of 40154 with flag 2011813/483546
1003.40/988.31	c cleaning 21054 clauses out of 42115 with flag 2256501/505549
1061.57/1046.05	c Got one! Elapsed wall clock time (in seconds):1045.942
1061.57/1046.05	o 2
1083.23/1067.51	c cleaning 23138 clauses out of 46294 with flag 41143/530782
1101.41/1085.47	c cleaning 14568 clauses out of 29156 with flag 78881/536782
1121.85/1105.44	c cleaning 10384 clauses out of 21589 with flag 123931/543783
1145.55/1129.16	c cleaning 7897 clauses out of 19204 with flag 159529/551782
1169.27/1152.89	c cleaning 8947 clauses out of 20307 with flag 201291/560782
1190.06/1173.58	c cleaning 9956 clauses out of 21362 with flag 238598/570784
1217.19/1200.48	c cleaning 10871 clauses out of 22406 with flag 289847/581784
1244.19/1227.47	c cleaning 11739 clauses out of 23539 with flag 337427/593788
1291.60/1274.76	c cleaning 12392 clauses out of 24794 with flag 391417/606782
1331.50/1314.37	c cleaning 13200 clauses out of 26402 with flag 450805/620782
1379.01/1361.88	c cleaning 14095 clauses out of 28203 with flag 531769/635783
1415.54/1397.68	c cleaning 15049 clauses out of 30107 with flag 622181/651782
1460.45/1441.84	c cleaning 16028 clauses out of 32059 with flag 715340/668783
1509.02/1489.15	c cleaning 17010 clauses out of 34031 with flag 845543/686783
1564.37/1543.75	c cleaning 17915 clauses out of 36020 with flag 965094/705782
1627.78/1606.94	c cleaning 19052 clauses out of 38105 with flag 1112417/725782
1689.03/1667.37	c cleaning 20021 clauses out of 40054 with flag 1236294/746783
1748.29/1725.77	c cleaning 21015 clauses out of 42033 with flag 1394336/768783
1800.02/1776.10	c starts		: 3230
1800.02/1776.10	c conflicts		: 788481
1800.02/1776.10	c decisions		: 74146149
1800.02/1776.10	c propagations		: 3602806632
1800.02/1776.10	c inspects		: 3710659550
1800.02/1776.10	c shortcuts		: 0
1800.02/1776.10	c learnt literals	: 1
1800.02/1776.10	c learnt binary clauses	: 708
1800.02/1776.10	c learnt ternary clauses	: 2621
1800.02/1776.10	c learnt constraints	: 788480
1800.02/1776.10	c ignored constraints	: 0
1800.02/1776.10	c root simplifications	: 0
1800.02/1776.10	c removed literals (reason simplification)	: 0
1800.02/1776.10	c reason swapping (by a shorter reason)	: 0
1800.02/1776.10	c Calls to reduceDB	: 70
1800.02/1776.10	c Number of update (reduction) of LBD	: 376447
1800.02/1776.10	c Imported unit clauses	: 0
1800.02/1776.10	c number of reductions to clauses (during analyze)	: 0
1800.02/1776.10	c number of learned constraints concerned by reduction	: 0
1800.02/1776.10	c number of learning phase by resolution	: 0
1800.02/1776.10	c number of learning phase by cutting planes	: 0
1800.02/1776.10	c speed (assignments/second)	: 2029199.187600888
1800.02/1776.10	c non guided choices	29952
1800.02/1776.12	c learnt constraints type 
1800.02/1776.12	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 708
1800.02/1776.12	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 40008
1800.02/1776.12	s SATISFIABLE
1800.02/1776.12	c Found 23 solution(s)
1800.02/1776.13	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 
1800.02/1776.13	c objective function=2
1800.02/1776.13	c Total wall clock time (in seconds): 1776.026

Verifier Data 

FAILED
ERROR: cost exceeds topCost

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

pid=13931
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.15 2.13 2.03 3/194 13934
/proc/meminfo: memFree=31398548/32872528 swapFree=496356/529060
[pid=13934] ppid=13931 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/13934/stat : 13934 (java) R 13931 13934 11396 0 -1 4202496 1062 0 0 0 0 0 0 0 20 0 1 0 8851554 23793664 713 33554432000 1073741824 1073778376 140735888494416 140735888483480 211449591144 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13934/statm: 5809 714 528 9 0 128 0

[startup+0.100163 s]
/proc/loadavg: 2.15 2.13 2.03 3/194 13934
/proc/meminfo: memFree=31398548/32872528 swapFree=496356/529060
[pid=13934] ppid=13931 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13931 13934 11396 0 -1 4202496 4427 0 1 0 9 1 0 0 20 0 18 0 8851554 9787879424 6053 33554432000 1073741824 1073778376 140735888494416 140735888485552 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13934/statm: 2389619 6053 2140 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200224 s]
/proc/loadavg: 2.15 2.13 2.03 3/194 13934
/proc/meminfo: memFree=31398548/32872528 swapFree=496356/529060
[pid=13934] ppid=13931 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13931 13934 11396 0 -1 4202496 4773 0 1 0 24 1 0 0 20 0 18 0 8851554 9787879424 6840 33554432000 1073741824 1073778376 140735888494416 140735888485552 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13934/statm: 2389619 6840 2212 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300213 s]
/proc/loadavg: 2.15 2.13 2.03 3/194 13934
/proc/meminfo: memFree=31398548/32872528 swapFree=496356/529060
[pid=13934] ppid=13931 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13931 13934 11396 0 -1 4202496 6087 0 1 0 47 2 0 0 20 0 18 0 8851554 9787879424 9225 33554432000 1073741824 1073778376 140735888494416 140735888485552 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13934/statm: 2389619 9225 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.70019 s]
/proc/loadavg: 2.15 2.13 2.03 3/194 13934
/proc/meminfo: memFree=31398548/32872528 swapFree=496356/529060
[pid=13934] ppid=13931 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13931 13934 11396 0 -1 4202496 11541 0 1 0 137 5 0 0 20 0 19 0 8851554 9856040960 34571 33554432000 1073741824 1073778376 140735888494416 140735888485552 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13934/statm: 2406260 34571 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9625040

[startup+1.50085 s]
/proc/loadavg: 2.15 2.13 2.03 3/213 13953
/proc/meminfo: memFree=31248108/32872528 swapFree=496356/529060
[pid=13934] ppid=13931 vsize=9625040 CPUtime=2.62 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13931 13934 11396 0 -1 4202496 11634 0 1 0 257 5 0 0 20 0 19 0 8851554 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140735888485552 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13934/statm: 2406260 42328 2268 9 0 2396937 0
[pid=13934/tid=13936] ppid=13931 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/13934/task/13936/stat : 13936 (java) R 13931 13934 11396 0 -1 4202560 2470 0 1 0 143 4 0 0 20 0 19 0 8851555 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085942825752 140085811736858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13934/tid=13937] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13937/stat : 13937 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085931886888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13938] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13938/stat : 13938 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085930834088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13939] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13939/stat : 13939 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085929781800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13940] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13940/stat : 13940 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085783378344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13934/tid=13941] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13941/stat : 13941 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085782326056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13942] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13942/stat : 13942 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085781273256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13943] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13943/stat : 13943 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085780220968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13934/tid=13944] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13944/stat : 13944 (java) S 13931 13934 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085779168168 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13945] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13945/stat : 13945 (java) S 13931 13934 11396 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8851557 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085766969576 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13946] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13946/stat : 13946 (java) S 13931 13934 11396 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8851557 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085765915640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13947] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13947/stat : 13947 (java) S 13931 13934 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8851557 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085764863240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13948] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13948/stat : 13948 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851559 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085763811728 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13949] ppid=13931 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/13934/task/13949/stat : 13949 (java) S 13931 13934 11396 0 -1 4202560 2361 0 0 0 52 0 0 0 20 0 19 0 8851559 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085762759352 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13950] ppid=13931 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/13934/task/13950/stat : 13950 (java) S 13931 13934 11396 0 -1 4202560 5532 0 0 0 60 0 0 0 20 0 19 0 8851559 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085761706552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13951] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13951/stat : 13951 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851559 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085760654456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13952] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13952/stat : 13952 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851559 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085759601864 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13953] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13953/stat : 13953 (java) S 13931 13934 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8851617 9856040960 42328 33554432000 1073741824 1073778376 140735888494416 140085758546856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 9625040

[startup+3.10091 s]
/proc/loadavg: 2.14 2.12 2.03 3/213 13953
/proc/meminfo: memFree=31219808/32872528 swapFree=496356/529060
[pid=13934] ppid=13931 vsize=9625040 CPUtime=4.29 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13931 13934 11396 0 -1 4202496 11764 0 1 0 422 7 0 0 20 0 19 0 8851554 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140735888485552 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13934/statm: 2406260 47026 2281 9 0 2396937 0
[pid=13934/tid=13936] ppid=13931 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/13934/task/13936/stat : 13936 (java) R 13931 13934 11396 0 -1 4202560 2474 0 1 0 301 4 0 0 20 0 19 0 8851555 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085942824680 140085811894547 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13934/tid=13937] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13937/stat : 13937 (java) S 13931 13934 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085931886888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13938] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13938/stat : 13938 (java) S 13931 13934 11396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085930834088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13939] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13939/stat : 13939 (java) S 13931 13934 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085929781800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13940] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13940/stat : 13940 (java) S 13931 13934 11396 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085783378344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13941] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13941/stat : 13941 (java) S 13931 13934 11396 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085782326056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13942] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13942/stat : 13942 (java) S 13931 13934 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085781273256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13943] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13943/stat : 13943 (java) S 13931 13934 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085780220968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13944] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13944/stat : 13944 (java) S 13931 13934 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085779168168 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13945] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13945/stat : 13945 (java) S 13931 13934 11396 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 8851557 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085766969576 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13946] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13946/stat : 13946 (java) S 13931 13934 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8851557 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085765915640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13947] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13947/stat : 13947 (java) S 13931 13934 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8851557 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085764863240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13948] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13948/stat : 13948 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851559 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085763811728 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13949] ppid=13931 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/13934/task/13949/stat : 13949 (java) S 13931 13934 11396 0 -1 4202560 2361 0 0 0 52 0 0 0 20 0 19 0 8851559 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085762759352 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13950] ppid=13931 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/13934/task/13950/stat : 13950 (java) S 13931 13934 11396 0 -1 4202560 5532 0 0 0 60 0 0 0 20 0 19 0 8851559 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085761706552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13951] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13951/stat : 13951 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851559 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085760654456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13952] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13952/stat : 13952 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851559 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085759601864 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13953] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13953/stat : 13953 (java) S 13931 13934 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8851617 9856040960 47026 33554432000 1073741824 1073778376 140735888494416 140085758546856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 9625040

[startup+6.3009 s]
/proc/loadavg: 2.14 2.12 2.03 3/213 13953
/proc/meminfo: memFree=31221424/32872528 swapFree=496356/529060
[pid=13934] ppid=13931 vsize=9625040 CPUtime=7.57 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13931 13934 11396 0 -1 4202496 11790 0 1 0 750 7 0 0 20 0 19 0 8851554 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140735888485552 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13934/statm: 2406260 46484 2287 9 0 2396937 0
[pid=13934/tid=13936] ppid=13931 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/13934/task/13936/stat : 13936 (java) R 13931 13934 11396 0 -1 4202560 2476 0 1 0 621 4 0 0 20 0 19 0 8851555 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085942825352 140085811776902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13934/tid=13937] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13937/stat : 13937 (java) S 13931 13934 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085931886888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13938] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13938/stat : 13938 (java) S 13931 13934 11396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085930834088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13939] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13939/stat : 13939 (java) S 13931 13934 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085929781800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13940] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13940/stat : 13940 (java) S 13931 13934 11396 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085783378344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13941] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13941/stat : 13941 (java) S 13931 13934 11396 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085782326056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13942] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13942/stat : 13942 (java) S 13931 13934 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085781273256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13943] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13943/stat : 13943 (java) S 13931 13934 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085780220968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13944] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13944/stat : 13944 (java) S 13931 13934 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8851556 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085779168168 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13945] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13945/stat : 13945 (java) S 13931 13934 11396 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 8851557 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085766969576 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13946] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13946/stat : 13946 (java) S 13931 13934 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8851557 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085765915640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13947] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13947/stat : 13947 (java) S 13931 13934 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8851557 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085764863240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13948] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13948/stat : 13948 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851559 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085763811728 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13949] ppid=13931 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/13934/task/13949/stat : 13949 (java) S 13931 13934 11396 0 -1 4202560 2371 0 0 0 57 0 0 0 20 0 19 0 8851559 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085762759352 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13950] ppid=13931 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/13934/task/13950/stat : 13950 (java) S 13931 13934 11396 0 -1 4202560 5546 0 0 0 63 0 0 0 20 0 19 0 8851559 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085761706552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13951] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13951/stat : 13951 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851559 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085760654456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13952] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13952/stat : 13952 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851559 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085759601864 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13953] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13953/stat : 13953 (java) S 13931 13934 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8851617 9856040960 46484 33554432000 1073741824 1073778376 140735888494416 140085758546856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 9625040


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

[pid=13934/tid=13946] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13946/stat : 13946 (java) S 13931 13934 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8851557 9856040960 778343 33554432000 1073741824 1073778376 140735888494416 140085765915640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13947] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13947/stat : 13947 (java) S 13931 13934 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8851557 9856040960 778343 33554432000 1073741824 1073778376 140735888494416 140085764863240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13948] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13948/stat : 13948 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851559 9856040960 778343 33554432000 1073741824 1073778376 140735888494416 140085763811728 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13949] ppid=13931 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/13934/task/13949/stat : 13949 (java) S 13931 13934 11396 0 -1 4202560 2404 0 0 0 74 0 0 0 20 0 19 0 8851559 9856040960 778343 33554432000 1073741824 1073778376 140735888494416 140085762759352 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13950] ppid=13931 vsize=9625040 CPUtime=1.03 cores=0,2,4,6
/proc/13934/task/13950/stat : 13950 (java) S 13931 13934 11396 0 -1 4202560 9514 0 0 0 100 3 0 0 20 0 19 0 8851559 9856040960 778343 33554432000 1073741824 1073778376 140735888494416 140085761706552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13951] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13951/stat : 13951 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851559 9856040960 778343 33554432000 1073741824 1073778376 140735888494416 140085760654456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13952] ppid=13931 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/13934/task/13952/stat : 13952 (java) S 13931 13934 11396 0 -1 4202560 95 0 0 0 30 31 0 0 20 0 19 0 8851559 9856040960 778343 33554432000 1073741824 1073778376 140735888494416 140085759601864 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13953] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13953/stat : 13953 (java) S 13931 13934 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8851617 9856040960 778343 33554432000 1073741824 1073778376 140735888494416 140085758546856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1683.62
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/213 14126
/proc/meminfo: memFree=28278752/32872528 swapFree=496356/529060
[pid=13934] ppid=13931 vsize=9625040 CPUtime=1744.9 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13931 13934 11396 0 -1 4202496 58019 0 1 0 173981 509 0 0 20 0 19 0 8851554 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140735888485552 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13934/statm: 2406260 731858 2296 9 0 2396937 0
[pid=13934/tid=13936] ppid=13931 vsize=9625040 CPUtime=1711.35 cores=0,2,4,6
/proc/13934/task/13936/stat : 13936 (java) R 13931 13934 11396 0 -1 4202560 3540 0 1 0 171100 35 0 0 20 0 19 0 8851555 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085942824176 140085811689983 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13937] ppid=13931 vsize=9625040 CPUtime=4.16 cores=0,2,4,6
/proc/13934/task/13937/stat : 13937 (java) S 13931 13934 11396 0 -1 4202560 4325 0 0 0 340 76 0 0 20 0 19 0 8851556 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085931886888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13938] ppid=13931 vsize=9625040 CPUtime=3.76 cores=0,2,4,6
/proc/13934/task/13938/stat : 13938 (java) S 13931 13934 11396 0 -1 4202560 4030 0 0 0 316 60 0 0 20 0 19 0 8851556 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085930834088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13934/tid=13939] ppid=13931 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/13934/task/13939/stat : 13939 (java) S 13931 13934 11396 0 -1 4202560 4207 0 0 0 266 42 0 0 20 0 19 0 8851556 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085929781800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13940] ppid=13931 vsize=9625040 CPUtime=3.21 cores=0,2,4,6
/proc/13934/task/13940/stat : 13940 (java) S 13931 13934 11396 0 -1 4202560 4416 0 0 0 270 51 0 0 20 0 19 0 8851556 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085783378344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13934/tid=13941] ppid=13931 vsize=9625040 CPUtime=3.34 cores=0,2,4,6
/proc/13934/task/13941/stat : 13941 (java) S 13931 13934 11396 0 -1 4202560 4117 0 0 0 273 61 0 0 20 0 19 0 8851556 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085782326056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13942] ppid=13931 vsize=9625040 CPUtime=4.09 cores=0,2,4,6
/proc/13934/task/13942/stat : 13942 (java) S 13931 13934 11396 0 -1 4202560 4576 0 0 0 335 74 0 0 20 0 19 0 8851556 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085781273256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13943] ppid=13931 vsize=9625040 CPUtime=3.22 cores=0,2,4,6
/proc/13934/task/13943/stat : 13943 (java) S 13931 13934 11396 0 -1 4202560 4864 0 0 0 267 55 0 0 20 0 19 0 8851556 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085780220968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13944] ppid=13931 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/13934/task/13944/stat : 13944 (java) S 13931 13934 11396 0 -1 4202560 5202 0 0 0 258 49 0 0 20 0 19 0 8851556 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085779168168 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13945] ppid=13931 vsize=9625040 CPUtime=3.6 cores=0,2,4,6
/proc/13934/task/13945/stat : 13945 (java) S 13931 13934 11396 0 -1 4202560 5468 0 0 0 354 6 0 0 20 0 19 0 8851557 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085766969576 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13934/tid=13946] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13946/stat : 13946 (java) S 13931 13934 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8851557 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085765915640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13947] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13947/stat : 13947 (java) S 13931 13934 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8851557 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085764863240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13948] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13948/stat : 13948 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851559 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085763811728 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13949] ppid=13931 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/13934/task/13949/stat : 13949 (java) S 13931 13934 11396 0 -1 4202560 2404 0 0 0 74 0 0 0 20 0 19 0 8851559 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085762759352 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13950] ppid=13931 vsize=9625040 CPUtime=1.03 cores=0,2,4,6
/proc/13934/task/13950/stat : 13950 (java) S 13931 13934 11396 0 -1 4202560 9514 0 0 0 100 3 0 0 20 0 19 0 8851559 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085761706552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13951] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13951/stat : 13951 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851559 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085760654456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13952] ppid=13931 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/13934/task/13952/stat : 13952 (java) S 13931 13934 11396 0 -1 4202560 99 0 0 0 31 33 0 0 20 0 19 0 8851559 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085759601864 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13953] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13953/stat : 13953 (java) S 13931 13934 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8851617 9856040960 731858 33554432000 1073741824 1073778376 140735888494416 140085758546856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1744.9
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1776.1 s]
/proc/loadavg: 2.09 2.05 2.01 3/213 14128
/proc/meminfo: memFree=28035940/32872528 swapFree=496356/529060
[pid=13934] ppid=13931 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13931 13934 11396 0 -1 4202496 58647 0 1 0 179458 544 0 0 20 0 19 0 8851554 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140735888485552 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13934/statm: 2406260 781939 2296 9 0 2396937 0
[pid=13934/tid=13936] ppid=13931 vsize=9625040 CPUtime=1764.42 cores=0,2,4,6
/proc/13934/task/13936/stat : 13936 (java) R 13931 13934 11396 0 -1 4202560 3545 0 1 0 176407 35 0 0 20 0 19 0 8851555 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085942825456 140085811786904 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13937] ppid=13931 vsize=9625040 CPUtime=4.39 cores=0,2,4,6
/proc/13934/task/13937/stat : 13937 (java) S 13931 13934 11396 0 -1 4202560 4372 0 0 0 361 78 0 0 20 0 19 0 8851556 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085931886888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13938] ppid=13931 vsize=9625040 CPUtime=3.91 cores=0,2,4,6
/proc/13934/task/13938/stat : 13938 (java) S 13931 13934 11396 0 -1 4202560 4076 0 0 0 328 63 0 0 20 0 19 0 8851556 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085930834088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13939] ppid=13931 vsize=9625040 CPUtime=3.25 cores=0,2,4,6
/proc/13934/task/13939/stat : 13939 (java) S 13931 13934 11396 0 -1 4202560 4276 0 0 0 279 46 0 0 20 0 19 0 8851556 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085929781800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13940] ppid=13931 vsize=9625040 CPUtime=3.6 cores=0,2,4,6
/proc/13934/task/13940/stat : 13940 (java) S 13931 13934 11396 0 -1 4202560 4524 0 0 0 303 57 0 0 20 0 19 0 8851556 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085783378344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13941] ppid=13931 vsize=9625040 CPUtime=3.53 cores=0,2,4,6
/proc/13934/task/13941/stat : 13941 (java) S 13931 13934 11396 0 -1 4202560 4161 0 0 0 290 63 0 0 20 0 19 0 8851556 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085782326056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13942] ppid=13931 vsize=9625040 CPUtime=4.34 cores=0,2,4,6
/proc/13934/task/13942/stat : 13942 (java) S 13931 13934 11396 0 -1 4202560 4667 0 0 0 355 79 0 0 20 0 19 0 8851556 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085781273256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13943] ppid=13931 vsize=9625040 CPUtime=3.45 cores=0,2,4,6
/proc/13934/task/13943/stat : 13943 (java) S 13931 13934 11396 0 -1 4202560 4948 0 0 0 284 61 0 0 20 0 19 0 8851556 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085780220968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13944] ppid=13931 vsize=9625040 CPUtime=3.25 cores=0,2,4,6
/proc/13934/task/13944/stat : 13944 (java) S 13931 13934 11396 0 -1 4202560 5275 0 0 0 271 54 0 0 20 0 19 0 8851556 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085779168168 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13945] ppid=13931 vsize=9625040 CPUtime=3.87 cores=0,2,4,6
/proc/13934/task/13945/stat : 13945 (java) S 13931 13934 11396 0 -1 4202560 5525 0 0 0 381 6 0 0 20 0 19 0 8851557 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085766969576 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13934/tid=13946] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13946/stat : 13946 (java) S 13931 13934 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8851557 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085765915640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13947] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13947/stat : 13947 (java) S 13931 13934 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8851557 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085764863240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13948] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13948/stat : 13948 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851559 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085763811728 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13949] ppid=13931 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/13934/task/13949/stat : 13949 (java) S 13931 13934 11396 0 -1 4202560 2404 0 0 0 74 0 0 0 20 0 19 0 8851559 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085762759352 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13950] ppid=13931 vsize=9625040 CPUtime=1.03 cores=0,2,4,6
/proc/13934/task/13950/stat : 13950 (java) S 13931 13934 11396 0 -1 4202560 9514 0 0 0 100 3 0 0 20 0 19 0 8851559 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085761706552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13951] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13951/stat : 13951 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851559 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085760654456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13952] ppid=13931 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/13934/task/13952/stat : 13952 (java) S 13931 13934 11396 0 -1 4202560 103 0 0 0 32 34 0 0 20 0 19 0 8851559 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085759601864 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13934/tid=13953] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13953/stat : 13953 (java) S 13931 13934 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8851617 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085758546856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 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 13934 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1776.1 s]
/proc/loadavg: 2.09 2.05 2.01 3/213 14128
/proc/meminfo: memFree=28035940/32872528 swapFree=496356/529060
[pid=13934] ppid=13931 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13931 13934 11396 0 -1 4202496 58647 0 1 0 179458 544 0 0 20 0 19 0 8851554 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140735888485552 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13934/statm: 2406260 781939 2296 9 0 2396937 0
[pid=13934/tid=13936] ppid=13931 vsize=9625040 CPUtime=1764.42 cores=0,2,4,6
/proc/13934/task/13936/stat : 13936 (java) R 13931 13934 11396 0 -1 4202560 3545 0 1 0 176407 35 0 0 20 0 19 0 8851555 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085942825456 140085811786904 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13937] ppid=13931 vsize=9625040 CPUtime=4.39 cores=0,2,4,6
/proc/13934/task/13937/stat : 13937 (java) S 13931 13934 11396 0 -1 4202560 4372 0 0 0 361 78 0 0 20 0 19 0 8851556 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085931886888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13938] ppid=13931 vsize=9625040 CPUtime=3.91 cores=0,2,4,6
/proc/13934/task/13938/stat : 13938 (java) S 13931 13934 11396 0 -1 4202560 4076 0 0 0 328 63 0 0 20 0 19 0 8851556 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085930834088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13939] ppid=13931 vsize=9625040 CPUtime=3.25 cores=0,2,4,6
/proc/13934/task/13939/stat : 13939 (java) S 13931 13934 11396 0 -1 4202560 4276 0 0 0 279 46 0 0 20 0 19 0 8851556 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085929781800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13940] ppid=13931 vsize=9625040 CPUtime=3.6 cores=0,2,4,6
/proc/13934/task/13940/stat : 13940 (java) S 13931 13934 11396 0 -1 4202560 4524 0 0 0 303 57 0 0 20 0 19 0 8851556 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085783378344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13941] ppid=13931 vsize=9625040 CPUtime=3.53 cores=0,2,4,6
/proc/13934/task/13941/stat : 13941 (java) S 13931 13934 11396 0 -1 4202560 4161 0 0 0 290 63 0 0 20 0 19 0 8851556 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085782326056 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13942] ppid=13931 vsize=9625040 CPUtime=4.34 cores=0,2,4,6
/proc/13934/task/13942/stat : 13942 (java) S 13931 13934 11396 0 -1 4202560 4667 0 0 0 355 79 0 0 20 0 19 0 8851556 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085781273256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13943] ppid=13931 vsize=9625040 CPUtime=3.45 cores=0,2,4,6
/proc/13934/task/13943/stat : 13943 (java) S 13931 13934 11396 0 -1 4202560 4948 0 0 0 284 61 0 0 20 0 19 0 8851556 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085780220968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13944] ppid=13931 vsize=9625040 CPUtime=3.25 cores=0,2,4,6
/proc/13934/task/13944/stat : 13944 (java) S 13931 13934 11396 0 -1 4202560 5275 0 0 0 271 54 0 0 20 0 19 0 8851556 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085779168168 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13945] ppid=13931 vsize=9625040 CPUtime=3.87 cores=0,2,4,6
/proc/13934/task/13945/stat : 13945 (java) S 13931 13934 11396 0 -1 4202560 5525 0 0 0 381 6 0 0 20 0 19 0 8851557 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085766969576 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13934/tid=13946] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13946/stat : 13946 (java) S 13931 13934 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8851557 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085765915640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13947] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13947/stat : 13947 (java) S 13931 13934 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8851557 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085764863240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13948] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13948/stat : 13948 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851559 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085763811728 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13934/tid=13949] ppid=13931 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/13934/task/13949/stat : 13949 (java) S 13931 13934 11396 0 -1 4202560 2404 0 0 0 74 0 0 0 20 0 19 0 8851559 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085762759352 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13950] ppid=13931 vsize=9625040 CPUtime=1.03 cores=0,2,4,6
/proc/13934/task/13950/stat : 13950 (java) S 13931 13934 11396 0 -1 4202560 9514 0 0 0 100 3 0 0 20 0 19 0 8851559 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085761706552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13934/tid=13951] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13951/stat : 13951 (java) S 13931 13934 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8851559 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085760654456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13934/tid=13952] ppid=13931 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/13934/task/13952/stat : 13952 (java) S 13931 13934 11396 0 -1 4202560 103 0 0 0 32 34 0 0 20 0 19 0 8851559 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085759601864 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13934/tid=13953] ppid=13931 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13953/stat : 13953 (java) S 13931 13934 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8851617 9856040960 781939 33554432000 1073741824 1073778376 140735888494416 140085758546856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1776.15
CPU time (s): 1800.77
CPU user time (s): 1794.83
CPU system time (s): 5.9401
CPU usage (%): 101.386
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.83
system time used= 5.9401
maximum resident set size= 3204572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58685
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41151
involuntary context switches= 22925

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.85265 second user time and 15.1927 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-16 11:07:41
IDJOB=4090716
IDBENCH=79360
IDSOLVER=2551
FILE ID=node141/4090716-1466068061
RUNJOBID= node141-1466062104-11412
PBS_JOBID= 19903999
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/academics/normalized-langford-3-11_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090716-1466068061/watcher-4090716-1466068061 -o /tmp/evaluation-result-4090716-1466068061/solver-4090716-1466068061 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466062104-11412 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090716-1466068061.wbo

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

MD5SUM BENCH= 69dbc7406636817ba2a44752a9d60525
RANDOM SEED=750326860

node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31398704 kB
Buffers:            9824 kB
Cached:            43396 kB
SwapCached:         2888 kB
Active:           211076 kB
Inactive:          28876 kB
Active(anon):     186676 kB
Inactive(anon):     2156 kB
Active(file):      24400 kB
Inactive(file):    26720 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67098988 kB
Dirty:              3252 kB
Writeback:             0 kB
AnonPages:        683232 kB
Mapped:            15408 kB
Shmem:                 0 kB
Slab:             565908 kB
SReclaimable:       9352 kB
SUnreclaim:       556556 kB
KernelStack:        1760 kB
PageTables:         6064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1221576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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= 71744 MiB
End job on node141 at 2016-06-16 11:37:17