Trace number 3718157

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 2012-05-28MSAT (TO) 1800.77 1788.17

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo
MD5SUM7dae57beceb3170ed40c9307fdc88b85
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.791879
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2750
Total number of constraints105
Number of soft constraints69
Number of constraints which are clauses55
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
Top cost 3856
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3855
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version 2.3.2.v20120528
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		501472288
0.00/0.07	c Max memory 		7480803328
0.00/0.07	c Total memory 		504102912
0.00/0.07	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5f934ad
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3718157-1338250508.wbo
0.11/0.10	c reading problem ... 
0.29/0.22	c ... done. Wall clock time 0.121s.
0.29/0.22	c declared #vars     2750
0.29/0.22	c internal #vars     2819
0.29/0.22	c #constraints  105
0.29/0.22	c constraints type 
0.29/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 55
0.29/0.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 17
0.29/0.22	c ignored satisfied constraints => 1
0.29/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 33
0.29/0.22	c 106 constraints processed.
0.29/0.22	c objective function length is 69 literals
0.56/0.31	c SATISFIABLE
0.56/0.31	c OPTIMIZING...
0.56/0.31	c Got one! Elapsed wall clock time (in seconds):0.216
0.56/0.31	o 39
0.56/0.36	c Got one! Elapsed wall clock time (in seconds):0.264
0.56/0.36	o 35
0.56/0.39	c Got one! Elapsed wall clock time (in seconds):0.291
0.56/0.39	o 34
0.85/0.43	c Got one! Elapsed wall clock time (in seconds):0.333
0.85/0.43	o 25
0.85/0.48	c Got one! Elapsed wall clock time (in seconds):0.387
0.85/0.48	o 1
1.34/0.87	c cleaning 3369 clauses out of 6760 with flag 27518/6760
2.00/1.42	c cleaning 4647 clauses out of 9390 with flag 63759/12759
2.63/2.01	c cleaning 5847 clauses out of 11742 with flag 103125/19758
3.46/2.81	c cleaning 6940 clauses out of 13897 with flag 151999/27760
4.53/3.81	c cleaning 7967 clauses out of 15956 with flag 209196/36759
5.63/4.93	c cleaning 8977 clauses out of 17988 with flag 273953/46758
6.85/6.13	c cleaning 9991 clauses out of 20011 with flag 342436/57758
8.25/7.54	c cleaning 10993 clauses out of 22020 with flag 424884/69758
9.89/9.19	c cleaning 11974 clauses out of 24029 with flag 508409/82760
12.21/11.42	c cleaning 12991 clauses out of 26056 with flag 609302/96761
14.88/14.08	c cleaning 13970 clauses out of 28063 with flag 716543/111759
16.91/16.05	c cleaning 15031 clauses out of 30092 with flag 822607/127758
19.53/18.64	c cleaning 16015 clauses out of 32063 with flag 937114/144760
22.44/21.51	c cleaning 16984 clauses out of 34047 with flag 1067160/162759
25.08/24.17	c cleaning 18008 clauses out of 36063 with flag 1202453/181759
28.70/27.79	c cleaning 19019 clauses out of 38055 with flag 1345018/201759
32.72/31.76	c cleaning 20006 clauses out of 40037 with flag 1517612/222760
36.78/35.71	c cleaning 21002 clauses out of 42029 with flag 1698042/244758
40.53/39.43	c cleaning 21995 clauses out of 44028 with flag 1880647/267759
44.00/42.81	c cleaning 23003 clauses out of 46032 with flag 2050239/291758
49.43/48.21	c cleaning 24002 clauses out of 48029 with flag 2255562/316758
54.47/53.23	c cleaning 24999 clauses out of 50028 with flag 2481060/342759
60.55/59.20	c cleaning 25995 clauses out of 52028 with flag 2691429/369758
66.62/65.27	c cleaning 27007 clauses out of 54033 with flag 2934016/397758
72.39/70.98	c cleaning 27999 clauses out of 56027 with flag 3142305/426759
79.15/77.64	c cleaning 28998 clauses out of 58027 with flag 3389435/456758
87.52/85.95	c cleaning 29999 clauses out of 60029 with flag 3660039/487758
97.94/96.24	c cleaning 31000 clauses out of 62032 with flag 3985121/519760
108.71/106.95	c cleaning 31996 clauses out of 64031 with flag 4275186/552759
119.79/117.99	c cleaning 33006 clauses out of 66037 with flag 4595180/586761
125.76/123.86	c cleaning 33998 clauses out of 68028 with flag 4852076/621758
132.72/130.72	c cleaning 34984 clauses out of 70030 with flag 5156098/657758
141.71/139.67	c cleaning 35997 clauses out of 72048 with flag 5457318/694760
150.96/148.82	c cleaning 37020 clauses out of 74051 with flag 5811362/732760
162.33/160.12	c cleaning 38008 clauses out of 76029 with flag 6222501/771758
171.71/169.46	c cleaning 38991 clauses out of 78021 with flag 6573230/811758
183.87/181.53	c cleaning 39996 clauses out of 80030 with flag 6976964/852758
194.56/192.12	c cleaning 41003 clauses out of 82042 with flag 7402888/894766
204.67/202.11	c cleaning 41983 clauses out of 84032 with flag 7722435/937759
215.56/212.97	c cleaning 43003 clauses out of 86048 with flag 8103557/981758
229.03/226.32	c cleaning 44009 clauses out of 88046 with flag 8517618/1026759
245.53/242.71	c cleaning 45005 clauses out of 90037 with flag 8964101/1072759
261.59/258.60	c cleaning 46008 clauses out of 92031 with flag 9393837/1119758
279.20/276.19	c cleaning 47001 clauses out of 94025 with flag 9877006/1167760
296.33/293.07	c cleaning 47998 clauses out of 96023 with flag 10347509/1216759
314.37/311.08	c cleaning 48994 clauses out of 98024 with flag 10866765/1266758
332.87/329.49	c cleaning 50004 clauses out of 100030 with flag 11404664/1317758
343.52/339.96	c cleaning 51002 clauses out of 102027 with flag 11805162/1369759
358.11/354.43	c cleaning 51999 clauses out of 104027 with flag 12250156/1422761
374.80/371.09	c cleaning 53005 clauses out of 106026 with flag 12714797/1476759
395.81/391.98	c cleaning 54001 clauses out of 108020 with flag 13224201/1531758
414.33/410.36	c cleaning 55003 clauses out of 110024 with flag 13766377/1587763
432.22/428.14	c cleaning 55991 clauses out of 112017 with flag 14280645/1644759
457.93/453.76	c cleaning 56999 clauses out of 114028 with flag 14811508/1702761
477.72/473.46	c cleaning 58001 clauses out of 116027 with flag 15391788/1761759
500.70/496.35	c cleaning 59003 clauses out of 118027 with flag 15975096/1821760
523.49/519.07	c cleaning 60001 clauses out of 120022 with flag 16560270/1882758
549.08/544.51	c cleaning 61002 clauses out of 122021 with flag 17254881/1944758
567.21/562.54	c cleaning 61990 clauses out of 124019 with flag 17856056/2007758
584.16/579.33	c cleaning 63004 clauses out of 126029 with flag 18336840/2071758
603.46/598.55	c cleaning 63993 clauses out of 128026 with flag 18932183/2136759
623.58/618.34	c cleaning 65004 clauses out of 130032 with flag 19523622/2202758
650.09/644.63	c cleaning 65997 clauses out of 132028 with flag 20136479/2269758
672.44/666.96	c cleaning 67004 clauses out of 134031 with flag 20785984/2337758
702.68/697.08	c cleaning 68007 clauses out of 136027 with flag 21462113/2406758
724.01/718.24	c cleaning 69000 clauses out of 138020 with flag 22121673/2476758
750.59/744.75	c cleaning 70000 clauses out of 140023 with flag 22794712/2547761
781.53/775.56	c cleaning 71000 clauses out of 142020 with flag 23458552/2619758
803.06/796.92	c cleaning 71995 clauses out of 144022 with flag 24166781/2692760
840.66/834.46	c cleaning 73004 clauses out of 146026 with flag 24808511/2766759
875.50/869.17	c cleaning 74003 clauses out of 148022 with flag 25488203/2841759
908.16/901.64	c cleaning 74996 clauses out of 150018 with flag 26276926/2917758
940.87/934.21	c cleaning 76000 clauses out of 152024 with flag 27037568/2994760
961.91/955.20	c cleaning 76992 clauses out of 154023 with flag 27652499/3072759
988.87/981.95	c cleaning 77997 clauses out of 156031 with flag 28391578/3151759
1015.52/1008.41	c cleaning 79011 clauses out of 158035 with flag 29104401/3231760
1042.18/1034.91	c cleaning 79994 clauses out of 160022 with flag 29840740/3312758
1087.26/1079.87	c cleaning 80990 clauses out of 162028 with flag 30587673/3394758
1114.10/1106.55	c cleaning 82010 clauses out of 164038 with flag 31333240/3477758
1149.93/1142.21	c cleaning 83007 clauses out of 166029 with flag 32297082/3561759
1190.07/1182.20	c cleaning 83997 clauses out of 168024 with flag 33373398/3646761
1223.34/1215.34	c cleaning 84995 clauses out of 170024 with flag 34213843/3732758
1263.29/1255.14	c cleaning 85994 clauses out of 172030 with flag 35081391/3819759
1301.61/1293.38	c cleaning 87003 clauses out of 174035 with flag 35945275/3907758
1336.40/1328.00	c cleaning 88001 clauses out of 176032 with flag 36923483/3996758
1387.95/1379.41	c cleaning 89001 clauses out of 178031 with flag 37773210/4086758
1435.76/1427.16	c cleaning 89990 clauses out of 180031 with flag 38677710/4177759
1479.61/1470.81	c cleaning 91002 clauses out of 182040 with flag 39735360/4269758
1527.83/1518.92	c cleaning 91995 clauses out of 184038 with flag 40963027/4362758
1569.96/1560.99	c cleaning 93006 clauses out of 186043 with flag 42174477/4456758
1594.77/1585.60	c cleaning 94010 clauses out of 188039 with flag 43007484/4551760
1625.51/1616.27	c cleaning 95005 clauses out of 190028 with flag 43851899/4647759
1660.28/1650.85	c cleaning 95991 clauses out of 192022 with flag 44694137/4744758
1703.58/1693.14	c cleaning 96996 clauses out of 194032 with flag 45609336/4842759
1750.86/1739.69	c cleaning 97995 clauses out of 196035 with flag 46655304/4941758
1800.07/1788.11	c starts		: 278
1800.07/1788.11	c conflicts		: 5035536
1800.07/1788.11	c decisions		: 6396970
1800.07/1788.11	c propagations		: 170541515
1800.07/1788.11	c inspects		: 19158130237
1800.07/1788.11	c shortcuts		: 0
1800.07/1788.11	c learnt literals	: 0
1800.07/1788.11	c learnt binary clauses	: 0
1800.07/1788.11	c learnt ternary clauses	: 0
1800.07/1788.11	c learnt constraints	: 5035536
1800.07/1788.11	c ignored constraints	: 0
1800.07/1788.11	c root simplifications	: 0
1800.07/1788.11	c removed literals (reason simplification)	: 0
1800.07/1788.11	c reason swapping (by a shorter reason)	: 0
1800.07/1788.11	c Calls to reduceDB	: 95
1800.07/1788.11	c Number of update (reduction) of LBD	: 3004572
1800.07/1788.11	c number of reductions to clauses (during analyze)	: 0
1800.07/1788.11	c number of learned constraints concerned by reduction	: 0
1800.07/1788.11	c number of learning phase by resolution	: 0
1800.07/1788.11	c number of learning phase by cutting planes	: 0
1800.07/1788.11	c speed (assignments/second)	: 95387.2439294228
1800.07/1788.11	c non guided choices	79259
1800.07/1788.14	c learnt constraints type 
1800.07/1788.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 191837
1800.07/1788.14	c constraints type 
1800.07/1788.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 55
1800.07/1788.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 17
1800.07/1788.14	c ignored satisfied constraints => 1
1800.07/1788.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 34
1800.07/1788.14	c 107 constraints processed.
1800.07/1788.14	s SATISFIABLE
1800.07/1788.15	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 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 
1800.07/1788.15	c objective function=1
1800.07/1788.15	c Total wall clock time (in seconds): 1788.057

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3718157-1338250508/watcher-3718157-1338250508 -o /tmp/evaluation-result-3718157-1338250508/solver-3718157-1338250508 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718157-1338250508.wbo 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 3/194 422
/proc/meminfo: memFree=30636792/32873648 swapFree=7116/7116
[pid=422] ppid=420 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/422/stat : 422 (java) R 420 422 30566 0 -1 4202496 591 0 0 0 0 0 0 0 20 0 1 0 291178157 23793664 320 33554432000 1073741824 1073778376 140735305247328 140735305236392 219504753217 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/422/statm: 5809 333 257 9 0 128 0
[pid=422/tid=423] ppid=420 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/422/task/423/stat : 423 (java) R 420 422 30566 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 2 0 291178158 95129600 921 33554432000 1073741824 1073778376 140735305247328 140388519370280 219504742785 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.08071 s]
/proc/loadavg: 2.00 2.00 1.91 3/194 422
/proc/meminfo: memFree=30636792/32873648 swapFree=7116/7116
[pid=422] ppid=420 vsize=9558416 CPUtime=0.08 cores=1,3,5,7
/proc/422/stat : 422 (java) S 420 422 30566 0 -1 4202496 4284 0 1 0 7 1 0 0 20 0 18 0 291178157 9787817984 5482 33554432000 1073741824 1073778376 140735305247328 140735305238464 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/422/statm: 2389604 5482 2109 9 0 2380296 0
[pid=422/tid=423] ppid=420 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/422/task/423/stat : 423 (java) R 420 422 30566 0 -1 4202560 2336 0 1 0 6 0 0 0 20 0 18 0 291178158 9787817984 5482 33554432000 1073741824 1073778376 140735305247328 140388519364344 219517347085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558416

[startup+0.100217 s]
/proc/loadavg: 2.00 2.00 1.91 3/194 422
/proc/meminfo: memFree=30636792/32873648 swapFree=7116/7116
[pid=422] ppid=420 vsize=9558416 CPUtime=0.11 cores=1,3,5,7
/proc/422/stat : 422 (java) S 420 422 30566 0 -1 4202496 4520 0 1 0 10 1 0 0 20 0 18 0 291178157 9787817984 6190 33554432000 1073741824 1073778376 140735305247328 140735305238464 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/422/statm: 2389604 6190 2144 9 0 2380296 0
[pid=422/tid=423] ppid=420 vsize=9558416 CPUtime=0.08 cores=1,3,5,7
/proc/422/task/423/stat : 423 (java) R 420 422 30566 0 -1 4202560 2465 0 1 0 8 0 0 0 20 0 18 0 291178158 9787817984 6190 33554432000 1073741824 1073778376 140735305247328 140388519364344 219517347085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558416

[startup+0.300188 s]
/proc/loadavg: 2.00 2.00 1.91 3/194 422
/proc/meminfo: memFree=30636792/32873648 swapFree=7116/7116
[pid=422] ppid=420 vsize=9624980 CPUtime=0.56 cores=1,3,5,7
/proc/422/stat : 422 (java) S 420 422 30566 0 -1 4202496 6945 0 1 0 54 2 0 0 20 0 19 0 291178157 9855979520 8537 33554432000 1073741824 1073778376 140735305247328 140735305238464 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/422/statm: 2406245 8537 2236 9 0 2396937 0
[pid=422/tid=423] ppid=420 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/422/task/423/stat : 423 (java) R 420 422 30566 0 -1 4202560 2488 0 1 0 28 0 0 0 20 0 19 0 291178158 9855979520 8537 33554432000 1073741824 1073778376 140735305247328 140388519374024 140388459167312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9624980

[startup+0.700255 s]
/proc/loadavg: 2.00 2.00 1.91 3/194 422
/proc/meminfo: memFree=30636792/32873648 swapFree=7116/7116
[pid=422] ppid=420 vsize=9624980 CPUtime=1.24 cores=1,3,5,7
/proc/422/stat : 422 (java) S 420 422 30566 0 -1 4202496 8264 0 1 0 122 2 0 0 20 0 19 0 291178157 9855979520 10687 33554432000 1073741824 1073778376 140735305247328 140735305238464 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/422/statm: 2406245 10687 2243 9 0 2396937 0
[pid=422/tid=423] ppid=420 vsize=9624980 CPUtime=0.68 cores=1,3,5,7
/proc/422/task/423/stat : 423 (java) R 420 422 30566 0 -1 4202560 2493 0 1 0 66 2 0 0 20 0 19 0 291178158 9855979520 10687 33554432000 1073741824 1073778376 140735305247328 140388519374024 140388459594254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 9624980

[startup+1.50068 s]
/proc/loadavg: 2.00 2.00 1.91 3/213 443
/proc/meminfo: memFree=30564336/32873648 swapFree=7116/7116
[pid=422] ppid=420 vsize=9624980 CPUtime=2.13 cores=1,3,5,7
/proc/422/stat : 422 (java) S 420 422 30566 0 -1 4202496 8347 0 1 0 209 4 0 0 20 0 19 0 291178157 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140735305238464 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/422/statm: 2406245 18416 2268 9 0 2396937 0
[pid=422/tid=423] ppid=420 vsize=9624980 CPUtime=1.45 cores=1,3,5,7
/proc/422/task/423/stat : 423 (java) R 420 422 30566 0 -1 4202560 2499 0 1 0 143 2 0 0 20 0 19 0 291178158 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388519375256 140388459595115 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=422/tid=425] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/425/stat : 425 (java) S 420 422 30566 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388458105128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=427] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/427/stat : 427 (java) S 420 422 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388457052328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=422/tid=428] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/428/stat : 428 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388360469032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=422/tid=429] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/429/stat : 429 (java) S 420 422 30566 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388359416232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=430] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/430/stat : 430 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388358363944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=431] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/431/stat : 431 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388357311144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=432] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/432/stat : 432 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388356258856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=433] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/433/stat : 433 (java) S 420 422 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388355206056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=422/tid=434] ppid=420 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/422/task/434/stat : 434 (java) S 420 422 30566 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 291178159 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388343007464 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=436] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/436/stat : 436 (java) S 420 422 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178160 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388341953528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=437] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/437/stat : 437 (java) S 420 422 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178160 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388340901128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=438] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/438/stat : 438 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178162 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388339849616 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=439] ppid=420 vsize=9624980 CPUtime=0.33 cores=1,3,5,7
/proc/422/task/439/stat : 439 (java) S 420 422 30566 0 -1 4202560 3003 0 0 0 33 0 0 0 20 0 19 0 291178162 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388338797240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=440] ppid=420 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/422/task/440/stat : 440 (java) S 420 422 30566 0 -1 4202560 1576 0 0 0 26 0 0 0 20 0 19 0 291178162 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388337744440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=441] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/441/stat : 441 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178162 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388336692344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=442] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/442/stat : 442 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178162 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388335639752 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=422/tid=443] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/443/stat : 443 (java) S 420 422 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291178180 9855979520 18416 33554432000 1073741824 1073778376 140735305247328 140388334584744 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 9624980

[startup+3.10064 s]
/proc/loadavg: 2.00 2.00 1.91 3/213 443
/proc/meminfo: memFree=30539016/32873648 swapFree=7116/7116
[pid=422] ppid=420 vsize=9624980 CPUtime=3.82 cores=1,3,5,7
/proc/422/stat : 422 (java) S 420 422 30566 0 -1 4202496 8557 0 1 0 377 5 0 0 20 0 19 0 291178157 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140735305238464 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/422/statm: 2406245 21501 2268 9 0 2396937 0
[pid=422/tid=423] ppid=420 vsize=9624980 CPUtime=2.99 cores=1,3,5,7
/proc/422/task/423/stat : 423 (java) R 420 422 30566 0 -1 4202560 2499 0 1 0 297 2 0 0 20 0 19 0 291178158 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388519375256 140388459594826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=422/tid=425] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/425/stat : 425 (java) S 420 422 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388458105128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=427] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/427/stat : 427 (java) S 420 422 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388457052328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=428] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/428/stat : 428 (java) S 420 422 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388360469032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=429] ppid=420 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/422/task/429/stat : 429 (java) S 420 422 30566 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 19 0 291178158 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388359416232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=430] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/430/stat : 430 (java) S 420 422 30566 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388358363944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=431] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/431/stat : 431 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388357311144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=432] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/432/stat : 432 (java) S 420 422 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388356258856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=433] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/433/stat : 433 (java) S 420 422 30566 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388355206056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=434] ppid=420 vsize=9624980 CPUtime=0.04 cores=1,3,5,7
/proc/422/task/434/stat : 434 (java) S 420 422 30566 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 19 0 291178159 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388343007464 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=422/tid=436] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/436/stat : 436 (java) S 420 422 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178160 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388341953528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=437] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/437/stat : 437 (java) S 420 422 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178160 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388340901128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=438] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/438/stat : 438 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178162 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388339849616 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=439] ppid=420 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/422/task/439/stat : 439 (java) S 420 422 30566 0 -1 4202560 3183 0 0 0 38 0 0 0 20 0 19 0 291178162 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388338797240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=440] ppid=420 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/422/task/440/stat : 440 (java) S 420 422 30566 0 -1 4202560 1577 0 0 0 26 0 0 0 20 0 19 0 291178162 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388337744440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=441] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/441/stat : 441 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178162 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388336692344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=442] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/442/stat : 442 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178162 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388335639752 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=422/tid=443] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/443/stat : 443 (java) S 420 422 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291178180 9855979520 21501 33554432000 1073741824 1073778376 140735305247328 140388334584744 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 9624980

[startup+6.30068 s]
/proc/loadavg: 2.00 2.00 1.91 3/213 443
/proc/meminfo: memFree=30516572/32873648 swapFree=7116/7116
[pid=422] ppid=420 vsize=9624980 CPUtime=7.05 cores=1,3,5,7
/proc/422/stat : 422 (java) S 420 422 30566 0 -1 4202496 8583 0 1 0 699 6 0 0 20 0 19 0 291178157 9855979520 25545 33554432000 1073741824 1073778376 140735305247328 140735305238464 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/422/statm: 2406245 25545 2268 9 0 2396937 0
[pid=422/tid=423] ppid=420 vsize=9624980 CPUtime=6.12 cores=1,3,5,7
/proc/422/task/423/stat : 423 (java) R 420 422 30566 0 -1 4202560 2503 0 1 0 610 2 0 0 20 0 19 0 291178158 9855979520 25545 33554432000 1073741824 1073778376 140735305247328 140388519375256 140388459627888 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=422/tid=425] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/425/stat : 425 (java) S 420 422 30566 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 25545 33554432000 1073741824 1073778376 140735305247328 140388458105128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=427] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/427/stat : 427 (java) S 420 422 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 25545 33554432000 1073741824 1073778376 140735305247328 140388457052328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=428] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/428/stat : 428 (java) S 420 422 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 25545 33554432000 1073741824 1073778376 140735305247328 140388360469032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=429] ppid=420 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/422/task/429/stat : 429 (java) S 420 422 30566 0 -1 4202560 27 0 0 0 1 0 0 0 20 0 19 0 291178158 9855979520 25545 33554432000 1073741824 1073778376 140735305247328 140388359416232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=422/tid=430] ppid=420 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/422/task/430/stat : 430 (java) S 420 422 30566 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291178158 9855979520 25545 33554432000 1073741824 1073778376 140735305247328 140388358363944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=431] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/431/stat : 431 (java) S 420 422 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 25545 33554432000 1073741824 1073778376 140735305247328 140388357311144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=432] ppid=420 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/422/task/432/stat : 432 (java) S 420 422 30566 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 291178158 9855979520 25545 33554432000 1073741824 1073778376 140735305247328 140388356258856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=433] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/433/stat : 433 (java) S 420 422 30566 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291178158 9855979520 25545 33554432000 1073741824 1073778376 140735305247328 140388355206056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=422/tid=434] ppid=420 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/422/task/434/stat : 434 (java) S 420 422 30566 0 -1 4202560 40 0 0 0 9 0 0 0 20 0 19 0 291178159 9855979520 25545 33554432000 1073741824 1073778376 140735305247328 140388343007464 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=422/tid=436] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/436/stat : 436 (java) S 420 422 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178160 9855979520 25545 33554432000 1073741824 1073778376 140735305247328 140388341953528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=437] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/437/stat : 437 (java) S 420 422 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178160 9855979520 25545 33554432000 1073741824 1073778376 140735305247328 140388340901128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=438] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/438/stat : 438 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178162 9855979520 25545 33554432000 1073741824 1073778376 140735305247328 140388339849616 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=439] ppid=420 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/422/task/439/stat : 439 (java) S 420 422 30566 0 -1 4202560 3183 0 0 0 38 0 0 0 20 0 19 0 291178162 9855979520 25545 33554432000 1073741824 1073778376 140735305247328 140388338797240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=440] ppid=420 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/422/task/440/stat : 440 (java) S 420 422 30566 0 -1 4202560 1577 0 0 0 26 0 0 0 20 0 19 0 291178162 9855979520 25545 33554432000 1073741824 1073778376 140735305247328 140388337744440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=422/tid=431] ppid=420 vsize=9624980 CPUtime=1.71 cores=1,3,5,7
/proc/422/task/431/stat : 431 (java) S 420 422 30566 0 -1 4202560 382 0 0 0 163 8 0 0 20 0 19 0 291178158 9855979520 162106 33554432000 1073741824 1073778376 140735305247328 140388357311144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=422/tid=432] ppid=420 vsize=9624980 CPUtime=1.83 cores=1,3,5,7
/proc/422/task/432/stat : 432 (java) S 420 422 30566 0 -1 4202560 418 0 0 0 171 12 0 0 20 0 19 0 291178158 9855979520 162106 33554432000 1073741824 1073778376 140735305247328 140388356258856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=433] ppid=420 vsize=9624980 CPUtime=1.65 cores=1,3,5,7
/proc/422/task/433/stat : 433 (java) S 420 422 30566 0 -1 4202560 505 0 0 0 156 9 0 0 20 0 19 0 291178158 9855979520 162106 33554432000 1073741824 1073778376 140735305247328 140388355206056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=434] ppid=420 vsize=9624980 CPUtime=7.05 cores=1,3,5,7
/proc/422/task/434/stat : 434 (java) S 420 422 30566 0 -1 4202560 1226 0 0 0 701 4 0 0 20 0 19 0 291178159 9855979520 162106 33554432000 1073741824 1073778376 140735305247328 140388343007464 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=422/tid=436] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/436/stat : 436 (java) S 420 422 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178160 9855979520 162106 33554432000 1073741824 1073778376 140735305247328 140388341953528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=437] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/437/stat : 437 (java) S 420 422 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178160 9855979520 162106 33554432000 1073741824 1073778376 140735305247328 140388340901128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=438] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/438/stat : 438 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178162 9855979520 162106 33554432000 1073741824 1073778376 140735305247328 140388339849616 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=439] ppid=420 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/422/task/439/stat : 439 (java) S 420 422 30566 0 -1 4202560 3232 0 0 0 40 0 0 0 20 0 19 0 291178162 9855979520 162106 33554432000 1073741824 1073778376 140735305247328 140388338797240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=440] ppid=420 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/422/task/440/stat : 440 (java) S 420 422 30566 0 -1 4202560 1577 0 0 0 26 0 0 0 20 0 19 0 291178162 9855979520 162106 33554432000 1073741824 1073778376 140735305247328 140388337744440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=441] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/441/stat : 441 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178162 9855979520 162106 33554432000 1073741824 1073778376 140735305247328 140388336692344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=442] ppid=420 vsize=9624980 CPUtime=0.67 cores=1,3,5,7
/proc/422/task/442/stat : 442 (java) S 420 422 30566 0 -1 4202560 99 0 0 0 27 40 0 0 20 0 19 0 291178162 9855979520 162106 33554432000 1073741824 1073778376 140735305247328 140388335639752 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=422/tid=443] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/443/stat : 443 (java) S 420 422 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291178180 9855979520 162106 33554432000 1073741824 1073778376 140735305247328 140388334584744 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1733.32
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/213 459
/proc/meminfo: memFree=29663752/32873648 swapFree=7116/7116
[pid=422] ppid=420 vsize=9624980 CPUtime=1794.24 cores=1,3,5,7
/proc/422/stat : 422 (java) S 420 422 30566 0 -1 4202496 15346 0 1 0 179303 121 0 0 20 0 19 0 291178157 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140735305238464 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/422/statm: 2406245 172276 2269 9 0 2396937 0
[pid=422/tid=423] ppid=420 vsize=9624980 CPUtime=1770.98 cores=1,3,5,7
/proc/422/task/423/stat : 423 (java) R 420 422 30566 0 -1 4202560 2714 0 1 0 177067 31 0 0 20 0 19 0 291178158 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388519374192 140388459628251 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=422/tid=425] ppid=420 vsize=9624980 CPUtime=1.65 cores=1,3,5,7
/proc/422/task/425/stat : 425 (java) S 420 422 30566 0 -1 4202560 715 0 0 0 158 7 0 0 20 0 19 0 291178158 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388458105128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=427] ppid=420 vsize=9624980 CPUtime=1.88 cores=1,3,5,7
/proc/422/task/427/stat : 427 (java) S 420 422 30566 0 -1 4202560 666 0 0 0 178 10 0 0 20 0 19 0 291178158 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388457052328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=428] ppid=420 vsize=9624980 CPUtime=1.9 cores=1,3,5,7
/proc/422/task/428/stat : 428 (java) S 420 422 30566 0 -1 4202560 663 0 0 0 181 9 0 0 20 0 19 0 291178158 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388360469032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=429] ppid=420 vsize=9624980 CPUtime=1.85 cores=1,3,5,7
/proc/422/task/429/stat : 429 (java) S 420 422 30566 0 -1 4202560 398 0 0 0 176 9 0 0 20 0 19 0 291178158 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388359416232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=430] ppid=420 vsize=9624980 CPUtime=2.01 cores=1,3,5,7
/proc/422/task/430/stat : 430 (java) S 420 422 30566 0 -1 4202560 1027 0 0 0 189 12 0 0 20 0 19 0 291178158 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388358363944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=431] ppid=420 vsize=9624980 CPUtime=1.91 cores=1,3,5,7
/proc/422/task/431/stat : 431 (java) S 420 422 30566 0 -1 4202560 597 0 0 0 182 9 0 0 20 0 19 0 291178158 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388357311144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=432] ppid=420 vsize=9624980 CPUtime=2 cores=1,3,5,7
/proc/422/task/432/stat : 432 (java) S 420 422 30566 0 -1 4202560 681 0 0 0 187 13 0 0 20 0 19 0 291178158 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388356258856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=433] ppid=420 vsize=9624980 CPUtime=1.82 cores=1,3,5,7
/proc/422/task/433/stat : 433 (java) S 420 422 30566 0 -1 4202560 516 0 0 0 172 10 0 0 20 0 19 0 291178158 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388355206056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=434] ppid=420 vsize=9624980 CPUtime=7.18 cores=1,3,5,7
/proc/422/task/434/stat : 434 (java) S 420 422 30566 0 -1 4202560 1274 0 0 0 714 4 0 0 20 0 19 0 291178159 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388343007464 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=436] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/436/stat : 436 (java) S 420 422 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178160 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388341953528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=437] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/437/stat : 437 (java) S 420 422 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178160 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388340901128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=438] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/438/stat : 438 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178162 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388339849616 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=439] ppid=420 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/422/task/439/stat : 439 (java) S 420 422 30566 0 -1 4202560 3232 0 0 0 40 0 0 0 20 0 19 0 291178162 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388338797240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=440] ppid=420 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/422/task/440/stat : 440 (java) S 420 422 30566 0 -1 4202560 1577 0 0 0 26 0 0 0 20 0 19 0 291178162 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388337744440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=441] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/441/stat : 441 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178162 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388336692344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=442] ppid=420 vsize=9624980 CPUtime=0.69 cores=1,3,5,7
/proc/422/task/442/stat : 442 (java) S 420 422 30566 0 -1 4202560 102 0 0 0 28 41 0 0 20 0 19 0 291178162 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388335639752 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=422/tid=443] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/443/stat : 443 (java) S 420 422 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291178180 9855979520 172276 33554432000 1073741824 1073778376 140735305247328 140388334584744 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.24
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.1 s]
/proc/loadavg: 2.01 2.00 1.93 3/213 459
/proc/meminfo: memFree=29666668/32873648 swapFree=7116/7116
[pid=422] ppid=420 vsize=9624980 CPUtime=1800.07 cores=1,3,5,7
/proc/422/stat : 422 (java) S 420 422 30566 0 -1 4202496 15347 0 1 0 179886 121 0 0 20 0 19 0 291178157 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140735305238464 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/422/statm: 2406245 171562 2269 9 0 2396937 0
[pid=422/tid=423] ppid=420 vsize=9624980 CPUtime=1776.77 cores=1,3,5,7
/proc/422/task/423/stat : 423 (java) R 420 422 30566 0 -1 4202560 2715 0 1 0 177645 32 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388519374192 140388459627575 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=422/tid=425] ppid=420 vsize=9624980 CPUtime=1.66 cores=1,3,5,7
/proc/422/task/425/stat : 425 (java) S 420 422 30566 0 -1 4202560 715 0 0 0 159 7 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388458105128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=427] ppid=420 vsize=9624980 CPUtime=1.89 cores=1,3,5,7
/proc/422/task/427/stat : 427 (java) S 420 422 30566 0 -1 4202560 666 0 0 0 179 10 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388457052328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=428] ppid=420 vsize=9624980 CPUtime=1.91 cores=1,3,5,7
/proc/422/task/428/stat : 428 (java) S 420 422 30566 0 -1 4202560 663 0 0 0 182 9 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388360469032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=429] ppid=420 vsize=9624980 CPUtime=1.85 cores=1,3,5,7
/proc/422/task/429/stat : 429 (java) S 420 422 30566 0 -1 4202560 398 0 0 0 176 9 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388359416232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=430] ppid=420 vsize=9624980 CPUtime=2.02 cores=1,3,5,7
/proc/422/task/430/stat : 430 (java) S 420 422 30566 0 -1 4202560 1027 0 0 0 190 12 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388358363944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=431] ppid=420 vsize=9624980 CPUtime=1.92 cores=1,3,5,7
/proc/422/task/431/stat : 431 (java) S 420 422 30566 0 -1 4202560 597 0 0 0 183 9 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388357311144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=432] ppid=420 vsize=9624980 CPUtime=2 cores=1,3,5,7
/proc/422/task/432/stat : 432 (java) S 420 422 30566 0 -1 4202560 681 0 0 0 187 13 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388356258856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=433] ppid=420 vsize=9624980 CPUtime=1.82 cores=1,3,5,7
/proc/422/task/433/stat : 433 (java) S 420 422 30566 0 -1 4202560 516 0 0 0 172 10 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388355206056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=434] ppid=420 vsize=9624980 CPUtime=7.18 cores=1,3,5,7
/proc/422/task/434/stat : 434 (java) S 420 422 30566 0 -1 4202560 1274 0 0 0 714 4 0 0 20 0 19 0 291178159 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388343007464 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=436] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/436/stat : 436 (java) S 420 422 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178160 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388341953528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=437] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/437/stat : 437 (java) S 420 422 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178160 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388340901128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=438] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/438/stat : 438 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178162 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388339849616 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=439] ppid=420 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/422/task/439/stat : 439 (java) S 420 422 30566 0 -1 4202560 3232 0 0 0 40 0 0 0 20 0 19 0 291178162 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388338797240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=440] ppid=420 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/422/task/440/stat : 440 (java) S 420 422 30566 0 -1 4202560 1577 0 0 0 26 0 0 0 20 0 19 0 291178162 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388337744440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=441] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/441/stat : 441 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178162 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388336692344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=442] ppid=420 vsize=9624980 CPUtime=0.69 cores=1,3,5,7
/proc/422/task/442/stat : 442 (java) S 420 422 30566 0 -1 4202560 102 0 0 0 28 41 0 0 20 0 19 0 291178162 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388335639752 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=422/tid=443] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/443/stat : 443 (java) S 420 422 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291178180 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388334584744 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624980

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1788.1 s]
/proc/loadavg: 2.01 2.00 1.93 3/213 459
/proc/meminfo: memFree=29666668/32873648 swapFree=7116/7116
[pid=422] ppid=420 vsize=9624980 CPUtime=1800.07 cores=1,3,5,7
/proc/422/stat : 422 (java) S 420 422 30566 0 -1 4202496 15347 0 1 0 179886 121 0 0 20 0 19 0 291178157 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140735305238464 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/422/statm: 2406245 171562 2269 9 0 2396937 0
[pid=422/tid=423] ppid=420 vsize=9624980 CPUtime=1776.77 cores=1,3,5,7
/proc/422/task/423/stat : 423 (java) R 420 422 30566 0 -1 4202560 2715 0 1 0 177645 32 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388519374192 140388459627575 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=422/tid=425] ppid=420 vsize=9624980 CPUtime=1.66 cores=1,3,5,7
/proc/422/task/425/stat : 425 (java) S 420 422 30566 0 -1 4202560 715 0 0 0 159 7 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388458105128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=427] ppid=420 vsize=9624980 CPUtime=1.89 cores=1,3,5,7
/proc/422/task/427/stat : 427 (java) S 420 422 30566 0 -1 4202560 666 0 0 0 179 10 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388457052328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=428] ppid=420 vsize=9624980 CPUtime=1.91 cores=1,3,5,7
/proc/422/task/428/stat : 428 (java) S 420 422 30566 0 -1 4202560 663 0 0 0 182 9 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388360469032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=429] ppid=420 vsize=9624980 CPUtime=1.85 cores=1,3,5,7
/proc/422/task/429/stat : 429 (java) S 420 422 30566 0 -1 4202560 398 0 0 0 176 9 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388359416232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=430] ppid=420 vsize=9624980 CPUtime=2.02 cores=1,3,5,7
/proc/422/task/430/stat : 430 (java) S 420 422 30566 0 -1 4202560 1027 0 0 0 190 12 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388358363944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=431] ppid=420 vsize=9624980 CPUtime=1.92 cores=1,3,5,7
/proc/422/task/431/stat : 431 (java) S 420 422 30566 0 -1 4202560 597 0 0 0 183 9 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388357311144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=432] ppid=420 vsize=9624980 CPUtime=2 cores=1,3,5,7
/proc/422/task/432/stat : 432 (java) S 420 422 30566 0 -1 4202560 681 0 0 0 187 13 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388356258856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=433] ppid=420 vsize=9624980 CPUtime=1.82 cores=1,3,5,7
/proc/422/task/433/stat : 433 (java) S 420 422 30566 0 -1 4202560 516 0 0 0 172 10 0 0 20 0 19 0 291178158 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388355206056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=434] ppid=420 vsize=9624980 CPUtime=7.18 cores=1,3,5,7
/proc/422/task/434/stat : 434 (java) S 420 422 30566 0 -1 4202560 1274 0 0 0 714 4 0 0 20 0 19 0 291178159 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388343007464 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=422/tid=436] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/436/stat : 436 (java) S 420 422 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178160 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388341953528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=437] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/437/stat : 437 (java) S 420 422 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178160 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388340901128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=438] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/438/stat : 438 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178162 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388339849616 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=439] ppid=420 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/422/task/439/stat : 439 (java) S 420 422 30566 0 -1 4202560 3232 0 0 0 40 0 0 0 20 0 19 0 291178162 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388338797240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=422/tid=440] ppid=420 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/422/task/440/stat : 440 (java) S 420 422 30566 0 -1 4202560 1577 0 0 0 26 0 0 0 20 0 19 0 291178162 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388337744440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=441] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/441/stat : 441 (java) S 420 422 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178162 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388336692344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=422/tid=442] ppid=420 vsize=9624980 CPUtime=0.69 cores=1,3,5,7
/proc/422/task/442/stat : 442 (java) S 420 422 30566 0 -1 4202560 102 0 0 0 28 41 0 0 20 0 19 0 291178162 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388335639752 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=422/tid=443] ppid=420 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/422/task/443/stat : 443 (java) S 420 422 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291178180 9855979520 171562 33554432000 1073741824 1073778376 140735305247328 140388334584744 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624980

Child status: 143
Real time (s): 1788.17
CPU time (s): 1800.77
CPU user time (s): 1799.06
CPU system time (s): 1.71174
CPU usage (%): 100.705
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 1.71174
maximum resident set size= 810888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15390
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42336
involuntary context switches= 22876

runsolver used 5.88011 second user time and 15.3137 second system time

The end

Launcher Data 

Begin job on node114 at 2012-05-29 02:15:08
IDJOB=3718157
IDBENCH=78719
IDSOLVER=2301
FILE ID=node114/3718157-1338250508
RUNJOBID= node114-1338248715-32682
PBS_JOBID= 14624648
Free space on /tmp= 71464 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718157-1338250508/watcher-3718157-1338250508 -o /tmp/evaluation-result-3718157-1338250508/solver-3718157-1338250508 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718157-1338250508.wbo

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

MD5SUM BENCH= 7dae57beceb3170ed40c9307fdc88b85
RANDOM SEED=2079704226

node114.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.242
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	: 5332.48
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.242
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	: 5331.91
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.242
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	: 5451.90
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.242
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	: 5331.91
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.242
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	: 5331.91
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.242
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	: 5331.91
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.242
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	: 5331.91
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.242
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30637172 kB
Buffers:          845072 kB
Cached:           419572 kB
SwapCached:         2272 kB
Active:          1281652 kB
Inactive:          19492 kB
Active(anon):      21548 kB
Inactive(anon):     9072 kB
Active(file):    1260104 kB
Inactive(file):    10420 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67103572 kB
Dirty:               896 kB
Writeback:             0 kB
AnonPages:         27804 kB
Mapped:            18200 kB
Shmem:               104 kB
Slab:             790336 kB
SReclaimable:     234416 kB
SUnreclaim:       555920 kB
KernelStack:        1440 kB
PageTables:         4380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     695608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71464 MiB
End job on node114 at 2012-05-29 02:44:58