Trace number 3688827

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 NameAnswerCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT 768.89 762.685

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_3_15.opb
MD5SUM6d36c2461bcbe18a397b3deab9e30c2d
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.208967
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12432
Sum of products size (including duplicates)24864
Number of different products6216
Sum of products size12432

Solver Data

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3688827-1337888143.opb
0.11/0.10	c reading problem ... 
0.79/0.47	c ... done. Wall clock time 0.372s.
0.79/0.47	c declared #vars     400
0.79/0.47	c internal #vars     6616
0.79/0.47	c #constraints  13035
0.79/0.47	c constraints type 
0.79/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6216
0.79/0.47	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
0.79/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.79/0.47	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6216
0.79/0.47	c 13035 constraints processed.
2.54/1.74	c cleaning 2522 clauses out of 5044 with flag 5044/5044
3.30/2.38	c cleaning 4233 clauses out of 8479 with flag 11001/11001
4.13/3.14	c cleaning 5656 clauses out of 11311 with flag 18066/18066
6.16/5.18	c cleaning 6838 clauses out of 13675 with flag 26086/26086
7.81/6.77	c cleaning 7875 clauses out of 15751 with flag 35000/35000
9.33/8.27	c cleaning 8937 clauses out of 17876 with flag 45000/45000
12.14/11.07	c cleaning 9979 clauses out of 19957 with flag 56018/56018
14.56/13.45	c cleaning 11016 clauses out of 22031 with flag 68071/68071
17.88/16.76	c cleaning 12045 clauses out of 24090 with flag 81146/81146
20.50/19.36	c cleaning 12952 clauses out of 25930 with flag 95031/95031
22.63/21.43	c cleaning 13960 clauses out of 27967 with flag 110020/110020
24.05/22.82	c cleaning 14989 clauses out of 29991 with flag 126004/126004
25.39/24.17	c cleaning 15989 clauses out of 31998 with flag 143000/143000
26.81/25.59	c cleaning 17000 clauses out of 34013 with flag 161004/161004
28.13/26.88	c cleaning 18004 clauses out of 36011 with flag 180002/180002
31.35/30.05	c cleaning 19005 clauses out of 38010 with flag 200005/200005
33.98/32.69	c cleaning 19990 clauses out of 40005 with flag 221005/221005
35.71/34.40	c cleaning 21003 clauses out of 42010 with flag 243000/243000
37.74/36.38	c cleaning 22002 clauses out of 44007 with flag 266000/266000
43.37/41.91	c cleaning 22974 clauses out of 46019 with flag 290014/290014
47.30/45.86	c cleaning 24015 clauses out of 48043 with flag 315012/315012
51.84/50.39	c cleaning 25022 clauses out of 50044 with flag 341028/341028
55.81/54.23	c cleaning 26000 clauses out of 52018 with flag 368024/368024
60.04/58.46	c cleaning 27006 clauses out of 54011 with flag 396017/396017
63.47/61.80	c cleaning 27983 clauses out of 55997 with flag 425009/425009
69.69/68.02	c cleaning 29007 clauses out of 58016 with flag 455011/455011
79.74/78.10	c cleaning 29990 clauses out of 59998 with flag 486000/486000
84.89/83.15	c cleaning 31009 clauses out of 62017 with flag 518009/518009
89.70/87.88	c cleaning 32016 clauses out of 64031 with flag 551032/551032
94.53/92.66	c cleaning 32976 clauses out of 65986 with flag 585003/585003
98.76/96.87	c cleaning 33988 clauses out of 68012 with flag 620005/620005
106.59/104.66	c cleaning 35038 clauses out of 70075 with flag 656056/656056
116.83/114.80	c cleaning 35976 clauses out of 71996 with flag 693015/693015
124.00/121.95	c cleaning 36997 clauses out of 74005 with flag 731000/731000
127.95/125.88	c cleaning 38007 clauses out of 76017 with flag 770009/770009
134.60/132.48	c cleaning 39034 clauses out of 78069 with flag 810068/810068
142.35/140.18	c cleaning 39989 clauses out of 79981 with flag 851014/851014
150.03/147.80	c cleaning 40981 clauses out of 81987 with flag 893009/893009
156.16/153.88	c cleaning 42011 clauses out of 84023 with flag 936026/936026
168.67/166.31	c cleaning 42959 clauses out of 86008 with flag 980022/980022
180.20/177.84	c cleaning 44036 clauses out of 88076 with flag 1025049/1025049
188.37/185.99	c cleaning 44981 clauses out of 90010 with flag 1071019/1071019
193.43/190.98	c cleaning 45985 clauses out of 92010 with flag 1118000/1118000
198.89/196.35	c cleaning 47005 clauses out of 94029 with flag 1166004/1166004
207.38/204.74	c cleaning 47998 clauses out of 96031 with flag 1215011/1215011
216.33/213.62	c cleaning 49013 clauses out of 98040 with flag 1265018/1265018
224.89/222.19	c cleaning 50003 clauses out of 100012 with flag 1316003/1316003
232.78/229.98	c cleaning 50996 clauses out of 102010 with flag 1368004/1368004
237.89/235.03	c cleaning 51996 clauses out of 104010 with flag 1421000/1421000
245.63/242.72	c cleaning 53041 clauses out of 106082 with flag 1475068/1475068
259.79/256.86	c cleaning 53986 clauses out of 107985 with flag 1530012/1530012
266.00/262.98	c cleaning 54990 clauses out of 109997 with flag 1586010/1586010
272.95/269.87	c cleaning 56005 clauses out of 112010 with flag 1643013/1643013
282.02/278.84	c cleaning 57004 clauses out of 114007 with flag 1701015/1701015
293.19/289.97	c cleaning 57992 clauses out of 115988 with flag 1760000/1760000
301.13/297.83	c cleaning 58972 clauses out of 118002 with flag 1820006/1820006
308.89/305.50	c cleaning 60009 clauses out of 120027 with flag 1881003/1881003
315.77/312.33	c cleaning 61007 clauses out of 122015 with flag 1943000/1943000
323.88/320.37	c cleaning 62017 clauses out of 124033 with flag 2006025/2006025
339.66/336.06	c cleaning 62981 clauses out of 125997 with flag 2070006/2070006
348.90/345.26	c cleaning 64003 clauses out of 128028 with flag 2135018/2135018
362.36/358.69	c cleaning 65018 clauses out of 130035 with flag 2201028/2201028
382.26/378.47	c cleaning 65996 clauses out of 132001 with flag 2268012/2268012
396.11/392.23	c cleaning 67004 clauses out of 134008 with flag 2336015/2336015
411.68/407.78	c cleaning 67998 clauses out of 135995 with flag 2405006/2405006
423.71/419.68	c cleaning 68992 clauses out of 138008 with flag 2475017/2475017
432.22/428.07	c cleaning 70001 clauses out of 140010 with flag 2546011/2546011
442.40/438.13	c cleaning 71011 clauses out of 142025 with flag 2618027/2618027
451.11/446.78	c cleaning 71985 clauses out of 143992 with flag 2691005/2691005
459.76/455.32	c cleaning 72989 clauses out of 146003 with flag 2765001/2765001
469.94/465.46	c cleaning 74006 clauses out of 148016 with flag 2840003/2840003
479.33/474.73	c cleaning 75004 clauses out of 150008 with flag 2916001/2916001
489.29/484.63	c cleaning 75998 clauses out of 152003 with flag 2993000/2993000
504.89/500.11	c cleaning 77008 clauses out of 154035 with flag 3071030/3071030
515.83/511.06	c cleaning 77974 clauses out of 155998 with flag 3150001/3150001
536.30/531.43	c cleaning 79019 clauses out of 158038 with flag 3230015/3230015
554.29/549.38	c cleaning 79996 clauses out of 160015 with flag 3311011/3311011
567.59/562.54	c cleaning 80996 clauses out of 162017 with flag 3393009/3393009
579.82/574.76	c cleaning 82012 clauses out of 164033 with flag 3476021/3476021
595.17/589.80	c cleaning 83003 clauses out of 166008 with flag 3560008/3560008
611.78/606.46	c cleaning 83978 clauses out of 167999 with flag 3645002/3645002
634.33/628.88	c cleaning 85030 clauses out of 170061 with flag 3731042/3731042
655.82/650.30	c cleaning 85992 clauses out of 172007 with flag 3818018/3818018
677.14/671.49	c cleaning 86983 clauses out of 173997 with flag 3906000/3906000
694.43/688.61	c cleaning 88011 clauses out of 176027 with flag 3995013/3995013
708.94/703.06	c cleaning 89003 clauses out of 178011 with flag 4085008/4085008
719.35/713.32	c cleaning 89994 clauses out of 180000 with flag 4176000/4176000
733.02/726.97	c cleaning 91000 clauses out of 182006 with flag 4268000/4268000
747.91/741.72	c cleaning 92009 clauses out of 184017 with flag 4361011/4361011
761.75/755.60	c cleaning 92997 clauses out of 186002 with flag 4455005/4455005
768.89/762.64	c starts		: 267
768.89/762.64	c conflicts		: 4536432
768.89/762.64	c decisions		: 5499572
768.89/762.64	c propagations		: 104495629
768.89/762.64	c inspects		: 5703787909
768.89/762.64	c shortcuts		: 0
768.89/762.64	c learnt literals	: 0
768.89/762.64	c learnt binary clauses	: 0
768.89/762.64	c learnt ternary clauses	: 967
768.89/762.64	c learnt constraints	: 4536432
768.89/762.64	c ignored constraints	: 0
768.89/762.64	c root simplifications	: 0
768.89/762.64	c removed literals (reason simplification)	: 0
768.89/762.64	c reason swapping (by a shorter reason)	: 0
768.89/762.64	c Calls to reduceDB	: 90
768.89/762.65	c number of reductions to clauses (during analyze)	: 0
768.89/762.65	c number of learned constraints concerned by reduction	: 0
768.89/762.65	c number of learning phase by resolution	: 0
768.89/762.65	c number of learning phase by cutting planes	: 0
768.89/762.65	c speed (assignments/second)	: 137104.0433608034
768.89/762.65	c non guided choices	6377
768.89/762.67	c learnt constraints type 
768.89/762.67	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 174432
768.89/762.67	c constraints type 
768.89/762.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6216
768.89/762.67	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
768.89/762.67	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
768.89/762.67	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6216
768.89/762.67	c 13035 constraints processed.
768.89/762.67	s SATISFIABLE
768.89/762.67	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 
768.89/762.67	c Total wall clock time (in seconds): 762.577

Verifier Data

OK	0

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

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.09 2.03 3/192 26067
/proc/meminfo: memFree=29127636/32873852 swapFree=7616/7616
[pid=26067] ppid=26065 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/26067/stat : 26067 (java) R 26065 26067 23289 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 254939731 23793664 715 33554432000 1073741824 1073778376 140734908010608 140734907999672 252253877608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26067/statm: 5809 715 529 9 0 128 0

[startup+0.006569 s]
/proc/loadavg: 2.08 2.09 2.03 3/192 26067
/proc/meminfo: memFree=29127636/32873852 swapFree=7616/7616
[pid=26067] ppid=26065 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/26067/stat : 26067 (java) S 26065 26067 23289 0 -1 4202496 1206 0 0 0 0 0 0 0 20 0 2 0 254939731 94019584 917 33554432000 1073741824 1073778376 140734908010608 140734908001744 252266446909 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26067/statm: 22954 917 697 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 91816

[startup+0.100259 s]
/proc/loadavg: 2.08 2.09 2.03 3/192 26067
/proc/meminfo: memFree=29127636/32873852 swapFree=7616/7616
[pid=26067] ppid=26065 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/26067/stat : 26067 (java) S 26065 26067 23289 0 -1 4202496 4515 0 1 0 10 1 0 0 20 0 18 0 254939731 9787813888 5677 33554432000 1073741824 1073778376 140734908010608 140734908001744 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26067/statm: 2389603 5677 2138 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300262 s]
/proc/loadavg: 2.08 2.09 2.03 3/192 26067
/proc/meminfo: memFree=29127636/32873852 swapFree=7616/7616
[pid=26067] ppid=26065 vsize=9558412 CPUtime=0.49 cores=0,2,4,6
/proc/26067/stat : 26067 (java) S 26065 26067 23289 0 -1 4202496 6116 0 1 0 48 1 0 0 20 0 18 0 254939731 9787813888 8365 33554432000 1073741824 1073778376 140734908010608 140734908001744 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26067/statm: 2389603 8365 2238 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558412

[startup+0.700267 s]
/proc/loadavg: 2.08 2.09 2.03 3/192 26067
/proc/meminfo: memFree=29127636/32873852 swapFree=7616/7616
[pid=26067] ppid=26065 vsize=9624976 CPUtime=1.49 cores=0,2,4,6
/proc/26067/stat : 26067 (java) S 26065 26067 23289 0 -1 4202496 11897 0 1 0 146 3 0 0 20 0 19 0 254939731 9855975424 19562 33554432000 1073741824 1073778376 140734908010608 140734908001744 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26067/statm: 2406244 19562 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9624976

[startup+1.50076 s]
/proc/loadavg: 2.08 2.09 2.03 3/211 26086
/proc/meminfo: memFree=29056472/32873852 swapFree=7616/7616
[pid=26067] ppid=26065 vsize=9624976 CPUtime=2.34 cores=0,2,4,6
/proc/26067/stat : 26067 (java) S 26065 26067 23289 0 -1 4202496 12168 0 1 0 231 3 0 0 20 0 19 0 254939731 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140734908001744 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26067/statm: 2406244 21110 2258 9 0 2396937 0
[pid=26067/tid=26069] ppid=26065 vsize=9624976 CPUtime=1.48 cores=0,2,4,6
/proc/26067/task/26069/stat : 26069 (java) R 26065 26067 23289 0 -1 4202560 2528 0 1 0 146 2 0 0 20 0 19 0 254939732 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140282149353936 140282089766092 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26070] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26070/stat : 26070 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140281992919720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26071] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26071/stat : 26071 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140281991867176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26067/tid=26072] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26072/stat : 26072 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140281990814632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26073] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26073/stat : 26073 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140281989762088 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26074] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26074/stat : 26074 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140281988708520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26075] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26075/stat : 26075 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140281987655976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26076] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26076/stat : 26076 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140281986603432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26077] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26077/stat : 26077 (java) S 26065 26067 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140281985550888 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26078] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26078/stat : 26078 (java) S 26065 26067 23289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254939733 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140281973353064 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26067/tid=26079] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26079/stat : 26079 (java) S 26065 26067 23289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254939734 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140281972299384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26080] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26080/stat : 26080 (java) S 26065 26067 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254939734 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140281971246728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26081] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26081/stat : 26081 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939736 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140281970195472 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26082] ppid=26065 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/26067/task/26082/stat : 26082 (java) S 26065 26067 23289 0 -1 4202560 4198 0 0 0 48 0 0 0 20 0 19 0 254939736 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140281969141816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26083] ppid=26065 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/26067/task/26083/stat : 26083 (java) S 26065 26067 23289 0 -1 4202560 4242 0 0 0 36 0 0 0 20 0 19 0 254939736 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140281968089272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26084] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26084/stat : 26084 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939736 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140281967036920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26085] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26085/stat : 26085 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939736 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140281965984584 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26067/tid=26086] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26086/stat : 26086 (java) S 26065 26067 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254939780 9855975424 21110 33554432000 1073741824 1073778376 140734908010608 140281964930344 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9624976

[startup+3.10067 s]
/proc/loadavg: 2.08 2.09 2.03 3/211 26086
/proc/meminfo: memFree=29018492/32873852 swapFree=7616/7616
[pid=26067] ppid=26065 vsize=9624976 CPUtime=4.13 cores=0,2,4,6
/proc/26067/stat : 26067 (java) S 26065 26067 23289 0 -1 4202496 13361 0 1 0 407 6 0 0 20 0 19 0 254939731 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140734908001744 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26067/statm: 2406244 31504 2284 9 0 2396937 0
[pid=26067/tid=26069] ppid=26065 vsize=9624976 CPUtime=3 cores=0,2,4,6
/proc/26067/task/26069/stat : 26069 (java) R 26065 26067 23289 0 -1 4202560 2534 0 1 0 298 2 0 0 20 0 19 0 254939732 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140282149355928 140282089766084 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26070] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26070/stat : 26070 (java) S 26065 26067 23289 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140281992919720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26071] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26071/stat : 26071 (java) S 26065 26067 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140281991867176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26072] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26072/stat : 26072 (java) S 26065 26067 23289 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140281990814632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26073] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26073/stat : 26073 (java) S 26065 26067 23289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140281989762088 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26074] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26074/stat : 26074 (java) S 26065 26067 23289 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140281988708520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26067/tid=26075] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26075/stat : 26075 (java) S 26065 26067 23289 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140281987655976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26076] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26076/stat : 26076 (java) S 26065 26067 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140281986603432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26077] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26077/stat : 26077 (java) S 26065 26067 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140281985550888 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26078] ppid=26065 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/26067/task/26078/stat : 26078 (java) S 26065 26067 23289 0 -1 4202560 37 0 0 0 4 0 0 0 20 0 19 0 254939733 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140281973353064 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26067/tid=26079] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26079/stat : 26079 (java) S 26065 26067 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254939734 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140281972299384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26080] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26080/stat : 26080 (java) S 26065 26067 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254939734 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140281971246728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26081] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26081/stat : 26081 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939736 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140281970195472 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26082] ppid=26065 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/26067/task/26082/stat : 26082 (java) S 26065 26067 23289 0 -1 4202560 5287 0 0 0 58 2 0 0 20 0 19 0 254939736 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140281969141816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26083] ppid=26065 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/26067/task/26083/stat : 26083 (java) S 26065 26067 23289 0 -1 4202560 4247 0 0 0 36 1 0 0 20 0 19 0 254939736 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140281968089272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26084] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26084/stat : 26084 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939736 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140281967036920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26085] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26085/stat : 26085 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939736 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140281965984584 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26067/tid=26086] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26086/stat : 26086 (java) S 26065 26067 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254939780 9855975424 31504 33554432000 1073741824 1073778376 140734908010608 140281964930344 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 9624976

[startup+6.30072 s]
/proc/loadavg: 2.07 2.09 2.03 4/211 26086
/proc/meminfo: memFree=29003656/32873852 swapFree=7616/7616
[pid=26067] ppid=26065 vsize=9624976 CPUtime=7.41 cores=0,2,4,6
/proc/26067/stat : 26067 (java) S 26065 26067 23289 0 -1 4202496 13428 0 1 0 733 8 0 0 20 0 19 0 254939731 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140734908001744 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26067/statm: 2406244 32900 2284 9 0 2396937 0
[pid=26067/tid=26069] ppid=26065 vsize=9624976 CPUtime=6.12 cores=0,2,4,6
/proc/26067/task/26069/stat : 26069 (java) R 26065 26067 23289 0 -1 4202560 2535 0 1 0 610 2 0 0 20 0 19 0 254939732 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140282149355808 140282089934786 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26070] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26070/stat : 26070 (java) S 26065 26067 23289 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140281992919720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26071] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26071/stat : 26071 (java) S 26065 26067 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140281991867176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26067/tid=26072] ppid=26065 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/26067/task/26072/stat : 26072 (java) S 26065 26067 23289 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 254939732 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140281990814632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26073] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26073/stat : 26073 (java) S 26065 26067 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140281989762088 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26074] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26074/stat : 26074 (java) S 26065 26067 23289 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140281988708520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26067/tid=26075] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26075/stat : 26075 (java) S 26065 26067 23289 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140281987655976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26076] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26076/stat : 26076 (java) S 26065 26067 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140281986603432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26077] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26077/stat : 26077 (java) S 26065 26067 23289 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254939732 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140281985550888 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26078] ppid=26065 vsize=9624976 CPUtime=0.1 cores=0,2,4,6
/proc/26067/task/26078/stat : 26078 (java) S 26065 26067 23289 0 -1 4202560 39 0 0 0 10 0 0 0 20 0 19 0 254939733 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140281973353064 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26067/tid=26079] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26079/stat : 26079 (java) S 26065 26067 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254939734 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140281972299384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26080] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26080/stat : 26080 (java) S 26065 26067 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254939734 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140281971246728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26081] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26081/stat : 26081 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939736 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140281970195472 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26082] ppid=26065 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/26067/task/26082/stat : 26082 (java) S 26065 26067 23289 0 -1 4202560 5288 0 0 0 59 2 0 0 20 0 19 0 254939736 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140281969141816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26083] ppid=26065 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/26067/task/26083/stat : 26083 (java) S 26065 26067 23289 0 -1 4202560 4262 0 0 0 39 1 0 0 20 0 19 0 254939736 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140281968089272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26084] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26084/stat : 26084 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939736 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140281967036920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26085] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26085/stat : 26085 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939736 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140281965984584 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26067/tid=26086] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26086/stat : 26086 (java) S 26065 26067 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254939780 9855975424 32900 33554432000 1073741824 1073778376 140734908010608 140281964930344 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

/proc/26067/task/26078/stat : 26078 (java) S 26065 26067 23289 0 -1 4202560 388 0 0 0 565 1 0 0 20 0 19 0 254939733 9855975424 133838 33554432000 1073741824 1073778376 140734908010608 140281973353064 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26079] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26079/stat : 26079 (java) S 26065 26067 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254939734 9855975424 133838 33554432000 1073741824 1073778376 140734908010608 140281972299384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26080] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26080/stat : 26080 (java) S 26065 26067 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254939734 9855975424 133838 33554432000 1073741824 1073778376 140734908010608 140281971246728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26081] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26081/stat : 26081 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939736 9855975424 133838 33554432000 1073741824 1073778376 140734908010608 140281970195472 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26082] ppid=26065 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/26067/task/26082/stat : 26082 (java) S 26065 26067 23289 0 -1 4202560 5288 0 0 0 59 2 0 0 20 0 19 0 254939736 9855975424 133838 33554432000 1073741824 1073778376 140734908010608 140281969141816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26083] ppid=26065 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/26067/task/26083/stat : 26083 (java) S 26065 26067 23289 0 -1 4202560 4272 0 0 0 41 1 0 0 20 0 19 0 254939736 9855975424 133838 33554432000 1073741824 1073778376 140734908010608 140281968089272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26084] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26084/stat : 26084 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939736 9855975424 133838 33554432000 1073741824 1073778376 140734908010608 140281967036920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26085] ppid=26065 vsize=9624976 CPUtime=0.21 cores=0,2,4,6
/proc/26067/task/26085/stat : 26085 (java) S 26065 26067 23289 0 -1 4202560 41 0 0 0 8 13 0 0 20 0 19 0 254939736 9855975424 133838 33554432000 1073741824 1073778376 140734908010608 140281965984584 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26067/tid=26086] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26086/stat : 26086 (java) S 26065 26067 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254939780 9855975424 133838 33554432000 1073741824 1073778376 140734908010608 140281964930344 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 708.24
Current children cumulated vsize (KiB) 9624976

[startup+762.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/211 26151
/proc/meminfo: memFree=27993200/32873852 swapFree=7616/7616
[pid=26067] ppid=26065 vsize=9624976 CPUtime=768.6 cores=0,2,4,6
/proc/26067/stat : 26067 (java) S 26065 26067 23289 0 -1 4202496 17339 0 1 0 76801 59 0 0 20 0 19 0 254939731 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140734908001744 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26067/statm: 2406244 133853 2285 9 0 2396937 0
[pid=26067/tid=26069] ppid=26065 vsize=9624976 CPUtime=752.14 cores=0,2,4,6
/proc/26067/task/26069/stat : 26069 (java) R 26065 26067 23289 0 -1 4202560 2660 0 1 0 75199 15 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140282149355808 140282089766084 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26067/tid=26070] ppid=26065 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/26067/task/26070/stat : 26070 (java) S 26065 26067 23289 0 -1 4202560 368 0 0 0 83 7 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281992919720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26071] ppid=26065 vsize=9624976 CPUtime=0.88 cores=0,2,4,6
/proc/26067/task/26071/stat : 26071 (java) S 26065 26067 23289 0 -1 4202560 546 0 0 0 84 4 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281991867176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26072] ppid=26065 vsize=9624976 CPUtime=0.91 cores=0,2,4,6
/proc/26067/task/26072/stat : 26072 (java) S 26065 26067 23289 0 -1 4202560 600 0 0 0 87 4 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281990814632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26073] ppid=26065 vsize=9624976 CPUtime=0.91 cores=0,2,4,6
/proc/26067/task/26073/stat : 26073 (java) S 26065 26067 23289 0 -1 4202560 332 0 0 0 87 4 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281989762088 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26074] ppid=26065 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/26067/task/26074/stat : 26074 (java) S 26065 26067 23289 0 -1 4202560 440 0 0 0 81 5 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281988708520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26075] ppid=26065 vsize=9624976 CPUtime=0.95 cores=0,2,4,6
/proc/26067/task/26075/stat : 26075 (java) S 26065 26067 23289 0 -1 4202560 485 0 0 0 90 5 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281987655976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26076] ppid=26065 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/26067/task/26076/stat : 26076 (java) S 26065 26067 23289 0 -1 4202560 324 0 0 0 74 5 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281986603432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26077] ppid=26065 vsize=9624976 CPUtime=0.88 cores=0,2,4,6
/proc/26067/task/26077/stat : 26077 (java) S 26065 26067 23289 0 -1 4202560 403 0 0 0 83 5 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281985550888 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26078] ppid=26065 vsize=9624976 CPUtime=6.17 cores=0,2,4,6
/proc/26067/task/26078/stat : 26078 (java) S 26065 26067 23289 0 -1 4202560 390 0 0 0 616 1 0 0 20 0 19 0 254939733 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281973353064 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26079] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26079/stat : 26079 (java) S 26065 26067 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254939734 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281972299384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26080] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26080/stat : 26080 (java) S 26065 26067 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254939734 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281971246728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26081] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26081/stat : 26081 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939736 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281970195472 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26082] ppid=26065 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/26067/task/26082/stat : 26082 (java) S 26065 26067 23289 0 -1 4202560 5288 0 0 0 59 2 0 0 20 0 19 0 254939736 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281969141816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26083] ppid=26065 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/26067/task/26083/stat : 26083 (java) S 26065 26067 23289 0 -1 4202560 4272 0 0 0 41 1 0 0 20 0 19 0 254939736 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281968089272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26084] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26084/stat : 26084 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939736 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281967036920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26085] ppid=26065 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/26067/task/26085/stat : 26085 (java) S 26065 26067 23289 0 -1 4202560 45 0 0 0 8 15 0 0 20 0 19 0 254939736 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281965984584 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26086] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26086/stat : 26086 (java) S 26065 26067 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254939780 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281964930344 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 768.6
Current children cumulated vsize (KiB) 9624976

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

[startup+762.501 s]
/proc/loadavg: 2.01 2.01 2.00 3/211 26151
/proc/meminfo: memFree=27993200/32873852 swapFree=7616/7616
[pid=26067] ppid=26065 vsize=9624976 CPUtime=768.79 cores=0,2,4,6
/proc/26067/stat : 26067 (java) S 26065 26067 23289 0 -1 4202496 17339 0 1 0 76820 59 0 0 20 0 19 0 254939731 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140734908001744 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26067/statm: 2406244 133853 2285 9 0 2396937 0
[pid=26067/tid=26069] ppid=26065 vsize=9624976 CPUtime=752.33 cores=0,2,4,6
/proc/26067/task/26069/stat : 26069 (java) R 26065 26067 23289 0 -1 4202560 2660 0 1 0 75218 15 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140282149355808 140282089934871 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26067/tid=26070] ppid=26065 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/26067/task/26070/stat : 26070 (java) S 26065 26067 23289 0 -1 4202560 368 0 0 0 83 7 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281992919720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26071] ppid=26065 vsize=9624976 CPUtime=0.88 cores=0,2,4,6
/proc/26067/task/26071/stat : 26071 (java) S 26065 26067 23289 0 -1 4202560 546 0 0 0 84 4 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281991867176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26072] ppid=26065 vsize=9624976 CPUtime=0.91 cores=0,2,4,6
/proc/26067/task/26072/stat : 26072 (java) S 26065 26067 23289 0 -1 4202560 600 0 0 0 87 4 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281990814632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26073] ppid=26065 vsize=9624976 CPUtime=0.91 cores=0,2,4,6
/proc/26067/task/26073/stat : 26073 (java) S 26065 26067 23289 0 -1 4202560 332 0 0 0 87 4 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281989762088 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26074] ppid=26065 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/26067/task/26074/stat : 26074 (java) S 26065 26067 23289 0 -1 4202560 440 0 0 0 81 5 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281988708520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26075] ppid=26065 vsize=9624976 CPUtime=0.95 cores=0,2,4,6
/proc/26067/task/26075/stat : 26075 (java) S 26065 26067 23289 0 -1 4202560 485 0 0 0 90 5 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281987655976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26076] ppid=26065 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/26067/task/26076/stat : 26076 (java) S 26065 26067 23289 0 -1 4202560 324 0 0 0 74 5 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281986603432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26077] ppid=26065 vsize=9624976 CPUtime=0.88 cores=0,2,4,6
/proc/26067/task/26077/stat : 26077 (java) S 26065 26067 23289 0 -1 4202560 403 0 0 0 83 5 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281985550888 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26078] ppid=26065 vsize=9624976 CPUtime=6.17 cores=0,2,4,6
/proc/26067/task/26078/stat : 26078 (java) S 26065 26067 23289 0 -1 4202560 390 0 0 0 616 1 0 0 20 0 19 0 254939733 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281973353064 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26079] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26079/stat : 26079 (java) S 26065 26067 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254939734 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281972299384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26080] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26080/stat : 26080 (java) S 26065 26067 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254939734 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281971246728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26081] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26081/stat : 26081 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939736 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281970195472 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26082] ppid=26065 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/26067/task/26082/stat : 26082 (java) S 26065 26067 23289 0 -1 4202560 5288 0 0 0 59 2 0 0 20 0 19 0 254939736 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281969141816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26083] ppid=26065 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/26067/task/26083/stat : 26083 (java) S 26065 26067 23289 0 -1 4202560 4272 0 0 0 41 1 0 0 20 0 19 0 254939736 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281968089272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26084] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26084/stat : 26084 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939736 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281967036920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26085] ppid=26065 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/26067/task/26085/stat : 26085 (java) S 26065 26067 23289 0 -1 4202560 45 0 0 0 8 15 0 0 20 0 19 0 254939736 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281965984584 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26086] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26086/stat : 26086 (java) S 26065 26067 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254939780 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281964930344 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 768.79
Current children cumulated vsize (KiB) 9624976

[startup+762.601 s]
/proc/loadavg: 2.01 2.01 2.00 3/211 26151
/proc/meminfo: memFree=27993200/32873852 swapFree=7616/7616
[pid=26067] ppid=26065 vsize=9624976 CPUtime=768.89 cores=0,2,4,6
/proc/26067/stat : 26067 (java) S 26065 26067 23289 0 -1 4202496 17339 0 1 0 76830 59 0 0 20 0 19 0 254939731 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140734908001744 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26067/statm: 2406244 133853 2285 9 0 2396937 0
[pid=26067/tid=26069] ppid=26065 vsize=9624976 CPUtime=752.43 cores=0,2,4,6
/proc/26067/task/26069/stat : 26069 (java) R 26065 26067 23289 0 -1 4202560 2660 0 1 0 75228 15 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140282149355808 140282089775373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26067/tid=26070] ppid=26065 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/26067/task/26070/stat : 26070 (java) S 26065 26067 23289 0 -1 4202560 368 0 0 0 83 7 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281992919720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26071] ppid=26065 vsize=9624976 CPUtime=0.88 cores=0,2,4,6
/proc/26067/task/26071/stat : 26071 (java) S 26065 26067 23289 0 -1 4202560 546 0 0 0 84 4 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281991867176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26072] ppid=26065 vsize=9624976 CPUtime=0.91 cores=0,2,4,6
/proc/26067/task/26072/stat : 26072 (java) S 26065 26067 23289 0 -1 4202560 600 0 0 0 87 4 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281990814632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26073] ppid=26065 vsize=9624976 CPUtime=0.91 cores=0,2,4,6
/proc/26067/task/26073/stat : 26073 (java) S 26065 26067 23289 0 -1 4202560 332 0 0 0 87 4 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281989762088 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26074] ppid=26065 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/26067/task/26074/stat : 26074 (java) S 26065 26067 23289 0 -1 4202560 440 0 0 0 81 5 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281988708520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26075] ppid=26065 vsize=9624976 CPUtime=0.95 cores=0,2,4,6
/proc/26067/task/26075/stat : 26075 (java) S 26065 26067 23289 0 -1 4202560 485 0 0 0 90 5 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281987655976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26076] ppid=26065 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/26067/task/26076/stat : 26076 (java) S 26065 26067 23289 0 -1 4202560 324 0 0 0 74 5 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281986603432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26077] ppid=26065 vsize=9624976 CPUtime=0.88 cores=0,2,4,6
/proc/26067/task/26077/stat : 26077 (java) S 26065 26067 23289 0 -1 4202560 403 0 0 0 83 5 0 0 20 0 19 0 254939732 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281985550888 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26078] ppid=26065 vsize=9624976 CPUtime=6.17 cores=0,2,4,6
/proc/26067/task/26078/stat : 26078 (java) S 26065 26067 23289 0 -1 4202560 390 0 0 0 616 1 0 0 20 0 19 0 254939733 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281973353064 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26079] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26079/stat : 26079 (java) S 26065 26067 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254939734 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281972299384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26080] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26080/stat : 26080 (java) S 26065 26067 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254939734 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281971246728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26081] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26081/stat : 26081 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939736 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281970195472 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26082] ppid=26065 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/26067/task/26082/stat : 26082 (java) S 26065 26067 23289 0 -1 4202560 5288 0 0 0 59 2 0 0 20 0 19 0 254939736 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281969141816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26067/tid=26083] ppid=26065 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/26067/task/26083/stat : 26083 (java) S 26065 26067 23289 0 -1 4202560 4272 0 0 0 41 1 0 0 20 0 19 0 254939736 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281968089272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26084] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26084/stat : 26084 (java) S 26065 26067 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254939736 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281967036920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26067/tid=26085] ppid=26065 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/26067/task/26085/stat : 26085 (java) S 26065 26067 23289 0 -1 4202560 45 0 0 0 8 15 0 0 20 0 19 0 254939736 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281965984584 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26067/tid=26086] ppid=26065 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/26067/task/26086/stat : 26086 (java) S 26065 26067 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254939780 9855975424 133853 33554432000 1073741824 1073778376 140734908010608 140281964930344 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 768.89
Current children cumulated vsize (KiB) 9624976

Child status: 10

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26067 and gives
#  childrusage.ru_utime.tv_sec=766
#  childrusage.ru_utime.tv_usec=404488
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=893864
# CPU time returned by wait4() is 767.298
# while last known CPU time is 768.89
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 762.685
CPU time (s): 768.89
CPU user time (s): 768.3
CPU system time (s): 0.59
CPU usage (%): 100.814
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 766.404
system time used= 0.893864
maximum resident set size= 535472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17360
page faults= 1
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18905
involuntary context switches= 13598

runsolver used 3.09153 second user time and 8.66068 second system time

The end

Launcher Data

Begin job on node131 at 2012-05-24 21:35:43
IDJOB=3688827
IDBENCH=48373
IDSOLVER=2269
FILE ID=node131/3688827-1337888143
RUNJOBID= node131-1337871881-23305
PBS_JOBID= 14620073
Free space on /tmp= 71600 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_3_15.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688827-1337888143/watcher-3688827-1337888143 -o /tmp/evaluation-result-3688827-1337888143/solver-3688827-1337888143 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688827-1337888143.opb

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

MD5SUM BENCH= 6d36c2461bcbe18a397b3deab9e30c2d
RANDOM SEED=386900185

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

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        29127976 kB
Buffers:          221384 kB
Cached:          2138128 kB
SwapCached:            0 kB
Active:          1097656 kB
Inactive:        1863260 kB
Active(anon):     604000 kB
Inactive(anon):        0 kB
Active(file):     493656 kB
Inactive(file):  1863260 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               552 kB
Writeback:             0 kB
AnonPages:        663976 kB
Mapped:            22616 kB
Shmem:               204 kB
Slab:             628896 kB
SReclaimable:      71464 kB
SUnreclaim:       557432 kB
KernelStack:        1744 kB
PageTables:         5404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    1013640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    628736 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= 71600 MiB
End job on node131 at 2012-05-24 21:48:26