Trace number 4517635

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j CP VeriPB 2025-06-06SAT (TO)3 3600.18 3586.18

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=8.opb
MD5SUMb554296dd2e7a57b28932c2f35f0c1cd
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark4.93097
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables275
Total number of constraints6523
Number of constraints which are clauses6512
Number of constraints which are cardinality constraints (but not clauses)11
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint12
Number of terms in the objective function 11
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 11
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 13
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 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 PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.10	c Number of processors 	2
0.12/0.17	c Pseudo Boolean Optimization by upper bound
0.12/0.17	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.12/0.17	c  - never skip resolution steps
0.12/0.17	c  - Auto-division on coefficients is disabled
0.12/0.17	c  - No postprocessing
0.12/0.17	c  - Conflict is considered as is when resolving
0.12/0.17	c  - Use constraints as they come during conflict analysis
0.12/0.17	c  - Weaken first using unassigned literals
0.12/0.17	c  - Bump strategy: ALWAYS_ONE
0.12/0.17	c  - Bumper: EFFECTIVE
0.12/0.17	c --- Begin Solver configuration ---
0.12/0.17	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd
0.12/0.17	c Learn all clauses as in MiniSAT
0.12/0.17	c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.17	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.12/0.17	c No reason simplification
0.12/0.17	c Dynamic restart strategy considering the size of the coefficients
0.12/0.17	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96
0.12/0.17	c timeout=2147483s
0.12/0.17	c DB Simplification allowed=false
0.12/0.17	c Listener: none
0.12/0.17	c --- End Solver configuration ---
0.12/0.17	c solving HOME/instance-4517635-1751537689.opb
0.12/0.17	c reading problem ... 
0.12/0.17	c using VERIPB proof format
0.12/0.17	c  objective function found
0.30/0.30	c ... done. Wall clock time 0.132s.
0.30/0.31	c declared #vars     275
0.30/0.31	c #constraints  6523
0.30/0.31	c constraints type 
0.49/0.31	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 11
0.49/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6512
0.49/0.31	c 6523 constraints processed.
0.49/0.32	c objective function length is 11 literals
2.03/1.18	c cleaning 2494 clauses out of 5000 with flag 0/5000
3.62/1.97	c cleaning 4247 clauses out of 8506 with flag 0/11000
4.97/2.82	c SATISFIABLE
4.97/2.82	c OPTIMIZING...
4.97/2.82	c Got one! Elapsed wall clock time (in seconds):2.657
4.97/2.82	o 11
4.97/2.84	c Got one! Elapsed wall clock time (in seconds):2.676
4.97/2.84	o 6
7.92/4.32	c cleaning 7635 clauses out of 15281 with flag 0/22022
9.12/5.26	c cleaning 6812 clauses out of 13644 with flag 0/28020
11.79/6.93	c cleaning 6900 clauses out of 13832 with flag 0/35020
14.45/9.54	c cleaning 7459 clauses out of 14934 with flag 0/43022
18.91/13.88	c cleaning 8225 clauses out of 16473 with flag 0/52020
20.70/15.66	c cleaning 9116 clauses out of 18248 with flag 0/62020
23.60/18.59	c cleaning 10059 clauses out of 20134 with flag 0/73022
26.02/21.00	c cleaning 11030 clauses out of 22074 with flag 0/85021
27.82/22.74	c Got one! Elapsed wall clock time (in seconds):22.571
27.82/22.74	o 5
32.87/27.50	c cleaning 12657 clauses out of 25321 with flag 0/99298
33.87/28.57	c cleaning 9323 clauses out of 18664 with flag 0/105298
35.08/29.78	c cleaning 8149 clauses out of 16341 with flag 0/112298
36.66/31.28	c cleaning 8087 clauses out of 16193 with flag 0/120299
40.33/36.32	c cleaning 8543 clauses out of 17107 with flag 0/129300
43.32/39.38	c cleaning 9276 clauses out of 18562 with flag 0/139298
46.54/42.58	c cleaning 10138 clauses out of 20287 with flag 0/150299
49.14/45.14	c cleaning 11069 clauses out of 22149 with flag 0/162299
52.74/48.72	c Got one! Elapsed wall clock time (in seconds):48.551
52.74/48.72	o 4
62.00/57.83	c cleaning 13296 clauses out of 26596 with flag 0/177815
77.86/73.57	c cleaning 9639 clauses out of 19300 with flag 0/183815
84.19/79.71	c cleaning 8305 clauses out of 16662 with flag 0/190816
97.64/92.92	c cleaning 8160 clauses out of 16356 with flag 0/198815
117.10/112.19	c cleaning 8586 clauses out of 17199 with flag 0/207818
120.04/115.05	c cleaning 9298 clauses out of 18610 with flag 0/217815
123.53/118.42	c cleaning 10132 clauses out of 20313 with flag 0/228816
129.04/123.89	c cleaning 11068 clauses out of 22182 with flag 0/240817
136.98/131.65	c cleaning 12040 clauses out of 24113 with flag 0/253816
152.30/146.62	c cleaning 13022 clauses out of 26072 with flag 0/267815
177.63/171.56	c cleaning 14003 clauses out of 28050 with flag 0/282815
203.92/197.28	c cleaning 15008 clauses out of 30048 with flag 0/298816
232.97/225.75	c cleaning 16009 clauses out of 32040 with flag 0/315816
267.40/262.83	c cleaning 16994 clauses out of 34030 with flag 0/333815
305.29/300.05	c cleaning 18000 clauses out of 36038 with flag 0/352817
315.34/309.88	c Got one! Elapsed wall clock time (in seconds):309.712
315.34/309.88	o 3
326.94/321.07	c cleaning 17692 clauses out of 35391 with flag 0/370170
336.09/330.05	c cleaning 11836 clauses out of 23698 with flag 0/376169
347.35/341.16	c cleaning 9412 clauses out of 18863 with flag 0/383170
360.39/353.76	c cleaning 8715 clauses out of 17450 with flag 0/391169
378.18/371.22	c cleaning 8853 clauses out of 17736 with flag 0/400170
395.92/388.73	c cleaning 9423 clauses out of 18882 with flag 0/410169
430.35/422.75	c cleaning 10226 clauses out of 20460 with flag 0/421170
470.83/463.92	c cleaning 11107 clauses out of 22233 with flag 0/433169
509.44/502.03	c cleaning 12049 clauses out of 24126 with flag 0/446169
520.18/512.67	c cleaning 13034 clauses out of 26078 with flag 0/460170
546.80/538.79	c cleaning 14008 clauses out of 28043 with flag 0/475169
589.60/581.04	c cleaning 15006 clauses out of 30035 with flag 0/491169
675.00/665.66	c cleaning 16005 clauses out of 32029 with flag 0/508169
721.30/711.44	c cleaning 17002 clauses out of 34024 with flag 0/526169
773.36/763.72	c cleaning 17995 clauses out of 36022 with flag 0/545169
838.32/828.02	c cleaning 18995 clauses out of 38028 with flag 0/565170
909.62/898.70	c cleaning 20002 clauses out of 40033 with flag 0/586170
979.33/967.82	c cleaning 21004 clauses out of 42032 with flag 0/608171
1056.33/1044.17	c cleaning 21998 clauses out of 44026 with flag 0/631169
1143.09/1132.02	c cleaning 22994 clauses out of 46029 with flag 0/655170
1241.23/1229.52	c cleaning 23996 clauses out of 48035 with flag 0/680170
1347.48/1334.93	c cleaning 25000 clauses out of 50038 with flag 0/706169
1456.36/1443.04	c cleaning 25986 clauses out of 52038 with flag 0/733169
1574.96/1560.88	c cleaning 27019 clauses out of 54052 with flag 0/761169
1706.46/1692.67	c cleaning 28004 clauses out of 56033 with flag 0/790169
1838.87/1824.20	c cleaning 28992 clauses out of 58029 with flag 0/820169
1976.09/1963.83	c cleaning 30009 clauses out of 60037 with flag 0/851169
2072.97/2059.67	c cleaning 31010 clauses out of 62028 with flag 0/883169
2407.04/2395.45	c cleaning 31998 clauses out of 64021 with flag 0/916172
2694.21/2680.99	c cleaning 33000 clauses out of 66020 with flag 0/950169
2966.31/2952.53	c cleaning 33975 clauses out of 68021 with flag 0/985170
3235.87/3223.68	c cleaning 35009 clauses out of 70045 with flag 0/1021169
3539.11/3525.95	c cleaning 35989 clauses out of 72037 with flag 0/1058170
3600.05/3586.11	c starts		: 35
3600.05/3586.11	c conflicts		: 1075723
3600.05/3586.11	c decisions		: 1310417
3600.05/3586.11	c propagations		: 24309356
3600.05/3586.11	c inspects		: 4799402158
3600.05/3586.11	c shortcuts		: 0
3600.05/3586.11	c learnt literals	: 0
3600.05/3586.11	c learnt binary clauses	: 0
3600.05/3586.11	c learnt ternary clauses	: 0
3600.05/3586.11	c learnt constraints	: 1075723
3600.05/3586.11	c ignored constraints	: 0
3600.05/3586.11	c root simplifications	: 0
3600.05/3586.11	c removed literals (reason simplification)	: 0
3600.05/3586.11	c reason swapping (by a shorter reason)	: 0
3600.05/3586.11	c Calls to reduceDB	: 66
3600.05/3586.11	c Number of update (reduction) of LBD	: 1083452
3600.05/3586.11	c Imported unit clauses	: 0
3600.05/3586.11	c No decision after first conflict	: false
3600.05/3586.11	c number of reductions to clauses (during analyze)	: 0
3600.05/3586.11	c number of learned constraints concerned by reduction	: 0
3600.05/3586.11	c number of learning phase by resolution	: 0
3600.05/3586.12	c number of learning phase by cutting planes	: 0
3600.05/3586.12	c number of rounding to 1 operations	: 0
3600.05/3586.12	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3586.12	c number of reductions of the coefficients by power 2 	: 0
3600.05/3586.12	c number of right shift for reduction by power 2 	: 0
3600.05/3586.12	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3586.12	c number of ending skipping 	: 0
3600.05/3586.12	c number of internal skipping 	: 0
3600.05/3586.12	c number of derivation steps 	: 18942152
3600.05/3586.12	c number of skipped derivation steps 	: 0
3600.05/3586.12	c number of remaining unassigned 	: 39291
3600.05/3586.12	c number of remaining assigned 	: 128537529
3600.05/3586.12	c number of falsified literals weakened from reason	: 0
3600.05/3586.12	c number of falsified literals weakened from conflict	: 0
3600.05/3586.12	c time for arithmetic operations	: 7774383455
3600.05/3586.12	c minimum degree of deleted constraints	: 1
3600.05/3586.12	c maximum degree of deleted constraints	: 23254989737114246955439793297100
3600.05/3586.12	c number of deleted constraints	: 1022122
3600.05/3586.12	c speed (assignments/second)	: 6779.362304743058
3600.05/3586.12	c non guided choices	: 1086
3600.05/3586.15	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 34184
3600.05/3586.15	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 1818
3600.05/3586.15	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 17599
3600.05/3586.15	s SATISFIABLE
3600.05/3586.16	c Found 5 solution(s)
3600.05/3586.16	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 
3600.05/3586.16	c objective function=3
3600.05/3586.16	c Total wall clock time (in seconds): 3585.988

Verifier Data 

OK	3

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: 63708 MiB (55786 MiB free)
  memory of node 1: 64465 MiB (57608 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517635-1751537689/watcher-4517635-1751537689 -o /tmp/evaluation-result-4517635-1751537689/solver-4517635-1751537689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751529963-73998 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517635-1751537689 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4517635-1751537689.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=75142, runsolver pid=75139

[startup+0.100059 s]*
/proc/loadavg: 4.30 4.26 4.21 7/338 75160
/proc/meminfo: memFree=116103604/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=18930384 memory=55660 CPUtime=0.12 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 6543 0 0 0 10 2 0 0 20 0 18 0 69447290 19384713216 13915 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4732596 13915 5340 1 0 547586 0
[pid=75142/tid=75144] ppid=75139 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 5044 0 0 0 6 1 0 0 20 0 18 0 69447291 19384713216 13915 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/75142/task/75153/stat : 75153 (Finalizer) S 75139 75142 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69447293 19384713216 13915 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75160] ppid=75139 vsize=18930384 memory=59585004339238 CPUtime=0 cores=1,3
/proc/75142/task/75160/stat : 75160 (Common-Cleaner) S 75139 75142 73986 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69447294 19384713216 13915 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55660 KiB

[startup+0.205735 s]*
/proc/loadavg: 4.30 4.26 4.21 7/338 75160
/proc/meminfo: memFree=116093660/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=18930384 memory=64384 CPUtime=0.3 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 7111 0 0 0 27 3 0 0 20 0 18 0 69447290 19384713216 16096 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4732596 16096 5436 1 0 547976 0
[pid=75142/tid=75144] ppid=75139 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 5396 0 0 0 15 1 0 0 20 0 18 0 69447291 19384713216 16096 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=18930384 memory=2641 CPUtime=0 cores=1,3
/proc/75142/task/75153/stat : 75153 (Finalizer) S 75139 75142 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69447293 19384713216 16096 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75160] ppid=75139 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/75142/task/75160/stat : 75160 (Common-Cleaner) S 75139 75142 73986 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69447294 19384713216 16096 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64384 KiB

[startup+0.305652 s]*
/proc/loadavg: 4.30 4.26 4.21 7/338 75160
/proc/meminfo: memFree=116059696/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=18930384 memory=97532 CPUtime=0.49 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 8674 0 0 0 45 4 0 0 20 0 18 0 69447290 19384713216 24383 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4732596 24383 5468 1 0 549033 0
[pid=75142/tid=75144] ppid=75139 vsize=18930384 memory=-6000919468445362024 CPUtime=0.24 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 5434 0 0 0 22 2 0 0 20 0 18 0 69447291 19384713216 24383 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/75142/task/75153/stat : 75153 (Finalizer) S 75139 75142 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69447293 19384713216 24383 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75160] ppid=75139 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/75142/task/75160/stat : 75160 (Common-Cleaner) S 75139 75142 73986 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69447294 19384713216 24383 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 97532 KiB

[startup+0.70032 s]
/proc/loadavg: 4.30 4.26 4.21 7/339 75161
/proc/meminfo: memFree=116043312/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=19063512 memory=168124 CPUtime=1.24 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 12743 0 0 0 118 6 0 0 20 0 20 0 69447290 19521036288 42031 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4765878 42031 5532 1 0 552050 0
[pid=75142/tid=75144] ppid=75139 vsize=19063512 memory=18688 CPUtime=0.53 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 5593 0 0 0 50 3 0 0 20 0 20 0 69447291 19521036288 42031 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/75142/task/75153/stat : 75153 (Finalizer) S 75139 75142 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69447293 19521036288 42031 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75160] ppid=75139 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/75142/task/75160/stat : 75160 (Common-Cleaner) S 75139 75142 73986 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 69447294 19521036288 42031 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75161] ppid=75139 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/75142/task/75161/stat : 75161 (Timer-0) S 75139 75142 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69447323 19521036288 42031 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168124 KiB

[startup+1.50024 s]
/proc/loadavg: 4.30 4.26 4.21 6/340 75162
/proc/meminfo: memFree=116000588/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=19063512 memory=202968 CPUtime=2.82 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 21447 0 0 0 274 8 0 0 20 0 20 0 69447290 19521036288 50742 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4765878 50742 5532 1 0 554293 0
[pid=75142/tid=75144] ppid=75139 vsize=19063512 memory=0 CPUtime=1.29 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 5927 0 0 0 126 3 0 0 20 0 20 0 69447291 19521036288 50742 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/75142/task/75153/stat : 75153 (Finalizer) S 75139 75142 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69447293 19521036288 50742 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75160] ppid=75139 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/75142/task/75160/stat : 75160 (Common-Cleaner) S 75139 75142 73986 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 69447294 19521036288 50742 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75161] ppid=75139 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/75142/task/75161/stat : 75161 (Timer-0) S 75139 75142 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69447323 19521036288 50742 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 202968 KiB

[startup+3.10554 s]
/proc/loadavg: 4.36 4.27 4.21 6/340 75162
/proc/meminfo: memFree=115659948/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=19063512 memory=563996 CPUtime=5.54 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 28019 0 0 0 538 16 0 0 20 0 20 0 69447290 19521036288 140999 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4765878 140999 5532 1 0 555539 0
[pid=75142/tid=75144] ppid=75139 vsize=19063512 memory=10752 CPUtime=2.86 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 7563 0 0 0 276 10 0 0 20 0 20 0 69447291 19521036288 140999 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=19063512 memory=-6000919468445362024 CPUtime=0 cores=1,3
/proc/75142/task/75153/stat : 75153 (Finalizer) S 75139 75142 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69447293 19521036288 140999 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75160] ppid=75139 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/75142/task/75160/stat : 75160 (Common-Cleaner) S 75139 75142 73986 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 69447294 19521036288 141031 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75161] ppid=75139 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/75142/task/75161/stat : 75161 (Timer-0) S 75139 75142 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69447323 19521036288 141031 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
Current children cumulated CPU time: 5.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 563996 KiB

[startup+6.30024 s]
/proc/loadavg: 4.36 4.27 4.21 6/340 75163
/proc/meminfo: memFree=115226240/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=19063512 memory=1078264 CPUtime=11.04 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 32263 0 0 0 1078 26 0 0 20 0 20 0 69447290 19521036288 269566 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4765878 269566 5532 1 0 557008 0
[pid=75142/tid=75144] ppid=75139 vsize=19063512 memory=0 CPUtime=6.03 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 8127 0 0 0 584 19 0 0 20 0 20 0 69447291 19521036288 269566 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/75142/task/75153/stat : 75153 (Finalizer) S 75139 75142 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69447293 19521036288 269566 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75160] ppid=75139 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/75142/task/75160/stat : 75160 (Common-Cleaner) S 75139 75142 73986 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 69447294 19521036288 269566 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75161] ppid=75139 vsize=19063512 memory=237784 CPUtime=0 cores=1,3
/proc/75142/task/75161/stat : 75161 (Timer-0) S 75139 75142 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69447323 19521036288 269566 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
Current children cumulated CPU time: 11.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1078264 KiB

[startup+12.7002 s]
/proc/loadavg: 4.38 4.28 4.22 5/340 75163
/proc/meminfo: memFree=114881056/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=19063512 memory=1328480 CPUtime=17.79 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 38389 0 0 0 1747 32 0 0 20 0 20 0 69447290 19521036288 332120 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4765878 332120 5532 1 0 557009 0
[pid=75142/tid=75144] ppid=75139 vsize=19063512 memory=237784 CPUtime=12.36 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 9410 0 0 0 1212 24 0 0 20 0 20 0 69447291 19521036288 332120 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=19063512 memory=1320156 CPUtime=0 cores=1,3
/proc/75142/task/75153/stat : 75153 (Finalizer) S 75139 75142 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69447293 19521036288 332120 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75160] ppid=75139 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/75142/task/75160/stat : 75160 (Common-Cleaner) S 75139 75142 73986 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 69447294 19521036288 332120 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75161] ppid=75139 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/75142/task/75161/stat : 75161 (Timer-0) S 75139 75142 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69447323 19521036288 332120 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
Current children cumulated CPU time: 17.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1328480 KiB

[startup+25.5002 s]
/proc/loadavg: 4.32 4.27 4.21 5/340 75163
/proc/meminfo: memFree=114850744/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=19063512 memory=1338924 CPUtime=30.78 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 46104 0 0 0 3044 34 0 0 20 0 20 0 69447290 19521036288 334731 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4765878 334731 5532 1 0 557041 0
[pid=75142/tid=75144] ppid=75139 vsize=19063512 memory=-6000919468445362024 CPUtime=25.04 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 11290 0 0 0 2479 25 0 0 20 0 20 0 69447291 19521036288 334731 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=19063512 memory=1334768 CPUtime=0 cores=1,3
/proc/75142/task/75153/stat : 75153 (Finalizer) S 75139 75142 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69447293 19521036288 334731 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75160] ppid=75139 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/75142/task/75160/stat : 75160 (Common-Cleaner) S 75139 75142 73986 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 69447294 19521036288 334731 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75161] ppid=75139 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/75142/task/75161/stat : 75161 (Timer-0) S 75139 75142 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69447323 19521036288 334731 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
Current children cumulated CPU time: 30.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1338924 KiB

[startup+51.1059 s]
/proc/loadavg: 4.28 4.26 4.21 5/340 75163
/proc/meminfo: memFree=114813208/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=19063512 memory=1359600 CPUtime=55.2 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 49869 0 0 0 5481 39 0 0 20 0 20 0 69447290 19521036288 339900 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4765878 339900 5532 1 0 557041 0
[pid=75142/tid=75144] ppid=75139 vsize=19063512 memory=1347240 CPUtime=48.87 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 12913 0 0 0 4859 28 0 0 20 0 20 0 69447291 19521036288 339900 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=19063512 memory=14976 CPUtime=0 cores=1,3

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

/proc/meminfo: memFree=123233308/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=19063512 memory=3108416 CPUtime=3295.23 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 141016 0 0 0 329171 352 0 0 20 0 20 0 69447290 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4765878 777104 5596 1 0 791471 0
[pid=75142/tid=75144] ppid=75139 vsize=19063512 memory=3108416 CPUtime=3208.65 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 58636 0 0 0 320639 226 0 0 20 0 20 0 69447291 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=19063512 memory=3108416 CPUtime=0 cores=1,3
/proc/75142/task/75153/stat : 75153 (Finalizer) S 75139 75142 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69447293 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75160] ppid=75139 vsize=19063512 memory=7897519728005915010 CPUtime=0 cores=1,3
/proc/75142/task/75160/stat : 75160 (Common-Cleaner) S 75139 75142 73986 0 -1 4194368 2026 0 0 0 0 0 0 0 20 0 20 0 69447294 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75161] ppid=75139 vsize=19063512 memory=3108416 CPUtime=0 cores=1,3
/proc/75142/task/75161/stat : 75161 (Timer-0) S 75139 75142 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69447323 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
Current children cumulated CPU time: 3295.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3108416 KiB

[startup+3342.3 s]
/proc/loadavg: 1.17 2.22 3.31 2/267 75449
/proc/meminfo: memFree=123229836/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=19063512 memory=3108416 CPUtime=3354.43 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 142332 0 0 0 335087 356 0 0 20 0 20 0 69447290 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4765878 777104 5596 1 0 791471 0
[pid=75142/tid=75144] ppid=75139 vsize=19063512 memory=2760 CPUtime=3266.55 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 59657 0 0 0 326426 229 0 0 20 0 20 0 69447291 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=19063512 memory=3108416 CPUtime=0 cores=1,3
/proc/75142/task/75153/stat : 75153 (Finalizer) S 75139 75142 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69447293 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75160] ppid=75139 vsize=19063512 memory=3108416 CPUtime=0 cores=1,3
/proc/75142/task/75160/stat : 75160 (Common-Cleaner) S 75139 75142 73986 0 -1 4194368 2113 0 0 0 0 0 0 0 20 0 20 0 69447294 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75161] ppid=75139 vsize=19063512 memory=3108416 CPUtime=0 cores=1,3
/proc/75142/task/75161/stat : 75161 (Timer-0) S 75139 75142 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69447323 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
Current children cumulated CPU time: 3354.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3108416 KiB

[startup+3402.3 s]
/proc/loadavg: 1.17 2.02 3.17 2/267 75454
/proc/meminfo: memFree=123231868/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=19063512 memory=3108416 CPUtime=3414.6 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 143508 0 0 0 341099 361 0 0 20 0 20 0 69447290 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4765878 777104 5596 1 0 791471 0
[pid=75142/tid=75144] ppid=75139 vsize=19063512 memory=2760 CPUtime=3325.75 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 60216 0 0 0 332343 232 0 0 20 0 20 0 69447291 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=19063512 memory=3108416 CPUtime=0 cores=1,3
/proc/75142/task/75153/stat : 75153 (Finalizer) S 75139 75142 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69447293 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75160] ppid=75139 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/75142/task/75160/stat : 75160 (Common-Cleaner) S 75139 75142 73986 0 -1 4194368 2166 0 0 0 0 0 0 0 20 0 20 0 69447294 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75161] ppid=75139 vsize=19063512 memory=3108416 CPUtime=0 cores=1,3
/proc/75142/task/75161/stat : 75161 (Timer-0) S 75139 75142 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69447323 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
Current children cumulated CPU time: 3414.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3108416 KiB

[startup+3462.3 s]
/proc/loadavg: 1.12 1.85 3.04 2/267 75456
/proc/meminfo: memFree=123222432/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=19063512 memory=3108416 CPUtime=3474.9 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 143692 0 0 0 347125 365 0 0 20 0 20 0 69447290 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4765878 777104 5596 1 0 791471 0
[pid=75142/tid=75144] ppid=75139 vsize=19063512 memory=2760 CPUtime=3385 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 60236 0 0 0 338265 235 0 0 20 0 20 0 69447291 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=19063512 memory=3108416 CPUtime=0 cores=1,3
/proc/75142/task/75153/stat : 75153 (Finalizer) S 75139 75142 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69447293 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75160] ppid=75139 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/75142/task/75160/stat : 75160 (Common-Cleaner) S 75139 75142 73986 0 -1 4194368 2166 0 0 0 0 0 0 0 20 0 20 0 69447294 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75161] ppid=75139 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/75142/task/75161/stat : 75161 (Timer-0) S 75139 75142 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69447323 19521036288 777104 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
Current children cumulated CPU time: 3474.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3108416 KiB

[startup+3522.3 s]
/proc/loadavg: 1.12 1.71 2.91 2/267 75458
/proc/meminfo: memFree=123215420/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=19063512 memory=3108544 CPUtime=3535.52 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 145541 0 0 0 353183 369 0 0 20 0 20 0 69447290 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4765878 777136 5596 1 0 791485 0
[pid=75142/tid=75144] ppid=75139 vsize=19063512 memory=3108416 CPUtime=3444.24 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 60431 0 0 0 344188 236 0 0 20 0 20 0 69447291 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=19063512 memory=5859554073000890464 CPUtime=0 cores=1,3
/proc/75142/task/75153/stat : 75153 (Finalizer) S 75139 75142 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69447293 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75160] ppid=75139 vsize=19063512 memory=3108544 CPUtime=0 cores=1,3
/proc/75142/task/75160/stat : 75160 (Common-Cleaner) S 75139 75142 73986 0 -1 4194368 2170 0 0 0 0 0 0 0 20 0 20 0 69447294 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75161] ppid=75139 vsize=19063512 memory=-6000919468445362024 CPUtime=0 cores=1,3
/proc/75142/task/75161/stat : 75161 (Timer-0) S 75139 75142 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69447323 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
Current children cumulated CPU time: 3535.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3108544 KiB

[startup+3582.3 s]
/proc/loadavg: 1.17 1.61 2.80 3/265 75460
/proc/meminfo: memFree=123224060/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=19063512 memory=3108544 CPUtime=3596.2 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 145773 0 0 0 359245 375 0 0 20 0 20 0 69447290 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4765878 777136 5596 1 0 791486 0
[pid=75142/tid=75144] ppid=75139 vsize=19063512 memory=5276 CPUtime=3502.96 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 60573 0 0 0 350055 241 0 0 20 0 20 0 69447291 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/75142/task/75153/stat : 75153 (Finalizer) S 75139 75142 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69447293 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75160] ppid=75139 vsize=19063512 memory=3108544 CPUtime=0 cores=1,3
/proc/75142/task/75160/stat : 75160 (Common-Cleaner) S 75139 75142 73986 0 -1 4194368 2170 0 0 0 0 0 0 0 20 0 20 0 69447294 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75161] ppid=75139 vsize=19063512 memory=5292 CPUtime=0 cores=1,3
/proc/75142/task/75161/stat : 75161 (Timer-0) S 75139 75142 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69447323 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
Current children cumulated CPU time: 3596.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3108544 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3586.11 s]
/proc/loadavg: 1.17 1.61 2.80 2/265 75460
/proc/meminfo: memFree=123215996/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=19063512 memory=3108544 CPUtime=3600.05 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 145789 0 0 0 359630 375 0 0 20 0 20 0 69447290 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4765878 777136 5596 1 0 791486 0
[pid=75142/tid=75144] ppid=75139 vsize=19063512 memory=3108544 CPUtime=3506.7 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 60586 0 0 0 350428 242 0 0 20 0 20 0 69447291 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=19063512 memory=3108544 CPUtime=0 cores=1,3
/proc/75142/task/75153/stat : 75153 (Finalizer) S 75139 75142 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69447293 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75160] ppid=75139 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/75142/task/75160/stat : 75160 (Common-Cleaner) S 75139 75142 73986 0 -1 4194368 2170 0 0 0 0 0 0 0 20 0 20 0 69447294 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75161] ppid=75139 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/75142/task/75161/stat : 75161 (Timer-0) S 75139 75142 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69447323 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3108544 KiB

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

[startup+3586.18 s]
# the end of solver process 75142 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3596.41 s, system=3.77093 s

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

[startup+3586.11 s]
/proc/loadavg: 1.17 1.61 2.80 2/265 75460
/proc/meminfo: memFree=123215996/131249996 swapFree=33010160/33010684
[pid=75142] ppid=75139 vsize=19063512 memory=3108544 CPUtime=3600.05 cores=1,3
/proc/75142/stat : 75142 (java) S 75139 75142 73986 0 -1 4194304 145789 0 0 0 359630 375 0 0 20 0 20 0 69447290 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
/proc/75142/statm: 4765878 777136 5596 1 0 791486 0
[pid=75142/tid=75144] ppid=75139 vsize=19063512 memory=3108544 CPUtime=3506.7 cores=1,3
/proc/75142/task/75144/stat : 75144 (java) R 75139 75142 73986 0 -1 4194368 60586 0 0 0 350428 242 0 0 20 0 20 0 69447291 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75153] ppid=75139 vsize=19063512 memory=3108544 CPUtime=0 cores=1,3
/proc/75142/task/75153/stat : 75153 (Finalizer) S 75139 75142 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69447293 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75160] ppid=75139 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/75142/task/75160/stat : 75160 (Common-Cleaner) S 75139 75142 73986 0 -1 4194368 2170 0 0 0 0 0 0 0 20 0 20 0 69447294 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
[pid=75142/tid=75161] ppid=75139 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/75142/task/75161/stat : 75161 (Timer-0) S 75139 75142 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69447323 19521036288 777136 18446744073709551615 93970785300480 93970785304176 140727917364352 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93970785311992 93970785312784 93970807595008 140727917369645 140727917369830 140727917369830 140727917375432 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3108544 KiB

Child status: 143

Real time (s): 3586.18
CPU time (s): 3600.18
CPU user time (s): 3596.41
CPU system time (s): 3.77093
CPU usage (%): 100.39
Max. virtual memory (cumulated for all children) (KiB): 19066736
Max. memory (cumulated for all children) (KiB): 3108544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.41
system time used= 3.77093
maximum resident set size= 3109440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147325
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1361240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 149655
involuntary context switches= 16022


# summary of solver processes directly reported to runsolver:
#   pid: 75142
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3596.41
#   total CPU system time (s): 3.77093

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64887 second user time and 17.054 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-03 12:14:49
IDJOB=4517635
IDBENCH=176156
IDSOLVER=3362
FILE ID=nodeC029/4517635-1751537689
RUNJOBID= nodeC029-1751529963-73998
SLURM_JOB_ID= 9598670
Free space on /tmp= 432256 MiB

SOLVER NAME= Sat4j CP VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=11-t=8.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517635-1751537689/watcher-4517635-1751537689 -o /tmp/evaluation-result-4517635-1751537689/solver-4517635-1751537689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751529963-73998 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517635-1751537689 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4517635-1751537689.opb

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

MD5SUM BENCH= b554296dd2e7a57b28932c2f35f0c1cd
RANDOM SEED=1356625352

nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.743
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3599.793
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3605.098
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3599.712
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3599.719
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3599.734
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3600.183
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3600.084
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        116116080 kB
MemAvailable:   119492284 kB
Buffers:            2128 kB
Cached:          4169740 kB
SwapCached:           40 kB
Active:         10674760 kB
Inactive:        3730012 kB
Active(anon):   10246356 kB
Inactive(anon):     4768 kB
Active(file):     428404 kB
Inactive(file):  3725244 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             20660 kB
Writeback:             0 kB
AnonPages:      10235484 kB
Mapped:           124392 kB
Shmem:             18020 kB
KReclaimable:     123588 kB
Slab:             213864 kB
SReclaimable:     123588 kB
SUnreclaim:        90276 kB
KernelStack:        5184 kB
PageTables:        23736 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   10948816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9926656 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432264 MiB
End job on nodeC029 at 2025-07-03 13:14:35