Trace number 3459069

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
Sat4j Resolution 2.3.0SAT (TO)-43 1800.21 1794.03

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
MD5SUMb94d4317cfb468b1c3dd3d790ff99d4d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-46
Best CPU time to get the best result obtained on this benchmark1797.42
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94289
Number of constraints which are clauses94289
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 1272
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 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.1.v20110525
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		12995394264
0.01/0.09	c Max memory 		13063553024
0.01/0.09	c Total memory 		13063553024
0.01/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3459069-1307148732.opb
0.11/0.11	c reading problem ... 
0.99/0.74	c ... done. Wall clock time 0.631s.
0.99/0.74	c #vars     1272
0.99/0.74	c #constraints  94289
0.99/0.74	c constraints type 
0.99/0.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 94289
0.99/0.77	c SATISFIABLE
0.99/0.77	c OPTIMIZING...
0.99/0.77	c Got one! Elapsed wall clock time (in seconds):0.66
0.99/0.77	o -39
1.39/1.00	c Got one! Elapsed wall clock time (in seconds):0.888
1.39/1.00	o -40
2.79/2.26	c Got one! Elapsed wall clock time (in seconds):2.147
2.79/2.26	o -41
3.09/2.57	c cleaning 3148 clauses out of 6296 with flag 1000/6296
4.86/4.20	c cleaning 4575 clauses out of 9149 with flag 7001/12297
5.18/4.51	c Got one! Elapsed wall clock time (in seconds):4.4
5.18/4.51	o -42
6.53/5.81	c cleaning 5250 clauses out of 10507 with flag 5000/18230
8.14/7.43	c cleaning 5616 clauses out of 11257 with flag 11000/24230
10.30/9.52	c cleaning 6321 clauses out of 12641 with flag 18000/31230
12.61/11.81	c cleaning 7159 clauses out of 14320 with flag 26000/39230
15.32/14.55	c cleaning 8075 clauses out of 16161 with flag 35000/48230
18.23/17.45	c cleaning 9038 clauses out of 18086 with flag 45000/58230
21.64/20.89	c cleaning 10010 clauses out of 20048 with flag 56000/69230
25.45/24.62	c cleaning 11007 clauses out of 22038 with flag 68000/81230
29.66/28.80	c cleaning 12012 clauses out of 24031 with flag 81000/94230
34.47/33.62	c cleaning 13009 clauses out of 26019 with flag 95000/108230
39.09/38.22	c cleaning 14002 clauses out of 28010 with flag 110000/123230
44.20/43.39	c cleaning 15001 clauses out of 30009 with flag 126001/139231
50.22/49.37	c cleaning 16002 clauses out of 32007 with flag 143000/156230
57.24/56.36	c cleaning 17003 clauses out of 34005 with flag 161000/174230
63.27/62.37	c cleaning 18000 clauses out of 36002 with flag 180000/193230
70.39/69.45	c cleaning 18991 clauses out of 38002 with flag 200000/213230
78.42/77.45	c cleaning 20003 clauses out of 40011 with flag 221000/234230
87.33/86.32	c cleaning 20999 clauses out of 42008 with flag 243000/256230
94.85/93.80	c cleaning 22003 clauses out of 44010 with flag 266001/279231
103.19/102.17	c cleaning 22992 clauses out of 46006 with flag 290000/303230
112.32/111.26	c cleaning 24008 clauses out of 48015 with flag 315001/328231
122.45/121.31	c cleaning 24996 clauses out of 50006 with flag 341000/354230
134.41/133.29	c cleaning 25997 clauses out of 52010 with flag 368000/381230
144.03/142.86	c cleaning 26986 clauses out of 54013 with flag 396000/409230
154.39/153.16	c cleaning 28005 clauses out of 56027 with flag 425000/438230
165.92/164.65	c cleaning 29011 clauses out of 58022 with flag 455000/468230
177.84/176.56	c cleaning 29998 clauses out of 60012 with flag 486001/499231
191.07/189.71	c cleaning 31003 clauses out of 62013 with flag 518000/531230
206.19/204.86	c cleaning 32001 clauses out of 64010 with flag 551000/564230
220.73/219.38	c cleaning 33000 clauses out of 66010 with flag 585001/598231
233.27/231.85	c cleaning 33996 clauses out of 68009 with flag 620000/633230
248.12/246.64	c cleaning 34993 clauses out of 70013 with flag 656000/669230
263.57/262.08	c cleaning 36009 clauses out of 72020 with flag 693000/706230
278.81/277.23	c cleaning 36999 clauses out of 74011 with flag 731000/744230
300.74/299.21	c cleaning 37995 clauses out of 76012 with flag 770000/783230
320.33/318.60	c cleaning 39004 clauses out of 78017 with flag 810000/823230
340.87/339.19	c cleaning 39998 clauses out of 80013 with flag 851000/864230
357.12/355.31	c cleaning 41000 clauses out of 82017 with flag 893002/906232
373.79/371.99	c cleaning 42005 clauses out of 84015 with flag 936000/949230
386.77/384.85	c Got one! Elapsed wall clock time (in seconds):384.745
386.77/384.85	o -43
388.80/386.82	c cleaning 40594 clauses out of 81219 with flag 5001/988439
391.04/389.09	c cleaning 23303 clauses out of 46624 with flag 11000/994438
393.55/391.60	c cleaning 15152 clauses out of 30322 with flag 18001/1001439
396.45/394.48	c cleaning 11570 clauses out of 23170 with flag 26001/1009439
399.85/397.83	c cleaning 10283 clauses out of 20599 with flag 35000/1018438
403.46/401.51	c cleaning 10146 clauses out of 20316 with flag 45000/1028438
407.38/405.36	c cleaning 10579 clauses out of 21170 with flag 56000/1039438
411.69/409.68	c cleaning 11286 clauses out of 22591 with flag 68000/1051438
417.29/415.28	c cleaning 12154 clauses out of 24308 with flag 81003/1064441
422.80/420.75	c cleaning 13072 clauses out of 26151 with flag 95000/1078438
428.61/426.59	c cleaning 14030 clauses out of 28079 with flag 110000/1093438
434.34/432.25	c cleaning 15022 clauses out of 30049 with flag 126000/1109438
441.14/439.09	c cleaning 16001 clauses out of 32027 with flag 143000/1126438
448.67/446.59	c cleaning 17013 clauses out of 34029 with flag 161003/1144441
457.61/455.46	c cleaning 18006 clauses out of 36013 with flag 180000/1163438
467.22/465.00	c cleaning 18999 clauses out of 38007 with flag 200000/1183438
474.74/472.58	c cleaning 20000 clauses out of 40009 with flag 221001/1204439
483.77/481.50	c cleaning 20999 clauses out of 42009 with flag 243001/1226439
493.60/491.36	c cleaning 22005 clauses out of 44009 with flag 266000/1249438
504.24/501.94	c cleaning 22996 clauses out of 46004 with flag 290000/1273438
515.35/513.01	c cleaning 23994 clauses out of 48009 with flag 315001/1298439
527.17/524.85	c cleaning 25003 clauses out of 50014 with flag 341000/1324438
537.19/534.83	c cleaning 26006 clauses out of 52011 with flag 368000/1351438
546.84/544.47	c cleaning 26997 clauses out of 54005 with flag 396000/1379438
557.58/555.16	c cleaning 27997 clauses out of 56009 with flag 425001/1408439
568.94/566.50	c cleaning 29003 clauses out of 58011 with flag 455000/1438438
582.18/579.66	c cleaning 29995 clauses out of 60008 with flag 486000/1469438
596.62/594.09	c cleaning 31000 clauses out of 62014 with flag 518001/1501439
611.16/608.59	c cleaning 32000 clauses out of 64013 with flag 551000/1534438
625.60/622.92	c cleaning 33000 clauses out of 66013 with flag 585000/1568438
641.56/638.85	c cleaning 34003 clauses out of 68013 with flag 620000/1603438
657.90/655.13	c cleaning 35001 clauses out of 70012 with flag 656002/1639440
673.76/670.91	c cleaning 35996 clauses out of 72009 with flag 693000/1676438
691.12/688.24	c cleaning 37003 clauses out of 74013 with flag 731000/1714438
710.65/707.70	c cleaning 37997 clauses out of 76010 with flag 770000/1753438
727.93/724.93	c cleaning 38998 clauses out of 78014 with flag 810001/1793439
747.37/744.31	c cleaning 39997 clauses out of 80015 with flag 851000/1834438
767.06/763.91	c cleaning 41000 clauses out of 82018 with flag 893000/1876438
789.39/786.23	c cleaning 42005 clauses out of 84018 with flag 936000/1919438
814.73/811.51	c cleaning 43006 clauses out of 86013 with flag 980000/1963438
835.61/832.32	c cleaning 44004 clauses out of 88008 with flag 1025001/2008439
851.61/848.29	c cleaning 44994 clauses out of 90003 with flag 1071000/2054438
869.85/866.48	c cleaning 46004 clauses out of 92010 with flag 1118001/2101439
890.53/887.07	c cleaning 46995 clauses out of 94005 with flag 1166000/2149438
913.21/909.66	c cleaning 48005 clauses out of 96011 with flag 1215001/2198439
936.50/932.85	c cleaning 49001 clauses out of 98005 with flag 1265000/2248438
961.47/957.77	c cleaning 49998 clauses out of 100004 with flag 1316000/2299438
986.97/983.12	c cleaning 50998 clauses out of 102006 with flag 1368000/2351438
1015.54/1011.69	c cleaning 52005 clauses out of 104010 with flag 1421002/2404440
1045.12/1041.13	c cleaning 53002 clauses out of 106004 with flag 1475001/2458439
1072.87/1068.80	c cleaning 53996 clauses out of 108002 with flag 1530001/2513439
1103.44/1099.36	c cleaning 55003 clauses out of 110006 with flag 1586001/2569439
1135.74/1131.60	c cleaning 55992 clauses out of 112002 with flag 1643000/2626438
1168.42/1164.17	c cleaning 56999 clauses out of 114010 with flag 1701000/2684438
1201.92/1197.57	c cleaning 58006 clauses out of 116012 with flag 1760001/2743439
1235.83/1231.38	c cleaning 59000 clauses out of 118005 with flag 1820000/2803438
1273.91/1269.31	c cleaning 60002 clauses out of 120005 with flag 1881000/2864438
1313.78/1309.14	c cleaning 60995 clauses out of 122004 with flag 1943001/2926439
1353.19/1348.45	c cleaning 62004 clauses out of 124008 with flag 2006000/2989438
1378.83/1373.99	c cleaning 63000 clauses out of 126006 with flag 2070002/3053440
1406.59/1401.66	c cleaning 63998 clauses out of 128005 with flag 2135001/3118439
1438.86/1433.81	c cleaning 64998 clauses out of 130006 with flag 2201000/3184438
1468.58/1463.48	c cleaning 65994 clauses out of 132008 with flag 2268000/3251438
1499.84/1494.65	c cleaning 67000 clauses out of 134014 with flag 2336000/3319438
1535.22/1529.96	c cleaning 67998 clauses out of 136015 with flag 2405001/3388439
1572.56/1567.19	c cleaning 68999 clauses out of 138017 with flag 2475001/3458439
1614.87/1609.37	c cleaning 69996 clauses out of 140017 with flag 2546000/3529438
1659.16/1653.54	c cleaning 71011 clauses out of 142022 with flag 2618001/3601439
1700.38/1694.68	c cleaning 72005 clauses out of 144010 with flag 2691000/3674438
1742.69/1736.91	c cleaning 72998 clauses out of 146005 with flag 2765000/3748438
1787.27/1781.21	c cleaning 74002 clauses out of 148007 with flag 2840000/3823438
1800.03/1793.92	c starts		: 257
1800.03/1793.92	c conflicts		: 3847817
1800.03/1793.92	c decisions		: 4146837
1800.03/1793.92	c propagations		: 23199458
1800.03/1793.92	c inspects		: 5665339427
1800.03/1793.92	c shortcuts		: 0
1800.03/1793.92	c learnt literals	: 0
1800.03/1793.92	c learnt binary clauses	: 0
1800.03/1793.92	c learnt ternary clauses	: 0
1800.03/1793.92	c learnt constraints	: 3847817
1800.03/1793.92	c ignored constraints	: 0
1800.03/1793.92	c root simplifications	: 0
1800.03/1793.92	c removed literals (reason simplification)	: 50561232
1800.03/1793.92	c reason swapping (by a shorter reason)	: 0
1800.03/1793.92	c Calls to reduceDB	: 112
1800.03/1793.92	c number of reductions to clauses (during analyze)	: 0
1800.03/1793.92	c number of learned constraints concerned by reduction	: 0
1800.03/1793.92	c number of learning phase by resolution	: 0
1800.03/1793.92	c number of learning phase by cutting planes	: 0
1800.03/1793.92	c speed (assignments/second)	: 16464.531243235724
1800.03/1793.92	c non guided choices	0
1800.03/1793.94	c learnt constraints type 
1800.03/1793.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 98420
1800.03/1793.94	c constraints type 
1800.03/1793.94	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.03/1793.94	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 94289
1800.03/1793.94	s SATISFIABLE
1800.03/1793.95	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 
1800.03/1793.95	c objective function=-43
1800.03/1793.95	c Total wall clock time (in seconds): 1793.84

Verifier Data 

OK	-43

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3459069-1307148732/watcher-3459069-1307148732 -o /tmp/evaluation-result-3459069-1307148732/solver-3459069-1307148732 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459069-1307148732.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: 2.02 2.06 2.03 4/403 4411
/proc/meminfo: memFree=23682568/32951124 swapFree=49244120/67111528
[pid=4411] ppid=4409 vsize=30536 CPUtime=0 cores=0,2,4,6
/proc/4411/stat : 4411 (java) S 4409 4411 31984 0 -1 4202496 1243 0 0 0 0 0 0 0 18 0 2 0 826475992 31268864 962 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/4411/statm: 7634 963 736 9 0 385 0
[pid=4411/tid=4412] ppid=4409 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4412/stat : 4412 (java) R 4409 4411 31984 0 -1 4202560 4284 0 1 0 0 0 0 0 19 0 2 0 826475992 13850947584 5100 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 0 0 0 0

[startup+0.023148 s]
/proc/loadavg: 2.02 2.06 2.03 4/403 4411
/proc/meminfo: memFree=23682568/32951124 swapFree=49244120/67111528
[pid=4411] ppid=4409 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/4411/stat : 4411 (java) S 4409 4411 31984 0 -1 4202496 10676 0 1 0 0 1 0 0 18 0 2 0 826475992 13850947584 10377 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/4411/statm: 3381579 10396 917 9 0 3372735 0
[pid=4411/tid=4412] ppid=4409 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/4411/task/4412/stat : 4412 (java) R 4409 4411 31984 0 -1 4202560 9594 0 1 0 0 1 0 0 19 0 2 0 826475992 13850947584 10410 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13526316

[startup+0.107172 s]
/proc/loadavg: 2.02 2.06 2.03 4/403 4411
/proc/meminfo: memFree=23682568/32951124 swapFree=49244120/67111528
[pid=4411] ppid=4409 vsize=13622252 CPUtime=0.11 cores=0,2,4,6
/proc/4411/stat : 4411 (java) S 4409 4411 31984 0 -1 4202496 15643 0 1 0 9 2 0 0 18 0 18 0 826475992 13949186048 15303 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4411/statm: 3405563 15303 2093 9 0 3396297 0
[pid=4411/tid=4412] ppid=4409 vsize=13622252 CPUtime=0.09 cores=0,2,4,6
/proc/4411/task/4412/stat : 4412 (java) R 4409 4411 31984 0 -1 4202560 13710 0 1 0 8 1 0 0 18 0 18 0 826475992 13949186048 15303 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622252

[startup+0.344119 s]
/proc/loadavg: 2.02 2.06 2.03 4/403 4411
/proc/meminfo: memFree=23682568/32951124 swapFree=49244120/67111528
[pid=4411] ppid=4409 vsize=13624152 CPUtime=0.57 cores=0,2,4,6
/proc/4411/stat : 4411 (java) S 4409 4411 31984 0 -1 4202496 19425 0 1 0 55 2 0 0 18 0 18 0 826475992 13951131648 18826 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4411/statm: 3406038 18827 2205 9 0 3396772 0
[pid=4411/tid=4412] ppid=4409 vsize=13624152 CPUtime=0.32 cores=0,2,4,6
/proc/4411/task/4412/stat : 4412 (java) R 4409 4411 31984 0 -1 4202560 16329 0 1 0 30 2 0 0 18 0 18 0 826475992 13951131648 18827 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 46912505607266 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 13624152

[startup+0.70104 s]
/proc/loadavg: 2.02 2.06 2.03 4/403 4411
/proc/meminfo: memFree=23682568/32951124 swapFree=49244120/67111528
[pid=4411] ppid=4409 vsize=13624152 CPUtime=0.99 cores=0,2,4,6
/proc/4411/stat : 4411 (java) S 4409 4411 31984 0 -1 4202496 52914 0 1 0 92 7 0 0 18 0 18 0 826475992 13951131648 51581 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4411/statm: 3406038 51586 2211 9 0 3396772 0
[pid=4411/tid=4412] ppid=4409 vsize=13624152 CPUtime=0.68 cores=0,2,4,6
/proc/4411/task/4412/stat : 4412 (java) R 4409 4411 31984 0 -1 4202560 48317 0 1 0 62 6 0 0 18 0 18 0 826475992 13951131648 51588 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 46912505637176 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 13624152

[startup+1.50085 s]
/proc/loadavg: 2.18 2.09 2.04 3/423 4431
/proc/meminfo: memFree=23296584/32951124 swapFree=49244120/67111528
[pid=4411] ppid=4409 vsize=13627804 CPUtime=2.05 cores=0,2,4,6
/proc/4411/stat : 4411 (java) S 4409 4411 31984 0 -1 4202496 61345 0 1 0 197 8 0 0 18 0 19 0 826475992 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4411/statm: 3406951 59684 2231 9 0 3397685 0
[pid=4411/tid=4412] ppid=4409 vsize=13627804 CPUtime=1.47 cores=0,2,4,6
/proc/4411/task/4412/stat : 4412 (java) R 4409 4411 31984 0 -1 4202560 55644 0 1 0 140 7 0 0 20 0 19 0 826475992 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 46912505769370 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4411/tid=4414] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4414/stat : 4414 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826475994 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4415] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4415/stat : 4415 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826475994 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4416] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4416/stat : 4416 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826475994 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4417] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4417/stat : 4417 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826475994 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4418] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4418/stat : 4418 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826475994 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4419] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4419/stat : 4419 (java) S 4409 4411 31984 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 826475994 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4420] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4420/stat : 4420 (java) S 4409 4411 31984 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 826475994 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4421] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4421/stat : 4421 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826475994 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4422] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4422/stat : 4422 (java) S 4409 4411 31984 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826475995 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 0 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4423] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4423/stat : 4423 (java) S 4409 4411 31984 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 826475996 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4424] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4424/stat : 4424 (java) S 4409 4411 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826475996 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4425] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4425/stat : 4425 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826475998 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382780849 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4426] ppid=4409 vsize=13627804 CPUtime=0.3 cores=0,2,4,6
/proc/4411/task/4426/stat : 4426 (java) S 4409 4411 31984 0 -1 4202560 3001 0 0 0 30 0 0 0 15 0 19 0 826475998 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4427] ppid=4409 vsize=13627804 CPUtime=0.26 cores=0,2,4,6
/proc/4411/task/4427/stat : 4427 (java) S 4409 4411 31984 0 -1 4202560 1537 0 0 0 26 0 0 0 15 0 19 0 826475998 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4428] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4428/stat : 4428 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826475998 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4429] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4429/stat : 4429 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826475998 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4431] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4431/stat : 4431 (java) S 4409 4411 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826476068 13954871296 59684 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 13627804

[startup+3.10063 s]
/proc/loadavg: 2.18 2.09 2.04 4/423 4431
/proc/meminfo: memFree=23252552/32951124 swapFree=49244120/67111528
[pid=4411] ppid=4409 vsize=13627804 CPUtime=3.73 cores=0,2,4,6
/proc/4411/stat : 4411 (java) S 4409 4411 31984 0 -1 4202496 77554 0 1 0 364 9 0 0 18 0 19 0 826475992 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4411/statm: 3406951 75889 2260 9 0 3397685 0
[pid=4411/tid=4412] ppid=4409 vsize=13627804 CPUtime=3 cores=0,2,4,6
/proc/4411/task/4412/stat : 4412 (java) R 4409 4411 31984 0 -1 4202560 60798 0 1 0 293 7 0 0 23 0 19 0 826475992 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 46912505747197 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4411/tid=4414] ppid=4409 vsize=13627804 CPUtime=0.01 cores=0,2,4,6
/proc/4411/task/4414/stat : 4414 (java) S 4409 4411 31984 0 -1 4202560 2485 0 0 0 1 0 0 0 18 0 19 0 826475994 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4415] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4415/stat : 4415 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826475994 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4416] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4416/stat : 4416 (java) S 4409 4411 31984 0 -1 4202560 239 0 0 0 0 0 0 0 18 0 19 0 826475994 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4417] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4417/stat : 4417 (java) S 4409 4411 31984 0 -1 4202560 264 0 0 0 0 0 0 0 18 0 19 0 826475994 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4418] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4418/stat : 4418 (java) S 4409 4411 31984 0 -1 4202560 1387 0 0 0 0 0 0 0 18 0 19 0 826475994 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4419] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4419/stat : 4419 (java) S 4409 4411 31984 0 -1 4202560 1332 0 0 0 0 0 0 0 18 0 19 0 826475994 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4420] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4420/stat : 4420 (java) S 4409 4411 31984 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 826475994 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4421] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4421/stat : 4421 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826475994 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4422] ppid=4409 vsize=13627804 CPUtime=0.03 cores=0,2,4,6
/proc/4411/task/4422/stat : 4422 (java) S 4409 4411 31984 0 -1 4202560 5294 0 0 0 3 0 0 0 15 0 19 0 826475995 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 0 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4423] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4423/stat : 4423 (java) S 4409 4411 31984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826475996 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4424] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4424/stat : 4424 (java) S 4409 4411 31984 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826475996 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4425] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4425/stat : 4425 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826475998 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382780849 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4426] ppid=4409 vsize=13627804 CPUtime=0.32 cores=0,2,4,6
/proc/4411/task/4426/stat : 4426 (java) S 4409 4411 31984 0 -1 4202560 3009 0 0 0 32 0 0 0 16 0 19 0 826475998 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4427] ppid=4409 vsize=13627804 CPUtime=0.32 cores=0,2,4,6
/proc/4411/task/4427/stat : 4427 (java) S 4409 4411 31984 0 -1 4202560 1591 0 0 0 32 0 0 0 15 0 19 0 826475998 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4428] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4428/stat : 4428 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826475998 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4429] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4429/stat : 4429 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826475998 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4431] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4431/stat : 4431 (java) S 4409 4411 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826476068 13954871296 75889 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 13627804

[startup+6.30103 s]
/proc/loadavg: 2.17 2.09 2.04 3/423 4431
/proc/meminfo: memFree=23049192/32951124 swapFree=49244120/67111528
[pid=4411] ppid=4409 vsize=13627804 CPUtime=7.04 cores=0,2,4,6
/proc/4411/stat : 4411 (java) S 4409 4411 31984 0 -1 4202496 93023 0 1 0 692 12 0 0 18 0 19 0 826475992 13954871296 91085 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4411/statm: 3406951 91085 2260 9 0 3397685 0
[pid=4411/tid=4412] ppid=4409 vsize=13627804 CPUtime=6.11 cores=0,2,4,6
/proc/4411/task/4412/stat : 4412 (java) R 4409 4411 31984 0 -1 4202560 60801 0 1 0 604 7 0 0 21 0 19 0 826475992 13954871296 91085 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 46912505747072 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4411/tid=4414] ppid=4409 vsize=13627804 CPUtime=0.01 cores=0,2,4,6
/proc/4411/task/4414/stat : 4414 (java) S 4409 4411 31984 0 -1 4202560 2485 0 0 0 1 0 0 0 15 0 19 0 826475994 13954871296 91085 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4415] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4415/stat : 4415 (java) S 4409 4411 31984 0 -1 4202560 2597 0 0 0 0 0 0 0 18 0 19 0 826475994 13954871296 91085 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4416] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4416/stat : 4416 (java) S 4409 4411 31984 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 19 0 826475994 13954871296 91085 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4417] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4417/stat : 4417 (java) S 4409 4411 31984 0 -1 4202560 905 0 0 0 0 0 0 0 16 0 19 0 826475994 13954871296 91085 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4418] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4418/stat : 4418 (java) S 4409 4411 31984 0 -1 4202560 3047 0 0 0 0 0 0 0 17 0 19 0 826475994 13954871296 91085 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4419] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4419/stat : 4419 (java) S 4409 4411 31984 0 -1 4202560 1332 0 0 0 0 0 0 0 15 0 19 0 826475994 13954871296 91085 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4420] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4420/stat : 4420 (java) S 4409 4411 31984 0 -1 4202560 597 0 0 0 0 0 0 0 16 0 19 0 826475994 13954871296 91085 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4421] ppid=4409 vsize=13627804 CPUtime=0.01 cores=0,2,4,6
/proc/4411/task/4421/stat : 4421 (java) S 4409 4411 31984 0 -1 4202560 3359 0 0 0 1 0 0 0 15 0 19 0 826475994 13954871296 91085 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4422] ppid=4409 vsize=13627804 CPUtime=0.1 cores=0,2,4,6
/proc/4411/task/4422/stat : 4422 (java) S 4409 4411 31984 0 -1 4202560 11891 0 0 0 9 1 0 0 15 0 19 0 826475995 13954871296 91085 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 0 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4423] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4423/stat : 4423 (java) S 4409 4411 31984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826475996 13954871296 91085 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4424] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4424/stat : 4424 (java) S 4409 4411 31984 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826475996 13954871296 91085 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4425] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4425/stat : 4425 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826475998 13954871296 91085 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382780849 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4426] ppid=4409 vsize=13627804 CPUtime=0.36 cores=0,2,4,6
/proc/4411/task/4426/stat : 4426 (java) S 4409 4411 31984 0 -1 4202560 3016 0 0 0 36 0 0 0 16 0 19 0 826475998 13954871296 91085 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4427] ppid=4409 vsize=13627804 CPUtime=0.36 cores=0,2,4,6
/proc/4411/task/4427/stat : 4427 (java) S 4409 4411 31984 0 -1 4202560 1603 0 0 0 36 0 0 0 15 0 19 0 826475998 13954871296 91085 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0

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

/proc/4411/task/4423/stat : 4423 (java) S 4409 4411 31984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826475996 13954871296 376851 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4424] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4424/stat : 4424 (java) S 4409 4411 31984 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826475996 13954871296 376851 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4425] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4425/stat : 4425 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826475998 13954871296 376851 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382780849 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4426] ppid=4409 vsize=13627804 CPUtime=0.38 cores=0,2,4,6
/proc/4411/task/4426/stat : 4426 (java) S 4409 4411 31984 0 -1 4202560 3026 0 0 0 38 0 0 0 15 0 19 0 826475998 13954871296 376851 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4427] ppid=4409 vsize=13627804 CPUtime=0.45 cores=0,2,4,6
/proc/4411/task/4427/stat : 4427 (java) S 4409 4411 31984 0 -1 4202560 1811 0 0 0 45 0 0 0 15 0 19 0 826475998 13954871296 376851 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4428] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4428/stat : 4428 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826475998 13954871296 376851 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4429] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4429/stat : 4429 (java) S 4409 4411 31984 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 826475998 13954871296 376851 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4431] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4431/stat : 4431 (java) S 4409 4411 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826476068 13954871296 376851 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1668.08
Current children cumulated vsize (KiB) 13627804

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/423 4489
/proc/meminfo: memFree=20656416/32951124 swapFree=49244120/67111528
[pid=4411] ppid=4409 vsize=13627804 CPUtime=1728.18 cores=0,2,4,6
/proc/4411/stat : 4411 (java) S 4409 4411 31984 0 -1 4202496 381286 0 1 0 172740 78 0 0 18 0 19 0 826475992 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4411/statm: 3406951 378772 2261 9 0 3397685 0
[pid=4411/tid=4412] ppid=4409 vsize=13627804 CPUtime=1710.6 cores=0,2,4,6
/proc/4411/task/4412/stat : 4412 (java) R 4409 4411 31984 0 -1 4202560 101477 0 1 0 171019 41 0 0 25 0 19 0 826475992 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 46912505741607 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4411/tid=4414] ppid=4409 vsize=13627804 CPUtime=0.95 cores=0,2,4,6
/proc/4411/task/4414/stat : 4414 (java) S 4409 4411 31984 0 -1 4202560 12406 0 0 0 94 1 0 0 16 0 19 0 826475994 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4415] ppid=4409 vsize=13627804 CPUtime=0.93 cores=0,2,4,6
/proc/4411/task/4415/stat : 4415 (java) S 4409 4411 31984 0 -1 4202560 20593 0 0 0 91 2 0 0 15 0 19 0 826475994 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4416] ppid=4409 vsize=13627804 CPUtime=1.16 cores=0,2,4,6
/proc/4411/task/4416/stat : 4416 (java) S 4409 4411 31984 0 -1 4202560 23767 0 0 0 113 3 0 0 15 0 19 0 826475994 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4417] ppid=4409 vsize=13627804 CPUtime=1.06 cores=0,2,4,6
/proc/4411/task/4417/stat : 4417 (java) S 4409 4411 31984 0 -1 4202560 27949 0 0 0 102 4 0 0 16 0 19 0 826475994 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4418] ppid=4409 vsize=13627804 CPUtime=0.96 cores=0,2,4,6
/proc/4411/task/4418/stat : 4418 (java) S 4409 4411 31984 0 -1 4202560 17703 0 0 0 94 2 0 0 16 0 19 0 826475994 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4419] ppid=4409 vsize=13627804 CPUtime=1.01 cores=0,2,4,6
/proc/4411/task/4419/stat : 4419 (java) S 4409 4411 31984 0 -1 4202560 16372 0 0 0 99 2 0 0 15 0 19 0 826475994 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 4 0 0 0
[pid=4411/tid=4420] ppid=4409 vsize=13627804 CPUtime=1.2 cores=0,2,4,6
/proc/4411/task/4420/stat : 4420 (java) S 4409 4411 31984 0 -1 4202560 29297 0 0 0 117 3 0 0 15 0 19 0 826475994 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4421] ppid=4409 vsize=13627804 CPUtime=0.92 cores=0,2,4,6
/proc/4411/task/4421/stat : 4421 (java) S 4409 4411 31984 0 -1 4202560 15852 0 0 0 89 3 0 0 16 0 19 0 826475994 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4422] ppid=4409 vsize=13627804 CPUtime=8.43 cores=0,2,4,6
/proc/4411/task/4422/stat : 4422 (java) S 4409 4411 31984 0 -1 4202560 109782 0 0 0 832 11 0 0 15 0 19 0 826475995 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 0 0 16800975 18446604442781516800 0 0 -1 4 0 0 0
[pid=4411/tid=4423] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4423/stat : 4423 (java) S 4409 4411 31984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826475996 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4424] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4424/stat : 4424 (java) S 4409 4411 31984 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826475996 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4425] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4425/stat : 4425 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826475998 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382780849 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4426] ppid=4409 vsize=13627804 CPUtime=0.38 cores=0,2,4,6
/proc/4411/task/4426/stat : 4426 (java) S 4409 4411 31984 0 -1 4202560 3026 0 0 0 38 0 0 0 15 0 19 0 826475998 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4427] ppid=4409 vsize=13627804 CPUtime=0.45 cores=0,2,4,6
/proc/4411/task/4427/stat : 4427 (java) S 4409 4411 31984 0 -1 4202560 1811 0 0 0 45 0 0 0 15 0 19 0 826475998 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4428] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4428/stat : 4428 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826475998 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4429] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4429/stat : 4429 (java) S 4409 4411 31984 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826475998 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4431] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4431/stat : 4431 (java) S 4409 4411 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826476068 13954871296 378772 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1728.18
Current children cumulated vsize (KiB) 13627804

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/423 4490
/proc/meminfo: memFree=20618296/32951124 swapFree=49244120/67111528
[pid=4411] ppid=4409 vsize=13627804 CPUtime=1788.43 cores=0,2,4,6
/proc/4411/stat : 4411 (java) S 4409 4411 31984 0 -1 4202496 390597 0 1 0 178763 80 0 0 18 0 19 0 826475992 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4411/statm: 3406951 388075 2261 9 0 3397685 0
[pid=4411/tid=4412] ppid=4409 vsize=13627804 CPUtime=1770.17 cores=0,2,4,6
/proc/4411/task/4412/stat : 4412 (java) R 4409 4411 31984 0 -1 4202560 103445 0 1 0 176975 42 0 0 25 0 19 0 826475992 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 46912505747197 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4411/tid=4414] ppid=4409 vsize=13627804 CPUtime=1.03 cores=0,2,4,6
/proc/4411/task/4414/stat : 4414 (java) S 4409 4411 31984 0 -1 4202560 13433 0 0 0 102 1 0 0 16 0 19 0 826475994 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4415] ppid=4409 vsize=13627804 CPUtime=0.93 cores=0,2,4,6
/proc/4411/task/4415/stat : 4415 (java) S 4409 4411 31984 0 -1 4202560 20603 0 0 0 91 2 0 0 15 0 19 0 826475994 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4416] ppid=4409 vsize=13627804 CPUtime=1.16 cores=0,2,4,6
/proc/4411/task/4416/stat : 4416 (java) S 4409 4411 31984 0 -1 4202560 23767 0 0 0 113 3 0 0 15 0 19 0 826475994 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4417] ppid=4409 vsize=13627804 CPUtime=1.13 cores=0,2,4,6
/proc/4411/task/4417/stat : 4417 (java) S 4409 4411 31984 0 -1 4202560 28828 0 0 0 109 4 0 0 15 0 19 0 826475994 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4418] ppid=4409 vsize=13627804 CPUtime=0.96 cores=0,2,4,6
/proc/4411/task/4418/stat : 4418 (java) S 4409 4411 31984 0 -1 4202560 17734 0 0 0 94 2 0 0 15 0 19 0 826475994 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4419] ppid=4409 vsize=13627804 CPUtime=1.13 cores=0,2,4,6
/proc/4411/task/4419/stat : 4419 (java) S 4409 4411 31984 0 -1 4202560 17461 0 0 0 111 2 0 0 16 0 19 0 826475994 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4420] ppid=4409 vsize=13627804 CPUtime=1.24 cores=0,2,4,6
/proc/4411/task/4420/stat : 4420 (java) S 4409 4411 31984 0 -1 4202560 29297 0 0 0 121 3 0 0 16 0 19 0 826475994 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4421] ppid=4409 vsize=13627804 CPUtime=0.98 cores=0,2,4,6
/proc/4411/task/4421/stat : 4421 (java) S 4409 4411 31984 0 -1 4202560 16864 0 0 0 95 3 0 0 15 0 19 0 826475994 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4422] ppid=4409 vsize=13627804 CPUtime=8.73 cores=0,2,4,6
/proc/4411/task/4422/stat : 4422 (java) S 4409 4411 31984 0 -1 4202560 113075 0 0 0 862 11 0 0 16 0 19 0 826475995 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 0 0 16800975 18446604442781516800 0 0 -1 4 0 0 0
[pid=4411/tid=4423] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4423/stat : 4423 (java) S 4409 4411 31984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826475996 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4424] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4424/stat : 4424 (java) S 4409 4411 31984 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826475996 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4425] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4425/stat : 4425 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826475998 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382780849 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4426] ppid=4409 vsize=13627804 CPUtime=0.38 cores=0,2,4,6
/proc/4411/task/4426/stat : 4426 (java) S 4409 4411 31984 0 -1 4202560 3026 0 0 0 38 0 0 0 15 0 19 0 826475998 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4427] ppid=4409 vsize=13627804 CPUtime=0.45 cores=0,2,4,6
/proc/4411/task/4427/stat : 4427 (java) S 4409 4411 31984 0 -1 4202560 1811 0 0 0 45 0 0 0 15 0 19 0 826475998 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4428] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4428/stat : 4428 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826475998 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4429] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4429/stat : 4429 (java) S 4409 4411 31984 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826475998 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4431] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4431/stat : 4431 (java) S 4409 4411 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826476068 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1788.43
Current children cumulated vsize (KiB) 13627804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/402 4515
/proc/meminfo: memFree=22192732/32951124 swapFree=49244120/67111528
[pid=4411] ppid=4409 vsize=13627804 CPUtime=1800.03 cores=0,2,4,6
/proc/4411/stat : 4411 (java) S 4409 4411 31984 0 -1 4202496 390599 0 1 0 179923 80 0 0 18 0 19 0 826475992 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4411/statm: 3406951 388075 2261 9 0 3397685 0
[pid=4411/tid=4412] ppid=4409 vsize=13627804 CPUtime=1781.78 cores=0,2,4,6
/proc/4411/task/4412/stat : 4412 (java) R 4409 4411 31984 0 -1 4202560 103445 0 1 0 178136 42 0 0 25 0 19 0 826475992 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 46912505747105 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4411/tid=4414] ppid=4409 vsize=13627804 CPUtime=1.03 cores=0,2,4,6
/proc/4411/task/4414/stat : 4414 (java) S 4409 4411 31984 0 -1 4202560 13433 0 0 0 102 1 0 0 16 0 19 0 826475994 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4415] ppid=4409 vsize=13627804 CPUtime=0.93 cores=0,2,4,6
/proc/4411/task/4415/stat : 4415 (java) S 4409 4411 31984 0 -1 4202560 20603 0 0 0 91 2 0 0 15 0 19 0 826475994 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4416] ppid=4409 vsize=13627804 CPUtime=1.16 cores=0,2,4,6
/proc/4411/task/4416/stat : 4416 (java) S 4409 4411 31984 0 -1 4202560 23767 0 0 0 113 3 0 0 15 0 19 0 826475994 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4417] ppid=4409 vsize=13627804 CPUtime=1.13 cores=0,2,4,6
/proc/4411/task/4417/stat : 4417 (java) S 4409 4411 31984 0 -1 4202560 28828 0 0 0 109 4 0 0 15 0 19 0 826475994 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4418] ppid=4409 vsize=13627804 CPUtime=0.96 cores=0,2,4,6
/proc/4411/task/4418/stat : 4418 (java) S 4409 4411 31984 0 -1 4202560 17734 0 0 0 94 2 0 0 15 0 19 0 826475994 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4419] ppid=4409 vsize=13627804 CPUtime=1.13 cores=0,2,4,6
/proc/4411/task/4419/stat : 4419 (java) S 4409 4411 31984 0 -1 4202560 17461 0 0 0 111 2 0 0 16 0 19 0 826475994 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4420] ppid=4409 vsize=13627804 CPUtime=1.24 cores=0,2,4,6
/proc/4411/task/4420/stat : 4420 (java) S 4409 4411 31984 0 -1 4202560 29297 0 0 0 121 3 0 0 16 0 19 0 826475994 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4421] ppid=4409 vsize=13627804 CPUtime=0.98 cores=0,2,4,6
/proc/4411/task/4421/stat : 4421 (java) S 4409 4411 31984 0 -1 4202560 16864 0 0 0 95 3 0 0 15 0 19 0 826475994 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4422] ppid=4409 vsize=13627804 CPUtime=8.73 cores=0,2,4,6
/proc/4411/task/4422/stat : 4422 (java) S 4409 4411 31984 0 -1 4202560 113075 0 0 0 862 11 0 0 15 0 19 0 826475995 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 0 0 16800975 18446604442781516800 0 0 -1 4 0 0 0
[pid=4411/tid=4423] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4423/stat : 4423 (java) S 4409 4411 31984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826475996 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4424] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4424/stat : 4424 (java) S 4409 4411 31984 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826475996 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4425] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4425/stat : 4425 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826475998 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382780849 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4426] ppid=4409 vsize=13627804 CPUtime=0.38 cores=0,2,4,6
/proc/4411/task/4426/stat : 4426 (java) S 4409 4411 31984 0 -1 4202560 3026 0 0 0 38 0 0 0 15 0 19 0 826475998 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 2 0 0 0
[pid=4411/tid=4427] ppid=4409 vsize=13627804 CPUtime=0.45 cores=0,2,4,6
/proc/4411/task/4427/stat : 4427 (java) S 4409 4411 31984 0 -1 4202560 1811 0 0 0 45 0 0 0 15 0 19 0 826475998 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4428] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4428/stat : 4428 (java) S 4409 4411 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826475998 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773145 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
[pid=4411/tid=4429] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4429/stat : 4429 (java) S 4409 4411 31984 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826475998 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 4 0 16800975 18446604442781516800 0 0 -1 0 0 0 0
[pid=4411/tid=4431] ppid=4409 vsize=13627804 CPUtime=0 cores=0,2,4,6
/proc/4411/task/4431/stat : 4431 (java) S 4409 4411 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826476068 13954871296 388075 33554432000 1073741824 1073778376 140736509533968 18446744073709551615 218382773760 0 4 0 16800975 18446604442781516800 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13627804

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

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

[startup+1794.02 s]
/proc/loadavg: 2.00 2.00 2.00 4/406 4541
/proc/meminfo: memFree=23625084/32951124 swapFree=49244120/67111528
[pid=4411] ppid=4409 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/4411/stat : 4411 (java) Z 4409 4411 31984 0 -1 4203548 390633 0 1 0 179933 87 0 0 17 0 1 0 826475992 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4411/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1794.03
CPU time (s): 1800.21
CPU user time (s): 1799.33
CPU system time (s): 0.877866
CPU usage (%): 100.344
Max. virtual memory (cumulated for all children) (KiB): 13627804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.877866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390633
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39350
involuntary context switches= 24247

runsolver used 7.66483 second user time and 15.2207 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-04 02:52:12
IDJOB=3459069
IDBENCH=2257
IDSOLVER=1952
FILE ID=node101/3459069-1307148732
RUNJOBID= node101-1307146935-4230
PBS_JOBID= 13508815
Free space on /tmp= 73948 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459069-1307148732/watcher-3459069-1307148732 -o /tmp/evaluation-result-3459069-1307148732/solver-3459069-1307148732 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459069-1307148732.opb

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

MD5SUM BENCH= b94d4317cfb468b1c3dd3d790ff99d4d
RANDOM SEED=509315163

node101.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23682972 kB
Buffers:        271156 kB
Cached:         516524 kB
SwapCached:      27120 kB
Active:        8531700 kB
Inactive:       457388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23682972 kB
SwapTotal:    67111528 kB
SwapFree:     49244120 kB
Dirty:            5176 kB
Writeback:           0 kB
AnonPages:     8196700 kB
Mapped:          25688 kB
Slab:           136416 kB
PageTables:      74704 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 92016428 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73948 MiB
End job on node101 at 2011-06-04 03:22:08