Trace number 3687886

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 NameAnswerobjective functionCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)-36 1801.08 963.511

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
MD5SUMaabc023158e10c9511062af8ac97c515
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58624
Number of constraints which are clauses58624
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
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.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.2.v20120418
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		501472288
0.06/0.09	c Max memory 		7480803328
0.06/0.09	c Total memory 		504102912
0.06/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c ManyCore solver with 2 solvers running in parallel
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3687886-1337874746.opb
0.09/0.11	c reading problem ... 
1.47/0.74	c ... done. Wall clock time 0.625s.
1.47/0.74	c declared #vars     945
1.47/0.74	c #constraints  58624
1.47/0.74	c constraints type 
1.47/0.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 58624
1.47/0.74	c 58624 constraints processed.
1.47/0.74	c constraints type 
1.47/0.74	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 58624
1.47/0.74	c 58624 constraints processed.
1.47/0.74	c objective function length is 945 literals
1.47/0.78	c  And the winner is solver0
1.63/1.24	c SATISFIABLE
1.63/1.24	c OPTIMIZING...
1.63/1.24	c Got one! Elapsed wall clock time (in seconds):1.129
1.63/1.24	o -27
1.63/1.29	c  And the winner is solver0
1.85/1.75	c Got one! Elapsed wall clock time (in seconds):1.635
1.85/1.75	o -28
1.85/1.77	c  And the winner is solver0
2.30/2.25	c Got one! Elapsed wall clock time (in seconds):2.138
2.30/2.25	o -29
2.30/2.28	c  And the winner is solver0
2.43/2.76	c Got one! Elapsed wall clock time (in seconds):2.642
2.43/2.76	o -30
2.43/2.78	c  And the winner is solver0
2.57/3.26	c Got one! Elapsed wall clock time (in seconds):3.143
2.57/3.26	o -31
2.57/3.30	c  And the winner is solver0
2.74/3.76	c Got one! Elapsed wall clock time (in seconds):3.645
2.74/3.76	o -32
3.52/4.05	c  And the winner is solver1
3.63/4.26	c Got one! Elapsed wall clock time (in seconds):4.147
3.63/4.26	o -33
5.27/5.04	c cleaning 3081 clauses out of 6161 with flag 4000/6161
9.11/6.84	c cleaning 4539 clauses out of 9081 with flag 10001/12162
13.71/9.17	c cleaning 5771 clauses out of 11541 with flag 17000/19161
15.28/10.03	c  And the winner is solver1
15.28/10.03	c Got one! Elapsed wall clock time (in seconds):9.917
15.28/10.03	o -34
17.69/11.24	c cleaning 5837 clauses out of 11673 with flag 4000/25064
21.02/13.09	c cleaning 5915 clauses out of 11836 with flag 10000/31064
24.58/14.99	c cleaning 6461 clauses out of 12921 with flag 17000/38064
29.09/17.30	c cleaning 7227 clauses out of 14462 with flag 25002/46066
33.66/19.87	c cleaning 8113 clauses out of 16233 with flag 34000/55064
40.07/23.36	c cleaning 9061 clauses out of 18121 with flag 44001/65065
46.98/26.93	c cleaning 10024 clauses out of 20059 with flag 55000/76064
53.61/30.44	c cleaning 11018 clauses out of 22036 with flag 67001/88065
62.18/35.20	c cleaning 12006 clauses out of 24018 with flag 80001/101065
65.09/37.30	c  And the winner is solver1
65.32/37.49	c Got one! Elapsed wall clock time (in seconds):37.372
65.32/37.49	o -35
66.14/37.93	c cleaning 8507 clauses out of 17016 with flag 2000/106069
69.45/39.90	c cleaning 7250 clauses out of 14509 with flag 8000/112069
73.10/42.11	c cleaning 7123 clauses out of 14261 with flag 15002/119071
77.50/44.71	c cleaning 7566 clauses out of 15136 with flag 23000/127069
83.24/48.30	c cleaning 8285 clauses out of 16570 with flag 32000/136069
89.14/51.67	c cleaning 9142 clauses out of 18285 with flag 42000/146069
94.98/55.06	c cleaning 10067 clauses out of 20144 with flag 53001/157070
101.69/58.91	c cleaning 11037 clauses out of 22076 with flag 65000/169069
111.15/64.41	c cleaning 12015 clauses out of 24040 with flag 78001/182070
120.78/69.90	c cleaning 13013 clauses out of 26026 with flag 92002/196071
132.55/76.39	c cleaning 14006 clauses out of 28012 with flag 107001/211070
145.50/83.60	c cleaning 14995 clauses out of 30006 with flag 123001/227070
158.68/91.19	c cleaning 16005 clauses out of 32010 with flag 140000/244069
172.07/98.57	c cleaning 16997 clauses out of 34005 with flag 158000/262069
180.18/103.38	c  And the winner is solver1
180.34/103.57	c Got one! Elapsed wall clock time (in seconds):103.453
180.34/103.57	o -36
183.20/105.07	c cleaning 16246 clauses out of 32513 with flag 5001/277574
187.07/107.66	c cleaning 11129 clauses out of 22269 with flag 11003/283576
191.74/110.89	c cleaning 9066 clauses out of 18138 with flag 18001/290574
196.02/113.57	c cleaning 8532 clauses out of 17072 with flag 26001/298574
201.04/116.63	c cleaning 8770 clauses out of 17540 with flag 35001/307574
206.40/119.99	c cleaning 9381 clauses out of 18772 with flag 45003/317576
213.03/124.25	c cleaning 10191 clauses out of 20389 with flag 56001/328574
219.55/128.18	c cleaning 11101 clauses out of 22201 with flag 68004/340577
226.83/132.48	c cleaning 12043 clauses out of 24096 with flag 81000/353573
234.47/136.95	c cleaning 13027 clauses out of 26053 with flag 95000/367573
243.97/142.79	c cleaning 14014 clauses out of 28028 with flag 110002/382575
254.35/148.69	c cleaning 15008 clauses out of 30015 with flag 126003/398576
264.86/154.64	c cleaning 16002 clauses out of 32004 with flag 143000/415573
276.15/161.05	c cleaning 16997 clauses out of 34002 with flag 161000/433573
289.38/168.88	c cleaning 17998 clauses out of 36005 with flag 180000/452573
303.38/176.67	c cleaning 19000 clauses out of 38007 with flag 200000/472573
321.54/187.48	c cleaning 20005 clauses out of 40009 with flag 221002/493575
346.43/201.38	c cleaning 21001 clauses out of 42002 with flag 243000/515573
367.89/212.50	c cleaning 21995 clauses out of 44001 with flag 266000/538573
386.29/222.37	c cleaning 22998 clauses out of 46006 with flag 290000/562573
405.77/233.18	c cleaning 23999 clauses out of 48008 with flag 315000/587573
425.70/243.79	c cleaning 24999 clauses out of 50011 with flag 341002/613575
448.02/255.52	c cleaning 26000 clauses out of 52011 with flag 368001/640574
469.86/267.16	c cleaning 26996 clauses out of 54010 with flag 396000/668573
494.87/280.85	c cleaning 28004 clauses out of 56014 with flag 425000/697573
521.98/295.08	c cleaning 28996 clauses out of 58012 with flag 455002/727575
551.09/310.26	c cleaning 30005 clauses out of 60016 with flag 486002/758575
558.32/314.64	c cleaning 0 clauses out of 7639 with flag 0/7641
586.04/329.69	c cleaning 31006 clauses out of 62011 with flag 518002/790575
619.85/347.22	c cleaning 31996 clauses out of 64003 with flag 551000/823573
658.41/367.33	c cleaning 32999 clauses out of 66008 with flag 585001/857574
690.03/384.06	c cleaning 34004 clauses out of 68008 with flag 620000/892573
724.62/402.85	c cleaning 35003 clauses out of 70005 with flag 656001/928574
764.67/423.76	c cleaning 35997 clauses out of 72001 with flag 693000/965573
813.02/450.02	c cleaning 37004 clauses out of 74007 with flag 731003/1003576
865.81/477.90	c cleaning 38000 clauses out of 76001 with flag 770001/1042574
915.34/503.60	c cleaning 38997 clauses out of 78000 with flag 810000/1082573
961.78/527.81	c cleaning 40001 clauses out of 80003 with flag 851000/1123573
1011.06/553.44	c cleaning 40991 clauses out of 82002 with flag 893000/1165573
1061.33/580.36	c cleaning 41998 clauses out of 84012 with flag 936001/1208574
1111.23/606.30	c cleaning 43002 clauses out of 86014 with flag 980001/1252574
1168.21/635.74	c cleaning 43998 clauses out of 88012 with flag 1025001/1297574
1230.38/667.77	c cleaning 45007 clauses out of 90014 with flag 1071001/1343574
1296.86/702.80	c cleaning 46001 clauses out of 92006 with flag 1118000/1390573
1359.23/734.91	c cleaning 47003 clauses out of 94005 with flag 1166000/1438573
1433.58/773.10	c cleaning 48002 clauses out of 96003 with flag 1215001/1487574
1509.40/812.14	c cleaning 48996 clauses out of 98002 with flag 1265002/1537575
1598.62/858.68	c cleaning 50004 clauses out of 100007 with flag 1316003/1588576
1672.00/896.46	c cleaning 50994 clauses out of 102000 with flag 1368000/1640573
1744.72/934.11	c cleaning 52001 clauses out of 104008 with flag 1421002/1693575
1800.21/963.47	c starts		: 48
1800.21/963.47	c conflicts		: 13423
1800.21/963.47	c decisions		: 16251
1800.21/963.47	c propagations		: 157043
1800.21/963.48	c inspects		: 691443271
1800.21/963.48	c shortcuts		: 0
1800.21/963.48	c learnt literals	: 0
1800.21/963.48	c learnt binary clauses	: 0
1800.21/963.48	c learnt ternary clauses	: 0
1800.21/963.48	c learnt constraints	: 13421
1800.21/963.48	c ignored constraints	: 0
1800.21/963.48	c root simplifications	: 0
1800.21/963.48	c removed literals (reason simplification)	: 0
1800.21/963.48	c reason swapping (by a shorter reason)	: 0
1800.21/963.48	c Calls to reduceDB	: 1
1800.21/963.48	c number of reductions to clauses (during analyze)	: 0
1800.21/963.48	c number of learned constraints concerned by reduction	: 0
1800.21/963.48	c number of learning phase by resolution	: 0
1800.21/963.48	c number of learning phase by cutting planes	: 0
1800.21/963.48	c speed (assignments/second)	: 163.6350374850867
1800.21/963.48	c non guided choices	0
1800.21/963.48	c learnt constraints type 
1800.21/963.48	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 350
1800.21/963.48	c org.sat4j.pb.constraints.pb.MaxWatchPb => 13071
1800.21/963.48	c constraints type 
1800.21/963.48	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.21/963.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 58624
1800.21/963.48	c 58625 constraints processed.
1800.21/963.48	c constraints type 
1800.21/963.48	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 58624
1800.21/963.48	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.21/963.48	c 58625 constraints processed.
1800.21/963.48	s SATISFIABLE
1800.21/963.48	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 
1800.21/963.48	c objective function=-36
1800.21/963.48	c Total wall clock time (in seconds): 963.37

Verifier Data

OK	-36

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

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: 3.67 3.77 3.57 4/197 22634
/proc/meminfo: memFree=28246480/32873844 swapFree=7100/7100
[pid=22634] ppid=22632 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/22634/stat : 22634 (java) D 22632 22634 21308 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 253603218 9515008 182 33554432000 1073741824 1073778376 140737185416864 140737185407896 247064247989 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/22634/statm: 2323 182 140 9 0 71 0

[startup+0.08729 s]
/proc/loadavg: 3.67 3.77 3.57 4/197 22634
/proc/meminfo: memFree=28246480/32873844 swapFree=7100/7100
[pid=22634] ppid=22632 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/22634/stat : 22634 (java) S 22632 22634 21308 0 -1 4202496 3740 0 1 0 5 1 0 0 20 0 18 0 253603218 9787813888 4950 33554432000 1073741824 1073778376 140734600638704 140734600629840 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22634/statm: 2389603 4955 1987 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.100283 s]
/proc/loadavg: 3.67 3.77 3.57 4/197 22634
/proc/meminfo: memFree=28246480/32873844 swapFree=7100/7100
[pid=22634] ppid=22632 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/22634/stat : 22634 (java) S 22632 22634 21308 0 -1 4202496 4293 0 1 0 7 2 0 0 20 0 18 0 253603218 9787813888 5489 33554432000 1073741824 1073778376 140734600638704 140734600629840 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22634/statm: 2389603 5489 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300283 s]
/proc/loadavg: 3.67 3.77 3.57 4/197 22634
/proc/meminfo: memFree=28246480/32873844 swapFree=7100/7100
[pid=22634] ppid=22632 vsize=9558412 CPUtime=0.46 cores=0,2,4,6
/proc/22634/stat : 22634 (java) S 22632 22634 21308 0 -1 4202496 5661 0 1 0 44 2 0 0 20 0 18 0 253603218 9787813888 8221 33554432000 1073741824 1073778376 140734600638704 140734600629840 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22634/statm: 2389603 8221 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412

[startup+0.700179 s]
/proc/loadavg: 3.67 3.77 3.57 4/197 22634
/proc/meminfo: memFree=28246480/32873844 swapFree=7100/7100
[pid=22634] ppid=22632 vsize=9558412 CPUtime=1.47 cores=0,2,4,6
/proc/22634/stat : 22634 (java) S 22632 22634 21308 0 -1 4202496 17209 0 1 0 140 7 0 0 20 0 18 0 253603218 9787813888 39010 33554432000 1073741824 1073778376 140734600638704 140734600629840 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22634/statm: 2389603 39010 2230 9 0 2380296 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9558412

[startup+1.50074 s]
/proc/loadavg: 3.67 3.77 3.57 3/216 22656
/proc/meminfo: memFree=28063520/32873844 swapFree=7100/7100
[pid=22634] ppid=22632 vsize=9824668 CPUtime=1.85 cores=0,2,4,6
/proc/22634/stat : 22634 (java) S 22632 22634 21308 0 -1 4202496 17474 0 1 0 173 12 0 0 20 0 19 0 253603218 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140734600629840 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22634/statm: 2456167 47914 2263 9 0 2446860 0
[pid=22634/tid=22636] ppid=22632 vsize=9824668 CPUtime=0.71 cores=0,2,4,6
/proc/22634/task/22636/stat : 22636 (java) S 22632 22634 21308 0 -1 4202560 2510 0 1 0 68 3 0 0 20 0 19 0 253603219 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140391235257336 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22637] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22637/stat : 22637 (java) S 22632 22634 21308 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253603220 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140391207709480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22634/tid=22638] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22638/stat : 22638 (java) S 22632 22634 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253603220 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140391078210216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22639] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22639/stat : 22639 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253603220 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140391077157928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22640] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22640/stat : 22640 (java) S 22632 22634 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253603220 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140391076105128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22641] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22641/stat : 22641 (java) S 22632 22634 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253603220 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140391075051816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22642] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22642/stat : 22642 (java) S 22632 22634 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253603220 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140391073999016 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22643] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22643/stat : 22643 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253603220 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140390736849448 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22644] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22644/stat : 22644 (java) S 22632 22634 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253603220 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140390735796648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22645] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22645/stat : 22645 (java) S 22632 22634 21308 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 253603221 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140390723599080 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22646] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22646/stat : 22646 (java) S 22632 22634 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253603221 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140390722545144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22647] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22647/stat : 22647 (java) S 22632 22634 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253603221 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140390721492744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22648] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22648/stat : 22648 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253603224 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140390720441232 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22649] ppid=22632 vsize=9824668 CPUtime=0.45 cores=0,2,4,6
/proc/22634/task/22649/stat : 22649 (java) S 22632 22634 21308 0 -1 4202560 7319 0 0 0 43 2 0 0 20 0 19 0 253603224 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140390719387832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22650] ppid=22632 vsize=9824668 CPUtime=0.47 cores=0,2,4,6
/proc/22634/task/22650/stat : 22650 (java) S 22632 22634 21308 0 -1 4202560 6236 0 0 0 44 3 0 0 20 0 19 0 253603224 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140390718335032 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22651] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22651/stat : 22651 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253603224 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140390717282936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22652] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22652/stat : 22652 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253603224 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140390716230344 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22655] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22655/stat : 22655 (java) S 22632 22634 21308 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253603296 10060460032 47914 33554432000 1073741824 1073778376 140734600638704 140390713071272 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9824668

[startup+3.1007 s]
/proc/loadavg: 3.67 3.77 3.57 2/216 22662
/proc/meminfo: memFree=28061220/32873844 swapFree=7100/7100
[pid=22634] ppid=22632 vsize=9824668 CPUtime=2.57 cores=0,2,4,6
/proc/22634/stat : 22634 (java) S 22632 22634 21308 0 -1 4202496 21641 0 1 0 238 19 0 0 20 0 19 0 253603218 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140734600629840 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22634/statm: 2456167 48455 2266 9 0 2446860 0
[pid=22634/tid=22636] ppid=22632 vsize=9824668 CPUtime=0.73 cores=0,2,4,6
/proc/22634/task/22636/stat : 22636 (java) S 22632 22634 21308 0 -1 4202560 2510 0 1 0 69 4 0 0 20 0 19 0 253603219 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140391235257336 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22637] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22637/stat : 22637 (java) S 22632 22634 21308 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253603220 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140391207709480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22634/tid=22638] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22638/stat : 22638 (java) S 22632 22634 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253603220 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140391078210216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22639] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22639/stat : 22639 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253603220 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140391077157928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22640] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22640/stat : 22640 (java) S 22632 22634 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253603220 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140391076105128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22641] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22641/stat : 22641 (java) S 22632 22634 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253603220 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140391075051816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22642] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22642/stat : 22642 (java) S 22632 22634 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253603220 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140391073999016 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22643] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22643/stat : 22643 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253603220 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140390736849448 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22644] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22644/stat : 22644 (java) S 22632 22634 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253603220 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140390735796648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22645] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22645/stat : 22645 (java) S 22632 22634 21308 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 253603221 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140390723599080 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22646] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22646/stat : 22646 (java) S 22632 22634 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253603221 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140390722545144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22647] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22647/stat : 22647 (java) S 22632 22634 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253603221 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140390721492744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22648] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22648/stat : 22648 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253603224 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140390720441232 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22649] ppid=22632 vsize=9824668 CPUtime=0.58 cores=0,2,4,6
/proc/22634/task/22649/stat : 22649 (java) S 22632 22634 21308 0 -1 4202560 7324 0 0 0 56 2 0 0 20 0 19 0 253603224 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140390719387832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22650] ppid=22632 vsize=9824668 CPUtime=0.86 cores=0,2,4,6
/proc/22634/task/22650/stat : 22650 (java) S 22632 22634 21308 0 -1 4202560 10372 0 0 0 82 4 0 0 20 0 19 0 253603224 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140390718335032 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22651] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22651/stat : 22651 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253603224 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140390717282936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22652] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22652/stat : 22652 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253603224 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140390716230344 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22655] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22655/stat : 22655 (java) S 22632 22634 21308 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253603296 10060460032 48455 33554432000 1073741824 1073778376 140734600638704 140390713071272 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 9824668

[startup+6.30081 s]
/proc/loadavg: 3.78 3.79 3.58 5/219 22677
/proc/meminfo: memFree=27877304/32873844 swapFree=7100/7100
[pid=22634] ppid=22632 vsize=9824668 CPUtime=8 cores=0,2,4,6
/proc/22634/stat : 22634 (java) S 22632 22634 21308 0 -1 4202496 22959 0 1 0 763 37 0 0 20 0 22 0 253603218 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140734600629840 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22634/statm: 2456167 108411 2286 9 0 2446860 0
[pid=22634/tid=22636] ppid=22632 vsize=9824668 CPUtime=0.73 cores=0,2,4,6
/proc/22634/task/22636/stat : 22636 (java) S 22632 22634 21308 0 -1 4202560 2511 0 1 0 69 4 0 0 20 0 22 0 253603219 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140391235257336 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22637] ppid=22632 vsize=9824668 CPUtime=0.1 cores=0,2,4,6
/proc/22634/task/22637/stat : 22637 (java) S 22632 22634 21308 0 -1 4202560 218 0 0 0 7 3 0 0 20 0 22 0 253603220 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140391207709480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22638] ppid=22632 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/22634/task/22638/stat : 22638 (java) S 22632 22634 21308 0 -1 4202560 85 0 0 0 1 2 0 0 20 0 22 0 253603220 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140391078210216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22639] ppid=22632 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/22634/task/22639/stat : 22639 (java) S 22632 22634 21308 0 -1 4202560 99 0 0 0 3 2 0 0 20 0 22 0 253603220 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140391077157928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22640] ppid=22632 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/22634/task/22640/stat : 22640 (java) S 22632 22634 21308 0 -1 4202560 56 0 0 0 6 2 0 0 20 0 22 0 253603220 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140391076105128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22641] ppid=22632 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/22634/task/22641/stat : 22641 (java) S 22632 22634 21308 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 22 0 253603220 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140391075051816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22642] ppid=22632 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/22634/task/22642/stat : 22642 (java) S 22632 22634 21308 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 22 0 253603220 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140391073999016 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22643] ppid=22632 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/22634/task/22643/stat : 22643 (java) S 22632 22634 21308 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 253603220 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140390736849448 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22644] ppid=22632 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/22634/task/22644/stat : 22644 (java) S 22632 22634 21308 0 -1 4202560 84 0 0 0 2 1 0 0 20 0 22 0 253603220 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140390735796648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22634/tid=22645] ppid=22632 vsize=9824668 CPUtime=0.12 cores=0,2,4,6
/proc/22634/task/22645/stat : 22645 (java) S 22632 22634 21308 0 -1 4202560 227 0 0 0 12 0 0 0 20 0 22 0 253603221 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140390723599080 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22646] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22646/stat : 22646 (java) S 22632 22634 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253603221 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140390722545144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22647] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22647/stat : 22647 (java) S 22632 22634 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253603221 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140390721492744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22648] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22648/stat : 22648 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603224 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140390720441232 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22649] ppid=22632 vsize=9824668 CPUtime=0.88 cores=0,2,4,6
/proc/22634/task/22649/stat : 22649 (java) S 22632 22634 21308 0 -1 4202560 7365 0 0 0 86 2 0 0 20 0 22 0 253603224 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140390719387832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22650] ppid=22632 vsize=9824668 CPUtime=1.16 cores=0,2,4,6
/proc/22634/task/22650/stat : 22650 (java) S 22632 22634 21308 0 -1 4202560 10826 0 0 0 112 4 0 0 20 0 22 0 253603224 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140390718335032 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22651] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22651/stat : 22651 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603224 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140390717282936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22652] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22652/stat : 22652 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603224 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140390716230344 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22674] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22674/stat : 22674 (java) S 22632 22634 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253603594 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140390712017704 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22675] ppid=22632 vsize=9824668 CPUtime=1.77 cores=0,2,4,6
/proc/22634/task/22675/stat : 22675 (java) R 22632 22634 21308 0 -1 4202560 6 0 0 0 177 0 0 0 20 0 22 0 253603644 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140390715175576 140391090567865 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22676] ppid=22632 vsize=9824668 CPUtime=1.77 cores=0,2,4,6
/proc/22634/task/22676/stat : 22676 (java) R 22632 22634 21308 0 -1 4202560 62 0 0 0 176 1 0 0 20 0 22 0 253603644 10060460032 108411 33554432000 1073741824 1073778376 140734600638704 140390714121600 140391090356327 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0

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

[pid=22634/tid=22767] ppid=22632 vsize=9824668 CPUtime=613.37 cores=0,2,4,6
/proc/22634/task/22767/stat : 22767 (java) R 22632 22634 21308 0 -1 4202560 26 0 0 0 61328 9 0 0 20 0 22 0 253613575 10060460032 1096577 33554432000 1073741824 1073778376 140734600638704 140390715175264 140391090061925 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22768] ppid=22632 vsize=9824668 CPUtime=613.34 cores=0,2,4,6
/proc/22634/task/22768/stat : 22768 (java) R 22632 22634 21308 0 -1 4202560 228 0 0 0 61317 17 0 0 20 0 22 0 253613575 10060460032 1096577 33554432000 1073741824 1073778376 140734600638704 140390713068416 140391090246584 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22634/tid=22769] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22769/stat : 22769 (java) S 22632 22634 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253613575 10060460032 1096577 33554432000 1073741824 1073778376 140734600638704 140390714123560 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1525.43
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.84 3.80 3.66 4/219 22801
/proc/meminfo: memFree=20461116/32873844 swapFree=7100/7100
[pid=22634] ppid=22632 vsize=9824668 CPUtime=1643.59 cores=0,2,4,6
/proc/22634/stat : 22634 (java) S 22632 22634 21308 0 -1 4202496 40721 0 1 0 164123 236 0 0 20 0 22 0 253603218 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140734600629840 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22634/statm: 2456167 1140507 2287 9 0 2446860 0
[pid=22634/tid=22636] ppid=22632 vsize=9824668 CPUtime=0.77 cores=0,2,4,6
/proc/22634/task/22636/stat : 22636 (java) S 22632 22634 21308 0 -1 4202560 2551 0 1 0 72 5 0 0 20 0 22 0 253603219 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140391235257336 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22637] ppid=22632 vsize=9824668 CPUtime=2.92 cores=0,2,4,6
/proc/22634/task/22637/stat : 22637 (java) S 22632 22634 21308 0 -1 4202560 1483 0 0 0 275 17 0 0 20 0 22 0 253603220 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140391207709480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22638] ppid=22632 vsize=9824668 CPUtime=2.6 cores=0,2,4,6
/proc/22634/task/22638/stat : 22638 (java) S 22632 22634 21308 0 -1 4202560 1637 0 0 0 242 18 0 0 20 0 22 0 253603220 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140391078210216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22639] ppid=22632 vsize=9824668 CPUtime=2.76 cores=0,2,4,6
/proc/22634/task/22639/stat : 22639 (java) S 22632 22634 21308 0 -1 4202560 1600 0 0 0 260 16 0 0 20 0 22 0 253603220 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140391077157928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22640] ppid=22632 vsize=9824668 CPUtime=2.68 cores=0,2,4,6
/proc/22634/task/22640/stat : 22640 (java) S 22632 22634 21308 0 -1 4202560 2349 0 0 0 249 19 0 0 20 0 22 0 253603220 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140391076105128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22634/tid=22641] ppid=22632 vsize=9824668 CPUtime=2.48 cores=0,2,4,6
/proc/22634/task/22641/stat : 22641 (java) S 22632 22634 21308 0 -1 4202560 1082 0 0 0 233 15 0 0 20 0 22 0 253603220 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140391075051816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22634/tid=22642] ppid=22632 vsize=9824668 CPUtime=2.56 cores=0,2,4,6
/proc/22634/task/22642/stat : 22642 (java) S 22632 22634 21308 0 -1 4202560 2560 0 0 0 242 14 0 0 20 0 22 0 253603220 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140391073999016 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22643] ppid=22632 vsize=9824668 CPUtime=2.58 cores=0,2,4,6
/proc/22634/task/22643/stat : 22643 (java) S 22632 22634 21308 0 -1 4202560 756 0 0 0 240 18 0 0 20 0 22 0 253603220 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140390736849448 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22644] ppid=22632 vsize=9824668 CPUtime=2.65 cores=0,2,4,6
/proc/22634/task/22644/stat : 22644 (java) S 22632 22634 21308 0 -1 4202560 699 0 0 0 246 19 0 0 20 0 22 0 253603220 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140390735796648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22634/tid=22645] ppid=22632 vsize=9824668 CPUtime=126.35 cores=0,2,4,6
/proc/22634/task/22645/stat : 22645 (java) S 22632 22634 21308 0 -1 4202560 4240 0 0 0 12606 29 0 0 20 0 22 0 253603221 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140390723599080 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22634/tid=22646] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22646/stat : 22646 (java) S 22632 22634 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253603221 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140390722545144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22647] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22647/stat : 22647 (java) S 22632 22634 21308 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253603221 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140390721492744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22648] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22648/stat : 22648 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603224 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140390720441232 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22649] ppid=22632 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/22634/task/22649/stat : 22649 (java) S 22632 22634 21308 0 -1 4202560 7372 0 0 0 99 2 0 0 20 0 22 0 253603224 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140390719387832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22650] ppid=22632 vsize=9824668 CPUtime=1.77 cores=0,2,4,6
/proc/22634/task/22650/stat : 22650 (java) S 22632 22634 21308 0 -1 4202560 11109 0 0 0 173 4 0 0 20 0 22 0 253603224 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140390718335032 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22651] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22651/stat : 22651 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603224 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140390717282936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22652] ppid=22632 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/22634/task/22652/stat : 22652 (java) S 22632 22634 21308 0 -1 4202560 51 0 0 0 16 19 0 0 20 0 22 0 253603224 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140390716230344 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22634/tid=22674] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22674/stat : 22674 (java) S 22632 22634 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253603594 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140390712017704 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22767] ppid=22632 vsize=9824668 CPUtime=670.06 cores=0,2,4,6
/proc/22634/task/22767/stat : 22767 (java) R 22632 22634 21308 0 -1 4202560 28 0 0 0 66996 10 0 0 20 0 22 0 253613575 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140390715174320 140391090006855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22768] ppid=22632 vsize=9824668 CPUtime=670.02 cores=0,2,4,6
/proc/22634/task/22768/stat : 22768 (java) R 22632 22634 21308 0 -1 4202560 230 0 0 0 66983 19 0 0 20 0 22 0 253613575 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140390713068416 140391090356255 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22769] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22769/stat : 22769 (java) S 22632 22634 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253613575 10060460032 1140507 33554432000 1073741824 1073778376 140734600638704 140390714123560 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1643.59
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 3.54 3.72 3.64 5/219 22801
/proc/meminfo: memFree=20419728/32873844 swapFree=7100/7100
[pid=22634] ppid=22632 vsize=9824668 CPUtime=1757.82 cores=0,2,4,6
/proc/22634/stat : 22634 (java) S 22632 22634 21308 0 -1 4202496 40866 0 1 0 175542 240 0 0 20 0 22 0 253603218 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140734600629840 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22634/statm: 2456167 1161827 2287 9 0 2446860 0
[pid=22634/tid=22636] ppid=22632 vsize=9824668 CPUtime=0.78 cores=0,2,4,6
/proc/22634/task/22636/stat : 22636 (java) S 22632 22634 21308 0 -1 4202560 2551 0 1 0 73 5 0 0 20 0 22 0 253603219 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140391235257336 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22637] ppid=22632 vsize=9824668 CPUtime=3.1 cores=0,2,4,6
/proc/22634/task/22637/stat : 22637 (java) S 22632 22634 21308 0 -1 4202560 1487 0 0 0 293 17 0 0 20 0 22 0 253603220 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140391207709480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22638] ppid=22632 vsize=9824668 CPUtime=2.82 cores=0,2,4,6
/proc/22634/task/22638/stat : 22638 (java) S 22632 22634 21308 0 -1 4202560 1652 0 0 0 264 18 0 0 20 0 22 0 253603220 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140391078210216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22639] ppid=22632 vsize=9824668 CPUtime=3.02 cores=0,2,4,6
/proc/22634/task/22639/stat : 22639 (java) S 22632 22634 21308 0 -1 4202560 1605 0 0 0 285 17 0 0 20 0 22 0 253603220 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140391077157928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22640] ppid=22632 vsize=9824668 CPUtime=2.87 cores=0,2,4,6
/proc/22634/task/22640/stat : 22640 (java) S 22632 22634 21308 0 -1 4202560 2349 0 0 0 268 19 0 0 20 0 22 0 253603220 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140391076105128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22634/tid=22641] ppid=22632 vsize=9824668 CPUtime=2.72 cores=0,2,4,6
/proc/22634/task/22641/stat : 22641 (java) S 22632 22634 21308 0 -1 4202560 1098 0 0 0 257 15 0 0 20 0 22 0 253603220 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140391075051816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22642] ppid=22632 vsize=9824668 CPUtime=2.77 cores=0,2,4,6
/proc/22634/task/22642/stat : 22642 (java) S 22632 22634 21308 0 -1 4202560 2564 0 0 0 263 14 0 0 20 0 22 0 253603220 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140391073999016 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22634/tid=22643] ppid=22632 vsize=9824668 CPUtime=2.9 cores=0,2,4,6
/proc/22634/task/22643/stat : 22643 (java) S 22632 22634 21308 0 -1 4202560 756 0 0 0 272 18 0 0 20 0 22 0 253603220 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140390736849448 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22644] ppid=22632 vsize=9824668 CPUtime=2.89 cores=0,2,4,6
/proc/22634/task/22644/stat : 22644 (java) S 22632 22634 21308 0 -1 4202560 720 0 0 0 269 20 0 0 20 0 22 0 253603220 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140390735796648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22645] ppid=22632 vsize=9824668 CPUtime=133 cores=0,2,4,6
/proc/22634/task/22645/stat : 22645 (java) S 22632 22634 21308 0 -1 4202560 4311 0 0 0 13268 32 0 0 20 0 22 0 253603221 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140390723599080 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22634/tid=22646] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22646/stat : 22646 (java) S 22632 22634 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253603221 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140390722545144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22647] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22647/stat : 22647 (java) S 22632 22634 21308 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253603221 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140390721492744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22648] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22648/stat : 22648 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603224 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140390720441232 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22649] ppid=22632 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/22634/task/22649/stat : 22649 (java) S 22632 22634 21308 0 -1 4202560 7372 0 0 0 99 2 0 0 20 0 22 0 253603224 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140390719387832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22650] ppid=22632 vsize=9824668 CPUtime=1.77 cores=0,2,4,6
/proc/22634/task/22650/stat : 22650 (java) S 22632 22634 21308 0 -1 4202560 11109 0 0 0 173 4 0 0 20 0 22 0 253603224 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140390718335032 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22651] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22651/stat : 22651 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603224 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140390717282936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22652] ppid=22632 vsize=9824668 CPUtime=0.38 cores=0,2,4,6
/proc/22634/task/22652/stat : 22652 (java) S 22632 22634 21308 0 -1 4202560 55 0 0 0 17 21 0 0 20 0 22 0 253603224 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140390716230344 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22674] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22674/stat : 22674 (java) S 22632 22634 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253603594 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140390712017704 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22767] ppid=22632 vsize=9824668 CPUtime=722.92 cores=0,2,4,6
/proc/22634/task/22767/stat : 22767 (java) R 22632 22634 21308 0 -1 4202560 30 0 0 0 72280 12 0 0 20 0 22 0 253613575 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140390715175264 140391090061344 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22768] ppid=22632 vsize=9824668 CPUtime=722.88 cores=0,2,4,6
/proc/22634/task/22768/stat : 22768 (java) R 22632 22634 21308 0 -1 4202560 233 0 0 0 72269 19 0 0 20 0 22 0 253613575 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140390713068416 140391090246409 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22769] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22769/stat : 22769 (java) S 22632 22634 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253613575 10060460032 1161827 33554432000 1073741824 1073778376 140734600638704 140390714123560 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1757.82
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+963.401 s]
/proc/loadavg: 3.67 3.74 3.65 10/219 22801
/proc/meminfo: memFree=20468736/32873844 swapFree=7100/7100
[pid=22634] ppid=22632 vsize=9824668 CPUtime=1800.21 cores=0,2,4,6
/proc/22634/stat : 22634 (java) S 22632 22634 21308 0 -1 4202496 40919 0 1 0 179780 241 0 0 20 0 22 0 253603218 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140734600629840 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22634/statm: 2456167 1161874 2287 9 0 2446860 0
[pid=22634/tid=22636] ppid=22632 vsize=9824668 CPUtime=0.78 cores=0,2,4,6
/proc/22634/task/22636/stat : 22636 (java) S 22632 22634 21308 0 -1 4202560 2551 0 1 0 73 5 0 0 20 0 22 0 253603219 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140391235257336 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22637] ppid=22632 vsize=9824668 CPUtime=3.15 cores=0,2,4,6
/proc/22634/task/22637/stat : 22637 (java) R 22632 22634 21308 0 -1 4202560 1501 0 0 0 298 17 0 0 20 0 22 0 253603220 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140391207709656 140391237727987 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22638] ppid=22632 vsize=9824668 CPUtime=2.86 cores=0,2,4,6
/proc/22634/task/22638/stat : 22638 (java) R 22632 22634 21308 0 -1 4202560 1661 0 0 0 268 18 0 0 20 0 22 0 253603220 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140391078210392 140391242152876 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22639] ppid=22632 vsize=9824668 CPUtime=3.08 cores=0,2,4,6
/proc/22634/task/22639/stat : 22639 (java) R 22632 22634 21308 0 -1 4202560 1628 0 0 0 291 17 0 0 20 0 22 0 253603220 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140391077157928 140391242155552 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22634/tid=22640] ppid=22632 vsize=9824668 CPUtime=2.91 cores=0,2,4,6
/proc/22634/task/22640/stat : 22640 (java) R 22632 22634 21308 0 -1 4202560 2349 0 0 0 272 19 0 0 20 0 22 0 253603220 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140391076105304 140391237727987 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22641] ppid=22632 vsize=9824668 CPUtime=2.76 cores=0,2,4,6
/proc/22634/task/22641/stat : 22641 (java) R 22632 22634 21308 0 -1 4202560 1098 0 0 0 261 15 0 0 20 0 22 0 253603220 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140391075051992 140391237820964 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22642] ppid=22632 vsize=9824668 CPUtime=2.81 cores=0,2,4,6
/proc/22634/task/22642/stat : 22642 (java) R 22632 22634 21308 0 -1 4202560 2564 0 0 0 267 14 0 0 20 0 22 0 253603220 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140391073999016 247067632053 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22643] ppid=22632 vsize=9824668 CPUtime=2.94 cores=0,2,4,6
/proc/22634/task/22643/stat : 22643 (java) R 22632 22634 21308 0 -1 4202560 756 0 0 0 276 18 0 0 20 0 22 0 253603220 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140390736849624 140391237727987 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22644] ppid=22632 vsize=9824668 CPUtime=2.98 cores=0,2,4,6
/proc/22634/task/22644/stat : 22644 (java) R 22632 22634 21308 0 -1 4202560 720 0 0 0 278 20 0 0 20 0 22 0 253603220 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140390735796824 140391241765299 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22645] ppid=22632 vsize=9824668 CPUtime=133.01 cores=0,2,4,6
/proc/22634/task/22645/stat : 22645 (java) S 22632 22634 21308 0 -1 4202560 4314 0 0 0 13269 32 0 0 20 0 22 0 253603221 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140390723597960 247067620412 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22634/tid=22646] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22646/stat : 22646 (java) S 22632 22634 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253603221 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140390722545144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22647] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22647/stat : 22647 (java) S 22632 22634 21308 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253603221 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140390721492744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22648] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22648/stat : 22648 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603224 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140390720441232 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22649] ppid=22632 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/22634/task/22649/stat : 22649 (java) S 22632 22634 21308 0 -1 4202560 7372 0 0 0 99 2 0 0 20 0 22 0 253603224 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140390719387832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22634/tid=22650] ppid=22632 vsize=9824668 CPUtime=1.77 cores=0,2,4,6
/proc/22634/task/22650/stat : 22650 (java) S 22632 22634 21308 0 -1 4202560 11109 0 0 0 173 4 0 0 20 0 22 0 253603224 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140390718335032 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22651] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22651/stat : 22651 (java) S 22632 22634 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603224 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140390717282936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22652] ppid=22632 vsize=9824668 CPUtime=0.38 cores=0,2,4,6
/proc/22634/task/22652/stat : 22652 (java) S 22632 22634 21308 0 -1 4202560 57 0 0 0 17 21 0 0 20 0 22 0 253603224 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140390716230344 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22674] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22674/stat : 22674 (java) S 22632 22634 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253603594 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140390712017704 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22634/tid=22767] ppid=22632 vsize=9824668 CPUtime=743.91 cores=0,2,4,6
/proc/22634/task/22767/stat : 22767 (java) S 22632 22634 21308 0 -1 4202560 30 0 0 0 74378 13 0 0 20 0 22 0 253613575 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140390715173528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22768] ppid=22632 vsize=9824668 CPUtime=743.87 cores=0,2,4,6
/proc/22634/task/22768/stat : 22768 (java) S 22632 22634 21308 0 -1 4202560 235 0 0 0 74367 20 0 0 20 0 22 0 253613575 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140390713069112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22634/tid=22769] ppid=22632 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22634/task/22769/stat : 22769 (java) S 22632 22634 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253613575 10060460032 1161874 33554432000 1073741824 1073778376 140734600638704 140390714123560 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 9824668

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

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

Child status: 143
Real time (s): 963.511
CPU time (s): 1801.08
CPU user time (s): 1798.14
CPU system time (s): 2.94355
CPU usage (%): 186.929
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.14
system time used= 2.94355
maximum resident set size= 4647496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40950
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25371
involuntary context switches= 29810

runsolver used 3.73143 second user time and 8.70368 second system time

The end

Launcher Data

Begin job on node103 at 2012-05-24 17:52:26
IDJOB=3687886
IDBENCH=2251
IDSOLVER=2268
FILE ID=node103/3687886-1337874746
RUNJOBID= node103-1337871881-21324
PBS_JOBID= 14620101
Free space on /tmp= 71712 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687886-1337874746/watcher-3687886-1337874746 -o /tmp/evaluation-result-3687886-1337874746/solver-3687886-1337874746 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687886-1337874746.opb

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

MD5SUM BENCH= aabc023158e10c9511062af8ac97c515
RANDOM SEED=1473233965

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
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.37
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.189
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.189
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	: 5331.92
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.189
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.189
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.189
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	: 5411.36
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.189
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.189
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:       32873844 kB
MemFree:        28247008 kB
Buffers:          201204 kB
Cached:          2654752 kB
SwapCached:            0 kB
Active:          1651956 kB
Inactive:        2185852 kB
Active(anon):     981320 kB
Inactive(anon):     3636 kB
Active(file):     670636 kB
Inactive(file):  2182216 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1664 kB
Writeback:             0 kB
AnonPages:       1011632 kB
Mapped:            22552 kB
Shmem:               200 kB
Slab:             625760 kB
SReclaimable:      68368 kB
SUnreclaim:       557392 kB
KernelStack:        1624 kB
PageTables:         5848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1168836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    911360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node103 at 2012-05-24 18:08:32