Trace number 3733085

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)-33 1800.61 921.164

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
MD5SUM7262f9f4ab1a3ada75b3b140acf97f7d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark269.661
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41605
Number of constraints which are clauses41605
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 760
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 760
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 760
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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.1.v20110525
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		9996466904
0.07/0.10	c Max memory 		10048897024
0.07/0.10	c Total memory 		10048897024
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3733085-1338687632.opb
0.07/0.13	c reading problem ... 
0.95/0.57	c ... done. Wall clock time 0.441s.
0.95/0.57	c #vars     760
0.95/0.57	c #constraints  41605
0.95/0.57	c constraints type 
0.95/0.57	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41605
0.95/0.57	c constraints type 
0.95/0.57	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 41605
0.95/0.59	c  And the winner is Resolution
1.09/1.07	c SATISFIABLE
1.09/1.07	c OPTIMIZING...
1.09/1.07	c Got one! Elapsed wall clock time (in seconds):0.946
1.09/1.07	o -28
1.54/1.24	c  And the winner is Resolution
2.11/1.58	c Got one! Elapsed wall clock time (in seconds):1.452
2.11/1.58	o -29
2.54/1.72	c  And the winner is Resolution
2.68/2.08	c Got one! Elapsed wall clock time (in seconds):1.955
2.68/2.08	o -30
2.75/2.12	c  And the winner is Resolution
2.96/2.59	c Got one! Elapsed wall clock time (in seconds):2.457
2.96/2.59	o -31
3.22/2.77	c  And the winner is Resolution
3.41/3.09	c Got one! Elapsed wall clock time (in seconds):2.959
3.41/3.09	o -32
4.67/3.77	c cleaning 3173 clauses out of 6346 with flag 4001/6346
7.00/4.85	c cleaning 4587 clauses out of 9173 with flag 10001/12346
9.51/6.13	c cleaning 5775 clauses out of 11585 with flag 17000/19345
12.47/7.63	c cleaning 6905 clauses out of 13810 with flag 25000/27345
15.38/9.11	c  And the winner is Resolution
15.51/9.59	c Got one! Elapsed wall clock time (in seconds):9.462
15.51/9.59	o -33
17.58/10.61	c cleaning 9462 clauses out of 18924 with flag 5001/39364
19.88/11.88	c cleaning 7728 clauses out of 15461 with flag 11000/45363
22.79/13.35	c cleaning 7367 clauses out of 14733 with flag 18000/52363
26.11/15.04	c cleaning 7677 clauses out of 15366 with flag 26000/60363
30.14/17.15	c cleaning 8333 clauses out of 16689 with flag 35000/69363
34.82/19.51	c cleaning 9173 clauses out of 18356 with flag 45000/79363
39.30/21.81	c cleaning 10084 clauses out of 20184 with flag 56001/90364
44.58/24.57	c cleaning 11046 clauses out of 22099 with flag 68000/102363
51.79/28.24	c cleaning 12020 clauses out of 24053 with flag 81000/115363
57.65/31.22	c cleaning 13006 clauses out of 26033 with flag 95000/129363
64.48/34.78	c cleaning 14007 clauses out of 28027 with flag 110000/144363
72.33/38.78	c cleaning 15009 clauses out of 30020 with flag 126000/160363
81.44/43.41	c cleaning 16000 clauses out of 32011 with flag 143000/177363
89.26/47.47	c cleaning 16999 clauses out of 34012 with flag 161001/195364
99.29/52.53	c cleaning 18004 clauses out of 36013 with flag 180001/214364
110.51/58.27	c cleaning 19003 clauses out of 38008 with flag 200000/234363
123.59/64.93	c cleaning 19999 clauses out of 40005 with flag 221000/255363
133.77/70.12	c cleaning 21003 clauses out of 42006 with flag 243000/277363
145.18/75.94	c cleaning 21995 clauses out of 44004 with flag 266001/300364
158.17/82.54	c cleaning 22998 clauses out of 46008 with flag 290000/324363
173.57/90.42	c cleaning 24003 clauses out of 48010 with flag 315000/349363
189.92/98.75	c cleaning 25003 clauses out of 50008 with flag 341001/375364
204.30/106.03	c cleaning 26001 clauses out of 52004 with flag 368000/402363
218.82/113.50	c cleaning 26989 clauses out of 54004 with flag 396001/430364
236.13/122.31	c cleaning 28005 clauses out of 56014 with flag 425000/459363
254.03/131.49	c cleaning 29001 clauses out of 58009 with flag 455000/489363
276.15/142.63	c cleaning 29996 clauses out of 60008 with flag 486000/520363
297.05/153.23	c cleaning 30997 clauses out of 62013 with flag 518001/552364
322.49/166.21	c cleaning 32008 clauses out of 64016 with flag 551001/585364
338.17/174.22	c cleaning 32999 clauses out of 66007 with flag 585000/619363
356.86/183.80	c cleaning 33986 clauses out of 68008 with flag 620000/654363
377.53/194.28	c cleaning 35009 clauses out of 70023 with flag 656001/690364
401.90/206.77	c cleaning 36006 clauses out of 72013 with flag 693000/727363
432.57/222.29	c cleaning 37002 clauses out of 74007 with flag 731000/765363
455.17/233.78	c cleaning 37998 clauses out of 76005 with flag 770000/804363
488.85/250.77	c cleaning 0 clauses out of 5965 with flag 0/5968
492.21/252.60	c cleaning 38999 clauses out of 78007 with flag 810000/844363
528.76/271.11	c cleaning 39997 clauses out of 80009 with flag 851001/885364
548.36/281.19	c cleaning 41002 clauses out of 82011 with flag 893000/927363
576.54/295.42	c cleaning 41493 clauses out of 83009 with flag 935000/969363
610.42/312.73	c cleaning 41756 clauses out of 83516 with flag 977000/1011363
645.79/330.65	c cleaning 41879 clauses out of 83761 with flag 1019001/1053364
674.98/345.41	c cleaning 41933 clauses out of 83881 with flag 1061000/1095363
709.31/362.85	c cleaning 41972 clauses out of 83948 with flag 1103000/1137363
749.03/383.19	c cleaning 41977 clauses out of 83976 with flag 1145000/1179363
783.16/400.41	c cleaning 41987 clauses out of 83999 with flag 1187000/1221363
815.83/417.00	c cleaning 42001 clauses out of 84012 with flag 1229000/1263363
848.69/433.74	c cleaning 41997 clauses out of 84011 with flag 1271000/1305363
873.30/446.52	c cleaning 42003 clauses out of 84014 with flag 1313000/1347363
897.14/458.73	c cleaning 41994 clauses out of 84011 with flag 1355000/1389363
923.80/472.35	c cleaning 41993 clauses out of 84017 with flag 1397000/1431363
951.27/486.31	c cleaning 42007 clauses out of 84024 with flag 1439000/1473363
988.24/505.34	c cleaning 42002 clauses out of 84017 with flag 1481000/1515363
1020.47/521.76	c cleaning 42003 clauses out of 84015 with flag 1523000/1557363
1054.89/539.28	c cleaning 41999 clauses out of 84013 with flag 1565001/1599364
1088.09/556.10	c cleaning 41995 clauses out of 84013 with flag 1607000/1641363
1130.22/577.74	c cleaning 42003 clauses out of 84018 with flag 1649000/1683363
1162.85/594.33	c cleaning 42002 clauses out of 84015 with flag 1691000/1725363
1200.06/613.28	c cleaning 42006 clauses out of 84014 with flag 1733001/1767364
1230.45/628.77	c cleaning 42002 clauses out of 84007 with flag 1775000/1809363
1264.73/646.45	c cleaning 41997 clauses out of 84005 with flag 1817000/1851363
1297.92/663.39	c cleaning 41996 clauses out of 84008 with flag 1859000/1893363
1328.88/679.12	c cleaning 42002 clauses out of 84012 with flag 1901000/1935363
1363.26/696.63	c cleaning 41992 clauses out of 84010 with flag 1943000/1977363
1386.72/708.94	c cleaning 42003 clauses out of 84018 with flag 1985000/2019363
1410.09/720.93	c cleaning 42004 clauses out of 84015 with flag 2027000/2061363
1436.05/734.27	c cleaning 42005 clauses out of 84013 with flag 2069002/2103365
1463.77/748.40	c cleaning 41989 clauses out of 84006 with flag 2111000/2145363
1494.68/764.47	c cleaning 41994 clauses out of 84017 with flag 2153000/2187363
1531.57/783.24	c cleaning 42004 clauses out of 84023 with flag 2195000/2229363
1563.71/799.70	c cleaning 41994 clauses out of 84019 with flag 2237000/2271363
1590.39/813.36	c cleaning 42008 clauses out of 84025 with flag 2279000/2313363
1621.56/829.58	c cleaning 41999 clauses out of 84017 with flag 2321000/2355363
1652.50/845.30	c cleaning 42010 clauses out of 84019 with flag 2363001/2397364
1684.62/861.74	c cleaning 42002 clauses out of 84009 with flag 2405001/2439364
1715.72/877.62	c cleaning 41991 clauses out of 84007 with flag 2447001/2481364
1751.25/896.04	c cleaning 42000 clauses out of 84016 with flag 2489001/2523364
1787.15/914.34	c cleaning 42008 clauses out of 84015 with flag 2531000/2565363
1800.06/921.11	c starts		: 236
1800.06/921.11	c conflicts		: 2583958
1800.06/921.11	c decisions		: 2762943
1800.06/921.11	c propagations		: 15639913
1800.06/921.11	c inspects		: 3258471357
1800.06/921.11	c shortcuts		: 0
1800.06/921.11	c learnt literals	: 0
1800.06/921.11	c learnt binary clauses	: 0
1800.06/921.11	c learnt ternary clauses	: 0
1800.06/921.11	c learnt constraints	: 2583957
1800.06/921.11	c ignored constraints	: 0
1800.06/921.11	c root simplifications	: 0
1800.06/921.11	c removed literals (reason simplification)	: 35123071
1800.06/921.11	c reason swapping (by a shorter reason)	: 0
1800.06/921.11	c Calls to reduceDB	: 81
1800.06/921.11	c number of reductions to clauses (during analyze)	: 0
1800.06/921.11	c number of learned constraints concerned by reduction	: 0
1800.06/921.11	c number of learning phase by resolution	: 0
1800.06/921.11	c number of learning phase by cutting planes	: 0
1800.06/921.11	c speed (assignments/second)	: 17158.060163243812
1800.06/921.11	c non guided choices	0
1800.06/921.14	c learnt constraints type 
1800.06/921.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 60630
1800.06/921.14	c constraints type 
1800.06/921.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/921.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41605
1800.06/921.14	c constraints type 
1800.06/921.14	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 41605
1800.06/921.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.06/921.14	s SATISFIABLE
1800.06/921.14	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 
1800.06/921.14	c objective function=-33
1800.06/921.14	c Total wall clock time (in seconds): 921.013

Verifier Data 

OK	-33

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

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: 3.87 3.90 3.77 4/198 26352
/proc/meminfo: memFree=23746248/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/26352/stat : 26352 (java) R 26350 26352 23082 0 -1 4202496 79 0 0 0 0 0 0 0 20 0 1 0 334888100 278528 33 33554432000 1073741824 1073778376 140733760640432 140733760637608 223642479797 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26352/statm: 68 33 25 9 0 25 0

[startup+0.00961111 s]
/proc/loadavg: 3.87 3.90 3.77 4/198 26352
/proc/meminfo: memFree=23746248/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/26352/stat : 26352 (java) D 26350 26352 23082 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 334888100 2560000 46 33554432000 1073741824 1073778376 140735330499168 140735330496296 223642479911 0 0 4096 0 18446744072100588836 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 625 46 37 9 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2500

[startup+0.100219 s]
/proc/loadavg: 3.87 3.90 3.77 4/198 26352
/proc/meminfo: memFree=23746248/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 4479 0 1 0 6 1 0 0 20 0 18 0 334888100 11864465408 12842 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2896598 12842 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.300248 s]
/proc/loadavg: 3.87 3.90 3.77 4/198 26352
/proc/meminfo: memFree=23746248/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11586392 CPUtime=0.45 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 6437 0 1 0 43 2 0 0 20 0 18 0 334888100 11864465408 15869 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2896598 15869 2223 9 0 2887285 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 11586392

[startup+0.70024 s]
/proc/loadavg: 3.87 3.90 3.77 4/198 26352
/proc/meminfo: memFree=23746248/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 10009 0 1 0 103 6 0 0 20 0 19 0 334888100 12137111552 39612 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2963162 39612 2253 9 0 2953849 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 11852648

[startup+1.50077 s]
/proc/loadavg: 3.87 3.90 3.77 3/217 26374
/proc/meminfo: memFree=23596008/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11852648 CPUtime=2.11 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 16834 0 1 0 202 9 0 0 20 0 19 0 334888100 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2963162 45736 2259 9 0 2953849 0
[pid=26352/tid=26354] ppid=26350 vsize=11852648 CPUtime=0.54 cores=1,3,5,7
/proc/26352/task/26354/stat : 26354 (java) S 26350 26352 23082 0 -1 4202560 3427 0 1 0 51 3 0 0 20 0 19 0 334888102 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315192820888 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26355] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26355/stat : 26355 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888104 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315181882408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26356] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26356/stat : 26356 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888104 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315180829608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26357] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26357/stat : 26357 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888104 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315179776808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26358] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26358/stat : 26358 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888104 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315178724008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26359] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26359/stat : 26359 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888104 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315177671208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26360] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26360/stat : 26360 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888104 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315176618408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26361] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26361/stat : 26361 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888104 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315175565608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26362] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26362/stat : 26362 (java) S 26350 26352 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334888104 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315174512808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26363] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26363/stat : 26363 (java) S 26350 26352 23082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334888106 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315009162216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26364] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26364/stat : 26364 (java) S 26350 26352 23082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334888106 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315008108280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26365] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26365/stat : 26365 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334888106 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315173459464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26366] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26366/stat : 26366 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888108 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315007056528 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26367] ppid=26350 vsize=11852648 CPUtime=0.6 cores=1,3,5,7
/proc/26352/task/26367/stat : 26367 (java) S 26350 26352 23082 0 -1 4202560 8177 0 0 0 58 2 0 0 20 0 19 0 334888108 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315006003640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26368] ppid=26350 vsize=11852648 CPUtime=0.51 cores=1,3,5,7
/proc/26352/task/26368/stat : 26368 (java) S 26350 26352 23082 0 -1 4202560 3918 0 0 0 51 0 0 0 20 0 19 0 334888108 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315004950840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26369] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26369/stat : 26369 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888108 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315003898232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26370] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26370/stat : 26370 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334888108 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140315002845640 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26373] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26373/stat : 26373 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334888159 12137111552 45736 33554432000 1073741824 1073778376 140735330499168 140314999686568 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 11852648

[startup+3.10065 s]
/proc/loadavg: 3.87 3.90 3.77 8/220 26383
/proc/meminfo: memFree=23543312/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11852648 CPUtime=3.42 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 18101 0 1 0 326 16 0 0 20 0 22 0 334888100 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2963162 66476 2263 9 0 2953849 0
[pid=26352/tid=26354] ppid=26350 vsize=11852648 CPUtime=0.55 cores=1,3,5,7
/proc/26352/task/26354/stat : 26354 (java) S 26350 26352 23082 0 -1 4202560 3429 0 1 0 52 3 0 0 20 0 22 0 334888102 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315192820888 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26355] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26355/stat : 26355 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888104 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315181882408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26356] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26356/stat : 26356 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888104 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315180829608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26357] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26357/stat : 26357 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888104 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315179776808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26358] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26358/stat : 26358 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888104 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315178724008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26359] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26359/stat : 26359 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888104 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315177671208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26360] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26360/stat : 26360 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888104 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315176618408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26361] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26361/stat : 26361 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888104 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315175565608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26362] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26362/stat : 26362 (java) S 26350 26352 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334888104 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315174512808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26363] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26363/stat : 26363 (java) S 26350 26352 23082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315009162216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26364] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26364/stat : 26364 (java) S 26350 26352 23082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315008108280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26365] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26365/stat : 26365 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315173459464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26366] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26366/stat : 26366 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315007056528 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26367] ppid=26350 vsize=11852648 CPUtime=0.87 cores=1,3,5,7
/proc/26352/task/26367/stat : 26367 (java) S 26350 26352 23082 0 -1 4202560 8246 0 0 0 85 2 0 0 20 0 22 0 334888108 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315006003640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26368] ppid=26350 vsize=11852648 CPUtime=0.76 cores=1,3,5,7
/proc/26352/task/26368/stat : 26368 (java) S 26350 26352 23082 0 -1 4202560 5048 0 0 0 74 2 0 0 20 0 22 0 334888108 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315004950840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26369] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26369/stat : 26369 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315003898232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26370] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26370/stat : 26370 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140315002845640 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26373] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26373/stat : 26373 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334888159 12137111552 66476 33554432000 1073741824 1073778376 140735330499168 140314999686568 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 11852648

[startup+6.30088 s]
/proc/loadavg: 3.88 3.90 3.77 5/220 26389
/proc/meminfo: memFree=23096908/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11852648 CPUtime=9.85 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 19629 0 1 0 954 31 0 0 20 0 22 0 334888100 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2963162 177641 2291 9 0 2953849 0
[pid=26352/tid=26354] ppid=26350 vsize=11852648 CPUtime=0.55 cores=1,3,5,7
/proc/26352/task/26354/stat : 26354 (java) S 26350 26352 23082 0 -1 4202560 3429 0 1 0 52 3 0 0 20 0 22 0 334888102 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315192820888 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26355] ppid=26350 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/26352/task/26355/stat : 26355 (java) S 26350 26352 23082 0 -1 4202560 15 0 0 0 1 1 0 0 20 0 22 0 334888104 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315181882408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26356] ppid=26350 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/26352/task/26356/stat : 26356 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 334888104 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315180829608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26357] ppid=26350 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/26352/task/26357/stat : 26357 (java) S 26350 26352 23082 0 -1 4202560 17 0 0 0 1 1 0 0 20 0 22 0 334888104 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315179776808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26358] ppid=26350 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/26352/task/26358/stat : 26358 (java) S 26350 26352 23082 0 -1 4202560 22 0 0 0 1 2 0 0 20 0 22 0 334888104 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315178724008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26359] ppid=26350 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/26352/task/26359/stat : 26359 (java) S 26350 26352 23082 0 -1 4202560 29 0 0 0 1 1 0 0 20 0 22 0 334888104 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315177671208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26360] ppid=26350 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/26352/task/26360/stat : 26360 (java) S 26350 26352 23082 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 334888104 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315176618408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26361] ppid=26350 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/26352/task/26361/stat : 26361 (java) S 26350 26352 23082 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 334888104 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315175565608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26362] ppid=26350 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/26352/task/26362/stat : 26362 (java) S 26350 26352 23082 0 -1 4202560 17 0 0 0 0 2 0 0 20 0 22 0 334888104 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315174512808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26363] ppid=26350 vsize=11852648 CPUtime=0.27 cores=1,3,5,7
/proc/26352/task/26363/stat : 26363 (java) S 26350 26352 23082 0 -1 4202560 64 0 0 0 25 2 0 0 20 0 22 0 334888106 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315009162216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26364] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26364/stat : 26364 (java) S 26350 26352 23082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315008108280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26365] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26365/stat : 26365 (java) S 26350 26352 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315173459464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26366] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26366/stat : 26366 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315007056528 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26367] ppid=26350 vsize=11852648 CPUtime=0.94 cores=1,3,5,7
/proc/26352/task/26367/stat : 26367 (java) S 26350 26352 23082 0 -1 4202560 8250 0 0 0 92 2 0 0 20 0 22 0 334888108 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315006003640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26368] ppid=26350 vsize=11852648 CPUtime=0.92 cores=1,3,5,7
/proc/26352/task/26368/stat : 26368 (java) S 26350 26352 23082 0 -1 4202560 6218 0 0 0 90 2 0 0 20 0 22 0 334888108 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315004950840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26369] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26369/stat : 26369 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315003898232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26370] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26370/stat : 26370 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315002845640 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26373] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26373/stat : 26373 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334888159 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140314999686568 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26387] ppid=26350 vsize=11852648 CPUtime=2.83 cores=1,3,5,7
/proc/26352/task/26387/stat : 26387 (java) R 26350 26352 23082 0 -1 4202560 14 0 0 0 283 0 0 0 20 0 22 0 334888410 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315000738768 140315055576139 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26388] ppid=26350 vsize=11852648 CPUtime=2.81 cores=1,3,5,7
/proc/26352/task/26388/stat : 26388 (java) R 26350 26352 23082 0 -1 4202560 158 0 0 0 276 5 0 0 20 0 22 0 334888410 12137111552 177641 33554432000 1073741824 1073778376 140735330499168 140315001789504 140315055690209 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0

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

[pid=26352/tid=26390] ppid=26350 vsize=11852648 CPUtime=769.59 cores=1,3,5,7
/proc/26352/task/26390/stat : 26390 (java) R 26350 26352 23082 0 -1 4202560 48 0 0 0 76946 13 0 0 20 0 22 0 334889060 12137111552 818728 33554432000 1073741824 1073778376 140735330499168 140315001791056 140315055311010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26391] ppid=26350 vsize=11852648 CPUtime=769.55 cores=1,3,5,7
/proc/26352/task/26391/stat : 26391 (java) R 26350 26352 23082 0 -1 4202560 811 0 0 0 76916 39 0 0 20 0 22 0 334889060 12137111552 818728 33554432000 1073741824 1073778376 140735330499168 140314998630912 140315055681758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26392] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26392/stat : 26392 (java) S 26350 26352 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334889060 12137111552 818728 33554432000 1073741824 1073778376 140735330499168 140315000738856 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1607.17
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.95 3.97 3.90 5/219 26472
/proc/meminfo: memFree=21198076/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11852648 CPUtime=1723.86 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 22554 0 1 0 172254 132 0 0 20 0 22 0 334888100 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2963162 824979 2292 9 0 2953849 0
[pid=26352/tid=26354] ppid=26350 vsize=11852648 CPUtime=0.61 cores=1,3,5,7
/proc/26352/task/26354/stat : 26354 (java) S 26350 26352 23082 0 -1 4202560 3489 0 1 0 55 6 0 0 20 0 22 0 334888102 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315192820888 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26355] ppid=26350 vsize=11852648 CPUtime=1.62 cores=1,3,5,7
/proc/26352/task/26355/stat : 26355 (java) S 26350 26352 23082 0 -1 4202560 240 0 0 0 156 6 0 0 20 0 22 0 334888104 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315181882408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26356] ppid=26350 vsize=11852648 CPUtime=1.4 cores=1,3,5,7
/proc/26352/task/26356/stat : 26356 (java) S 26350 26352 23082 0 -1 4202560 200 0 0 0 135 5 0 0 20 0 22 0 334888104 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315180829608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26357] ppid=26350 vsize=11852648 CPUtime=1.73 cores=1,3,5,7
/proc/26352/task/26357/stat : 26357 (java) S 26350 26352 23082 0 -1 4202560 172 0 0 0 168 5 0 0 20 0 22 0 334888104 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315179776808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26358] ppid=26350 vsize=11852648 CPUtime=1.56 cores=1,3,5,7
/proc/26352/task/26358/stat : 26358 (java) S 26350 26352 23082 0 -1 4202560 211 0 0 0 152 4 0 0 20 0 22 0 334888104 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315178724008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26359] ppid=26350 vsize=11852648 CPUtime=1.78 cores=1,3,5,7
/proc/26352/task/26359/stat : 26359 (java) S 26350 26352 23082 0 -1 4202560 229 0 0 0 174 4 0 0 20 0 22 0 334888104 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315177671208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26360] ppid=26350 vsize=11852648 CPUtime=1.47 cores=1,3,5,7
/proc/26352/task/26360/stat : 26360 (java) S 26350 26352 23082 0 -1 4202560 213 0 0 0 144 3 0 0 20 0 22 0 334888104 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315176618408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26361] ppid=26350 vsize=11852648 CPUtime=1.62 cores=1,3,5,7
/proc/26352/task/26361/stat : 26361 (java) S 26350 26352 23082 0 -1 4202560 199 0 0 0 157 5 0 0 20 0 22 0 334888104 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315175565608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26362] ppid=26350 vsize=11852648 CPUtime=1.66 cores=1,3,5,7
/proc/26352/task/26362/stat : 26362 (java) S 26350 26352 23082 0 -1 4202560 204 0 0 0 161 5 0 0 20 0 22 0 334888104 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315174512808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26363] ppid=26350 vsize=11852648 CPUtime=44.16 cores=1,3,5,7
/proc/26352/task/26363/stat : 26363 (java) S 26350 26352 23082 0 -1 4202560 424 0 0 0 4401 15 0 0 20 0 22 0 334888106 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315009162216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26364] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26364/stat : 26364 (java) S 26350 26352 23082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315008108280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26365] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26365/stat : 26365 (java) S 26350 26352 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315173459464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26366] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26366/stat : 26366 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315007056528 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26367] ppid=26350 vsize=11852648 CPUtime=1.53 cores=1,3,5,7
/proc/26352/task/26367/stat : 26367 (java) S 26350 26352 23082 0 -1 4202560 8282 0 0 0 151 2 0 0 20 0 22 0 334888108 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315006003640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26368] ppid=26350 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/26352/task/26368/stat : 26368 (java) S 26350 26352 23082 0 -1 4202560 6223 0 0 0 113 2 0 0 20 0 22 0 334888108 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315004950840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26369] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26369/stat : 26369 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315003898232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26370] ppid=26350 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/26352/task/26370/stat : 26370 (java) S 26350 26352 23082 0 -1 4202560 51 0 0 0 17 27 0 0 20 0 22 0 334888108 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315002845640 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26373] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26373/stat : 26373 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334888159 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140314999686568 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26390] ppid=26350 vsize=11852648 CPUtime=825.55 cores=1,3,5,7
/proc/26352/task/26390/stat : 26390 (java) R 26350 26352 23082 0 -1 4202560 48 0 0 0 82541 14 0 0 20 0 22 0 334889060 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315001791056 140315055596448 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26391] ppid=26350 vsize=11852648 CPUtime=825.48 cores=1,3,5,7
/proc/26352/task/26391/stat : 26391 (java) R 26350 26352 23082 0 -1 4202560 815 0 0 0 82508 40 0 0 20 0 22 0 334889060 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140314998631056 140315055689920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26392] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26392/stat : 26392 (java) S 26350 26352 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334889060 12137111552 824979 33554432000 1073741824 1073778376 140735330499168 140315000738856 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1723.86
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+921.101 s]
/proc/loadavg: 3.97 3.97 3.91 5/219 26472
/proc/meminfo: memFree=20801572/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11852648 CPUtime=1800.06 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 22625 0 1 0 179873 133 0 0 20 0 22 0 334888100 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2963162 829643 2292 9 0 2953849 0
[pid=26352/tid=26354] ppid=26350 vsize=11852648 CPUtime=0.61 cores=1,3,5,7
/proc/26352/task/26354/stat : 26354 (java) S 26350 26352 23082 0 -1 4202560 3491 0 1 0 55 6 0 0 20 0 22 0 334888102 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315192820888 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26355] ppid=26350 vsize=11852648 CPUtime=1.71 cores=1,3,5,7
/proc/26352/task/26355/stat : 26355 (java) S 26350 26352 23082 0 -1 4202560 249 0 0 0 165 6 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315181882408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26356] ppid=26350 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/26352/task/26356/stat : 26356 (java) S 26350 26352 23082 0 -1 4202560 230 0 0 0 140 5 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315180829608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26357] ppid=26350 vsize=11852648 CPUtime=1.79 cores=1,3,5,7
/proc/26352/task/26357/stat : 26357 (java) S 26350 26352 23082 0 -1 4202560 182 0 0 0 174 5 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315179776808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26358] ppid=26350 vsize=11852648 CPUtime=1.63 cores=1,3,5,7
/proc/26352/task/26358/stat : 26358 (java) S 26350 26352 23082 0 -1 4202560 212 0 0 0 159 4 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315178724008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26359] ppid=26350 vsize=11852648 CPUtime=1.85 cores=1,3,5,7
/proc/26352/task/26359/stat : 26359 (java) S 26350 26352 23082 0 -1 4202560 232 0 0 0 181 4 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315177671208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26360] ppid=26350 vsize=11852648 CPUtime=1.53 cores=1,3,5,7
/proc/26352/task/26360/stat : 26360 (java) S 26350 26352 23082 0 -1 4202560 213 0 0 0 150 3 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315176618408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26361] ppid=26350 vsize=11852648 CPUtime=1.66 cores=1,3,5,7
/proc/26352/task/26361/stat : 26361 (java) S 26350 26352 23082 0 -1 4202560 202 0 0 0 161 5 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315175565608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26362] ppid=26350 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/26352/task/26362/stat : 26362 (java) S 26350 26352 23082 0 -1 4202560 204 0 0 0 165 5 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315174512808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26363] ppid=26350 vsize=11852648 CPUtime=45.8 cores=1,3,5,7
/proc/26352/task/26363/stat : 26363 (java) S 26350 26352 23082 0 -1 4202560 435 0 0 0 4564 16 0 0 20 0 22 0 334888106 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315009162216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26364] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26364/stat : 26364 (java) S 26350 26352 23082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315008108280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26365] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26365/stat : 26365 (java) S 26350 26352 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315173459464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26366] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26366/stat : 26366 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315007056528 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26367] ppid=26350 vsize=11852648 CPUtime=1.53 cores=1,3,5,7
/proc/26352/task/26367/stat : 26367 (java) S 26350 26352 23082 0 -1 4202560 8282 0 0 0 151 2 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315006003640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26368] ppid=26350 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/26352/task/26368/stat : 26368 (java) S 26350 26352 23082 0 -1 4202560 6223 0 0 0 113 2 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315004950840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26369] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26369/stat : 26369 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315003898232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26370] ppid=26350 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/26352/task/26370/stat : 26370 (java) S 26350 26352 23082 0 -1 4202560 53 0 0 0 18 27 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315002845640 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26373] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26373/stat : 26373 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334888159 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140314999686568 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26390] ppid=26350 vsize=11852648 CPUtime=862.6 cores=1,3,5,7
/proc/26352/task/26390/stat : 26390 (java) R 26350 26352 23082 0 -1 4202560 48 0 0 0 86245 15 0 0 20 0 22 0 334889060 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315001791056 140315055525991 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26391] ppid=26350 vsize=11852648 CPUtime=862.51 cores=1,3,5,7
/proc/26352/task/26391/stat : 26391 (java) R 26350 26352 23082 0 -1 4202560 815 0 0 0 86210 41 0 0 20 0 22 0 334889060 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140314998631056 140315055905680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26392] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26392/stat : 26392 (java) S 26350 26352 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334889060 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315000738856 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 11852648

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

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

[startup+921.101 s]
/proc/loadavg: 3.97 3.97 3.91 5/219 26472
/proc/meminfo: memFree=20801572/32873844 swapFree=7628/7628
[pid=26352] ppid=26350 vsize=11852648 CPUtime=1800.06 cores=1,3,5,7
/proc/26352/stat : 26352 (java) S 26350 26352 23082 0 -1 4202496 22625 0 1 0 179873 133 0 0 20 0 22 0 334888100 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140735330490304 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26352/statm: 2963162 829643 2292 9 0 2953849 0
[pid=26352/tid=26354] ppid=26350 vsize=11852648 CPUtime=0.61 cores=1,3,5,7
/proc/26352/task/26354/stat : 26354 (java) S 26350 26352 23082 0 -1 4202560 3491 0 1 0 55 6 0 0 20 0 22 0 334888102 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315192820888 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26355] ppid=26350 vsize=11852648 CPUtime=1.71 cores=1,3,5,7
/proc/26352/task/26355/stat : 26355 (java) S 26350 26352 23082 0 -1 4202560 249 0 0 0 165 6 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315181882408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26356] ppid=26350 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/26352/task/26356/stat : 26356 (java) S 26350 26352 23082 0 -1 4202560 230 0 0 0 140 5 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315180829608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26357] ppid=26350 vsize=11852648 CPUtime=1.79 cores=1,3,5,7
/proc/26352/task/26357/stat : 26357 (java) S 26350 26352 23082 0 -1 4202560 182 0 0 0 174 5 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315179776808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26358] ppid=26350 vsize=11852648 CPUtime=1.63 cores=1,3,5,7
/proc/26352/task/26358/stat : 26358 (java) S 26350 26352 23082 0 -1 4202560 212 0 0 0 159 4 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315178724008 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26359] ppid=26350 vsize=11852648 CPUtime=1.85 cores=1,3,5,7
/proc/26352/task/26359/stat : 26359 (java) S 26350 26352 23082 0 -1 4202560 232 0 0 0 181 4 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315177671208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26360] ppid=26350 vsize=11852648 CPUtime=1.53 cores=1,3,5,7
/proc/26352/task/26360/stat : 26360 (java) S 26350 26352 23082 0 -1 4202560 213 0 0 0 150 3 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315176618408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26361] ppid=26350 vsize=11852648 CPUtime=1.66 cores=1,3,5,7
/proc/26352/task/26361/stat : 26361 (java) S 26350 26352 23082 0 -1 4202560 202 0 0 0 161 5 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315175565608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26362] ppid=26350 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/26352/task/26362/stat : 26362 (java) S 26350 26352 23082 0 -1 4202560 204 0 0 0 165 5 0 0 20 0 22 0 334888104 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315174512808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26363] ppid=26350 vsize=11852648 CPUtime=45.8 cores=1,3,5,7
/proc/26352/task/26363/stat : 26363 (java) S 26350 26352 23082 0 -1 4202560 435 0 0 0 4564 16 0 0 20 0 22 0 334888106 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315009162216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26364] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26364/stat : 26364 (java) S 26350 26352 23082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315008108280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26365] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26365/stat : 26365 (java) S 26350 26352 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334888106 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315173459464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26366] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26366/stat : 26366 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315007056528 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26367] ppid=26350 vsize=11852648 CPUtime=1.53 cores=1,3,5,7
/proc/26352/task/26367/stat : 26367 (java) S 26350 26352 23082 0 -1 4202560 8282 0 0 0 151 2 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315006003640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26368] ppid=26350 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/26352/task/26368/stat : 26368 (java) S 26350 26352 23082 0 -1 4202560 6223 0 0 0 113 2 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315004950840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26369] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26369/stat : 26369 (java) S 26350 26352 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315003898232 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26352/tid=26370] ppid=26350 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/26352/task/26370/stat : 26370 (java) S 26350 26352 23082 0 -1 4202560 53 0 0 0 18 27 0 0 20 0 22 0 334888108 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315002845640 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26373] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26373/stat : 26373 (java) S 26350 26352 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334888159 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140314999686568 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26352/tid=26390] ppid=26350 vsize=11852648 CPUtime=862.6 cores=1,3,5,7
/proc/26352/task/26390/stat : 26390 (java) R 26350 26352 23082 0 -1 4202560 48 0 0 0 86245 15 0 0 20 0 22 0 334889060 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315001791056 140315055525991 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26352/tid=26391] ppid=26350 vsize=11852648 CPUtime=862.51 cores=1,3,5,7
/proc/26352/task/26391/stat : 26391 (java) R 26350 26352 23082 0 -1 4202560 815 0 0 0 86210 41 0 0 20 0 22 0 334889060 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140314998631056 140315055905680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26352/tid=26392] ppid=26350 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/26352/task/26392/stat : 26392 (java) S 26350 26352 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334889060 12137111552 829643 33554432000 1073741824 1073778376 140735330499168 140315000738856 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 11852648

Child status: 143
Real time (s): 921.164
CPU time (s): 1800.61
CPU user time (s): 1798.8
CPU system time (s): 1.81472
CPU usage (%): 195.471
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.81472
maximum resident set size= 3318700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22658
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24052
involuntary context switches= 27318

runsolver used 3.40048 second user time and 9.32558 second system time

The end

Launcher Data 

Begin job on node144 at 2012-06-03 03:40:32
IDJOB=3733085
IDBENCH=2244
IDSOLVER=2328
FILE ID=node144/3733085-1338687632
RUNJOBID= node144-1338678623-23102
PBS_JOBID= 14636669
Free space on /tmp= 70836 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733085-1338687632/watcher-3733085-1338687632 -o /tmp/evaluation-result-3733085-1338687632/solver-3733085-1338687632 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733085-1338687632.opb

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

MD5SUM BENCH= 7262f9f4ab1a3ada75b3b140acf97f7d
RANDOM SEED=237664440

node144.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.196
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.39
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.196
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.196
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	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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.196
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.90
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.196
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.92
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.196
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.196
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:        23746256 kB
Buffers:          627880 kB
Cached:          3625164 kB
SwapCached:          464 kB
Active:          6388480 kB
Inactive:        1865812 kB
Active(anon):    3983856 kB
Inactive(anon):    11192 kB
Active(file):    2404624 kB
Inactive(file):  1854620 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108384 kB
Dirty:               932 kB
Writeback:             0 kB
AnonPages:       3999304 kB
Mapped:            22536 kB
Shmem:               172 kB
Slab:             725464 kB
SReclaimable:     167444 kB
SUnreclaim:       558020 kB
KernelStack:        1640 kB
PageTables:        11764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10459096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3956736 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= 70836 MiB
End job on node144 at 2012-06-03 03:55:55