Trace number 3687964

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)32537600 1800.13 909.932

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod013.opb
MD5SUM4cb1be2dcc654132071469b521292770
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark29890560
Best CPU time to get the best result obtained on this benchmark1800.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 32455680
Optimality of the best value was proved NO
Number of variables1488
Total number of constraints62
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints62
Minimum length of a constraint31
Maximum length of a constraint240
Number of terms in the objective function 1488
Biggest coefficient in the objective function 375272767488
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 12937590079727
Number of bits of the sum of numbers in the objective function 44
Biggest number in a constraint 375272767488
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 12937590079727
Number of bits of the biggest sum of numbers44
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.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3687964-1337874971.opb
0.08/0.13	c reading problem ... 
0.26/0.29	c ... done. Wall clock time 0.168s.
0.26/0.29	c declared #vars     1488
0.26/0.29	c #constraints  76
0.26/0.29	c constraints type 
0.26/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 76
0.26/0.29	c 76 constraints processed.
0.26/0.29	c constraints type 
0.26/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPb => 76
0.26/0.29	c 76 constraints processed.
0.26/0.29	c objective function length is 1488 literals
0.56/0.39	c  And the winner is solver0
1.34/0.80	c SATISFIABLE
1.34/0.80	c OPTIMIZING...
1.34/0.80	c Got one! Elapsed wall clock time (in seconds):0.671
1.34/0.80	o 33049600
4.13/1.85	c cleaning 2504 clauses out of 5009 with flag 5000/5009
4.99/2.24	c  And the winner is solver1
5.07/2.30	c Got one! Elapsed wall clock time (in seconds):2.178
5.07/2.30	o 32906240
5.49/2.50	c  And the winner is solver1
5.52/2.81	c Got one! Elapsed wall clock time (in seconds):2.683
5.52/2.81	o 32537600
6.27/3.14	c cleaning 4322 clauses out of 8643 with flag 2001/11147
7.75/3.80	c cleaning 5160 clauses out of 10321 with flag 8001/17147
9.41/4.65	c cleaning 6074 clauses out of 12161 with flag 15001/24147
11.60/5.73	c cleaning 7036 clauses out of 14086 with flag 23000/32146
13.36/6.67	c cleaning 8018 clauses out of 16051 with flag 32001/41147
15.70/7.83	c cleaning 9017 clauses out of 18033 with flag 42001/51147
18.04/9.08	c cleaning 10002 clauses out of 20016 with flag 53001/62147
20.73/10.43	c cleaning 11000 clauses out of 22014 with flag 65001/74147
23.69/11.93	c cleaning 11996 clauses out of 24014 with flag 78001/87147
26.82/13.59	c cleaning 13009 clauses out of 26018 with flag 92001/101147
30.75/15.57	c cleaning 13998 clauses out of 28008 with flag 107000/116146
34.43/17.41	c cleaning 14989 clauses out of 30010 with flag 123000/132146
38.15/19.35	c cleaning 16008 clauses out of 32022 with flag 140001/149147
41.89/21.26	c cleaning 17004 clauses out of 34013 with flag 158000/167146
46.21/23.42	c cleaning 18002 clauses out of 36009 with flag 177000/186146
51.27/26.03	c cleaning 19001 clauses out of 38007 with flag 197000/206146
56.60/28.72	c cleaning 20004 clauses out of 40007 with flag 218001/227147
62.08/31.51	c cleaning 21001 clauses out of 42004 with flag 240002/249148
67.79/34.42	c cleaning 22001 clauses out of 44001 with flag 263000/272146
73.64/37.49	c cleaning 22997 clauses out of 46000 with flag 287000/296146
79.31/40.33	c cleaning 24001 clauses out of 48006 with flag 312003/321149
85.54/43.51	c cleaning 25001 clauses out of 50002 with flag 338000/347146
92.05/46.84	c cleaning 25994 clauses out of 52001 with flag 365000/374146
99.67/50.70	c cleaning 26998 clauses out of 54007 with flag 393000/402146
107.33/54.67	c cleaning 28003 clauses out of 56009 with flag 422000/431146
115.01/58.56	c cleaning 28997 clauses out of 58006 with flag 452000/461146
122.86/62.57	c cleaning 30000 clauses out of 60010 with flag 483001/492147
131.89/67.12	c cleaning 30998 clauses out of 62009 with flag 515000/524146
139.93/71.26	c cleaning 31994 clauses out of 64012 with flag 548001/557147
149.23/75.94	c cleaning 33010 clauses out of 66020 with flag 582003/591149
158.46/80.66	c cleaning 33998 clauses out of 68008 with flag 617001/626147
168.04/85.52	c cleaning 34997 clauses out of 70009 with flag 653000/662146
178.05/90.64	c cleaning 35999 clauses out of 72014 with flag 690002/699148
187.89/95.60	c cleaning 37005 clauses out of 74015 with flag 728002/737148
198.76/101.15	c cleaning 38000 clauses out of 76008 with flag 767000/776146
208.51/106.18	c cleaning 38994 clauses out of 78010 with flag 807002/816148
219.93/111.98	c cleaning 40003 clauses out of 80015 with flag 848001/857147
231.94/118.09	c cleaning 40999 clauses out of 82012 with flag 890001/899147
244.20/124.29	c cleaning 41994 clauses out of 84013 with flag 933001/942147
256.84/130.76	c cleaning 43007 clauses out of 86018 with flag 977000/986146
269.02/136.91	c cleaning 43998 clauses out of 88011 with flag 1022000/1031146
282.65/143.84	c cleaning 45002 clauses out of 90013 with flag 1068000/1077146
296.64/150.94	c cleaning 46001 clauses out of 92012 with flag 1115001/1124147
311.34/158.41	c cleaning 46996 clauses out of 94010 with flag 1163000/1172146
324.92/165.37	c cleaning 47995 clauses out of 96015 with flag 1212001/1221147
338.72/172.35	c cleaning 49009 clauses out of 98021 with flag 1262002/1271148
353.12/179.69	c cleaning 49998 clauses out of 100011 with flag 1313001/1322147
368.35/187.43	c cleaning 50996 clauses out of 102012 with flag 1365000/1374146
384.34/195.57	c cleaning 52006 clauses out of 104018 with flag 1418002/1427148
400.54/203.74	c cleaning 52997 clauses out of 106010 with flag 1472000/1481146
417.78/212.48	c cleaning 54001 clauses out of 108013 with flag 1527000/1536146
435.01/221.23	c cleaning 54994 clauses out of 110013 with flag 1583001/1592147
452.41/230.04	c cleaning 56001 clauses out of 112020 with flag 1640002/1649148
469.79/238.82	c cleaning 57007 clauses out of 114020 with flag 1698003/1707149
487.14/247.61	c cleaning 57995 clauses out of 116010 with flag 1757000/1766146
504.62/256.55	c cleaning 59000 clauses out of 118016 with flag 1817001/1826147
522.22/265.43	c cleaning 59992 clauses out of 120016 with flag 1878001/1887147
541.41/275.17	c cleaning 61000 clauses out of 122023 with flag 1940000/1949146
560.57/284.87	c cleaning 62006 clauses out of 124024 with flag 2003001/2012147
581.13/295.35	c cleaning 63007 clauses out of 126017 with flag 2067000/2076146
603.29/306.54	c cleaning 63993 clauses out of 128010 with flag 2132000/2141146
626.09/318.03	c cleaning 65000 clauses out of 130018 with flag 2198001/2207147
646.07/328.19	c cleaning 66006 clauses out of 132018 with flag 2265001/2274147
669.86/340.30	c cleaning 66986 clauses out of 134011 with flag 2333000/2342146
693.08/351.96	c cleaning 68002 clauses out of 136025 with flag 2402000/2411146
715.83/363.41	c cleaning 69005 clauses out of 138023 with flag 2472000/2481146
738.57/374.96	c cleaning 70008 clauses out of 140019 with flag 2543001/2552147
763.84/387.77	c cleaning 71003 clauses out of 142010 with flag 2615000/2624146
789.78/400.89	c cleaning 72001 clauses out of 144009 with flag 2688002/2697148
817.59/414.85	c cleaning 73004 clauses out of 146009 with flag 2762003/2771149
843.99/428.18	c cleaning 73989 clauses out of 148002 with flag 2837000/2846146
869.65/441.11	c cleaning 74995 clauses out of 150014 with flag 2913001/2922147
897.84/455.36	c cleaning 76006 clauses out of 152021 with flag 2990003/2999149
922.82/467.98	c cleaning 77000 clauses out of 154012 with flag 3068000/3077146
951.82/482.56	c cleaning 77999 clauses out of 156013 with flag 3147001/3156147
981.06/497.36	c cleaning 78998 clauses out of 158014 with flag 3227001/3236147
1012.46/513.12	c cleaning 80007 clauses out of 160017 with flag 3308002/3317148
1040.61/527.32	c cleaning 80989 clauses out of 162010 with flag 3390002/3399148
1066.62/540.42	c cleaning 82001 clauses out of 164020 with flag 3473001/3482147
1096.44/555.57	c cleaning 83004 clauses out of 166018 with flag 3557000/3566146
1126.84/570.83	c cleaning 83999 clauses out of 168014 with flag 3642000/3651146
1158.83/586.96	c cleaning 85000 clauses out of 170016 with flag 3728001/3737147
1193.27/604.28	c cleaning 86008 clauses out of 172015 with flag 3815000/3824146
1227.70/621.66	c cleaning 86999 clauses out of 174008 with flag 3903001/3912147
1264.81/640.30	c cleaning 87997 clauses out of 176009 with flag 3992001/4001147
1299.21/657.59	c cleaning 88994 clauses out of 178011 with flag 4082000/4091146
1337.21/676.64	c cleaning 90004 clauses out of 180017 with flag 4173000/4182146
1375.52/695.92	c cleaning 91001 clauses out of 182013 with flag 4265000/4274146
1409.73/713.14	c cleaning 92000 clauses out of 184016 with flag 4358004/4367150
1443.13/729.97	c cleaning 92992 clauses out of 186013 with flag 4452001/4461147
1475.57/746.21	c cleaning 94005 clauses out of 188020 with flag 4547000/4556146
1509.07/763.29	c cleaning 95001 clauses out of 190015 with flag 4643000/4652146
1545.47/781.60	c cleaning 96003 clauses out of 192014 with flag 4740000/4749146
1579.35/798.52	c cleaning 97001 clauses out of 194012 with flag 4838001/4847147
1615.54/816.71	c cleaning 97992 clauses out of 196010 with flag 4937000/4946146
1653.54/835.93	c cleaning 99003 clauses out of 198018 with flag 5037000/5046146
1689.35/853.99	c cleaning 99991 clauses out of 200015 with flag 5138000/5147146
1722.60/870.62	c cleaning 101008 clauses out of 202025 with flag 5240001/5249147
1757.75/888.36	c cleaning 102000 clauses out of 204016 with flag 5343000/5352146
1794.08/906.72	c cleaning 103002 clauses out of 206016 with flag 5447000/5456146
1800.13/909.91	c starts		: 13
1800.13/909.91	c conflicts		: 4800
1800.13/909.91	c decisions		: 122616
1800.13/909.91	c propagations		: 374800
1800.13/909.91	c inspects		: 222082772
1800.13/909.91	c shortcuts		: 0
1800.13/909.91	c learnt literals	: 0
1800.13/909.91	c learnt binary clauses	: 0
1800.13/909.91	c learnt ternary clauses	: 0
1800.13/909.91	c learnt constraints	: 4800
1800.13/909.91	c ignored constraints	: 0
1800.13/909.91	c root simplifications	: 0
1800.13/909.91	c removed literals (reason simplification)	: 0
1800.13/909.91	c reason swapping (by a shorter reason)	: 0
1800.13/909.91	c Calls to reduceDB	: 0
1800.13/909.91	c number of reductions to clauses (during analyze)	: 0
1800.13/909.91	c number of learned constraints concerned by reduction	: 0
1800.13/909.91	c number of learning phase by resolution	: 0
1800.13/909.91	c number of learning phase by cutting planes	: 0
1800.13/909.91	c speed (assignments/second)	: 412.2745167489273
1800.13/909.91	c non guided choices	0
1800.13/909.91	c learnt constraints type 
1800.13/909.91	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 4
1800.13/909.91	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4796
1800.13/909.91	c constraints type 
1800.13/909.91	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 77
1800.13/909.91	c 77 constraints processed.
1800.13/909.91	c constraints type 
1800.13/909.91	c org.sat4j.pb.constraints.pb.MaxWatchPb => 77
1800.13/909.91	c 77 constraints processed.
1800.13/909.91	s SATISFIABLE
1800.13/909.92	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 
1800.13/909.92	c objective function=32537600
1800.13/909.92	c Total wall clock time (in seconds): 909.793

Verifier Data

OK	32537600

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-3687964-1337874971/watcher-3687964-1337874971 -o /tmp/evaluation-result-3687964-1337874971/solver-3687964-1337874971 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687964-1337874971.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.91 3.91 3.67 4/197 24554
/proc/meminfo: memFree=26688216/32873844 swapFree=7616/7616
[pid=24554] ppid=24552 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/24554/stat : 24554 (java) D 24552 24554 23801 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253622695 9515008 182 33554432000 1073741824 1073778376 140734989601680 140734989592712 214369648309 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/24554/statm: 2323 182 140 9 0 71 0

[startup+0.081429 s]
/proc/loadavg: 3.91 3.91 3.67 4/197 24554
/proc/meminfo: memFree=26688216/32873844 swapFree=7616/7616
[pid=24554] ppid=24552 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/24554/stat : 24554 (java) S 24552 24554 23801 0 -1 4202496 3287 0 1 0 5 0 0 0 20 0 18 0 253622695 9787813888 4496 33554432000 1073741824 1073778376 140734314918976 140734314910112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24554/statm: 2389603 4497 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412

[startup+0.100294 s]
/proc/loadavg: 3.91 3.91 3.67 4/197 24554
/proc/meminfo: memFree=26688216/32873844 swapFree=7616/7616
[pid=24554] ppid=24552 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/24554/stat : 24554 (java) S 24552 24554 23801 0 -1 4202496 4186 0 1 0 8 0 0 0 20 0 18 0 253622695 9787813888 5375 33554432000 1073741824 1073778376 140734314918976 140734314910112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24554/statm: 2389603 5375 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300199 s]
/proc/loadavg: 3.91 3.91 3.67 4/197 24554
/proc/meminfo: memFree=26688216/32873844 swapFree=7616/7616
[pid=24554] ppid=24552 vsize=9691540 CPUtime=0.56 cores=1,3,5,7
/proc/24554/stat : 24554 (java) S 24552 24554 23801 0 -1 4202496 13251 0 1 0 54 2 0 0 20 0 20 0 253622695 9924136960 13994 33554432000 1073741824 1073778376 140734314918976 140734314910112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24554/statm: 2422885 13994 2227 9 0 2413578 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9691540

[startup+0.700268 s]
/proc/loadavg: 3.91 3.91 3.67 4/197 24554
/proc/meminfo: memFree=26688216/32873844 swapFree=7616/7616
[pid=24554] ppid=24552 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/24554/stat : 24554 (java) S 24552 24554 23801 0 -1 4202496 19699 0 1 0 128 6 0 0 20 0 19 0 253622695 10060460032 17741 33554432000 1073741824 1073778376 140734314918976 140734314910112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24554/statm: 2456167 17741 2244 9 0 2446860 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9824668

[startup+1.50078 s]
/proc/loadavg: 3.84 3.89 3.67 7/219 24579
/proc/meminfo: memFree=26603904/32873844 swapFree=7616/7616
[pid=24554] ppid=24552 vsize=9824668 CPUtime=3.5 cores=1,3,5,7
/proc/24554/stat : 24554 (java) S 24552 24554 23801 0 -1 4202496 22787 0 1 0 342 8 0 0 20 0 22 0 253622695 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140734314910112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24554/statm: 2456167 40641 2253 9 0 2446860 0
[pid=24554/tid=24556] ppid=24552 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/24554/task/24556/stat : 24556 (java) S 24552 24554 23801 0 -1 4202560 2485 0 1 0 27 0 0 0 20 0 22 0 253622697 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140272163374072 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24557] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24557/stat : 24557 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622698 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140272007379752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24558] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24558/stat : 24558 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622698 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140272006326952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24559] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24559/stat : 24559 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622698 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140272005274664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24560] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24560/stat : 24560 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622698 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140272004221864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24561] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24561/stat : 24561 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622698 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140272003168552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24562] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24562/stat : 24562 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622698 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140272002115752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24563] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24563/stat : 24563 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622698 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140272001063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24564] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24564/stat : 24564 (java) S 24552 24554 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253622698 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140272000010664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24565] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24565/stat : 24565 (java) S 24552 24554 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253622699 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140271987600104 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24566] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24566/stat : 24566 (java) S 24552 24554 23801 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253622700 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140271986546168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24567] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24567/stat : 24567 (java) S 24552 24554 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253622700 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140271985493768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24568] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24568/stat : 24568 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622702 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140271984442256 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24569] ppid=24552 vsize=9824668 CPUtime=0.8 cores=1,3,5,7
/proc/24554/task/24569/stat : 24569 (java) R 24552 24554 23801 0 -1 4202560 8111 0 0 0 78 2 0 0 20 0 22 0 253622702 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140271983388856 140272167465800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24570] ppid=24552 vsize=9824668 CPUtime=0.83 cores=1,3,5,7
/proc/24554/task/24570/stat : 24570 (java) S 24552 24554 23801 0 -1 4202560 10826 0 0 0 80 3 0 0 20 0 22 0 253622702 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140271982336056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24571] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24571/stat : 24571 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622702 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140271981283960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24572] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24572/stat : 24572 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622702 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140271980231368 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24576] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24576/stat : 24576 (java) S 24552 24554 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253622729 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140271976019496 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24577] ppid=24552 vsize=9824668 CPUtime=0.67 cores=1,3,5,7
/proc/24554/task/24577/stat : 24577 (java) R 24552 24554 23801 0 -1 4202560 12 0 0 0 67 0 0 0 20 0 22 0 253622776 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140271978123848 140272036482969 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24578] ppid=24552 vsize=9824668 CPUtime=0.68 cores=1,3,5,7
/proc/24554/task/24578/stat : 24578 (java) R 24552 24554 23801 0 -1 4202560 39 0 0 0 67 1 0 0 20 0 22 0 253622776 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140271979175832 140272036506508 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24579] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24579/stat : 24579 (java) S 24552 24554 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253622777 10060460032 40641 33554432000 1073741824 1073778376 140734314918976 140271977071784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 9824668

[startup+3.10084 s]
/proc/loadavg: 3.84 3.89 3.67 5/219 24579
/proc/meminfo: memFree=26478356/32873844 swapFree=7616/7616
[pid=24554] ppid=24552 vsize=9824668 CPUtime=6.27 cores=1,3,5,7
/proc/24554/stat : 24554 (java) S 24552 24554 23801 0 -1 4202496 23522 0 1 0 613 14 0 0 20 0 22 0 253622695 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140734314910112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24554/statm: 2456167 54517 2280 9 0 2446860 0
[pid=24554/tid=24556] ppid=24552 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/24554/task/24556/stat : 24556 (java) S 24552 24554 23801 0 -1 4202560 2485 0 1 0 28 0 0 0 20 0 22 0 253622697 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140272163374072 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24557] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24557/stat : 24557 (java) S 24552 24554 23801 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253622698 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140272007379752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24558] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24558/stat : 24558 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622698 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140272006326952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24559] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24559/stat : 24559 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622698 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140272005274664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24560] ppid=24552 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24554/task/24560/stat : 24560 (java) S 24552 24554 23801 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 253622698 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140272004221864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24561] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24561/stat : 24561 (java) S 24552 24554 23801 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253622698 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140272003168552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24562] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24562/stat : 24562 (java) S 24552 24554 23801 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253622698 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140272002115752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24563] ppid=24552 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24554/task/24563/stat : 24563 (java) S 24552 24554 23801 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253622698 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140272001063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24564] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24564/stat : 24564 (java) S 24552 24554 23801 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253622698 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140272000010664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24565] ppid=24552 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24554/task/24565/stat : 24565 (java) S 24552 24554 23801 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 22 0 253622699 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140271987600104 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24566] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24566/stat : 24566 (java) S 24552 24554 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253622700 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140271986546168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24567] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24567/stat : 24567 (java) S 24552 24554 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253622700 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140271985493768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24568] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24568/stat : 24568 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622702 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140271984442256 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24569] ppid=24552 vsize=9824668 CPUtime=0.9 cores=1,3,5,7
/proc/24554/task/24569/stat : 24569 (java) S 24552 24554 23801 0 -1 4202560 8116 0 0 0 88 2 0 0 20 0 22 0 253622702 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140271983388856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24570] ppid=24552 vsize=9824668 CPUtime=1.05 cores=1,3,5,7
/proc/24554/task/24570/stat : 24570 (java) S 24552 24554 23801 0 -1 4202560 11443 0 0 0 101 4 0 0 20 0 22 0 253622702 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140271982336056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24571] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24571/stat : 24571 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622702 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140271981283960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24572] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24572/stat : 24572 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622702 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140271980231368 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24579] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24579/stat : 24579 (java) S 24552 24554 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253622777 10060460032 54517 33554432000 1073741824 1073778376 140734314918976 140271977071784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 9824668

[startup+6.30087 s]
/proc/loadavg: 3.85 3.89 3.67 5/219 24585
/proc/meminfo: memFree=26471964/32873844 swapFree=7616/7616
[pid=24554] ppid=24552 vsize=9824668 CPUtime=12.75 cores=1,3,5,7
/proc/24554/stat : 24554 (java) S 24552 24554 23801 0 -1 4202496 23556 0 1 0 1261 14 0 0 20 0 22 0 253622695 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140734314910112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24554/statm: 2456167 56836 2280 9 0 2446860 0
[pid=24554/tid=24556] ppid=24552 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/24554/task/24556/stat : 24556 (java) S 24552 24554 23801 0 -1 4202560 2485 0 1 0 28 0 0 0 20 0 22 0 253622697 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140272163374072 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24557] ppid=24552 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24554/task/24557/stat : 24557 (java) S 24552 24554 23801 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253622698 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140272007379752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24558] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24558/stat : 24558 (java) S 24552 24554 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253622698 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140272006326952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24559] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24559/stat : 24559 (java) S 24552 24554 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253622698 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140272005274664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24560] ppid=24552 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24554/task/24560/stat : 24560 (java) S 24552 24554 23801 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 253622698 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140272004221864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24561] ppid=24552 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24554/task/24561/stat : 24561 (java) S 24552 24554 23801 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 253622698 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140272003168552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24562] ppid=24552 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24554/task/24562/stat : 24562 (java) S 24552 24554 23801 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 253622698 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140272002115752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24563] ppid=24552 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24554/task/24563/stat : 24563 (java) S 24552 24554 23801 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 253622698 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140272001063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24564] ppid=24552 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24554/task/24564/stat : 24564 (java) S 24552 24554 23801 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253622698 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140272000010664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24565] ppid=24552 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/24554/task/24565/stat : 24565 (java) S 24552 24554 23801 0 -1 4202560 37 0 0 0 25 0 0 0 20 0 22 0 253622699 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140271987600104 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24566] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24566/stat : 24566 (java) S 24552 24554 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253622700 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140271986546168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24567] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24567/stat : 24567 (java) S 24552 24554 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253622700 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140271985493768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24568] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24568/stat : 24568 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622702 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140271984442256 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24569] ppid=24552 vsize=9824668 CPUtime=1.14 cores=1,3,5,7
/proc/24554/task/24569/stat : 24569 (java) S 24552 24554 23801 0 -1 4202560 8118 0 0 0 112 2 0 0 20 0 22 0 253622702 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140271983388856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24570] ppid=24552 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/24554/task/24570/stat : 24570 (java) S 24552 24554 23801 0 -1 4202560 11443 0 0 0 103 4 0 0 20 0 22 0 253622702 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140271982336056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24571] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24571/stat : 24571 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622702 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140271981283960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24572] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24572/stat : 24572 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622702 10060460032 56836 33554432000 1073741824 1073778376 140734314918976 140271980231368 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0

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

/proc/24554/statm: 2456167 147493 2281 9 0 2446860 0
[pid=24554/tid=24556] ppid=24552 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/24554/task/24556/stat : 24556 (java) S 24552 24554 23801 0 -1 4202560 2539 0 1 0 32 2 0 0 20 0 22 0 253622697 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140272163374072 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24557] ppid=24552 vsize=9824668 CPUtime=3.6 cores=1,3,5,7
/proc/24554/task/24557/stat : 24557 (java) S 24552 24554 23801 0 -1 4202560 721 0 0 0 349 11 0 0 20 0 22 0 253622698 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140272007379752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24558] ppid=24552 vsize=9824668 CPUtime=3.6 cores=1,3,5,7
/proc/24554/task/24558/stat : 24558 (java) S 24552 24554 23801 0 -1 4202560 955 0 0 0 351 9 0 0 20 0 22 0 253622698 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140272006326952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24559] ppid=24552 vsize=9824668 CPUtime=3.67 cores=1,3,5,7
/proc/24554/task/24559/stat : 24559 (java) S 24552 24554 23801 0 -1 4202560 721 0 0 0 355 12 0 0 20 0 22 0 253622698 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140272005274664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24560] ppid=24552 vsize=9824668 CPUtime=3.55 cores=1,3,5,7
/proc/24554/task/24560/stat : 24560 (java) S 24552 24554 23801 0 -1 4202560 609 0 0 0 343 12 0 0 20 0 22 0 253622698 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140272004221864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24561] ppid=24552 vsize=9824668 CPUtime=3.72 cores=1,3,5,7
/proc/24554/task/24561/stat : 24561 (java) S 24552 24554 23801 0 -1 4202560 500 0 0 0 361 11 0 0 20 0 22 0 253622698 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140272003168552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24562] ppid=24552 vsize=9824668 CPUtime=3.5 cores=1,3,5,7
/proc/24554/task/24562/stat : 24562 (java) S 24552 24554 23801 0 -1 4202560 833 0 0 0 340 10 0 0 20 0 22 0 253622698 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140272002115752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24563] ppid=24552 vsize=9824668 CPUtime=3.54 cores=1,3,5,7
/proc/24554/task/24563/stat : 24563 (java) S 24552 24554 23801 0 -1 4202560 764 0 0 0 343 11 0 0 20 0 22 0 253622698 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140272001063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24564] ppid=24552 vsize=9824668 CPUtime=3.63 cores=1,3,5,7
/proc/24554/task/24564/stat : 24564 (java) S 24552 24554 23801 0 -1 4202560 688 0 0 0 353 10 0 0 20 0 22 0 253622698 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140272000010664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24565] ppid=24552 vsize=9824668 CPUtime=31 cores=1,3,5,7
/proc/24554/task/24565/stat : 24565 (java) S 24552 24554 23801 0 -1 4202560 2049 0 0 0 3056 44 0 0 20 0 22 0 253622699 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140271987600104 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24566] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24566/stat : 24566 (java) S 24552 24554 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253622700 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140271986546168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24567] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24567/stat : 24567 (java) S 24552 24554 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253622700 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140271985493768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24568] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24568/stat : 24568 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622702 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140271984442256 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24569] ppid=24552 vsize=9824668 CPUtime=1.24 cores=1,3,5,7
/proc/24554/task/24569/stat : 24569 (java) S 24552 24554 23801 0 -1 4202560 8125 0 0 0 122 2 0 0 20 0 22 0 253622702 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140271983388856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24570] ppid=24552 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/24554/task/24570/stat : 24570 (java) S 24552 24554 23801 0 -1 4202560 11443 0 0 0 103 4 0 0 20 0 22 0 253622702 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140271982336056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24571] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24571/stat : 24571 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622702 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140271981283960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24572] ppid=24552 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/24554/task/24572/stat : 24572 (java) S 24552 24554 23801 0 -1 4202560 50 0 0 0 24 21 0 0 20 0 22 0 253622702 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140271980231368 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24579] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24579/stat : 24579 (java) S 24552 24554 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253622777 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140271977071784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24583] ppid=24552 vsize=9824668 CPUtime=837.68 cores=1,3,5,7
/proc/24554/task/24583/stat : 24583 (java) R 24552 24554 23801 0 -1 4202560 1911 0 0 0 83747 21 0 0 20 0 22 0 253622977 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140271978122400 140272036549669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24584] ppid=24552 vsize=9824668 CPUtime=837.67 cores=1,3,5,7
/proc/24554/task/24584/stat : 24584 (java) R 24552 24554 23801 0 -1 4202560 8856 0 0 0 83742 25 0 0 20 0 22 0 253622977 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140271976017776 140272036506501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24585] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24585/stat : 24585 (java) S 24552 24554 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253622977 10060460032 147493 33554432000 1073741824 1073778376 140734314918976 140271979176872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1745.69
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+909.901 s]
/proc/loadavg: 3.71 3.81 3.74 5/219 24703
/proc/meminfo: memFree=28914652/32873844 swapFree=7616/7616
[pid=24554] ppid=24552 vsize=9824668 CPUtime=1800.13 cores=1,3,5,7
/proc/24554/stat : 24554 (java) S 24552 24554 23801 0 -1 4202496 42170 0 1 0 179827 186 0 0 20 0 22 0 253622695 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140734314910112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24554/statm: 2456167 135011 2281 9 0 2446860 0
[pid=24554/tid=24556] ppid=24552 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/24554/task/24556/stat : 24556 (java) S 24552 24554 23801 0 -1 4202560 2543 0 1 0 32 2 0 0 20 0 22 0 253622697 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272163374072 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24557] ppid=24552 vsize=9824668 CPUtime=3.74 cores=1,3,5,7
/proc/24554/task/24557/stat : 24557 (java) S 24552 24554 23801 0 -1 4202560 721 0 0 0 362 12 0 0 20 0 22 0 253622698 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272007379752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24558] ppid=24552 vsize=9824668 CPUtime=3.71 cores=1,3,5,7
/proc/24554/task/24558/stat : 24558 (java) S 24552 24554 23801 0 -1 4202560 955 0 0 0 362 9 0 0 20 0 22 0 253622698 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272006326952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24559] ppid=24552 vsize=9824668 CPUtime=3.79 cores=1,3,5,7
/proc/24554/task/24559/stat : 24559 (java) S 24552 24554 23801 0 -1 4202560 728 0 0 0 367 12 0 0 20 0 22 0 253622698 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272005274664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24560] ppid=24552 vsize=9824668 CPUtime=3.65 cores=1,3,5,7
/proc/24554/task/24560/stat : 24560 (java) S 24552 24554 23801 0 -1 4202560 609 0 0 0 353 12 0 0 20 0 22 0 253622698 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272004221864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24561] ppid=24552 vsize=9824668 CPUtime=3.83 cores=1,3,5,7
/proc/24554/task/24561/stat : 24561 (java) S 24552 24554 23801 0 -1 4202560 500 0 0 0 372 11 0 0 20 0 22 0 253622698 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272003168552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24562] ppid=24552 vsize=9824668 CPUtime=3.6 cores=1,3,5,7
/proc/24554/task/24562/stat : 24562 (java) S 24552 24554 23801 0 -1 4202560 833 0 0 0 349 11 0 0 20 0 22 0 253622698 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272002115752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24563] ppid=24552 vsize=9824668 CPUtime=3.63 cores=1,3,5,7
/proc/24554/task/24563/stat : 24563 (java) S 24552 24554 23801 0 -1 4202560 764 0 0 0 352 11 0 0 20 0 22 0 253622698 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272001063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24564] ppid=24552 vsize=9824668 CPUtime=3.75 cores=1,3,5,7
/proc/24554/task/24564/stat : 24564 (java) S 24552 24554 23801 0 -1 4202560 689 0 0 0 365 10 0 0 20 0 22 0 253622698 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272000010664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24565] ppid=24552 vsize=9824668 CPUtime=32.07 cores=1,3,5,7
/proc/24554/task/24565/stat : 24565 (java) S 24552 24554 23801 0 -1 4202560 2051 0 0 0 3162 45 0 0 20 0 22 0 253622699 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271987600104 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24566] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24566/stat : 24566 (java) S 24552 24554 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253622700 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271986546168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24567] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24567/stat : 24567 (java) S 24552 24554 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253622700 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271985493768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24568] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24568/stat : 24568 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622702 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271984442256 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24569] ppid=24552 vsize=9824668 CPUtime=1.24 cores=1,3,5,7
/proc/24554/task/24569/stat : 24569 (java) S 24552 24554 23801 0 -1 4202560 8125 0 0 0 122 2 0 0 20 0 22 0 253622702 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271983388856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24570] ppid=24552 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/24554/task/24570/stat : 24570 (java) S 24552 24554 23801 0 -1 4202560 11443 0 0 0 103 4 0 0 20 0 22 0 253622702 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271982336056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24571] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24571/stat : 24571 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622702 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271981283960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24572] ppid=24552 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/24554/task/24572/stat : 24572 (java) S 24552 24554 23801 0 -1 4202560 52 0 0 0 25 22 0 0 20 0 22 0 253622702 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271980231368 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24579] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24579/stat : 24579 (java) S 24552 24554 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253622777 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271977071784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24583] ppid=24552 vsize=9824668 CPUtime=863.86 cores=1,3,5,7
/proc/24554/task/24583/stat : 24583 (java) R 24552 24554 23801 0 -1 4202560 1916 0 0 0 86364 22 0 0 20 0 22 0 253622977 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271978122448 140272036482996 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24584] ppid=24552 vsize=9824668 CPUtime=863.85 cores=1,3,5,7
/proc/24554/task/24584/stat : 24584 (java) R 24552 24554 23801 0 -1 4202560 8862 0 0 0 86358 27 0 0 20 0 22 0 253622977 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271976017760 140272036506501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24585] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24585/stat : 24585 (java) S 24552 24554 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253622977 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271979176872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824668

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

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

[startup+909.901 s]
/proc/loadavg: 3.71 3.81 3.74 5/219 24703
/proc/meminfo: memFree=28914652/32873844 swapFree=7616/7616
[pid=24554] ppid=24552 vsize=9824668 CPUtime=1800.13 cores=1,3,5,7
/proc/24554/stat : 24554 (java) S 24552 24554 23801 0 -1 4202496 42170 0 1 0 179827 186 0 0 20 0 22 0 253622695 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140734314910112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24554/statm: 2456167 135011 2281 9 0 2446860 0
[pid=24554/tid=24556] ppid=24552 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/24554/task/24556/stat : 24556 (java) S 24552 24554 23801 0 -1 4202560 2543 0 1 0 32 2 0 0 20 0 22 0 253622697 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272163374072 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24557] ppid=24552 vsize=9824668 CPUtime=3.74 cores=1,3,5,7
/proc/24554/task/24557/stat : 24557 (java) S 24552 24554 23801 0 -1 4202560 721 0 0 0 362 12 0 0 20 0 22 0 253622698 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272007379752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24558] ppid=24552 vsize=9824668 CPUtime=3.71 cores=1,3,5,7
/proc/24554/task/24558/stat : 24558 (java) S 24552 24554 23801 0 -1 4202560 955 0 0 0 362 9 0 0 20 0 22 0 253622698 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272006326952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24559] ppid=24552 vsize=9824668 CPUtime=3.79 cores=1,3,5,7
/proc/24554/task/24559/stat : 24559 (java) S 24552 24554 23801 0 -1 4202560 728 0 0 0 367 12 0 0 20 0 22 0 253622698 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272005274664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24560] ppid=24552 vsize=9824668 CPUtime=3.65 cores=1,3,5,7
/proc/24554/task/24560/stat : 24560 (java) S 24552 24554 23801 0 -1 4202560 609 0 0 0 353 12 0 0 20 0 22 0 253622698 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272004221864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24561] ppid=24552 vsize=9824668 CPUtime=3.83 cores=1,3,5,7
/proc/24554/task/24561/stat : 24561 (java) S 24552 24554 23801 0 -1 4202560 500 0 0 0 372 11 0 0 20 0 22 0 253622698 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272003168552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24562] ppid=24552 vsize=9824668 CPUtime=3.6 cores=1,3,5,7
/proc/24554/task/24562/stat : 24562 (java) S 24552 24554 23801 0 -1 4202560 833 0 0 0 349 11 0 0 20 0 22 0 253622698 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272002115752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24563] ppid=24552 vsize=9824668 CPUtime=3.63 cores=1,3,5,7
/proc/24554/task/24563/stat : 24563 (java) S 24552 24554 23801 0 -1 4202560 764 0 0 0 352 11 0 0 20 0 22 0 253622698 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272001063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24564] ppid=24552 vsize=9824668 CPUtime=3.75 cores=1,3,5,7
/proc/24554/task/24564/stat : 24564 (java) S 24552 24554 23801 0 -1 4202560 689 0 0 0 365 10 0 0 20 0 22 0 253622698 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140272000010664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24565] ppid=24552 vsize=9824668 CPUtime=32.07 cores=1,3,5,7
/proc/24554/task/24565/stat : 24565 (java) S 24552 24554 23801 0 -1 4202560 2051 0 0 0 3162 45 0 0 20 0 22 0 253622699 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271987600104 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24566] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24566/stat : 24566 (java) S 24552 24554 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253622700 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271986546168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24567] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24567/stat : 24567 (java) S 24552 24554 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253622700 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271985493768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24568] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24568/stat : 24568 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622702 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271984442256 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24569] ppid=24552 vsize=9824668 CPUtime=1.24 cores=1,3,5,7
/proc/24554/task/24569/stat : 24569 (java) S 24552 24554 23801 0 -1 4202560 8125 0 0 0 122 2 0 0 20 0 22 0 253622702 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271983388856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24570] ppid=24552 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/24554/task/24570/stat : 24570 (java) S 24552 24554 23801 0 -1 4202560 11443 0 0 0 103 4 0 0 20 0 22 0 253622702 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271982336056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24571] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24571/stat : 24571 (java) S 24552 24554 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253622702 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271981283960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24572] ppid=24552 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/24554/task/24572/stat : 24572 (java) S 24552 24554 23801 0 -1 4202560 52 0 0 0 25 22 0 0 20 0 22 0 253622702 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271980231368 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24554/tid=24579] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24579/stat : 24579 (java) S 24552 24554 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253622777 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271977071784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24554/tid=24583] ppid=24552 vsize=9824668 CPUtime=863.86 cores=1,3,5,7
/proc/24554/task/24583/stat : 24583 (java) R 24552 24554 23801 0 -1 4202560 1916 0 0 0 86364 22 0 0 20 0 22 0 253622977 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271978122448 140272036482996 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24554/tid=24584] ppid=24552 vsize=9824668 CPUtime=863.85 cores=1,3,5,7
/proc/24554/task/24584/stat : 24584 (java) R 24552 24554 23801 0 -1 4202560 8862 0 0 0 86358 27 0 0 20 0 22 0 253622977 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271976017760 140272036506501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24554/tid=24585] ppid=24552 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24554/task/24585/stat : 24585 (java) S 24552 24554 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253622977 10060460032 135011 33554432000 1073741824 1073778376 140734314918976 140271979176872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824668

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24554 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=922282
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=340644
# CPU time returned by wait4() is 1796.26
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 909.932
CPU time (s): 1800.13
CPU user time (s): 1798.27
CPU system time (s): 1.86
CPU usage (%): 197.831
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.92
system time used= 2.34064
maximum resident set size= 599948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42200
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37920
involuntary context switches= 65394

runsolver used 3.52146 second user time and 9.12261 second system time

The end

Launcher Data

Begin job on node130 at 2012-05-24 17:56:11
IDJOB=3687964
IDBENCH=2469
IDSOLVER=2268
FILE ID=node130/3687964-1337874971
RUNJOBID= node130-1337871881-23818
PBS_JOBID= 14620074
Free space on /tmp= 71672 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod013.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687964-1337874971/watcher-3687964-1337874971 -o /tmp/evaluation-result-3687964-1337874971/solver-3687964-1337874971 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687964-1337874971.opb

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

MD5SUM BENCH= 4cb1be2dcc654132071469b521292770
RANDOM SEED=719690888

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
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	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26688588 kB
Buffers:          195948 kB
Cached:          2125512 kB
SwapCached:            0 kB
Active:          3588508 kB
Inactive:        1822900 kB
Active(anon):    3092396 kB
Inactive(anon):        0 kB
Active(file):     496112 kB
Inactive(file):  1822900 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               504 kB
Writeback:             0 kB
AnonPages:       3099268 kB
Mapped:            22580 kB
Shmem:               200 kB
Slab:             627232 kB
SReclaimable:      69428 kB
SUnreclaim:       557804 kB
KernelStack:        1632 kB
PageTables:        10372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3329588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3024896 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= 71672 MiB
End job on node130 at 2012-05-24 18:11:23