Trace number 3733283

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)-48 1800.11 940.141

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
MD5SUM937ec96fd1742e5ed6250d14e65c707b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-54
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -57
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints127011
Number of constraints which are clauses127011
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 1534
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 1534
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 1534
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.06/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.12	c See www.sat4j.org for details.
0.06/0.12	c version 2.3.1.v20110525
0.06/0.12	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.12	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.12	c java.vm.version	19.1-b02
0.06/0.12	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.12	c sun.arch.data.model	64
0.06/0.12	c java.version		1.6.0_24
0.06/0.12	c os.name		Linux
0.06/0.12	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.12	c os.arch		amd64
0.06/0.12	c Free memory 		9996466904
0.06/0.12	c Max memory 		10048897024
0.06/0.12	c Total memory 		10048897024
0.06/0.12	c Number of processors 	8
0.06/0.15	c Pseudo Boolean Optimization
0.06/0.15	c ManyCore solver with 2 solvers running in parallel
0.06/0.15	c --- Begin Solver configuration ---
0.06/0.15	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.06/0.15	c Learn all clauses as in MiniSAT
0.06/0.15	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.15	c Expensive reason simplification
0.06/0.15	c Armin Biere (Picosat) restarts strategy
0.06/0.15	c Glucose learned constraints deletion strategy
0.06/0.15	c timeout=2147483s
0.06/0.15	c DB Simplification allowed=false
0.06/0.15	c --- End Solver configuration ---
0.06/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.06/0.15	c --- Begin Solver configuration ---
0.06/0.15	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.06/0.15	c Learn all clauses as in MiniSAT
0.06/0.15	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.06/0.15	c No reason simplification
0.06/0.15	c Armin Biere (Picosat) restarts strategy
0.06/0.15	c Glucose learned constraints deletion strategy
0.06/0.15	c timeout=2147483s
0.06/0.15	c DB Simplification allowed=false
0.06/0.15	c --- End Solver configuration ---
0.06/0.15	c solving HOME/instance-3733283-1338688730.opb
0.06/0.15	c reading problem ... 
1.36/0.92	c ... done. Wall clock time 0.769s.
1.36/0.92	c #vars     1534
1.36/0.92	c #constraints  127011
1.36/0.92	c constraints type 
1.36/0.92	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 127011
1.36/0.92	c constraints type 
1.36/0.92	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 127011
1.36/0.95	c  And the winner is CuttingPlanes
1.54/1.42	c SATISFIABLE
1.54/1.42	c OPTIMIZING...
1.54/1.42	c Got one! Elapsed wall clock time (in seconds):1.276
1.54/1.43	o -40
1.54/1.50	c  And the winner is Resolution
1.86/1.93	c Got one! Elapsed wall clock time (in seconds):1.784
1.86/1.93	o -41
2.93/2.24	c  And the winner is Resolution
3.32/2.44	c Got one! Elapsed wall clock time (in seconds):2.29
3.32/2.44	o -42
3.49/2.56	c  And the winner is Resolution
3.66/2.94	c Got one! Elapsed wall clock time (in seconds):2.795
3.66/2.94	o -43
4.19/3.22	c  And the winner is Resolution
4.32/3.45	c Got one! Elapsed wall clock time (in seconds):3.299
4.32/3.45	o -44
7.26/4.98	c cleaning 3411 clauses out of 6822 with flag 5000/6822
8.06/5.37	c  And the winner is Resolution
8.49/5.65	c Got one! Elapsed wall clock time (in seconds):5.503
8.49/5.65	o -45
11.52/7.14	c cleaning 4405 clauses out of 8810 with flag 5000/12221
14.41/8.67	c  And the winner is Resolution
14.90/9.07	c Got one! Elapsed wall clock time (in seconds):8.921
14.90/9.07	o -46
15.63/9.41	c cleaning 4937 clauses out of 9874 with flag 1001/17690
19.56/11.48	c cleaning 5468 clauses out of 10936 with flag 7000/23689
24.58/14.00	c cleaning 6232 clauses out of 12468 with flag 14000/30689
30.11/16.83	c cleaning 7116 clauses out of 14236 with flag 22000/38689
36.59/20.17	c cleaning 8056 clauses out of 16122 with flag 31002/47691
43.66/23.70	c cleaning 9030 clauses out of 18065 with flag 41001/57690
51.77/27.94	c cleaning 10018 clauses out of 20035 with flag 52001/68690
61.39/32.82	c cleaning 11002 clauses out of 22016 with flag 64000/80689
71.36/37.92	c cleaning 12007 clauses out of 24014 with flag 77000/93689
82.32/43.58	c cleaning 12998 clauses out of 26007 with flag 91000/107689
94.09/49.62	c cleaning 14001 clauses out of 28009 with flag 106000/122689
107.24/56.38	c cleaning 15000 clauses out of 30009 with flag 122001/138690
121.99/63.86	c cleaning 16004 clauses out of 32008 with flag 139000/155689
139.50/72.79	c cleaning 17002 clauses out of 34004 with flag 157000/173689
154.15/80.34	c cleaning 17998 clauses out of 36002 with flag 176000/192689
171.61/89.24	c cleaning 18992 clauses out of 38004 with flag 196000/212689
192.04/99.63	c cleaning 20001 clauses out of 40012 with flag 217000/233689
214.08/110.88	c cleaning 21007 clauses out of 42013 with flag 239002/255691
231.59/119.97	c cleaning 22000 clauses out of 44004 with flag 262000/278689
252.38/130.51	c cleaning 22994 clauses out of 46006 with flag 286002/302691
274.60/141.82	c cleaning 24002 clauses out of 48010 with flag 311000/327689
299.95/154.72	c cleaning 25004 clauses out of 50008 with flag 337000/353689
329.15/169.75	c cleaning 25999 clauses out of 52004 with flag 364000/380689
354.06/182.44	c cleaning 27003 clauses out of 54005 with flag 392000/408689
379.34/195.34	c cleaning 27999 clauses out of 56002 with flag 421000/437689
390.63/201.24	c  And the winner is Resolution
395.01/206.04	c Got one! Elapsed wall clock time (in seconds):205.887
395.01/206.04	o -47
399.10/208.31	c cleaning 22193 clauses out of 44403 with flag 5001/454089
405.37/211.99	c cleaning 14099 clauses out of 28209 with flag 11000/460088
412.80/215.91	c cleaning 10550 clauses out of 21110 with flag 18000/467088
420.45/220.03	c cleaning 9261 clauses out of 18560 with flag 26000/475088
428.49/224.36	c cleaning 9148 clauses out of 18299 with flag 35000/484088
437.92/229.54	c cleaning 9576 clauses out of 19151 with flag 45000/494088
448.33/235.01	c cleaning 10283 clauses out of 20575 with flag 56000/505088
460.15/241.29	c cleaning 11143 clauses out of 22293 with flag 68001/517089
471.37/247.17	c cleaning 12068 clauses out of 24150 with flag 81001/530089
485.25/254.54	c cleaning 13041 clauses out of 26081 with flag 95000/544088
499.32/261.82	c cleaning 14018 clauses out of 28040 with flag 110000/559088
514.72/269.83	c cleaning 15009 clauses out of 30023 with flag 126001/575089
529.93/277.73	c cleaning 16007 clauses out of 32013 with flag 143000/592088
544.53/285.53	c cleaning 16993 clauses out of 34006 with flag 161000/610088
561.32/294.21	c cleaning 18006 clauses out of 36014 with flag 180001/629089
581.14/304.44	c cleaning 18992 clauses out of 38007 with flag 200000/649088
601.94/315.18	c cleaning 20006 clauses out of 40015 with flag 221000/670088
622.08/325.79	c cleaning 20998 clauses out of 42010 with flag 243001/692089
648.46/339.20	c cleaning 22006 clauses out of 44012 with flag 266001/715089
672.21/351.47	c cleaning 23002 clauses out of 46006 with flag 290001/739089
699.60/365.49	c cleaning 23991 clauses out of 48003 with flag 315000/764088
727.05/379.70	c cleaning 24997 clauses out of 50013 with flag 341001/790089
754.98/394.06	c cleaning 25997 clauses out of 52015 with flag 368000/817088
782.90/408.37	c cleaning 27010 clauses out of 54020 with flag 396002/845090
813.17/423.89	c cleaning 27998 clauses out of 56008 with flag 425000/874088
839.52/437.61	c cleaning 29004 clauses out of 58010 with flag 455000/904088
866.80/451.61	c cleaning 30002 clauses out of 60007 with flag 486001/935089
896.62/466.97	c cleaning 30998 clauses out of 62005 with flag 518001/967089
931.83/484.92	c cleaning 32002 clauses out of 64006 with flag 551000/1000088
967.28/503.35	c cleaning 33001 clauses out of 66004 with flag 585000/1034088
1005.55/522.90	c cleaning 33999 clauses out of 68004 with flag 620001/1069089
1040.78/540.88	c cleaning 34995 clauses out of 70004 with flag 656000/1105088
1062.01/551.80	c cleaning 0 clauses out of 5491 with flag 0/5493
1083.39/563.02	c cleaning 36000 clauses out of 72009 with flag 693000/1142088
1128.77/586.18	c cleaning 36994 clauses out of 74009 with flag 731000/1180088
1174.32/609.35	c cleaning 38004 clauses out of 76015 with flag 770000/1219088
1224.62/634.92	c cleaning 39004 clauses out of 78012 with flag 810001/1259089
1272.03/659.41	c cleaning 39995 clauses out of 80007 with flag 851000/1300088
1315.30/681.53	c cleaning 40987 clauses out of 82012 with flag 893000/1342088
1354.43/701.54	c cleaning 42002 clauses out of 84025 with flag 936000/1385088
1395.98/722.79	c cleaning 42999 clauses out of 86023 with flag 980000/1429088
1444.34/747.75	c cleaning 44007 clauses out of 88025 with flag 1025001/1474089
1449.02/750.53	c  And the winner is CuttingPlanes
1446.67/750.89	c Got one! Elapsed wall clock time (in seconds):750.745
1446.67/750.89	o -48
1448.67/751.97	c cleaning 24781 clauses out of 49570 with flag 2000/1479641
1454.08/755.11	c cleaning 15384 clauses out of 30790 with flag 8001/1485642
1459.92/758.53	c cleaning 11195 clauses out of 22405 with flag 15000/1492641
1466.82/762.89	c cleaning 9600 clauses out of 19210 with flag 23000/1500641
1474.22/767.05	c cleaning 9301 clauses out of 18611 with flag 32001/1509642
1481.99/771.48	c cleaning 9646 clauses out of 19309 with flag 42000/1519641
1491.19/776.55	c cleaning 10318 clauses out of 20663 with flag 53000/1530641
1501.81/782.79	c cleaning 11163 clauses out of 22345 with flag 65000/1542641
1512.79/788.73	c cleaning 12088 clauses out of 24182 with flag 78000/1555641
1524.16/794.98	c cleaning 13044 clauses out of 26094 with flag 92000/1569641
1537.37/802.07	c cleaning 14024 clauses out of 28050 with flag 107000/1584641
1550.96/809.64	c cleaning 15005 clauses out of 30026 with flag 123000/1600641
1564.99/817.18	c cleaning 16008 clauses out of 32021 with flag 140000/1617641
1581.56/826.00	c cleaning 17008 clauses out of 34015 with flag 158002/1635643
1599.51/835.40	c cleaning 18003 clauses out of 36005 with flag 177000/1654641
1616.69/844.91	c cleaning 18993 clauses out of 38002 with flag 197000/1674641
1634.87/854.59	c cleaning 20003 clauses out of 40010 with flag 218001/1695642
1654.84/865.04	c cleaning 21003 clauses out of 42006 with flag 240000/1717641
1678.80/877.58	c cleaning 21998 clauses out of 44003 with flag 263000/1740641
1699.73/888.97	c cleaning 22987 clauses out of 46005 with flag 287000/1764641
1722.69/900.99	c cleaning 24003 clauses out of 48018 with flag 312000/1789641
1748.38/914.39	c cleaning 24999 clauses out of 50016 with flag 338001/1815642
1774.97/928.11	c cleaning 26004 clauses out of 52016 with flag 365000/1842641
1797.15/940.11	c starts		: 46
1797.15/940.11	c conflicts		: 7381
1797.15/940.11	c decisions		: 10199
1797.15/940.11	c propagations		: 132554
1797.15/940.11	c inspects		: 353647231
1797.15/940.11	c shortcuts		: 0
1797.15/940.11	c learnt literals	: 0
1797.15/940.11	c learnt binary clauses	: 0
1797.15/940.11	c learnt ternary clauses	: 0
1797.15/940.11	c learnt constraints	: 7379
1797.15/940.11	c ignored constraints	: 0
1797.15/940.11	c root simplifications	: 0
1797.15/940.11	c removed literals (reason simplification)	: 0
1797.15/940.11	c reason swapping (by a shorter reason)	: 0
1797.15/940.11	c Calls to reduceDB	: 1
1797.15/940.11	c number of reductions to clauses (during analyze)	: 0
1797.15/940.11	c number of learned constraints concerned by reduction	: 0
1797.15/940.11	c number of learning phase by resolution	: 0
1797.15/940.11	c number of learning phase by cutting planes	: 0
1797.15/940.11	c speed (assignments/second)	: 700.5432944359885
1797.15/940.11	c non guided choices	0
1797.15/940.11	c learnt constraints type 
1797.15/940.11	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 242
1797.15/940.11	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7137
1797.15/940.11	c constraints type 
1797.15/940.12	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1797.15/940.12	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 127011
1797.15/940.12	c constraints type 
1797.15/940.12	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 127011
1797.15/940.12	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1797.15/940.12	s SATISFIABLE
1797.15/940.12	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 
1797.15/940.12	c objective function=-48
1797.15/940.12	c Total wall clock time (in seconds): 939.972

Verifier Data 

OK	-48

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-3733283-1338688730/watcher-3733283-1338688730 -o /tmp/evaluation-result-3733283-1338688730/solver-3733283-1338688730 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733283-1338688730.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.94 3.87 3.77 4/199 30404
/proc/meminfo: memFree=25869696/32873844 swapFree=7112/7112
[pid=30404] ppid=30402 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/30404/stat : 30404 (java) R 30402 30404 27163 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 334998322 278528 33 33554432000 1073741824 1073778376 140735499204560 140735499201736 273579863335 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30404/statm: 68 33 25 9 0 25 0

[startup+0.070751 s]
/proc/loadavg: 3.94 3.87 3.77 4/199 30404
/proc/meminfo: memFree=25869696/32873844 swapFree=7112/7112
[pid=30404] ppid=30402 vsize=11253516 CPUtime=0.03 cores=1,3,5,7
/proc/30404/stat : 30404 (java) S 30402 30404 27163 0 -1 4202496 4246 0 1 0 2 1 0 0 20 0 13 0 334998322 11523600384 12098 33554432000 1073741824 1073778376 140735497369104 140735497360240 273592385597 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30404/statm: 2813379 12099 1669 9 0 2804080 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11253516

[startup+0.100264 s]
/proc/loadavg: 3.94 3.87 3.77 4/199 30404
/proc/meminfo: memFree=25869696/32873844 swapFree=7112/7112
[pid=30404] ppid=30402 vsize=11586364 CPUtime=0.06 cores=1,3,5,7
/proc/30404/stat : 30404 (java) S 30402 30404 27163 0 -1 4202496 4407 0 1 0 5 1 0 0 20 0 18 0 334998322 11864436736 12770 33554432000 1073741824 1073778376 140735497369104 140735497360240 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30404/statm: 2896591 12770 1757 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586364

[startup+0.300233 s]
/proc/loadavg: 3.94 3.87 3.77 4/199 30404
/proc/meminfo: memFree=25869696/32873844 swapFree=7112/7112
[pid=30404] ppid=30402 vsize=11586392 CPUtime=0.41 cores=1,3,5,7
/proc/30404/stat : 30404 (java) S 30402 30404 27163 0 -1 4202496 5983 0 1 0 39 2 0 0 20 0 18 0 334998322 11864465408 15484 33554432000 1073741824 1073778376 140735497369104 140735497360240 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30404/statm: 2896598 15484 2221 9 0 2887285 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 11586392

[startup+0.700241 s]
/proc/loadavg: 3.94 3.87 3.77 4/199 30404
/proc/meminfo: memFree=25869696/32873844 swapFree=7112/7112
[pid=30404] ppid=30402 vsize=11586392 CPUtime=1.15 cores=1,3,5,7
/proc/30404/stat : 30404 (java) S 30402 30404 27163 0 -1 4202496 10458 0 1 0 109 6 0 0 20 0 18 0 334998322 11864465408 53934 33554432000 1073741824 1073778376 140735497369104 140735497360240 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30404/statm: 2896598 53934 2237 9 0 2887285 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 11586392

[startup+1.50062 s]
/proc/loadavg: 3.94 3.87 3.77 4/218 30426
/proc/meminfo: memFree=25538752/32873844 swapFree=7112/7112
[pid=30404] ppid=30402 vsize=11852648 CPUtime=1.81 cores=1,3,5,7
/proc/30404/stat : 30404 (java) S 30402 30404 27163 0 -1 4202496 11754 0 1 0 169 12 0 0 20 0 20 0 334998322 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 140735497360240 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30404/statm: 2963162 86341 2257 9 0 2953849 0
[pid=30404/tid=30406] ppid=30402 vsize=11852648 CPUtime=0.88 cores=1,3,5,7
/proc/30404/task/30406/stat : 30406 (java) S 30402 30404 27163 0 -1 4202560 3515 0 1 0 81 7 0 0 20 0 20 0 334998324 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 139807140504728 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30407] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30407/stat : 30407 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334998327 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 139807095257640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30408] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30408/stat : 30408 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334998327 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 139807094204840 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30409] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30409/stat : 30409 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334998327 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 139807093152040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30404/tid=30410] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30410/stat : 30410 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334998327 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 139806973618344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30411] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30411/stat : 30411 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334998327 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 139806972566568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30412] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30412/stat : 30412 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334998327 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 139806971513768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30413] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30413/stat : 30413 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334998327 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 139806970460968 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30414] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30414/stat : 30414 (java) S 30402 30404 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 334998327 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 139806969408168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30415] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30415/stat : 30415 (java) S 30402 30404 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 334998328 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 139806487079400 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30416] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30416/stat : 30416 (java) S 30402 30404 27163 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 334998329 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 139806486025464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30417] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30417/stat : 30417 (java) S 30402 30404 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 334998329 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 139806484972552 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30418] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30418/stat : 30418 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334998331 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 139806483921040 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30419] ppid=30402 vsize=11852648 CPUtime=0.37 cores=1,3,5,7
/proc/30404/task/30419/stat : 30419 (java) R 30402 30404 27163 0 -1 4202560 3774 0 0 0 36 1 0 0 20 0 20 0 334998331 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 139806482856704 139807143523088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30420] ppid=30402 vsize=11852648 CPUtime=0.33 cores=1,3,5,7
/proc/30404/task/30420/stat : 30420 (java) R 30402 30404 27163 0 -1 4202560 3153 0 0 0 33 0 0 0 20 0 20 0 334998332 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 139806481810072 139807143370849 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30421] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30421/stat : 30421 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334998332 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 139806480763768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30422] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30422/stat : 30422 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334998332 12137111552 86341 33554432000 1073741824 1073778376 140735497369104 139806479711176 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 11852648

[startup+3.10071 s]
/proc/loadavg: 3.79 3.84 3.76 7/221 30432
/proc/meminfo: memFree=25515756/32873844 swapFree=7112/7112
[pid=30404] ppid=30402 vsize=11852648 CPUtime=3.97 cores=1,3,5,7
/proc/30404/stat : 30404 (java) S 30402 30404 27163 0 -1 4202496 17493 0 1 0 378 19 0 0 20 0 22 0 334998322 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 140735497360240 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30404/statm: 2963162 106630 2263 9 0 2953849 0
[pid=30404/tid=30406] ppid=30402 vsize=11852648 CPUtime=0.9 cores=1,3,5,7
/proc/30404/task/30406/stat : 30406 (java) S 30402 30404 27163 0 -1 4202560 3515 0 1 0 82 8 0 0 20 0 22 0 334998324 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139807140504728 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30407] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30407/stat : 30407 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998327 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139807095257640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30408] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30408/stat : 30408 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998327 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139807094204840 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30409] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30409/stat : 30409 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998327 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139807093152040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30404/tid=30410] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30410/stat : 30410 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998327 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139806973618344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30411] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30411/stat : 30411 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998327 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139806972566568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30412] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30412/stat : 30412 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998327 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139806971513768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30413] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30413/stat : 30413 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998327 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139806970460968 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30414] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30414/stat : 30414 (java) S 30402 30404 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334998327 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139806969408168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30415] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30415/stat : 30415 (java) S 30402 30404 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334998328 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139806487079400 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30416] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30416/stat : 30416 (java) S 30402 30404 27163 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334998329 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139806486025464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30417] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30417/stat : 30417 (java) S 30402 30404 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334998329 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139806484972552 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30418] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30418/stat : 30418 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998331 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139806483921040 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30419] ppid=30402 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/30404/task/30419/stat : 30419 (java) S 30402 30404 27163 0 -1 4202560 6468 0 0 0 82 2 0 0 20 0 22 0 334998331 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139806482869176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30420] ppid=30402 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/30404/task/30420/stat : 30420 (java) S 30402 30404 27163 0 -1 4202560 6121 0 0 0 78 1 0 0 20 0 22 0 334998332 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139806481816376 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30421] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30421/stat : 30421 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998332 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139806480763768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30422] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30422/stat : 30422 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998332 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139806479711176 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30429] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30429/stat : 30429 (java) S 30402 30404 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334998466 12137111552 106630 33554432000 1073741824 1073778376 140735497369104 139806477604264 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 11852648

[startup+6.30073 s]
/proc/loadavg: 3.79 3.84 3.76 4/219 30441
/proc/meminfo: memFree=25021316/32873844 swapFree=7112/7112
[pid=30404] ppid=30402 vsize=11852648 CPUtime=9.81 cores=1,3,5,7
/proc/30404/stat : 30404 (java) S 30402 30404 27163 0 -1 4202496 18051 0 1 0 938 43 0 0 20 0 22 0 334998322 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 140735497360240 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30404/statm: 2963162 215166 2291 9 0 2953849 0
[pid=30404/tid=30406] ppid=30402 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/30404/task/30406/stat : 30406 (java) S 30402 30404 27163 0 -1 4202560 3515 0 1 0 83 8 0 0 20 0 22 0 334998324 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139807140504728 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30407] ppid=30402 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/30404/task/30407/stat : 30407 (java) S 30402 30404 27163 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 334998327 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139807095257640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30408] ppid=30402 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/30404/task/30408/stat : 30408 (java) S 30402 30404 27163 0 -1 4202560 19 0 0 0 1 1 0 0 20 0 22 0 334998327 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139807094204840 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30409] ppid=30402 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/30404/task/30409/stat : 30409 (java) S 30402 30404 27163 0 -1 4202560 17 0 0 0 1 1 0 0 20 0 22 0 334998327 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139807093152040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30404/tid=30410] ppid=30402 vsize=11852648 CPUtime=0.04 cores=1,3,5,7
/proc/30404/task/30410/stat : 30410 (java) S 30402 30404 27163 0 -1 4202560 30 0 0 0 2 2 0 0 20 0 22 0 334998327 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139806973618344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30411] ppid=30402 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/30404/task/30411/stat : 30411 (java) S 30402 30404 27163 0 -1 4202560 22 0 0 0 1 1 0 0 20 0 22 0 334998327 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139806972566568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30412] ppid=30402 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/30404/task/30412/stat : 30412 (java) S 30402 30404 27163 0 -1 4202560 15 0 0 0 1 1 0 0 20 0 22 0 334998327 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139806971513768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30404/tid=30413] ppid=30402 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/30404/task/30413/stat : 30413 (java) S 30402 30404 27163 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 334998327 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139806970460968 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30414] ppid=30402 vsize=11852648 CPUtime=0.04 cores=1,3,5,7
/proc/30404/task/30414/stat : 30414 (java) S 30402 30404 27163 0 -1 4202560 22 0 0 0 2 2 0 0 20 0 22 0 334998327 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139806969408168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30415] ppid=30402 vsize=11852648 CPUtime=0.17 cores=1,3,5,7
/proc/30404/task/30415/stat : 30415 (java) S 30402 30404 27163 0 -1 4202560 63 0 0 0 16 1 0 0 20 0 22 0 334998328 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139806487079400 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30404/tid=30416] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30416/stat : 30416 (java) S 30402 30404 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334998329 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139806486025464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30417] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30417/stat : 30417 (java) S 30402 30404 27163 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334998329 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139806484972552 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30418] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30418/stat : 30418 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998331 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139806483921040 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30419] ppid=30402 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/30404/task/30419/stat : 30419 (java) S 30402 30404 27163 0 -1 4202560 6654 0 0 0 98 2 0 0 20 0 22 0 334998331 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139806482869176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30420] ppid=30402 vsize=11852648 CPUtime=0.81 cores=1,3,5,7
/proc/30404/task/30420/stat : 30420 (java) S 30402 30404 27163 0 -1 4202560 6125 0 0 0 80 1 0 0 20 0 22 0 334998332 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139806481816376 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30421] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30421/stat : 30421 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998332 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139806480763768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30422] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30422/stat : 30422 (java) S 30402 30404 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334998332 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139806479711176 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30429] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30429/stat : 30429 (java) S 30402 30404 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334998466 12137111552 215166 33554432000 1073741824 1073778376 140735497369104 139806477604264 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 9.81
Current children cumulated vsize (KiB) 11852648

[startup+12.7009 s]
/proc/loadavg: 3.81 3.85 3.76 5/221 30447
/proc/meminfo: memFree=24739888/32873844 swapFree=7112/7112

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

[pid=30404/tid=30410] ppid=30402 vsize=11852648 CPUtime=2.06 cores=1,3,5,7
/proc/30404/task/30410/stat : 30410 (java) S 30402 30404 27163 0 -1 4202560 233 0 0 0 199 7 0 0 20 0 22 0 334998327 12137111552 987254 33554432000 1073741824 1073778376 140735497369104 139806973618344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30411] ppid=30402 vsize=11852648 CPUtime=2.51 cores=1,3,5,7
/proc/30404/task/30411/stat : 30411 (java) S 30402 30404 27163 0 -1 4202560 252 0 0 0 242 9 0 0 20 0 22 0 334998327 12137111552 987254 33554432000 1073741824 1073778376 140735497369104 139806972566568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30412] ppid=30402 vsize=11852648 CPUtime=2 cores=1,3,5,7
/proc/30404/task/30412/stat : 30412 (java) S 30402 30404 27163 0 -1 4202560 214 0 0 0 193 7 0 0 20 0 22 0 334998327 12137111552 987254 33554432000 1073741824 1073778376 140735497369104 139806971513768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30413] ppid=30402 vsize=11852648 CPUtime=2.53 cores=1,3,5,7
/proc/30404/task/30413/stat : 30413 (java) S 30402 30404 27163 0 -1 4202560 303 0 0 0 241 12 0 0 20 0 22 0 334998327 12137111552 987254 33554432000 1073741824 1073778376 140735497369104 139806970460968 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30414] ppid=30402 vsize=11852648 CPUtime=2.07 cores=1,3,5,7
/proc/30404/task/30414/stat : 30414 (java) S 30402 30404 27163 0 -1 4202560 251 0 0 0 199 8 0 0 20 0 22 0 334998327 12137111552 987254 33554432000 1073741824 1073778376 140735497369104 139806969408168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30415] ppid=30402 vsize=11852648 CPUtime=75.26 cores=1,3,5,7
/proc/30404/task/30415/stat : 30415 (java) S 30402 30404 27163 0 -1 4202560 624 0 0 0 7506 20 0 0 20 0 22 0 334998328 12137111552 987254 33554432000 1073741824 1073778376 140735497369104 139806487079400 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30416] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30416/stat : 30416 (java) S 30402 30404 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334998329 12137111552 987254 33554432000 1073741824 1073778376 140735497369104 139806486025464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30417] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30417/stat : 30417 (java) S 30402 30404 27163 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 334998329 12137111552 987254 33554432000 1073741824 1073778376 140735497369104 139806484972552 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30418] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30418/stat : 30418 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998331 12137111552 987254 33554432000 1073741824 1073778376 140735497369104 139806483921040 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30419] ppid=30402 vsize=11852648 CPUtime=2.03 cores=1,3,5,7
/proc/30404/task/30419/stat : 30419 (java) S 30402 30404 27163 0 -1 4202560 11610 0 0 0 199 4 0 0 20 0 22 0 334998331 12137111552 987254 33554432000 1073741824 1073778376 140735497369104 139806482869176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30420] ppid=30402 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/30404/task/30420/stat : 30420 (java) S 30402 30404 27163 0 -1 4202560 6125 0 0 0 90 1 0 0 20 0 22 0 334998332 12137111552 987254 33554432000 1073741824 1073778376 140735497369104 139806481816376 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30404/tid=30421] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30421/stat : 30421 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998332 12137111552 987254 33554432000 1073741824 1073778376 140735497369104 139806480763768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30422] ppid=30402 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/30404/task/30422/stat : 30422 (java) S 30402 30404 27163 0 -1 4202560 52 0 0 0 22 23 0 0 20 0 22 0 334998332 12137111552 987254 33554432000 1073741824 1073778376 140735497369104 139806479711176 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30476] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30476/stat : 30476 (java) S 30402 30404 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335018926 12137111552 987254 33554432000 1073741824 1073778376 140735497369104 139806476550952 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30553] ppid=30402 vsize=11852648 CPUtime=105.47 cores=1,3,5,7
/proc/30404/task/30553/stat : 30553 (java) R 30402 30404 27163 0 -1 4202560 7 0 0 0 10546 1 0 0 20 0 22 0 335073412 12137111552 987254 33554432000 1073741824 1073778376 140735497369104 139806475498432 139806974417902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30554] ppid=30402 vsize=11852648 CPUtime=105.44 cores=1,3,5,7
/proc/30404/task/30554/stat : 30554 (java) R 30402 30404 27163 0 -1 4202560 2 0 0 0 10543 1 0 0 20 0 22 0 335073412 12137111552 987254 33554432000 1073741824 1073778376 140735497369104 139806477601648 139806974556625 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30555] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30555/stat : 30555 (java) S 30402 30404 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335073412 12137111552 987254 33554432000 1073741824 1073778376 140735497369104 139806478656936 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1686.53
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+940.101 s]
/proc/loadavg: 3.91 3.88 3.82 5/221 30556
/proc/meminfo: memFree=20722616/32873844 swapFree=7112/7112
[pid=30404] ppid=30402 vsize=11852648 CPUtime=1797.15 cores=1,3,5,7
/proc/30404/stat : 30404 (java) S 30402 30404 27163 0 -1 4202496 26327 0 1 0 179519 196 0 0 20 0 22 0 334998322 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 140735497360240 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30404/statm: 2963162 987321 2292 9 0 2953849 0
[pid=30404/tid=30406] ppid=30402 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/30404/task/30406/stat : 30406 (java) S 30402 30404 27163 0 -1 4202560 3587 0 1 0 87 9 0 0 20 0 22 0 334998324 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139807140504728 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30407] ppid=30402 vsize=11852648 CPUtime=2.22 cores=1,3,5,7
/proc/30404/task/30407/stat : 30407 (java) S 30402 30404 27163 0 -1 4202560 231 0 0 0 214 8 0 0 20 0 22 0 334998327 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139807095257640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30408] ppid=30402 vsize=11852648 CPUtime=2.24 cores=1,3,5,7
/proc/30404/task/30408/stat : 30408 (java) S 30402 30404 27163 0 -1 4202560 187 0 0 0 217 7 0 0 20 0 22 0 334998327 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139807094204840 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30409] ppid=30402 vsize=11852648 CPUtime=2.27 cores=1,3,5,7
/proc/30404/task/30409/stat : 30409 (java) S 30402 30404 27163 0 -1 4202560 242 0 0 0 217 10 0 0 20 0 22 0 334998327 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139807093152040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30404/tid=30410] ppid=30402 vsize=11852648 CPUtime=2.16 cores=1,3,5,7
/proc/30404/task/30410/stat : 30410 (java) S 30402 30404 27163 0 -1 4202560 236 0 0 0 209 7 0 0 20 0 22 0 334998327 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806973618344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30411] ppid=30402 vsize=11852648 CPUtime=2.7 cores=1,3,5,7
/proc/30404/task/30411/stat : 30411 (java) S 30402 30404 27163 0 -1 4202560 262 0 0 0 261 9 0 0 20 0 22 0 334998327 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806972566568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30412] ppid=30402 vsize=11852648 CPUtime=2.09 cores=1,3,5,7
/proc/30404/task/30412/stat : 30412 (java) S 30402 30404 27163 0 -1 4202560 214 0 0 0 202 7 0 0 20 0 22 0 334998327 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806971513768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30413] ppid=30402 vsize=11852648 CPUtime=2.63 cores=1,3,5,7
/proc/30404/task/30413/stat : 30413 (java) S 30402 30404 27163 0 -1 4202560 322 0 0 0 251 12 0 0 20 0 22 0 334998327 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806970460968 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30404/tid=30414] ppid=30402 vsize=11852648 CPUtime=2.21 cores=1,3,5,7
/proc/30404/task/30414/stat : 30414 (java) S 30402 30404 27163 0 -1 4202560 276 0 0 0 213 8 0 0 20 0 22 0 334998327 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806969408168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30404/tid=30415] ppid=30402 vsize=11852648 CPUtime=80.81 cores=1,3,5,7
/proc/30404/task/30415/stat : 30415 (java) S 30402 30404 27163 0 -1 4202560 626 0 0 0 8061 20 0 0 20 0 22 0 334998328 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806487079400 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30416] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30416/stat : 30416 (java) S 30402 30404 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334998329 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806486025464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30417] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30417/stat : 30417 (java) S 30402 30404 27163 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 334998329 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806484972552 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30418] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30418/stat : 30418 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998331 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806483921040 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30419] ppid=30402 vsize=11852648 CPUtime=2.03 cores=1,3,5,7
/proc/30404/task/30419/stat : 30419 (java) S 30402 30404 27163 0 -1 4202560 11610 0 0 0 199 4 0 0 20 0 22 0 334998331 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806482869176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30420] ppid=30402 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/30404/task/30420/stat : 30420 (java) S 30402 30404 27163 0 -1 4202560 6125 0 0 0 90 1 0 0 20 0 22 0 334998332 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806481816376 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30404/tid=30421] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30421/stat : 30421 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998332 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806480763768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30422] ppid=30402 vsize=11852648 CPUtime=0.49 cores=1,3,5,7
/proc/30404/task/30422/stat : 30422 (java) S 30402 30404 27163 0 -1 4202560 56 0 0 0 24 25 0 0 20 0 22 0 334998332 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806479711176 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30476] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30476/stat : 30476 (java) S 30402 30404 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335018926 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806476550952 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30553] ppid=30402 vsize=11852648 CPUtime=157.29 cores=1,3,5,7
/proc/30404/task/30553/stat : 30553 (java) R 30402 30404 27163 0 -1 4202560 8 0 0 0 15727 2 0 0 20 0 22 0 335073412 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806475498432 139806974469327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30554] ppid=30402 vsize=11852648 CPUtime=157.26 cores=1,3,5,7
/proc/30404/task/30554/stat : 30554 (java) R 30402 30404 27163 0 -1 4202560 2 0 0 0 15724 2 0 0 20 0 22 0 335073412 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806477601760 139806974712007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30555] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30555/stat : 30555 (java) S 30402 30404 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335073412 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806478656936 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.15
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+940.101 s]
/proc/loadavg: 3.91 3.88 3.82 5/221 30556
/proc/meminfo: memFree=20722616/32873844 swapFree=7112/7112
[pid=30404] ppid=30402 vsize=11852648 CPUtime=1797.15 cores=1,3,5,7
/proc/30404/stat : 30404 (java) S 30402 30404 27163 0 -1 4202496 26327 0 1 0 179519 196 0 0 20 0 22 0 334998322 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 140735497360240 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30404/statm: 2963162 987321 2292 9 0 2953849 0
[pid=30404/tid=30406] ppid=30402 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/30404/task/30406/stat : 30406 (java) S 30402 30404 27163 0 -1 4202560 3587 0 1 0 87 9 0 0 20 0 22 0 334998324 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139807140504728 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30407] ppid=30402 vsize=11852648 CPUtime=2.22 cores=1,3,5,7
/proc/30404/task/30407/stat : 30407 (java) S 30402 30404 27163 0 -1 4202560 231 0 0 0 214 8 0 0 20 0 22 0 334998327 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139807095257640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30408] ppid=30402 vsize=11852648 CPUtime=2.24 cores=1,3,5,7
/proc/30404/task/30408/stat : 30408 (java) S 30402 30404 27163 0 -1 4202560 187 0 0 0 217 7 0 0 20 0 22 0 334998327 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139807094204840 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30409] ppid=30402 vsize=11852648 CPUtime=2.27 cores=1,3,5,7
/proc/30404/task/30409/stat : 30409 (java) S 30402 30404 27163 0 -1 4202560 242 0 0 0 217 10 0 0 20 0 22 0 334998327 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139807093152040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30404/tid=30410] ppid=30402 vsize=11852648 CPUtime=2.16 cores=1,3,5,7
/proc/30404/task/30410/stat : 30410 (java) S 30402 30404 27163 0 -1 4202560 236 0 0 0 209 7 0 0 20 0 22 0 334998327 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806973618344 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30411] ppid=30402 vsize=11852648 CPUtime=2.7 cores=1,3,5,7
/proc/30404/task/30411/stat : 30411 (java) S 30402 30404 27163 0 -1 4202560 262 0 0 0 261 9 0 0 20 0 22 0 334998327 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806972566568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30412] ppid=30402 vsize=11852648 CPUtime=2.09 cores=1,3,5,7
/proc/30404/task/30412/stat : 30412 (java) S 30402 30404 27163 0 -1 4202560 214 0 0 0 202 7 0 0 20 0 22 0 334998327 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806971513768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30413] ppid=30402 vsize=11852648 CPUtime=2.63 cores=1,3,5,7
/proc/30404/task/30413/stat : 30413 (java) S 30402 30404 27163 0 -1 4202560 322 0 0 0 251 12 0 0 20 0 22 0 334998327 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806970460968 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30404/tid=30414] ppid=30402 vsize=11852648 CPUtime=2.21 cores=1,3,5,7
/proc/30404/task/30414/stat : 30414 (java) S 30402 30404 27163 0 -1 4202560 276 0 0 0 213 8 0 0 20 0 22 0 334998327 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806969408168 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30404/tid=30415] ppid=30402 vsize=11852648 CPUtime=80.81 cores=1,3,5,7
/proc/30404/task/30415/stat : 30415 (java) S 30402 30404 27163 0 -1 4202560 626 0 0 0 8061 20 0 0 20 0 22 0 334998328 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806487079400 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30416] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30416/stat : 30416 (java) S 30402 30404 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334998329 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806486025464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30417] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30417/stat : 30417 (java) S 30402 30404 27163 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 334998329 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806484972552 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30418] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30418/stat : 30418 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998331 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806483921040 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30419] ppid=30402 vsize=11852648 CPUtime=2.03 cores=1,3,5,7
/proc/30404/task/30419/stat : 30419 (java) S 30402 30404 27163 0 -1 4202560 11610 0 0 0 199 4 0 0 20 0 22 0 334998331 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806482869176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30420] ppid=30402 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/30404/task/30420/stat : 30420 (java) S 30402 30404 27163 0 -1 4202560 6125 0 0 0 90 1 0 0 20 0 22 0 334998332 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806481816376 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30404/tid=30421] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30421/stat : 30421 (java) S 30402 30404 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334998332 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806480763768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30422] ppid=30402 vsize=11852648 CPUtime=0.49 cores=1,3,5,7
/proc/30404/task/30422/stat : 30422 (java) S 30402 30404 27163 0 -1 4202560 56 0 0 0 24 25 0 0 20 0 22 0 334998332 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806479711176 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30476] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30476/stat : 30476 (java) S 30402 30404 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335018926 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806476550952 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30404/tid=30553] ppid=30402 vsize=11852648 CPUtime=157.29 cores=1,3,5,7
/proc/30404/task/30553/stat : 30553 (java) R 30402 30404 27163 0 -1 4202560 8 0 0 0 15727 2 0 0 20 0 22 0 335073412 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806475498432 139806974469327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30404/tid=30554] ppid=30402 vsize=11852648 CPUtime=157.26 cores=1,3,5,7
/proc/30404/task/30554/stat : 30554 (java) R 30402 30404 27163 0 -1 4202560 2 0 0 0 15724 2 0 0 20 0 22 0 335073412 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806477601760 139806974712007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30404/tid=30555] ppid=30402 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30404/task/30555/stat : 30555 (java) S 30402 30404 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335073412 12137111552 987321 33554432000 1073741824 1073778376 140735497369104 139806478656936 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 11852648

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30404 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=108254
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=143674
# CPU time returned by wait4() is 1796.25
# while last known CPU time is 1797.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 2.95999
#  lost CPU user time (s): 3.16
#  lost CPU system time (s): -0.2

Real time (s): 940.141
CPU time (s): 1800.11
CPU user time (s): 1798.35
CPU system time (s): 1.76
CPU usage (%): 191.472
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.11
system time used= 2.14367
maximum resident set size= 3949404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26359
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24773
involuntary context switches= 29750

runsolver used 3.51147 second user time and 9.41557 second system time

The end

Launcher Data 

Begin job on node132 at 2012-06-03 03:58:50
IDJOB=3733283
IDBENCH=2266
IDSOLVER=2328
FILE ID=node132/3733283-1338688730
RUNJOBID= node132-1338678626-27183
PBS_JOBID= 14636681
Free space on /tmp= 71212 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/frb59-26-opb/normalized-frb59-26-4.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733283-1338688730/watcher-3733283-1338688730 -o /tmp/evaluation-result-3733283-1338688730/solver-3733283-1338688730 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733283-1338688730.opb

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

MD5SUM BENCH= 937ec96fd1742e5ed6250d14e65c707b
RANDOM SEED=11688928

node132.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.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.66
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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25870076 kB
Buffers:          601980 kB
Cached:          3076908 kB
SwapCached:         2288 kB
Active:          3943476 kB
Inactive:        2120400 kB
Active(anon):    2377516 kB
Inactive(anon):     7108 kB
Active(file):    1565960 kB
Inactive(file):  2113292 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67102712 kB
Dirty:              3588 kB
Writeback:             0 kB
AnonPages:       2409636 kB
Mapped:            19352 kB
Shmem:                 8 kB
Slab:             774548 kB
SReclaimable:     215976 kB
SUnreclaim:       558572 kB
KernelStack:        1640 kB
PageTables:         8476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10458304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2353152 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= 71212 MiB
End job on node132 at 2012-06-03 04:14:32