Trace number 4542704

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 CP VeriPB 2025-06-06? (TO) 3600.25 3542.43

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_036.shuf-2.opb
MD5SUM51f0204441dcd002ae254f35580dbb8b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.67265
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables577
Total number of constraints290
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints286
Minimum length of a constraint2
Maximum length of a constraint8
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 12
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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.10	c os.arch		amd64
0.12/0.10	c Free memory 		2104792832
0.12/0.10	c Max memory 		16282288128
0.12/0.10	c Total memory 		2113929216
0.12/0.11	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-4542704-1753220996.opb
0.12/0.17	c reading problem ... 
0.12/0.17	c using VERIPB proof format
0.12/0.18	c  no objective function found
0.31/0.23	c ... done. Wall clock time 0.05s.
0.31/0.23	c declared #vars     577
0.31/0.23	c #constraints  290
0.31/0.23	c constraints type 
0.31/0.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.31/0.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 288
0.31/0.23	c 290 constraints processed.
3.03/1.63	c cleaning 2492 clauses out of 5000 with flag 0/5000
5.61/2.94	c cleaning 4242 clauses out of 8508 with flag 0/11000
9.38/5.03	c cleaning 5625 clauses out of 11267 with flag 0/18001
10.68/6.19	c cleaning 6809 clauses out of 13641 with flag 0/26000
12.28/7.63	c cleaning 7904 clauses out of 15832 with flag 0/35000
14.55/9.77	c cleaning 8951 clauses out of 17929 with flag 0/45001
16.69/11.80	c cleaning 9976 clauses out of 19978 with flag 0/56001
19.31/14.44	c cleaning 10990 clauses out of 22001 with flag 0/68000
22.37/17.46	c cleaning 11990 clauses out of 24011 with flag 0/81000
25.82/20.88	c cleaning 12997 clauses out of 26022 with flag 0/95001
30.16/25.15	c cleaning 13995 clauses out of 28024 with flag 0/110000
34.79/29.77	c cleaning 15001 clauses out of 30031 with flag 0/126002
40.14/34.99	c cleaning 15999 clauses out of 32029 with flag 0/143001
46.28/40.98	c cleaning 16998 clauses out of 34030 with flag 0/161001
53.25/47.81	c cleaning 18004 clauses out of 36032 with flag 0/180001
61.97/56.45	c cleaning 19000 clauses out of 38028 with flag 0/200001
71.34/65.68	c cleaning 19998 clauses out of 40027 with flag 0/221000
82.06/76.11	c cleaning 21005 clauses out of 42030 with flag 0/243001
96.05/89.82	c cleaning 21997 clauses out of 44025 with flag 0/266001
112.52/106.00	c cleaning 23000 clauses out of 46027 with flag 0/290000
125.48/118.63	c cleaning 23999 clauses out of 48028 with flag 0/315001
141.76/134.61	c cleaning 24999 clauses out of 50029 with flag 0/341001
160.75/153.27	c cleaning 25997 clauses out of 52029 with flag 0/368000
180.79/172.94	c cleaning 27001 clauses out of 54033 with flag 0/396001
194.28/186.22	c cleaning 27999 clauses out of 56031 with flag 0/425000
217.48/208.83	c cleaning 29000 clauses out of 58033 with flag 0/455001
237.86/228.99	c cleaning 30007 clauses out of 60033 with flag 0/486001
255.82/246.65	c cleaning 30997 clauses out of 62027 with flag 0/518002
280.49/270.88	c cleaning 31997 clauses out of 64028 with flag 0/551000
315.74/305.46	c cleaning 32999 clauses out of 66032 with flag 0/585001
353.55/342.57	c cleaning 33997 clauses out of 68034 with flag 0/620002
388.58/377.06	c cleaning 35000 clauses out of 70035 with flag 0/656000
426.65/414.54	c cleaning 35997 clauses out of 72036 with flag 0/693001
479.27/466.40	c cleaning 36997 clauses out of 74039 with flag 0/731001
527.65/513.95	c cleaning 38001 clauses out of 76041 with flag 0/770000
578.83/564.29	c cleaning 38997 clauses out of 78040 with flag 0/810000
628.72/613.29	c cleaning 40004 clauses out of 80044 with flag 0/851001
675.26/658.94	c cleaning 40999 clauses out of 82039 with flag 0/893000
724.61/707.57	c cleaning 42001 clauses out of 84041 with flag 0/936001
773.98/756.36	c cleaning 42997 clauses out of 86040 with flag 0/980001
821.80/803.31	c cleaning 43999 clauses out of 88042 with flag 0/1025000
869.64/850.38	c cleaning 45001 clauses out of 90044 with flag 0/1071001
921.81/901.98	c cleaning 46001 clauses out of 92043 with flag 0/1118001
985.90/964.92	c cleaning 47004 clauses out of 94041 with flag 0/1166000
1057.41/1035.19	c cleaning 47994 clauses out of 96037 with flag 0/1215000
1121.34/1098.02	c cleaning 49004 clauses out of 98043 with flag 0/1265000
1224.21/1199.49	c cleaning 50001 clauses out of 100040 with flag 0/1316001
1342.50/1316.20	c cleaning 50993 clauses out of 102039 with flag 0/1368001
1408.93/1381.57	c cleaning 52004 clauses out of 104047 with flag 0/1421002
1461.82/1433.61	c cleaning 53000 clauses out of 106041 with flag 0/1475000
1539.69/1510.37	c cleaning 54000 clauses out of 108041 with flag 0/1530000
1593.51/1563.18	c cleaning 54998 clauses out of 110042 with flag 0/1586001
1660.99/1629.32	c cleaning 55997 clauses out of 112043 with flag 0/1643000
1728.71/1695.90	c cleaning 57000 clauses out of 114046 with flag 0/1701000
1798.27/1764.34	c cleaning 57997 clauses out of 116049 with flag 0/1760003
1923.25/1888.00	c cleaning 58999 clauses out of 118050 with flag 0/1820001
2071.26/2034.44	c cleaning 59999 clauses out of 120050 with flag 0/1881000
2225.98/2187.65	c cleaning 61003 clauses out of 122051 with flag 0/1943000
2407.70/2367.12	c cleaning 61994 clauses out of 124048 with flag 0/2006000
2612.03/2569.48	c cleaning 63004 clauses out of 126055 with flag 0/2070001
2733.79/2689.51	c cleaning 64002 clauses out of 128050 with flag 0/2135000
2833.83/2788.01	c cleaning 64997 clauses out of 130049 with flag 0/2201001
2897.77/2850.83	c cleaning 66004 clauses out of 132053 with flag 0/2268002
2977.19/2928.82	c cleaning 66998 clauses out of 134047 with flag 0/2336000
3048.28/2998.39	c cleaning 68004 clauses out of 136049 with flag 0/2405000
3146.92/3095.59	c cleaning 68999 clauses out of 138045 with flag 0/2475000
3256.70/3203.79	c cleaning 69998 clauses out of 140046 with flag 0/2546000
3389.32/3334.67	c cleaning 71004 clauses out of 142049 with flag 0/2618001
3531.04/3474.20	c cleaning 71997 clauses out of 144044 with flag 0/2691000
3600.08/3542.32	c starts		: 44
3600.08/3542.32	c conflicts		: 2749193
3600.08/3542.32	c decisions		: 3409659
3600.08/3542.32	c propagations		: 12749972
3600.08/3542.33	c inspects		: 3817160349
3600.08/3542.33	c shortcuts		: 0
3600.08/3542.33	c learnt literals	: 0
3600.08/3542.33	c learnt binary clauses	: 0
3600.08/3542.33	c learnt ternary clauses	: 0
3600.08/3542.33	c learnt constraints	: 2749193
3600.08/3542.33	c ignored constraints	: 0
3600.08/3542.33	c root simplifications	: 0
3600.08/3542.33	c removed literals (reason simplification)	: 0
3600.08/3542.33	c reason swapping (by a shorter reason)	: 0
3600.08/3542.33	c Calls to reduceDB	: 69
3600.08/3542.33	c Number of update (reduction) of LBD	: 2980790
3600.08/3542.33	c Imported unit clauses	: 0
3600.08/3542.33	c No decision after first conflict	: false
3600.08/3542.33	c number of reductions to clauses (during analyze)	: 0
3600.08/3542.33	c number of learned constraints concerned by reduction	: 0
3600.08/3542.33	c number of learning phase by resolution	: 0
3600.08/3542.33	c number of learning phase by cutting planes	: 0
3600.08/3542.33	c number of rounding to 1 operations	: 0
3600.08/3542.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3542.33	c number of reductions of the coefficients by power 2 	: 0
3600.08/3542.33	c number of right shift for reduction by power 2 	: 0
3600.08/3542.33	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3542.33	c number of ending skipping 	: 0
3600.08/3542.33	c number of internal skipping 	: 0
3600.08/3542.33	c number of derivation steps 	: 9411579
3600.08/3542.33	c number of skipped derivation steps 	: 0
3600.08/3542.33	c number of remaining unassigned 	: 11201
3600.08/3542.33	c number of remaining assigned 	: 345038149
3600.08/3542.33	c timeout
3600.08/3542.34	c number of falsified literals weakened from reason	: 0
3600.08/3542.34	c number of falsified literals weakened from conflict	: 0
3600.08/3542.34	c time for arithmetic operations	: 5585487319
3600.08/3542.34	c minimum degree of deleted constraints	: 1
3600.08/3542.34	c maximum degree of deleted constraints	: 443883828
3600.08/3542.34	c number of deleted constraints	: 2618953
3600.08/3542.34	c speed (assignments/second)	: 3599.5547270444595
3600.08/3542.34	c non guided choices	: 2554
3600.08/3542.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 1285
3600.08/3542.39	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 14
3600.08/3542.39	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 128941
3600.08/3542.39	s UNKNOWN
3600.08/3542.39	c Total wall clock time (in seconds): 3542.221

Verifier Data 

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542704-1753220996/watcher-4542704-1753220996 -o /tmp/evaluation-result-4542704-1753220996/solver-4542704-1753220996 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1753220993-158547 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542704-1753220996 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4542704-1753220996.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
Starting watchdog thread
solver pid=158726, runsolver pid=158723
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 3.13 3.86 4.02 7/337 158744
/proc/meminfo: memFree=84442928/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=18930384 memory=53092 CPUtime=0.12 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 6444 0 0 0 11 1 0 0 20 0 18 0 237777202 19384713216 13273 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4732596 13273 5340 1 0 547531 0
[pid=158726/tid=158728] ppid=158723 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) R 158723 158726 158535 0 -1 4194368 4979 0 0 0 7 0 0 0 20 0 18 0 237777203 19384713216 13273 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158737] ppid=158723 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/158726/task/158737/stat : 158737 (Finalizer) S 158723 158726 158535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237777206 19384713216 13273 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158744] ppid=158723 vsize=18930384 memory=55186957824150 CPUtime=0 cores=1,3
/proc/158726/task/158744/stat : 158744 (Common-Cleaner) S 158723 158726 158535 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237777206 19384713216 13273 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53092 KiB

[startup+0.206137 s]*
/proc/loadavg: 3.13 3.86 4.02 8/337 158744
/proc/meminfo: memFree=84018776/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=18930384 memory=64196 CPUtime=0.31 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 7077 0 0 0 29 2 0 0 20 0 18 0 237777202 19384713216 16049 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4732596 16049 5436 1 0 547951 0
[pid=158726/tid=158728] ppid=158723 vsize=18930384 memory=4026990876 CPUtime=0.17 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) R 158723 158726 158535 0 -1 4194368 5367 0 0 0 16 1 0 0 20 0 18 0 237777203 19384713216 16049 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158737] ppid=158723 vsize=18930384 memory=17146 CPUtime=0 cores=1,3
/proc/158726/task/158737/stat : 158737 (Finalizer) S 158723 158726 158535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237777206 19384713216 16049 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158744] ppid=158723 vsize=18930384 memory=54087446168546 CPUtime=0 cores=1,3
/proc/158726/task/158744/stat : 158744 (Common-Cleaner) S 158723 158726 158535 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237777206 19384713216 16049 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64196 KiB

[startup+0.30601 s]*
/proc/loadavg: 3.13 3.86 4.02 9/338 158745
/proc/meminfo: memFree=83621640/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=18996948 memory=71740 CPUtime=0.49 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 7392 0 0 0 47 2 0 0 20 0 19 0 237777202 19452874752 17935 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4749237 17935 5468 1 0 548429 0
[pid=158726/tid=158728] ppid=158723 vsize=18996948 memory=-8960865166499291836 CPUtime=0.24 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) R 158723 158726 158535 0 -1 4194368 5464 0 0 0 23 1 0 0 20 0 19 0 237777203 19452874752 17935 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158737] ppid=158723 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/158726/task/158737/stat : 158737 (Finalizer) S 158723 158726 158535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237777206 19452874752 17935 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158744] ppid=158723 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/158726/task/158744/stat : 158744 (Common-Cleaner) S 158723 158726 158535 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237777206 19452874752 17935 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158745] ppid=158723 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/158726/task/158745/stat : 158745 (Timer-0) S 158723 158726 158535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237777225 19452874752 17935 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71740 KiB

[startup+0.700245 s]
/proc/loadavg: 3.13 3.86 4.02 7/338 158745
/proc/meminfo: memFree=83556232/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=19063512 memory=163384 CPUtime=1.24 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 11476 0 0 0 119 5 0 0 20 0 20 0 237777202 19521036288 40846 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4765878 40846 5500 1 0 550844 0
[pid=158726/tid=158728] ppid=158723 vsize=19063512 memory=27136 CPUtime=0.54 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) R 158723 158726 158535 0 -1 4194368 5519 0 0 0 51 3 0 0 20 0 20 0 237777203 19521036288 40846 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158737] ppid=158723 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/158726/task/158737/stat : 158737 (Finalizer) S 158723 158726 158535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 40846 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158744] ppid=158723 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/158726/task/158744/stat : 158744 (Common-Cleaner) S 158723 158726 158535 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 40846 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158745] ppid=158723 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/158726/task/158745/stat : 158745 (Timer-0) S 158723 158726 158535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237777225 19521036288 40846 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 163384 KiB

[startup+1.50026 s]
/proc/loadavg: 3.13 3.86 4.02 6/339 158746
/proc/meminfo: memFree=83488012/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=19063512 memory=269068 CPUtime=2.82 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 24724 0 0 0 272 10 0 0 20 0 20 0 237777202 19521036288 67267 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4765878 67267 5500 1 0 556656 0
[pid=158726/tid=158728] ppid=158723 vsize=19063512 memory=10752 CPUtime=1.28 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) R 158723 158726 158535 0 -1 4194368 5617 0 0 0 123 5 0 0 20 0 20 0 237777203 19521036288 67267 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158737] ppid=158723 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/158726/task/158737/stat : 158737 (Finalizer) S 158723 158726 158535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 67267 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158744] ppid=158723 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/158726/task/158744/stat : 158744 (Common-Cleaner) S 158723 158726 158535 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 67267 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158745] ppid=158723 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/158726/task/158745/stat : 158745 (Timer-0) S 158723 158726 158535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237777225 19521036288 67267 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 269068 KiB

[startup+3.1059 s]
/proc/loadavg: 3.13 3.86 4.02 7/339 158746
/proc/meminfo: memFree=82257484/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=19063512 memory=899496 CPUtime=6.01 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 30622 0 0 0 573 28 0 0 20 0 20 0 237777202 19521036288 224874 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4765878 224874 5500 1 0 556860 0
[pid=158726/tid=158728] ppid=158723 vsize=19063512 memory=10752 CPUtime=2.85 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) R 158723 158726 158535 0 -1 4194368 7424 0 0 0 263 22 0 0 20 0 20 0 237777203 19521036288 224874 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158737] ppid=158723 vsize=19063512 memory=-8960865166499291836 CPUtime=0 cores=1,3
/proc/158726/task/158737/stat : 158737 (Finalizer) S 158723 158726 158535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 224874 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158744] ppid=158723 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/158726/task/158744/stat : 158744 (Common-Cleaner) S 158723 158726 158535 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 224874 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158745] ppid=158723 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/158726/task/158745/stat : 158745 (Timer-0) S 158723 158726 158535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237777225 19521036288 224874 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 899496 KiB

[startup+6.30026 s]
/proc/loadavg: 3.28 3.88 4.02 5/339 158746
/proc/meminfo: memFree=81784404/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=19063512 memory=1332440 CPUtime=10.96 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 32685 0 0 0 1057 39 0 0 20 0 20 0 237777202 19521036288 333110 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4765878 333110 5500 1 0 557314 0
[pid=158726/tid=158728] ppid=158723 vsize=19063512 memory=0 CPUtime=5.97 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) R 158723 158726 158535 0 -1 4194368 7689 0 0 0 565 32 0 0 20 0 20 0 237777203 19521036288 333110 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158737] ppid=158723 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/158726/task/158737/stat : 158737 (Finalizer) S 158723 158726 158535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 333110 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158744] ppid=158723 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/158726/task/158744/stat : 158744 (Common-Cleaner) S 158723 158726 158535 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 333110 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158745] ppid=158723 vsize=19063512 memory=330636 CPUtime=0 cores=1,3
/proc/158726/task/158745/stat : 158745 (Timer-0) S 158723 158726 158535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237777225 19521036288 333110 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
Current children cumulated CPU time: 10.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1332440 KiB

[startup+12.7002 s]
/proc/loadavg: 3.42 3.90 4.03 5/340 158747
/proc/meminfo: memFree=81235416/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=19063512 memory=1342972 CPUtime=17.59 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 34197 0 0 0 1716 43 0 0 20 0 20 0 237777202 19521036288 335743 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4765878 335743 5500 1 0 557314 0
[pid=158726/tid=158728] ppid=158723 vsize=19063512 memory=330636 CPUtime=12.23 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) R 158723 158726 158535 0 -1 4194368 8388 0 0 0 1187 36 0 0 20 0 20 0 237777203 19521036288 335743 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158737] ppid=158723 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/158726/task/158737/stat : 158737 (Finalizer) S 158723 158726 158535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 335743 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158744] ppid=158723 vsize=19063512 memory=1342972 CPUtime=0 cores=1,3
/proc/158726/task/158744/stat : 158744 (Common-Cleaner) S 158723 158726 158535 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 335743 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158745] ppid=158723 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/158726/task/158745/stat : 158745 (Timer-0) S 158723 158726 158535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237777225 19521036288 335743 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
Current children cumulated CPU time: 17.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1342972 KiB

[startup+25.5003 s]
/proc/loadavg: 3.70 3.94 4.04 5/340 158747
/proc/meminfo: memFree=79665088/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=19063512 memory=1371764 CPUtime=30.55 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 38169 0 0 0 3003 52 0 0 20 0 20 0 237777202 19521036288 342941 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4765878 342941 5500 1 0 557314 0
[pid=158726/tid=158728] ppid=158723 vsize=19063512 memory=10752 CPUtime=24.72 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) R 158723 158726 158535 0 -1 4194368 10133 0 0 0 2428 44 0 0 20 0 20 0 237777203 19521036288 342941 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158737] ppid=158723 vsize=19063512 memory=1342972 CPUtime=0 cores=1,3
/proc/158726/task/158737/stat : 158737 (Finalizer) S 158723 158726 158535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 342941 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158744] ppid=158723 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/158726/task/158744/stat : 158744 (Common-Cleaner) S 158723 158726 158535 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 342941 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158745] ppid=158723 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/158726/task/158745/stat : 158745 (Timer-0) S 158723 158726 158535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237777225 19521036288 342941 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
Current children cumulated CPU time: 30.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1371764 KiB

[startup+51.1059 s]
/proc/loadavg: 4.00 3.99 4.05 5/339 158749
/proc/meminfo: memFree=78578276/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=19063512 memory=1817332 CPUtime=56.59 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 45509 0 0 0 5587 72 0 0 20 0 20 0 237777202 19521036288 454333 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4765878 454333 5500 1 0 663841 0
[pid=158726/tid=158728] ppid=158723 vsize=19063512 memory=1817332 CPUtime=49.79 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) R 158723 158726 158535 0 -1 4194368 12594 0 0 0 4918 61 0 0 20 0 20 0 237777203 19521036288 454333 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0

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

[startup+3222.3 s]
/proc/loadavg: 4.14 4.21 4.24 6/341 158933
/proc/meminfo: memFree=42955908/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=19063512 memory=4646464 CPUtime=3275.6 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 156422 0 0 0 326726 834 0 0 20 0 20 0 237777202 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4765878 1161616 5532 1 0 1176456 0
[pid=158726/tid=158728] ppid=158723 vsize=19063512 memory=4638404 CPUtime=3153.28 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) R 158723 158726 158535 0 -1 4194368 68451 0 0 0 314616 712 0 0 20 0 20 0 237777203 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158737] ppid=158723 vsize=19063512 memory=4646464 CPUtime=0 cores=1,3
/proc/158726/task/158737/stat : 158737 (Finalizer) S 158723 158726 158535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158744] ppid=158723 vsize=19063512 memory=4646464 CPUtime=0 cores=1,3
/proc/158726/task/158744/stat : 158744 (Common-Cleaner) S 158723 158726 158535 0 -1 4194368 2369 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158745] ppid=158723 vsize=19063512 memory=4646464 CPUtime=0 cores=1,3
/proc/158726/task/158745/stat : 158745 (Timer-0) S 158723 158726 158535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237777225 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
Current children cumulated CPU time: 3275.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4646464 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.20 4.23 5/341 158935
/proc/meminfo: memFree=42051632/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=19063512 memory=4646464 CPUtime=3336.67 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 159180 0 0 0 332821 846 0 0 20 0 20 0 237777202 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4765878 1161616 5532 1 0 1176456 0
[pid=158726/tid=158728] ppid=158723 vsize=19063512 memory=14588 CPUtime=3211.84 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) R 158723 158726 158535 0 -1 4194368 70034 0 0 0 320462 722 0 0 20 0 20 0 237777203 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158737] ppid=158723 vsize=19063512 memory=4646464 CPUtime=0 cores=1,3
/proc/158726/task/158737/stat : 158737 (Finalizer) S 158723 158726 158535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158744] ppid=158723 vsize=19063512 memory=4646464 CPUtime=0 cores=1,3
/proc/158726/task/158744/stat : 158744 (Common-Cleaner) S 158723 158726 158535 0 -1 4194368 2432 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158745] ppid=158723 vsize=19063512 memory=4646464 CPUtime=0 cores=1,3
/proc/158726/task/158745/stat : 158745 (Timer-0) S 158723 158726 158535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237777225 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
Current children cumulated CPU time: 3336.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4646464 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.22 4.24 5/341 158938
/proc/meminfo: memFree=41798956/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=19063512 memory=4646464 CPUtime=3397.17 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 159995 0 0 0 338864 853 0 0 20 0 20 0 237777202 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4765878 1161616 5532 1 0 1176456 0
[pid=158726/tid=158728] ppid=158723 vsize=19063512 memory=10752 CPUtime=3270.97 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) R 158723 158726 158535 0 -1 4194368 70595 0 0 0 326369 728 0 0 20 0 20 0 237777203 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158737] ppid=158723 vsize=19063512 memory=14588 CPUtime=0 cores=1,3
/proc/158726/task/158737/stat : 158737 (Finalizer) S 158723 158726 158535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158744] ppid=158723 vsize=19063512 memory=4646464 CPUtime=0 cores=1,3
/proc/158726/task/158744/stat : 158744 (Common-Cleaner) S 158723 158726 158535 0 -1 4194368 2528 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158745] ppid=158723 vsize=19063512 memory=4646464 CPUtime=0 cores=1,3
/proc/158726/task/158745/stat : 158745 (Timer-0) S 158723 158726 158535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237777225 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
Current children cumulated CPU time: 3397.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4646464 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.21 4.23 5/341 158941
/proc/meminfo: memFree=41097980/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=19063512 memory=4646464 CPUtime=3458.36 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 162460 0 0 0 344971 865 0 0 20 0 20 0 237777202 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4765878 1161616 5532 1 0 1176468 0
[pid=158726/tid=158728] ppid=158723 vsize=19063512 memory=10752 CPUtime=3329.44 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) R 158723 158726 158535 0 -1 4194368 72162 0 0 0 332205 739 0 0 20 0 20 0 237777203 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158737] ppid=158723 vsize=19063512 memory=14588 CPUtime=0 cores=1,3
/proc/158726/task/158737/stat : 158737 (Finalizer) S 158723 158726 158535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158744] ppid=158723 vsize=19063512 memory=4646464 CPUtime=0 cores=1,3
/proc/158726/task/158744/stat : 158744 (Common-Cleaner) S 158723 158726 158535 0 -1 4194368 2528 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158745] ppid=158723 vsize=19063512 memory=4646464 CPUtime=0 cores=1,3
/proc/158726/task/158745/stat : 158745 (Timer-0) S 158723 158726 158535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237777225 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
Current children cumulated CPU time: 3458.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4646464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.31 4.23 4.24 5/341 158943
/proc/meminfo: memFree=40214208/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=19063512 memory=4646464 CPUtime=3519.16 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 165065 0 0 0 351041 875 0 0 20 0 20 0 237777202 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4765878 1161616 5532 1 0 1176468 0
[pid=158726/tid=158728] ppid=158723 vsize=19063512 memory=10752 CPUtime=3388.33 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) R 158723 158726 158535 0 -1 4194368 73701 0 0 0 338087 746 0 0 20 0 20 0 237777203 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158737] ppid=158723 vsize=19063512 memory=14588 CPUtime=0 cores=1,3
/proc/158726/task/158737/stat : 158737 (Finalizer) S 158723 158726 158535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158744] ppid=158723 vsize=19063512 memory=4646464 CPUtime=0 cores=1,3
/proc/158726/task/158744/stat : 158744 (Common-Cleaner) S 158723 158726 158535 0 -1 4194368 2620 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158745] ppid=158723 vsize=19063512 memory=4646464 CPUtime=0 cores=1,3
/proc/158726/task/158745/stat : 158745 (Timer-0) S 158723 158726 158535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237777225 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
Current children cumulated CPU time: 3519.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4646464 KiB

[startup+3522.3 s]
/proc/loadavg: 4.35 4.25 4.24 6/339 159215
/proc/meminfo: memFree=65420720/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=19063512 memory=4646464 CPUtime=3579.72 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 165520 0 0 0 357084 888 0 0 20 0 20 0 237777202 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4765878 1161616 5532 1 0 1176468 0
[pid=158726/tid=158728] ppid=158723 vsize=19063512 memory=10752 CPUtime=3447.41 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) R 158723 158726 158535 0 -1 4194368 74010 0 0 0 343983 758 0 0 20 0 20 0 237777203 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158737] ppid=158723 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/158726/task/158737/stat : 158737 (Finalizer) S 158723 158726 158535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158744] ppid=158723 vsize=19063512 memory=4646464 CPUtime=0 cores=1,3
/proc/158726/task/158744/stat : 158744 (Common-Cleaner) S 158723 158726 158535 0 -1 4194368 2667 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158745] ppid=158723 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/158726/task/158745/stat : 158745 (Timer-0) S 158723 158726 158535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237777225 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
Current children cumulated CPU time: 3579.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4646464 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3542.3 s]
/proc/loadavg: 4.25 4.23 4.24 5/339 159216
/proc/meminfo: memFree=64230508/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=19063512 memory=4646464 CPUtime=3600.08 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 165997 0 0 0 359117 891 0 0 20 0 20 0 237777202 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4765878 1161616 5532 1 0 1176468 0
[pid=158726/tid=158728] ppid=158723 vsize=19063512 memory=10752 CPUtime=3466.92 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) R 158723 158726 158535 0 -1 4194368 74345 0 0 0 345932 760 0 0 20 0 20 0 237777203 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158737] ppid=158723 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/158726/task/158737/stat : 158737 (Finalizer) S 158723 158726 158535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158744] ppid=158723 vsize=19063512 memory=4646464 CPUtime=0 cores=1,3
/proc/158726/task/158744/stat : 158744 (Common-Cleaner) S 158723 158726 158535 0 -1 4194368 2668 0 0 0 0 0 0 0 20 0 20 0 237777206 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158745] ppid=158723 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/158726/task/158745/stat : 158745 (Timer-0) S 158723 158726 158535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237777225 19521036288 1161616 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4646464 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.31 s, system=8.94138 s

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

[startup+3542.4 s]
/proc/loadavg: 4.25 4.23 4.24 5/339 159216
/proc/meminfo: memFree=64230508/131249988 swapFree=33010160/33010684
[pid=158726] ppid=158723 vsize=19263204 memory=4647360 CPUtime=3600.23 cores=1,3
/proc/158726/stat : 158726 (java) S 158723 158726 158535 0 -1 4194304 168777 0 0 0 359131 892 0 0 20 0 15 0 237777202 19725520896 1161840 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
/proc/158726/statm: 4815801 1161840 5532 1 0 1177468 0
[pid=158726/tid=158728] ppid=158723 vsize=19263204 memory=14588 CPUtime=3466.94 cores=1,3
/proc/158726/task/158728/stat : 158728 (java) S 158723 158726 158535 0 -1 4194368 74619 0 0 0 345934 760 0 0 20 0 15 0 237777203 19725520896 1161840 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158737] ppid=158723 vsize=19263204 memory=5632 CPUtime=0 cores=1,3
/proc/158726/task/158737/stat : 158737 (Finalizer) S 158723 158726 158535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 237777206 19725520896 1161840 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
[pid=158726/tid=158744] ppid=158723 vsize=19263204 memory=5276 CPUtime=0 cores=1,3
/proc/158726/task/158744/stat : 158744 (Common-Cleaner) S 158723 158726 158535 0 -1 4194368 2668 0 0 0 0 0 0 0 20 0 15 0 237777206 19725520896 1161840 18446744073709551615 94473942917120 94473942920816 140720778466912 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94473942928632 94473942929424 94473953247232 140720778475857 140720778476004 140720778476004 140720778481608 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4647360 KiB

Child status: 143

Real time (s): 3542.43
CPU time (s): 3600.25
CPU user time (s): 3591.31
CPU system time (s): 8.94138
CPU usage (%): 101.632
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4647360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.31
system time used= 8.94138
maximum resident set size= 4647488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3113696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146581
involuntary context switches= 18138


# summary of solver processes directly reported to runsolver:
#   pid: 158726
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3591.31
#   total CPU system time (s): 8.94138

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16199 second user time and 17.2802 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-22 23:49:56
IDJOB=4542704
IDBENCH=164553
IDSOLVER=3362
FILE ID=nodeC020/4542704-1753220996
RUNJOBID= nodeC020-1753220993-158547
SLURM_JOB_ID= 9687807
Free space on /tmp= 432824 MiB

SOLVER NAME= Sat4j CP VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_036.shuf-2.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542704-1753220996/watcher-4542704-1753220996 -o /tmp/evaluation-result-4542704-1753220996/solver-4542704-1753220996 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1753220993-158547 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542704-1753220996 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4542704-1753220996.opb

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

MD5SUM BENCH= 51f0204441dcd002ae254f35580dbb8b
RANDOM SEED=906691076

nodeC020 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.714
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.79
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		: 3600.288
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.79
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		: 3599.893
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.79
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.897
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.79
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		: 3600.138
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.79
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		: 3601.901
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.79
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		: 3602.613
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.79
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.130
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        84861900 kB
MemAvailable:   124161540 kB
Buffers:            2128 kB
Cached:         40056760 kB
SwapCached:            4 kB
Active:          6464828 kB
Inactive:       39202548 kB
Active(anon):    5610196 kB
Inactive(anon):    24536 kB
Active(file):     854632 kB
Inactive(file): 39178012 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             73596 kB
Writeback:            48 kB
AnonPages:       5610856 kB
Mapped:           128680 kB
Shmem:             26244 kB
KReclaimable:     212468 kB
Slab:             308872 kB
SReclaimable:     212468 kB
SUnreclaim:        96404 kB
KernelStack:        5216 kB
PageTables:        14624 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   11064836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151368 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5406720 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 427152 MiB
End job on nodeC020 at 2025-07-23 00:48:59