Trace number 4443344

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
Sat4j Resolution Default 2024-07-07SAT 1606.92 1607.11

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14ls.opb
MD5SUM531481e7cf3d0451843bb4aa5119dd25
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
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.033592
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables316
Total number of constraints476
Number of constraints which are clauses274
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint2
Maximum length of a constraint100
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 14
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 114
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	No reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4443344-1721316953.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.15	c ... done. Wall clock time 0.03s.
0.13/0.15	c declared #vars     316
0.13/0.15	c #constraints  476
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 166
0.13/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
0.13/0.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 200
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 108
0.13/0.15	c 476 constraints processed.
1.11/0.64	c cleaning 2476 clauses out of 5000 with flag 16480/5000
1.86/1.10	c cleaning 4261 clauses out of 8525 with flag 36972/11001
2.40/1.50	c cleaning 5630 clauses out of 11263 with flag 60957/18000
2.97/2.04	c cleaning 6817 clauses out of 13636 with flag 86894/26003
3.85/2.73	c cleaning 7907 clauses out of 15818 with flag 116139/35002
4.65/3.60	c cleaning 8946 clauses out of 17909 with flag 149993/45000
5.74/4.63	c cleaning 9979 clauses out of 19963 with flag 186012/56000
7.06/5.97	c cleaning 10992 clauses out of 21984 with flag 225432/68000
8.56/7.40	c cleaning 11997 clauses out of 23994 with flag 266045/81002
9.96/8.85	c cleaning 12985 clauses out of 25995 with flag 309407/95000
11.55/10.47	c cleaning 14002 clauses out of 28011 with flag 356829/110001
13.66/12.60	c cleaning 14999 clauses out of 30008 with flag 406592/126000
16.29/15.18	c cleaning 16003 clauses out of 32009 with flag 456346/143000
19.21/18.08	c cleaning 16991 clauses out of 34007 with flag 514144/161001
22.95/21.71	c cleaning 17998 clauses out of 36017 with flag 573181/180002
26.25/25.10	c cleaning 19002 clauses out of 38017 with flag 638652/200000
29.64/28.45	c cleaning 20004 clauses out of 40018 with flag 704913/221003
33.39/32.14	c cleaning 20990 clauses out of 42011 with flag 771560/243000
37.47/36.23	c cleaning 22002 clauses out of 44021 with flag 842807/266000
43.30/42.01	c cleaning 23006 clauses out of 46021 with flag 920165/290002
49.35/48.19	c cleaning 24000 clauses out of 48013 with flag 992890/315000
55.69/54.56	c cleaning 24997 clauses out of 50013 with flag 1071766/341000
62.09/60.90	c cleaning 25990 clauses out of 52016 with flag 1155474/368000
70.07/68.92	c cleaning 26998 clauses out of 54028 with flag 1251320/396002
78.00/76.81	c cleaning 27994 clauses out of 56028 with flag 1352086/425000
85.79/84.60	c cleaning 29006 clauses out of 58038 with flag 1445348/455004
96.41/95.25	c cleaning 30008 clauses out of 60029 with flag 1546754/486001
107.89/106.72	c cleaning 31005 clauses out of 62020 with flag 1645824/518000
117.41/116.20	c cleaning 32000 clauses out of 64015 with flag 1751034/551000
132.54/131.34	c cleaning 32995 clauses out of 66015 with flag 1866567/585000
148.81/147.68	c cleaning 34010 clauses out of 68025 with flag 1990076/620005
162.63/161.42	c cleaning 34996 clauses out of 70012 with flag 2110272/656002
176.22/175.07	c cleaning 36003 clauses out of 72018 with flag 2227596/693004
194.83/193.66	c cleaning 36974 clauses out of 74013 with flag 2359319/731002
211.35/210.11	c cleaning 38003 clauses out of 76039 with flag 2489745/770002
227.52/226.36	c cleaning 39007 clauses out of 78034 with flag 2630182/810000
243.44/242.27	c cleaning 40008 clauses out of 80029 with flag 2754855/851002
261.48/260.30	c cleaning 41006 clauses out of 82022 with flag 2874401/893003
282.15/280.99	c cleaning 41998 clauses out of 84014 with flag 2999606/936001
303.61/302.49	c cleaning 43002 clauses out of 86015 with flag 3125597/980000
328.31/327.10	c cleaning 43999 clauses out of 88013 with flag 3255179/1025000
357.26/356.13	c cleaning 45001 clauses out of 90014 with flag 3388966/1071000
380.83/379.86	c cleaning 46001 clauses out of 92013 with flag 3525360/1118000
408.36/407.49	c cleaning 47001 clauses out of 94012 with flag 3684308/1166000
441.71/440.83	c cleaning 47999 clauses out of 96013 with flag 3854073/1215002
466.62/465.73	c cleaning 48996 clauses out of 98012 with flag 4007666/1265000
494.26/493.43	c cleaning 49986 clauses out of 100016 with flag 4166426/1316000
525.99/525.16	c cleaning 51005 clauses out of 102030 with flag 4345571/1368000
562.55/562.09	c cleaning 52007 clauses out of 104025 with flag 4544440/1421000
596.60/596.20	c cleaning 53004 clauses out of 106019 with flag 4712435/1475001
633.03/632.72	c cleaning 53998 clauses out of 108015 with flag 4903701/1530001
671.28/670.99	c cleaning 54989 clauses out of 110016 with flag 5085257/1586000
711.46/711.14	c cleaning 56004 clauses out of 112027 with flag 5286154/1643000
752.38/752.16	c cleaning 56990 clauses out of 114024 with flag 5483816/1701001
799.52/799.09	c cleaning 58017 clauses out of 116039 with flag 5691910/1760006
838.87/838.47	c cleaning 58990 clauses out of 118017 with flag 5911167/1820001
885.46/885.00	c cleaning 60005 clauses out of 120026 with flag 6137810/1881000
927.87/927.50	c cleaning 60999 clauses out of 122029 with flag 6351212/1943008
981.37/981.10	c cleaning 61990 clauses out of 124022 with flag 6586285/2006000
1024.15/1023.89	c cleaning 63003 clauses out of 126034 with flag 6805927/2070002
1079.07/1078.85	c cleaning 64006 clauses out of 128029 with flag 7043382/2135000
1134.28/1134.11	c cleaning 64979 clauses out of 130023 with flag 7265048/2201000
1188.99/1188.99	c cleaning 66017 clauses out of 132046 with flag 7505898/2268002
1247.71/1247.69	c cleaning 67003 clauses out of 134028 with flag 7744573/2336001
1311.10/1311.11	c cleaning 68006 clauses out of 136024 with flag 7979540/2405000
1371.09/1371.21	c cleaning 69005 clauses out of 138018 with flag 8213901/2475000
1433.30/1433.48	c cleaning 69998 clauses out of 140013 with flag 8463648/2546000
1492.60/1492.83	c cleaning 70998 clauses out of 142015 with flag 8709802/2618000
1543.81/1544.13	c cleaning 71998 clauses out of 144017 with flag 8947433/2691000
1599.67/1599.91	c cleaning 73005 clauses out of 146023 with flag 9177848/2765004
1606.77/1607.02	c SATISFIABLE
1606.77/1607.03	c starts		: 2753
1606.77/1607.04	c conflicts		: 2780421
1606.77/1607.04	c decisions		: 5481436
1606.77/1607.04	c propagations		: 92027506
1606.77/1607.04	c inspects		: 12505134019
1606.77/1607.04	c shortcuts		: 0
1606.77/1607.04	c learnt literals	: 0
1606.77/1607.04	c learnt binary clauses	: 0
1606.77/1607.04	c learnt ternary clauses	: 1
1606.77/1607.04	c learnt constraints	: 2780421
1606.77/1607.04	c ignored constraints	: 0
1606.77/1607.04	c root simplifications	: 0
1606.77/1607.04	c removed literals (reason simplification)	: 0
1606.77/1607.04	c reason swapping (by a shorter reason)	: 0
1606.77/1607.04	c Calls to reduceDB	: 70
1606.77/1607.04	c Number of update (reduction) of LBD	: 830593
1606.77/1607.04	c Imported unit clauses	: 0
1606.77/1607.04	c No decision after first conflict	: false
1606.77/1607.05	c number of reductions to clauses (during analyze)	: 0
1606.77/1607.05	c number of learned constraints concerned by reduction	: 0
1606.77/1607.05	c number of learning phase by resolution	: 0
1606.77/1607.05	c number of learning phase by cutting planes	: 0
1606.77/1607.05	c number of rounding to 1 operations	: 0
1606.77/1607.05	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1606.77/1607.05	c number of reductions of the coefficients by power 2 	: 0
1606.77/1607.05	c number of right shift for reduction by power 2 	: 0
1606.77/1607.05	c number of reductions of the coefficients by GCD over coefficients 	: 0
1606.77/1607.05	c number of ending skipping 	: 0
1606.77/1607.05	c number of internal skipping 	: 0
1606.77/1607.05	c number of derivation steps 	: 0
1606.77/1607.05	c number of skipped derivation steps 	: 0
1606.77/1607.05	c number of remaining unassigned 	: 0
1606.77/1607.05	c number of remaining assigned 	: 0
1606.77/1607.05	c number of falsified literals weakened from reason	: 0
1606.77/1607.05	c number of falsified literals weakened from conflict	: 0
1606.77/1607.05	c time for arithmetic operations	: 0
1606.77/1607.05	c minimum degree of deleted constraints	: null
1606.77/1607.05	c maximum degree of deleted constraints	: null
1606.77/1607.05	c number of deleted constraints	: 0
1606.77/1607.05	c speed (assignments/second)	: 57270.67678063237
1606.77/1607.05	c non guided choices	: 44
1606.77/1607.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 88435
1606.77/1607.09	s SATISFIABLE
1606.77/1607.09	c Found 1 solution(s)
1606.77/1607.09	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 
1606.77/1607.09	c Total wall clock time (in seconds): 1606.972

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61515 MiB free)
  memory of node 1: 64510 MiB (61602 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443344-1721316953/watcher-4443344-1721316953 -o /tmp/evaluation-result-4443344-1721316953/solver-4443344-1721316953 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721316965-937017 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4443344-1721316953.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=937057, runsolver pid=937050

[startup+0.100276 s]*
/proc/loadavg: 1.11 1.33 2.21 11/323 937145
/proc/meminfo: memFree=125908224/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=18975048 memory=63392 CPUtime=0.13 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 7271 0 0 0 12 1 0 0 20 0 18 0 183855908 19430449152 15848 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4743762 15848 5707 1 0 549341 0
[pid=937057/tid=937068] ppid=937050 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/937057/task/937068/stat : 937068 (java) R 937050 937057 937004 0 -1 4194368 5786 0 0 0 7 1 0 0 20 0 18 0 183855908 19430449152 15848 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937106] ppid=937050 vsize=18975048 memory=14994 CPUtime=0 cores=5,7
/proc/937057/task/937106/stat : 937106 (Finalizer) S 937050 937057 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183855911 19430449152 15848 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937131] ppid=937050 vsize=18975048 memory=15537410087847364 CPUtime=0 cores=5,7
/proc/937057/task/937131/stat : 937131 (Common-Cleaner) S 937050 937057 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183855911 19430449152 15848 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63392 KiB

[startup+0.205918 s]*
/proc/loadavg: 1.11 1.33 2.21 12/327 937149
/proc/meminfo: memFree=125882644/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=19041612 memory=68180 CPUtime=0.34 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 8403 0 0 0 32 2 0 0 20 0 19 0 183855908 19498610688 17045 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4760403 17045 5845 1 0 550045 0
[pid=937057/tid=937068] ppid=937050 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/937057/task/937068/stat : 937068 (java) R 937050 937057 937004 0 -1 4194368 5984 0 0 0 17 1 0 0 20 0 19 0 183855908 19498610688 17045 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937106] ppid=937050 vsize=19041612 memory=14994 CPUtime=0 cores=5,7
/proc/937057/task/937106/stat : 937106 (Finalizer) S 937050 937057 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183855911 19498610688 17045 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937131] ppid=937050 vsize=19041612 memory=15537410087847364 CPUtime=0 cores=5,7
/proc/937057/task/937131/stat : 937131 (Common-Cleaner) S 937050 937057 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183855911 19498610688 17045 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937146] ppid=937050 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/937057/task/937146/stat : 937146 (Timer-0) S 937050 937057 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183855924 19498610688 17045 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 68180 KiB

[startup+0.309473 s]*
/proc/loadavg: 1.11 1.33 2.21 14/327 937149
/proc/meminfo: memFree=125860364/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=19041612 memory=73544 CPUtime=0.53 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 9525 0 0 0 51 2 0 0 20 0 19 0 183855908 19498610688 18386 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4760403 18386 5845 1 0 550868 0
[pid=937057/tid=937068] ppid=937050 vsize=19041612 memory=-9103017730647564988 CPUtime=0.29 cores=5,7
/proc/937057/task/937068/stat : 937068 (java) R 937050 937057 937004 0 -1 4194368 5999 0 0 0 28 1 0 0 20 0 19 0 183855908 19498610688 18386 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937106] ppid=937050 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/937057/task/937106/stat : 937106 (Finalizer) S 937050 937057 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183855911 19498610688 18386 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937131] ppid=937050 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/937057/task/937131/stat : 937131 (Common-Cleaner) S 937050 937057 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183855911 19498610688 18386 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937146] ppid=937050 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/937057/task/937146/stat : 937146 (Timer-0) S 937050 937057 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183855924 19498610688 18386 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73544 KiB

[startup+0.700395 s]
/proc/loadavg: 1.11 1.33 2.21 9/327 937149
/proc/meminfo: memFree=125824744/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=19041612 memory=91404 CPUtime=1.29 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 12930 0 0 0 126 3 0 0 20 0 19 0 183855908 19498610688 22851 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4760403 22851 5845 1 0 553203 0
[pid=937057/tid=937068] ppid=937050 vsize=19041612 memory=43592 CPUtime=0.67 cores=5,7
/proc/937057/task/937068/stat : 937068 (java) R 937050 937057 937004 0 -1 4194368 6043 0 0 0 66 1 0 0 20 0 19 0 183855908 19498610688 22851 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937106] ppid=937050 vsize=19041612 memory=13012 CPUtime=0 cores=5,7
/proc/937057/task/937106/stat : 937106 (Finalizer) S 937050 937057 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183855911 19498610688 22851 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937131] ppid=937050 vsize=19041612 memory=2312 CPUtime=0 cores=5,7
/proc/937057/task/937131/stat : 937131 (Common-Cleaner) S 937050 937057 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183855911 19498610688 22851 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937146] ppid=937050 vsize=19041612 memory=26268 CPUtime=0 cores=5,7
/proc/937057/task/937146/stat : 937146 (Timer-0) S 937050 937057 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183855924 19498610688 22851 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 91404 KiB

[startup+1.50025 s]
/proc/loadavg: 1.11 1.33 2.21 6/303 937182
/proc/meminfo: memFree=125824428/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=19041612 memory=111924 CPUtime=2.4 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 14866 0 0 0 236 4 0 0 20 0 19 0 183855908 19498610688 27981 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4760403 27981 5845 1 0 553590 0
[pid=937057/tid=937068] ppid=937050 vsize=19041612 memory=13012 CPUtime=1.46 cores=5,7
/proc/937057/task/937068/stat : 937068 (java) R 937050 937057 937004 0 -1 4194368 6369 0 0 0 145 1 0 0 20 0 19 0 183855908 19498610688 27981 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937106] ppid=937050 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/937057/task/937106/stat : 937106 (Finalizer) S 937050 937057 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183855911 19498610688 27981 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937131] ppid=937050 vsize=19041612 memory=2312 CPUtime=0 cores=5,7
/proc/937057/task/937131/stat : 937131 (Common-Cleaner) S 937050 937057 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183855911 19498610688 27981 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937146] ppid=937050 vsize=19041612 memory=26268 CPUtime=0 cores=5,7
/proc/937057/task/937146/stat : 937146 (Timer-0) S 937050 937057 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183855924 19498610688 27981 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 111924 KiB

[startup+3.10559 s]
/proc/loadavg: 1.11 1.33 2.21 5/328 937216
/proc/meminfo: memFree=125575944/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=19041612 memory=142772 CPUtime=4.25 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 17787 0 0 0 420 5 0 0 20 0 19 0 183855908 19498610688 35693 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4760403 35693 5845 1 0 553593 0
[pid=937057/tid=937068] ppid=937050 vsize=19041612 memory=0 CPUtime=3.07 cores=5,7
/proc/937057/task/937068/stat : 937068 (java) R 937050 937057 937004 0 -1 4194368 6683 0 0 0 305 2 0 0 20 0 19 0 183855908 19498610688 35693 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937106] ppid=937050 vsize=19041612 memory=-9176201224592335548 CPUtime=0 cores=5,7
/proc/937057/task/937106/stat : 937106 (Finalizer) S 937050 937057 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183855911 19498610688 35693 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937131] ppid=937050 vsize=19041612 memory=13012 CPUtime=0 cores=5,7
/proc/937057/task/937131/stat : 937131 (Common-Cleaner) S 937050 937057 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183855911 19498610688 35693 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937146] ppid=937050 vsize=19041612 memory=2312 CPUtime=0 cores=5,7
/proc/937057/task/937146/stat : 937146 (Timer-0) S 937050 937057 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183855924 19498610688 35693 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
Current children cumulated CPU time: 4.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 142772 KiB

[startup+6.3003 s]
/proc/loadavg: 1.35 1.37 2.22 6/330 937218
/proc/meminfo: memFree=125443636/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=19108176 memory=188080 CPUtime=7.46 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 19806 0 0 0 740 6 0 0 20 0 20 0 183855908 19566772224 47020 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4777044 47020 5894 1 0 553882 0
[pid=937057/tid=937068] ppid=937050 vsize=19108176 memory=0 CPUtime=6.24 cores=5,7
/proc/937057/task/937068/stat : 937068 (java) R 937050 937057 937004 0 -1 4194368 6980 0 0 0 622 2 0 0 20 0 20 0 183855908 19566772224 47020 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937106] ppid=937050 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/937057/task/937106/stat : 937106 (Finalizer) S 937050 937057 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 47020 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937131] ppid=937050 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/937057/task/937131/stat : 937131 (Common-Cleaner) S 937050 937057 937004 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 47020 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937146] ppid=937050 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/937057/task/937146/stat : 937146 (Timer-0) S 937050 937057 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183855924 19566772224 47020 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
Current children cumulated CPU time: 7.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188080 KiB

[startup+12.7002 s]
/proc/loadavg: 1.64 1.43 2.23 5/331 937221
/proc/meminfo: memFree=125205756/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=19108176 memory=237772 CPUtime=13.89 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 23547 0 0 0 1382 7 0 0 20 0 20 0 183855908 19566772224 59443 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4777044 59443 5894 1 0 553882 0
[pid=937057/tid=937068] ppid=937050 vsize=19108176 memory=13012 CPUtime=12.56 cores=5,7
/proc/937057/task/937068/stat : 937068 (java) R 937050 937057 937004 0 -1 4194368 7608 0 0 0 1254 2 0 0 20 0 20 0 183855908 19566772224 59443 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937106] ppid=937050 vsize=19108176 memory=175000 CPUtime=0 cores=5,7
/proc/937057/task/937106/stat : 937106 (Finalizer) S 937050 937057 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 59443 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937131] ppid=937050 vsize=19108176 memory=188380 CPUtime=0 cores=5,7
/proc/937057/task/937131/stat : 937131 (Common-Cleaner) S 937050 937057 937004 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 59443 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937146] ppid=937050 vsize=19108176 memory=3472323898181171409 CPUtime=0 cores=5,7
/proc/937057/task/937146/stat : 937146 (Timer-0) S 937050 937057 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183855924 19566772224 59443 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
Current children cumulated CPU time: 13.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 237772 KiB

[startup+25.5003 s]
/proc/loadavg: 2.24 1.57 2.27 5/331 937222
/proc/meminfo: memFree=124882828/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=19108176 memory=301312 CPUtime=26.75 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 26395 0 0 0 2666 9 0 0 20 0 20 0 183855908 19566772224 75328 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4777044 75328 5894 1 0 553882 0
[pid=937057/tid=937068] ppid=937050 vsize=19108176 memory=175000 CPUtime=25.29 cores=5,7
/proc/937057/task/937068/stat : 937068 (java) R 937050 937057 937004 0 -1 4194368 8969 0 0 0 2526 3 0 0 20 0 20 0 183855908 19566772224 75328 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937106] ppid=937050 vsize=19108176 memory=3472323898181171409 CPUtime=0 cores=5,7
/proc/937057/task/937106/stat : 937106 (Finalizer) S 937050 937057 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 75328 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937131] ppid=937050 vsize=19108176 memory=301312 CPUtime=0 cores=5,7
/proc/937057/task/937131/stat : 937131 (Common-Cleaner) S 937050 937057 937004 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 75328 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937146] ppid=937050 vsize=19108176 memory=301312 CPUtime=0 cores=5,7
/proc/937057/task/937146/stat : 937146 (Timer-0) S 937050 937057 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183855924 19566772224 75328 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
Current children cumulated CPU time: 26.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 301312 KiB

[startup+51.1064 s]
/proc/loadavg: 2.91 1.79 2.32 5/331 937227
/proc/meminfo: memFree=124439860/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=19108176 memory=442708 CPUtime=52.33 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 29661 0 0 0 5220 13 0 0 20 0 20 0 183855908 19566772224 110677 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4777044 110677 5894 1 0 553882 0

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

/proc/meminfo: memFree=118254404/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=19108176 memory=1826036 CPUtime=1482.12 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 82627 0 0 0 148110 102 0 0 20 0 20 0 183855908 19566772224 456509 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4777044 456509 5930 1 0 555278 0
[pid=937057/tid=937068] ppid=937050 vsize=19108176 memory=1824884 CPUtime=1475.51 cores=5,7
/proc/937057/task/937068/stat : 937068 (java) R 937050 937057 937004 0 -1 4194368 30920 0 0 0 147544 7 0 0 20 0 20 0 183855908 19566772224 456509 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937106] ppid=937050 vsize=19108176 memory=1824884 CPUtime=0 cores=5,7
/proc/937057/task/937106/stat : 937106 (Finalizer) S 937050 937057 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 456509 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937131] ppid=937050 vsize=19108176 memory=5560 CPUtime=0 cores=5,7
/proc/937057/task/937131/stat : 937131 (Common-Cleaner) S 937050 937057 937004 0 -1 1077936192 1404 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 456509 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937146] ppid=937050 vsize=19108176 memory=1826036 CPUtime=0 cores=5,7
/proc/937057/task/937146/stat : 937146 (Timer-0) S 937050 937057 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183855924 19566772224 456509 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
Current children cumulated CPU time: 1482.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1826036 KiB

[startup+1542.3 s]
/proc/loadavg: 4.16 4.13 3.84 5/334 939144
/proc/meminfo: memFree=117999020/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=19108176 memory=1826036 CPUtime=1542.01 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 83041 0 0 0 154097 104 0 0 20 0 20 0 183855908 19566772224 456509 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4777044 456509 5930 1 0 555278 0
[pid=937057/tid=937068] ppid=937050 vsize=19108176 memory=5560 CPUtime=1535.37 cores=5,7
/proc/937057/task/937068/stat : 937068 (java) R 937050 937057 937004 0 -1 4194368 31308 0 0 0 153530 7 0 0 20 0 20 0 183855908 19566772224 456509 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937106] ppid=937050 vsize=19108176 memory=-9176201224592335548 CPUtime=0 cores=5,7
/proc/937057/task/937106/stat : 937106 (Finalizer) S 937050 937057 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 456509 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937131] ppid=937050 vsize=19108176 memory=1826036 CPUtime=0 cores=5,7
/proc/937057/task/937131/stat : 937131 (Common-Cleaner) S 937050 937057 937004 0 -1 1077936192 1404 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 456509 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937146] ppid=937050 vsize=19108176 memory=2312 CPUtime=0 cores=5,7
/proc/937057/task/937146/stat : 937146 (Timer-0) S 937050 937057 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183855924 19566772224 456509 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
Current children cumulated CPU time: 1542.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1826036 KiB

[startup+1602.3 s]
/proc/loadavg: 4.11 4.12 3.86 5/337 939159
/proc/meminfo: memFree=117812392/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=19108176 memory=1879800 CPUtime=1602.07 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 84650 0 0 0 160100 107 0 0 20 0 20 0 183855908 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4777044 469950 5930 1 0 555373 0
[pid=937057/tid=937068] ppid=937050 vsize=19108176 memory=-9176201224592335548 CPUtime=1595.05 cores=5,7
/proc/937057/task/937068/stat : 937068 (java) R 937050 937057 937004 0 -1 4194368 31906 0 0 0 159498 7 0 0 20 0 20 0 183855908 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937106] ppid=937050 vsize=19108176 memory=1826036 CPUtime=0 cores=5,7
/proc/937057/task/937106/stat : 937106 (Finalizer) S 937050 937057 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937131] ppid=937050 vsize=19108176 memory=39384 CPUtime=0 cores=5,7
/proc/937057/task/937131/stat : 937131 (Common-Cleaner) S 937050 937057 937004 0 -1 1077936192 1449 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937146] ppid=937050 vsize=19108176 memory=1879800 CPUtime=0 cores=5,7
/proc/937057/task/937146/stat : 937146 (Timer-0) S 937050 937057 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183855924 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
Current children cumulated CPU time: 1602.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1879800 KiB

[startup+1607.11 s]
# the end of solver process 937057 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=1605.84 s, system=1.08394 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1603.2 s]
/proc/loadavg: 4.11 4.12 3.86 5/337 939159
/proc/meminfo: memFree=117812364/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=19108176 memory=1879800 CPUtime=1602.97 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 84650 0 0 0 160190 107 0 0 20 0 20 0 183855908 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4777044 469950 5930 1 0 555373 0
[pid=937057/tid=937068] ppid=937050 vsize=19108176 memory=1879800 CPUtime=1595.95 cores=5,7
/proc/937057/task/937068/stat : 937068 (java) R 937050 937057 937004 0 -1 4194368 31906 0 0 0 159588 7 0 0 20 0 20 0 183855908 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937106] ppid=937050 vsize=19108176 memory=1879800 CPUtime=0 cores=5,7
/proc/937057/task/937106/stat : 937106 (Finalizer) S 937050 937057 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937131] ppid=937050 vsize=19108176 memory=5560 CPUtime=0 cores=5,7
/proc/937057/task/937131/stat : 937131 (Common-Cleaner) S 937050 937057 937004 0 -1 1077936192 1449 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937146] ppid=937050 vsize=19108176 memory=2636 CPUtime=0 cores=5,7
/proc/937057/task/937146/stat : 937146 (Timer-0) S 937050 937057 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183855924 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
Current children cumulated CPU time: 1602.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1879800 KiB

[startup+1604.8 s]
/proc/loadavg: 4.10 4.11 3.86 5/337 939159
/proc/meminfo: memFree=117812392/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=19108176 memory=1879800 CPUtime=1604.57 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 84650 0 0 0 160350 107 0 0 20 0 20 0 183855908 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4777044 469950 5930 1 0 555373 0
[pid=937057/tid=937068] ppid=937050 vsize=19108176 memory=-9176201224592335548 CPUtime=1597.54 cores=5,7
/proc/937057/task/937068/stat : 937068 (java) R 937050 937057 937004 0 -1 4194368 31906 0 0 0 159747 7 0 0 20 0 20 0 183855908 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937106] ppid=937050 vsize=19108176 memory=8124 CPUtime=0 cores=5,7
/proc/937057/task/937106/stat : 937106 (Finalizer) S 937050 937057 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937131] ppid=937050 vsize=19108176 memory=2184 CPUtime=0 cores=5,7
/proc/937057/task/937131/stat : 937131 (Common-Cleaner) S 937050 937057 937004 0 -1 1077936192 1449 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937146] ppid=937050 vsize=19108176 memory=3460 CPUtime=0 cores=5,7
/proc/937057/task/937146/stat : 937146 (Timer-0) S 937050 937057 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183855924 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
Current children cumulated CPU time: 1604.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1879800 KiB

[startup+1606.4 s]
/proc/loadavg: 4.10 4.11 3.86 5/337 939159
/proc/meminfo: memFree=117812376/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=19108176 memory=1879800 CPUtime=1606.17 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 84650 0 0 0 160510 107 0 0 20 0 20 0 183855908 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4777044 469950 5930 1 0 555373 0
[pid=937057/tid=937068] ppid=937050 vsize=19108176 memory=39384 CPUtime=1599.14 cores=5,7
/proc/937057/task/937068/stat : 937068 (java) R 937050 937057 937004 0 -1 4194368 31906 0 0 0 159907 7 0 0 20 0 20 0 183855908 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937106] ppid=937050 vsize=19108176 memory=1879800 CPUtime=0 cores=5,7
/proc/937057/task/937106/stat : 937106 (Finalizer) S 937050 937057 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937131] ppid=937050 vsize=19108176 memory=1879800 CPUtime=0 cores=5,7
/proc/937057/task/937131/stat : 937131 (Common-Cleaner) S 937050 937057 937004 0 -1 1077936192 1449 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937146] ppid=937050 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/937057/task/937146/stat : 937146 (Timer-0) S 937050 937057 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183855924 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
Current children cumulated CPU time: 1606.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1879800 KiB

[startup+1606.8 s]
/proc/loadavg: 4.10 4.11 3.86 5/337 939159
/proc/meminfo: memFree=117812376/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=19108176 memory=1879800 CPUtime=1606.57 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 84650 0 0 0 160550 107 0 0 20 0 20 0 183855908 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4777044 469950 5930 1 0 555373 0
[pid=937057/tid=937068] ppid=937050 vsize=19108176 memory=43592 CPUtime=1599.54 cores=5,7
/proc/937057/task/937068/stat : 937068 (java) R 937050 937057 937004 0 -1 4194368 31906 0 0 0 159947 7 0 0 20 0 20 0 183855908 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937106] ppid=937050 vsize=19108176 memory=-9176201224592335548 CPUtime=0 cores=5,7
/proc/937057/task/937106/stat : 937106 (Finalizer) S 937050 937057 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937131] ppid=937050 vsize=19108176 memory=5444 CPUtime=0 cores=5,7
/proc/937057/task/937131/stat : 937131 (Common-Cleaner) S 937050 937057 937004 0 -1 1077936192 1449 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937146] ppid=937050 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/937057/task/937146/stat : 937146 (Timer-0) S 937050 937057 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183855924 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
Current children cumulated CPU time: 1606.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1879800 KiB

[startup+1607 s]*
/proc/loadavg: 4.10 4.11 3.86 5/337 939161
/proc/meminfo: memFree=117812356/131524600 swapFree=131071996/131071996
[pid=937057] ppid=937050 vsize=19108176 memory=1879800 CPUtime=1606.77 cores=5,7
/proc/937057/stat : 937057 (java) S 937050 937057 937004 0 -1 1077936128 84650 0 0 0 160570 107 0 0 20 0 20 0 183855908 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
/proc/937057/statm: 4777044 469950 5930 1 0 555373 0
[pid=937057/tid=937068] ppid=937050 vsize=19108176 memory=-8672920663403831996 CPUtime=1599.74 cores=5,7
/proc/937057/task/937068/stat : 937068 (java) R 937050 937057 937004 0 -1 4194368 31906 0 0 0 159967 7 0 0 20 0 20 0 183855908 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937106] ppid=937050 vsize=19108176 memory=7754526247123983774 CPUtime=0 cores=5,7
/proc/937057/task/937106/stat : 937106 (Finalizer) S 937050 937057 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937131] ppid=937050 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/937057/task/937131/stat : 937131 (Common-Cleaner) S 937050 937057 937004 0 -1 1077936192 1449 0 0 0 0 0 0 0 20 0 20 0 183855911 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
[pid=937057/tid=937146] ppid=937050 vsize=19108176 memory=100 CPUtime=0 cores=5,7
/proc/937057/task/937146/stat : 937146 (Timer-0) S 937050 937057 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183855924 19566772224 469950 134679101440 94543984082944 94543984086640 140735827890048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94543984094456 94543984095248 94543984328704 140735827899398 140735827899488 140735827899488 140735827906504 0
Current children cumulated CPU time: 1606.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1879800 KiB

[startup+1607.11 s]*
/proc/loadavg: 4.10 4.11 3.86 5/318 939163
/proc/meminfo: memFree=119672464/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 1607.11
CPU time (s): 1606.92
CPU user time (s): 1605.84
CPU system time (s): 1.08394
CPU usage (%): 99.9881
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 1879800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1605.84
system time used= 1.08394
maximum resident set size= 1880456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86951
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48357
involuntary context switches= 2632


# summary of solver processes directly reported to runsolver:
#   pid: 937057
#   total CPU time (s): 1606.92
#   total CPU user time (s): 1605.84
#   total CPU system time (s): 1.08394

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.24173 second user time and 7.32756 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-18 17:36:05
IDJOB=4443344
IDBENCH=147871
IDSOLVER=3058
FILE ID=nodeC016/4443344-1721316953
RUNJOBID= nodeC016-1721316965-937017
SLURM_JOB_ID= 7542659
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army10.14ls.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443344-1721316953/watcher-4443344-1721316953 -o /tmp/evaluation-result-4443344-1721316953/solver-4443344-1721316953 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721316965-937017 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4443344-1721316953.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 531481e7cf3d0451843bb4aa5119dd25
RANDOM SEED=207792957

nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3233.482
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3604.666
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3552.597
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3624.891
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3235.215
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3555.557
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3451.143
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3656.712
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126074120 kB
MemAvailable:   129716840 kB
Buffers:          345980 kB
Cached:          4132556 kB
SwapCached:            0 kB
Active:           536548 kB
Inactive:        4307076 kB
Active(anon):       1444 kB
Inactive(anon):   401404 kB
Active(file):     535104 kB
Inactive(file):  3905672 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1932 kB
Writeback:             0 kB
AnonPages:        363724 kB
Mapped:           106188 kB
Shmem:             37720 kB
KReclaimable:      83184 kB
Slab:             191920 kB
SReclaimable:      83184 kB
SUnreclaim:       108736 kB
KernelStack:        3856 kB
PageTables:         9992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     684836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69536 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC016 at 2024-07-18 18:02:52