Trace number 4452964

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07UNSAT 175.516 171.312

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid6_13.shuf-2.opb
MD5SUMd115ce47b5b18af686045fe84c0e41b6
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 benchmark0.004208
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables78
Total number of constraints157
Number of constraints which are clauses156
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint78
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 79
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.12/0.11	c version CUSTOM.v20240707
0.12/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.13	c java.vm.version	22.0.1+8-16
0.12/0.13	c java.vm.vendor	Oracle Corporation
0.12/0.13	c sun.arch.data.model	64
0.12/0.13	c java.version		22.0.1
0.12/0.13	c os.name		Linux
0.12/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.13	c os.arch		amd64
0.12/0.14	c Free memory 		2113181440
0.12/0.14	c Max memory 		16282288128
0.12/0.14	c Total memory 		2122317824
0.12/0.14	c Number of processors 	2
0.12/0.20	--- Begin Solver configuration ---
0.12/0.20	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.20	Learn all clauses as in MiniSAT
0.12/0.20	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.20	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.20	No reason simplification
0.12/0.20	Glucose 2.1 dynamic restart strategy
0.12/0.20	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.20	timeout=2147483s
0.12/0.20	DB Simplification allowed=false
0.12/0.20	Listener: none
0.12/0.20	--- End Solver configuration ---
0.27/0.22	c Pseudo Boolean Optimization by upper bound
0.27/0.22	c --- Begin Solver configuration ---
0.27/0.22	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.27/0.22	c Learn all clauses as in MiniSAT
0.27/0.22	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.27/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.27/0.22	c No reason simplification
0.27/0.22	c Glucose 2.1 dynamic restart strategy
0.27/0.22	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.27/0.22	c timeout=2147483s
0.27/0.22	c DB Simplification allowed=false
0.27/0.22	c Listener: none
0.27/0.22	c --- End Solver configuration ---
0.27/0.22	c solving HOME/instance-4452964-1721451055.opb
0.27/0.22	c reading problem ... 
0.27/0.22	c  no objective function found
0.27/0.25	c ... done. Wall clock time 0.026s.
0.27/0.25	c declared #vars     78
0.27/0.25	c #constraints  157
0.27/0.25	c constraints type 
0.27/0.25	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 156
0.27/0.25	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.27/0.25	c 157 constraints processed.
0.82/0.58	c cleaning 2501 clauses out of 5002 with flag 10380/5002
1.58/0.92	c cleaning 4248 clauses out of 8501 with flag 23205/11002
1.98/1.13	c cleaning 5626 clauses out of 11252 with flag 37823/18001
2.35/1.32	c cleaning 6811 clauses out of 13627 with flag 54478/26002
2.56/1.50	c cleaning 7904 clauses out of 15814 with flag 73075/35000
2.77/1.71	c cleaning 8956 clauses out of 17911 with flag 93823/45001
3.10/1.94	c cleaning 9977 clauses out of 19954 with flag 116617/56000
3.66/2.21	c cleaning 10986 clauses out of 21977 with flag 141558/68000
3.89/2.48	c cleaning 11995 clauses out of 23991 with flag 168553/81000
4.30/2.83	c cleaning 12997 clauses out of 25999 with flag 197493/95003
4.99/3.52	c cleaning 14000 clauses out of 27999 with flag 228555/110000
5.81/4.31	c cleaning 14997 clauses out of 29999 with flag 261682/126000
6.47/4.95	c cleaning 15999 clauses out of 32002 with flag 297026/143000
7.14/5.50	c cleaning 17001 clauses out of 34006 with flag 334852/161003
7.65/6.06	c cleaning 18000 clauses out of 36002 with flag 375179/180000
8.23/6.63	c cleaning 19001 clauses out of 38004 with flag 417292/200002
8.84/7.28	c cleaning 19997 clauses out of 40001 with flag 461488/221000
9.65/8.01	c cleaning 20998 clauses out of 42006 with flag 507388/243002
10.14/8.56	c cleaning 22001 clauses out of 44006 with flag 555391/266000
10.65/9.06	c cleaning 23002 clauses out of 46005 with flag 605306/290000
11.54/10.00	c cleaning 24002 clauses out of 48004 with flag 657251/315001
12.53/10.96	c cleaning 25001 clauses out of 50001 with flag 711839/341000
13.64/12.04	c cleaning 26000 clauses out of 52001 with flag 768237/368001
14.74/13.16	c cleaning 26996 clauses out of 54001 with flag 827120/396001
15.92/14.32	c cleaning 28001 clauses out of 56004 with flag 887790/425000
17.33/15.72	c cleaning 28998 clauses out of 58004 with flag 950309/455001
18.53/17.01	c cleaning 30001 clauses out of 60005 with flag 1014693/486000
20.12/18.53	c cleaning 31002 clauses out of 62006 with flag 1081204/518002
21.63/20.01	c cleaning 31999 clauses out of 64002 with flag 1150165/551000
23.32/21.78	c cleaning 33000 clauses out of 66003 with flag 1220709/585000
24.81/23.25	c cleaning 33997 clauses out of 68003 with flag 1293646/620000
26.50/24.98	c cleaning 34999 clauses out of 70007 with flag 1367996/656001
28.10/26.59	c cleaning 36004 clauses out of 72007 with flag 1444549/693000
29.99/28.47	c cleaning 37002 clauses out of 74004 with flag 1523074/731001
33.00/31.41	c cleaning 37996 clauses out of 76001 with flag 1608266/770000
35.49/33.91	c cleaning 38997 clauses out of 78006 with flag 1693861/810001
38.54/36.91	c cleaning 40004 clauses out of 80008 with flag 1786822/851000
42.24/40.67	c cleaning 40999 clauses out of 82006 with flag 1882702/893002
45.15/43.50	c cleaning 41998 clauses out of 84006 with flag 1972586/936001
48.24/46.63	c cleaning 43002 clauses out of 86008 with flag 2067059/980001
50.83/49.21	c cleaning 44002 clauses out of 88007 with flag 2162973/1025002
54.24/52.68	c cleaning 44998 clauses out of 90003 with flag 2262113/1071000
57.74/56.15	c cleaning 45999 clauses out of 92008 with flag 2365063/1118003
61.60/59.99	c cleaning 47004 clauses out of 94007 with flag 2469503/1166001
65.59/63.97	c cleaning 48000 clauses out of 96003 with flag 2574371/1215001
69.69/68.09	c cleaning 48997 clauses out of 98002 with flag 2681136/1265000
73.70/72.10	c cleaning 49997 clauses out of 100006 with flag 2790225/1316001
77.09/75.40	c cleaning 51003 clauses out of 102010 with flag 2901696/1368002
80.79/79.19	c cleaning 51996 clauses out of 104005 with flag 3015154/1421000
85.39/83.77	c cleaning 53004 clauses out of 106009 with flag 3128525/1475000
89.72/88.08	c cleaning 54000 clauses out of 108005 with flag 3245911/1530000
93.51/91.88	c cleaning 55001 clauses out of 110008 with flag 3363734/1586003
97.60/95.90	c cleaning 56001 clauses out of 112004 with flag 3484410/1643000
101.09/99.45	c cleaning 57002 clauses out of 114003 with flag 3604983/1701000
105.17/103.55	c cleaning 57998 clauses out of 116002 with flag 3728657/1760001
109.50/107.83	c cleaning 59002 clauses out of 118004 with flag 3855301/1820001
113.99/112.35	c cleaning 60001 clauses out of 120001 with flag 3983829/1881000
120.93/118.38	c cleaning 60996 clauses out of 122001 with flag 4119555/1943001
126.33/123.72	c cleaning 62000 clauses out of 124004 with flag 4259624/2006000
132.74/129.51	c cleaning 62997 clauses out of 126004 with flag 4397722/2070000
137.93/134.76	c cleaning 64000 clauses out of 128007 with flag 4536654/2135000
144.17/140.99	c cleaning 65002 clauses out of 130007 with flag 4675795/2201000
150.06/146.83	c cleaning 65999 clauses out of 132006 with flag 4820133/2268001
155.45/152.20	c cleaning 67001 clauses out of 134008 with flag 4964020/2336002
161.58/157.91	c cleaning 68001 clauses out of 136005 with flag 5114626/2405001
166.68/163.10	c cleaning 68999 clauses out of 138003 with flag 5261820/2475000
172.55/168.94	c cleaning 70002 clauses out of 140005 with flag 5411328/2546001
175.36/171.21	c starts		: 3752
175.36/171.22	c conflicts		: 2583292
175.36/171.22	c decisions		: 2777057
175.36/171.22	c propagations		: 12987653
175.36/171.22	c inspects		: 2086326193
175.36/171.22	c shortcuts		: 0
175.36/171.22	c learnt literals	: 10
175.36/171.22	c learnt binary clauses	: 9
175.36/171.22	c learnt ternary clauses	: 9
175.36/171.22	c learnt constraints	: 2583281
175.36/171.22	c ignored constraints	: 0
175.36/171.22	c root simplifications	: 0
175.36/171.22	c removed literals (reason simplification)	: 0
175.36/171.22	c reason swapping (by a shorter reason)	: 0
175.36/171.22	c Calls to reduceDB	: 67
175.36/171.22	c Number of update (reduction) of LBD	: 84079
175.36/171.22	c Imported unit clauses	: 0
175.36/171.22	c No decision after first conflict	: false
175.36/171.22	c number of reductions to clauses (during analyze)	: 0
175.36/171.22	c number of learned constraints concerned by reduction	: 0
175.36/171.23	c number of learning phase by resolution	: 0
175.36/171.23	c number of learning phase by cutting planes	: 0
175.36/171.23	c number of rounding to 1 operations	: 0
175.36/171.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
175.36/171.23	c number of reductions of the coefficients by power 2 	: 0
175.36/171.23	c number of right shift for reduction by power 2 	: 0
175.36/171.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
175.36/171.23	c number of ending skipping 	: 0
175.36/171.23	c number of internal skipping 	: 0
175.36/171.23	c number of derivation steps 	: 0
175.36/171.23	c number of skipped derivation steps 	: 0
175.36/171.23	c number of remaining unassigned 	: 0
175.36/171.23	c number of remaining assigned 	: 0
175.36/171.23	c number of falsified literals weakened from reason	: 0
175.36/171.23	c number of falsified literals weakened from conflict	: 0
175.36/171.23	c time for arithmetic operations	: 0
175.36/171.23	c minimum degree of deleted constraints	: null
175.36/171.23	c maximum degree of deleted constraints	: null
175.36/171.23	c number of deleted constraints	: 0
175.36/171.23	c speed (assignments/second)	: 75962.73702434289
175.36/171.23	c non guided choices	: 25
175.36/171.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 107275
175.36/171.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 9
175.36/171.28	s UNSATISFIABLE
175.36/171.28	c Total wall clock time (in seconds): 171.062

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: 64059 MiB (58839 MiB free)
  memory of node 1: 64510 MiB (59900 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452964-1721451055/watcher-4452964-1721451055 -o /tmp/evaluation-result-4452964-1721451055/solver-4452964-1721451055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058420 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4452964-1721451055.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=1059236, runsolver pid=1059233

[startup+0.100934 s]*
/proc/loadavg: 4.28 2.96 3.17 7/317 1059254
/proc/meminfo: memFree=121554496/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=18975048 memory=58332 CPUtime=0.12 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 6666 0 0 0 10 2 0 0 20 0 18 0 197261566 19430449152 14583 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4743762 14583 5540 1 0 550942 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) R 1059233 1059236 1058409 0 -1 1077936192 5555 0 0 0 7 1 0 0 20 0 18 0 197261566 19430449152 14583 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059247] ppid=1059233 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/1059236/task/1059247/stat : 1059247 (Finalizer) S 1059233 1059236 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197261569 19430449152 14583 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059254] ppid=1059233 vsize=18975048 memory=15255952359842124 CPUtime=0 cores=4,6
/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197261569 19430449152 14583 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58332 KiB

[startup+0.210691 s]*
/proc/loadavg: 4.28 2.96 3.17 5/317 1059254
/proc/meminfo: memFree=121544992/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=18975048 memory=66132 CPUtime=0.27 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 7414 0 0 0 24 3 0 0 20 0 18 0 197261566 19430449152 16533 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4743762 16533 5726 1 0 551540 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) R 1059233 1059236 1058409 0 -1 1077936192 5847 0 0 0 16 2 0 0 20 0 18 0 197261566 19430449152 16533 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059247] ppid=1059233 vsize=18975048 memory=3711 CPUtime=0 cores=4,6
/proc/1059236/task/1059247/stat : 1059247 (Finalizer) S 1059233 1059236 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197261569 19430449152 16533 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059254] ppid=1059233 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=4,6
/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197261569 19430449152 16533 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66132 KiB

[startup+0.320025 s]*
/proc/loadavg: 4.28 2.96 3.17 7/318 1059255
/proc/meminfo: memFree=121542112/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=19041612 memory=69856 CPUtime=0.45 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 9031 0 0 0 42 3 0 0 20 0 19 0 197261566 19498610688 17464 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4760403 17464 5822 1 0 552597 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=19041612 memory=-7163359464845895781 CPUtime=0.28 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) R 1059233 1059236 1058409 0 -1 4194368 5929 0 0 0 26 2 0 0 20 0 19 0 197261566 19498610688 17464 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059247] ppid=1059233 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1059236/task/1059247/stat : 1059247 (Finalizer) S 1059233 1059236 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197261569 19498610688 17464 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059254] ppid=1059233 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197261569 19498610688 17464 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059255] ppid=1059233 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1059236/task/1059255/stat : 1059255 (Timer-0) S 1059233 1059236 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197261591 19498610688 17464 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69856 KiB

[startup+0.703025 s]
/proc/loadavg: 4.28 2.96 3.17 7/318 1059255
/proc/meminfo: memFree=121537420/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=19041612 memory=78556 CPUtime=1.18 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 10624 0 0 0 114 4 0 0 20 0 19 0 197261566 19498610688 19639 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4760403 19639 5822 1 0 553658 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=19041612 memory=11884 CPUtime=0.63 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) R 1059233 1059236 1058409 0 -1 4194368 5980 0 0 0 61 2 0 0 20 0 19 0 197261566 19498610688 19639 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059247] ppid=1059233 vsize=19041612 memory=11884 CPUtime=0 cores=4,6
/proc/1059236/task/1059247/stat : 1059247 (Finalizer) S 1059233 1059236 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197261569 19498610688 19639 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059254] ppid=1059233 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197261569 19498610688 19639 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059255] ppid=1059233 vsize=19041612 memory=39916 CPUtime=0 cores=4,6
/proc/1059236/task/1059255/stat : 1059255 (Timer-0) S 1059233 1059236 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197261591 19498610688 19639 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 78556 KiB

[startup+1.50102 s]
/proc/loadavg: 4.28 2.96 3.17 6/318 1059255
/proc/meminfo: memFree=121412292/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=19041612 memory=96692 CPUtime=2.56 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 15391 0 0 0 251 5 0 0 20 0 19 0 197261566 19498610688 24173 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4760403 24173 5838 1 0 554459 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=19041612 memory=11884 CPUtime=1.41 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) R 1059233 1059236 1058409 0 -1 4194368 6292 0 0 0 139 2 0 0 20 0 19 0 197261566 19498610688 24173 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059247] ppid=1059233 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1059236/task/1059247/stat : 1059247 (Finalizer) S 1059233 1059236 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197261569 19498610688 24173 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059254] ppid=1059233 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197261569 19498610688 24173 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059255] ppid=1059233 vsize=19041612 memory=65 CPUtime=0 cores=4,6
/proc/1059236/task/1059255/stat : 1059255 (Timer-0) S 1059233 1059236 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197261591 19498610688 24173 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96692 KiB

[startup+3.10549 s]
/proc/loadavg: 4.28 2.96 3.17 5/318 1059255
/proc/meminfo: memFree=121180020/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=19041612 memory=124800 CPUtime=4.6 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 16958 0 0 0 454 6 0 0 20 0 19 0 197261566 19498610688 31200 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4760403 31200 5838 1 0 554794 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=19041612 memory=0 CPUtime=3 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) R 1059233 1059236 1058409 0 -1 4194368 6598 0 0 0 297 3 0 0 20 0 19 0 197261566 19498610688 31200 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059247] ppid=1059233 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1059236/task/1059247/stat : 1059247 (Finalizer) S 1059233 1059236 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197261569 19498610688 31200 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059254] ppid=1059233 vsize=19041612 memory=102860 CPUtime=0 cores=4,6
/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197261569 19498610688 31200 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059255] ppid=1059233 vsize=19041612 memory=11884 CPUtime=0 cores=4,6
/proc/1059236/task/1059255/stat : 1059255 (Timer-0) S 1059233 1059236 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197261591 19498610688 31200 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 4.6 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 124800 KiB

[startup+6.30044 s]
/proc/loadavg: 4.26 2.98 3.17 5/318 1059255
/proc/meminfo: memFree=120939044/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=19041612 memory=156044 CPUtime=7.93 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 17465 0 0 0 786 7 0 0 20 0 19 0 197261566 19498610688 39011 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4760403 39011 5838 1 0 554795 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=19041612 memory=11884 CPUtime=6.19 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) R 1059233 1059236 1058409 0 -1 4194368 6903 0 0 0 615 4 0 0 20 0 19 0 197261566 19498610688 39011 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059247] ppid=1059233 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1059236/task/1059247/stat : 1059247 (Finalizer) S 1059233 1059236 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197261569 19498610688 39011 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059254] ppid=1059233 vsize=19041612 memory=8172450448920897124 CPUtime=0 cores=4,6
/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197261569 19498610688 39011 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059255] ppid=1059233 vsize=19041612 memory=5616 CPUtime=0 cores=4,6
/proc/1059236/task/1059255/stat : 1059255 (Timer-0) S 1059233 1059236 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197261591 19498610688 39011 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 7.93 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 156044 KiB

[startup+12.7004 s]
/proc/loadavg: 4.24 3.00 3.18 5/319 1059257
/proc/meminfo: memFree=120727152/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=19108176 memory=183328 CPUtime=14.33 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 18899 0 0 0 1425 8 0 0 20 0 20 0 197261566 19566772224 45832 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4777044 45832 5886 1 0 555084 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=19108176 memory=0 CPUtime=12.52 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) R 1059233 1059236 1058409 0 -1 4194368 7167 0 0 0 1248 4 0 0 20 0 20 0 197261566 19566772224 45832 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059247] ppid=1059233 vsize=19108176 memory=183328 CPUtime=0 cores=4,6
/proc/1059236/task/1059247/stat : 1059247 (Finalizer) S 1059233 1059236 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 45832 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059254] ppid=1059233 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 45832 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059255] ppid=1059233 vsize=19108176 memory=16216 CPUtime=0 cores=4,6
/proc/1059236/task/1059255/stat : 1059255 (Timer-0) S 1059233 1059236 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197261591 19566772224 45832 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 14.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183328 KiB

[startup+25.5005 s]
/proc/loadavg: 4.26 3.06 3.20 5/319 1059259
/proc/meminfo: memFree=120158184/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=19108176 memory=214320 CPUtime=27.1 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 21975 0 0 0 2700 10 0 0 20 0 20 0 197261566 19566772224 53580 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4777044 53580 5886 1 0 555084 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=19108176 memory=183328 CPUtime=25.09 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) R 1059233 1059236 1058409 0 -1 4194368 8150 0 0 0 2505 4 0 0 20 0 20 0 197261566 19566772224 53580 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059247] ppid=1059233 vsize=19108176 memory=16216 CPUtime=0 cores=4,6
/proc/1059236/task/1059247/stat : 1059247 (Finalizer) S 1059233 1059236 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 53580 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059254] ppid=1059233 vsize=19108176 memory=191700 CPUtime=0 cores=4,6
/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 53580 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059255] ppid=1059233 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1059236/task/1059255/stat : 1059255 (Timer-0) S 1059233 1059236 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197261591 19566772224 53580 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 27.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 214320 KiB

[startup+51.1133 s]
/proc/loadavg: 4.23 3.15 3.22 5/319 1059263
/proc/meminfo: memFree=119496520/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=19108176 memory=267728 CPUtime=52.74 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 25721 0 0 0 5261 13 0 0 20 0 20 0 197261566 19566772224 66932 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4777044 66932 5886 1 0 555086 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=19108176 memory=267724 CPUtime=50.57 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) R 1059233 1059236 1058409 0 -1 4194368 9941 0 0 0 5053 4 0 0 20 0 20 0 197261566 19566772224 66932 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0

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

/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 66932 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059255] ppid=1059233 vsize=19108176 memory=267700 CPUtime=0 cores=4,6
/proc/1059236/task/1059255/stat : 1059255 (Timer-0) S 1059233 1059236 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197261591 19566772224 66932 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 52.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 267728 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 3.32 3.28 5/319 1059272
/proc/meminfo: memFree=118454500/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=19108176 memory=430100 CPUtime=103.98 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 34090 0 0 0 10377 21 0 0 20 0 20 0 197261566 19566772224 107525 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4777044 107525 5886 1 0 555086 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=19108176 memory=430100 CPUtime=101.05 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) R 1059233 1059236 1058409 0 -1 4194368 12342 0 0 0 10100 5 0 0 20 0 20 0 197261566 19566772224 107525 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059247] ppid=1059233 vsize=19108176 memory=411604 CPUtime=0 cores=4,6
/proc/1059236/task/1059247/stat : 1059247 (Finalizer) S 1059233 1059236 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 107525 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059254] ppid=1059233 vsize=19108176 memory=411604 CPUtime=0 cores=4,6
/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 171 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 107525 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059255] ppid=1059233 vsize=19108176 memory=214320 CPUtime=0 cores=4,6
/proc/1059236/task/1059255/stat : 1059255 (Timer-0) S 1059233 1059236 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197261591 19566772224 107525 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 103.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 430100 KiB

[startup+162.3 s]
/proc/loadavg: 4.28 3.49 3.34 5/319 1059282
/proc/meminfo: memFree=117333044/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=19108176 memory=554376 CPUtime=165.97 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 56544 0 0 0 16566 31 0 0 20 0 20 0 197261566 19566772224 138594 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4777044 138594 5918 1 0 558725 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=19108176 memory=494980 CPUtime=160.58 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) R 1059233 1059236 1058409 0 -1 4194368 15428 0 0 0 16053 5 0 0 20 0 20 0 197261566 19566772224 138594 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059247] ppid=1059233 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1059236/task/1059247/stat : 1059247 (Finalizer) S 1059233 1059236 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 138594 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059254] ppid=1059233 vsize=19108176 memory=49904 CPUtime=0 cores=4,6
/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 202 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 138594 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059255] ppid=1059233 vsize=19108176 memory=539228 CPUtime=0 cores=4,6
/proc/1059236/task/1059255/stat : 1059255 (Timer-0) S 1059233 1059236 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197261591 19566772224 138594 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 165.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 554376 KiB

[startup+171.312 s]
# the end of solver process 1059236 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=175.178 s, system=0.337432 s

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

[startup+166.4 s]
/proc/loadavg: 4.25 3.50 3.34 5/319 1059282
/proc/meminfo: memFree=117265292/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=19108176 memory=554376 CPUtime=170.06 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 56742 0 0 0 16975 31 0 0 20 0 20 0 197261566 19566772224 138594 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4777044 138594 5918 1 0 558725 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=19108176 memory=530784 CPUtime=164.66 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) R 1059233 1059236 1058409 0 -1 4194368 15621 0 0 0 16461 5 0 0 20 0 20 0 197261566 19566772224 138594 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059247] ppid=1059233 vsize=19108176 memory=308892 CPUtime=0 cores=4,6
/proc/1059236/task/1059247/stat : 1059247 (Finalizer) S 1059233 1059236 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 138594 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059254] ppid=1059233 vsize=19108176 memory=33 CPUtime=0 cores=4,6
/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 202 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 138594 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059255] ppid=1059233 vsize=19108176 memory=554376 CPUtime=0 cores=4,6
/proc/1059236/task/1059255/stat : 1059255 (Timer-0) S 1059233 1059236 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197261591 19566772224 138594 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 170.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 554376 KiB

[startup+169.6 s]
/proc/loadavg: 4.23 3.51 3.35 5/319 1059282
/proc/meminfo: memFree=117265320/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=19108176 memory=554436 CPUtime=173.32 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 58230 0 0 0 17300 32 0 0 20 0 20 0 197261566 19566772224 138609 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4777044 138609 5918 1 0 558725 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=19108176 memory=554376 CPUtime=167.86 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) R 1059233 1059236 1058409 0 -1 4194368 15644 0 0 0 16781 5 0 0 20 0 20 0 197261566 19566772224 138609 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059247] ppid=1059233 vsize=19108176 memory=554376 CPUtime=0 cores=4,6
/proc/1059236/task/1059247/stat : 1059247 (Finalizer) S 1059233 1059236 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 138609 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059254] ppid=1059233 vsize=19108176 memory=554376 CPUtime=0 cores=4,6
/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 202 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 138609 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059255] ppid=1059233 vsize=19108176 memory=554376 CPUtime=0 cores=4,6
/proc/1059236/task/1059255/stat : 1059255 (Timer-0) S 1059233 1059236 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197261591 19566772224 138609 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 173.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 554436 KiB

[startup+170.4 s]
/proc/loadavg: 4.23 3.51 3.35 5/319 1059284
/proc/meminfo: memFree=117265292/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=19108176 memory=554436 CPUtime=174.12 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 58350 0 0 0 17380 32 0 0 20 0 20 0 197261566 19566772224 138609 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4777044 138609 5918 1 0 558725 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=19108176 memory=554376 CPUtime=168.65 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) R 1059233 1059236 1058409 0 -1 4194368 15745 0 0 0 16860 5 0 0 20 0 20 0 197261566 19566772224 138609 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059247] ppid=1059233 vsize=19108176 memory=554376 CPUtime=0 cores=4,6
/proc/1059236/task/1059247/stat : 1059247 (Finalizer) S 1059233 1059236 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 138609 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059254] ppid=1059233 vsize=19108176 memory=-7163359464845895781 CPUtime=0 cores=4,6
/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 202 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 138609 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059255] ppid=1059233 vsize=19108176 memory=4836 CPUtime=0 cores=4,6
/proc/1059236/task/1059255/stat : 1059255 (Timer-0) S 1059233 1059236 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197261591 19566772224 138609 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 174.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 554436 KiB

[startup+170.8 s]
/proc/loadavg: 4.23 3.51 3.35 5/319 1059284
/proc/meminfo: memFree=117265292/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=19108176 memory=555692 CPUtime=174.74 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 60860 0 0 0 17442 32 0 0 20 0 20 0 197261566 19566772224 138923 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4777044 138923 5918 1 0 558725 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=19108176 memory=3565 CPUtime=169.05 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) R 1059233 1059236 1058409 0 -1 4194368 15891 0 0 0 16900 5 0 0 20 0 20 0 197261566 19566772224 138923 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059247] ppid=1059233 vsize=19108176 memory=28841 CPUtime=0 cores=4,6
/proc/1059236/task/1059247/stat : 1059247 (Finalizer) S 1059233 1059236 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 138923 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059254] ppid=1059233 vsize=19108176 memory=3546924662629083772 CPUtime=0 cores=4,6
/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 202 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 138923 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059255] ppid=1059233 vsize=19108176 memory=3763049110293538925 CPUtime=0 cores=4,6
/proc/1059236/task/1059255/stat : 1059255 (Timer-0) S 1059233 1059236 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197261591 19566772224 138923 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 174.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 555692 KiB

[startup+171.2 s]
/proc/loadavg: 4.23 3.51 3.35 6/319 1059284
/proc/meminfo: memFree=117264032/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=19108176 memory=557304 CPUtime=175.36 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 62037 0 0 0 17504 32 0 0 20 0 20 0 197261566 19566772224 139326 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4777044 139326 5918 1 0 558725 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=19108176 memory=11596 CPUtime=169.45 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) D 1059233 1059236 1058409 0 -1 1078198336 16527 0 0 0 16940 5 0 0 20 0 20 0 197261566 19566772224 139326 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059247] ppid=1059233 vsize=19108176 memory=49904 CPUtime=0 cores=4,6
/proc/1059236/task/1059247/stat : 1059247 (Finalizer) S 1059233 1059236 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 139326 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059254] ppid=1059233 vsize=19108176 memory=11884 CPUtime=0 cores=4,6
/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 202 0 0 0 0 0 0 0 20 0 20 0 197261569 19566772224 139326 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059255] ppid=1059233 vsize=19108176 memory=5616 CPUtime=0 cores=4,6
/proc/1059236/task/1059255/stat : 1059255 (Timer-0) S 1059233 1059236 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197261591 19566772224 139326 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 175.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 557304 KiB

[startup+171.3 s]
/proc/loadavg: 4.23 3.51 3.35 6/319 1059284
/proc/meminfo: memFree=117264032/131655788 swapFree=131071996/131071996
[pid=1059236] ppid=1059233 vsize=19241304 memory=557856 CPUtime=175.49 cores=4,6
/proc/1059236/stat : 1059236 (java) S 1059233 1059236 1058409 0 -1 1077936128 63803 0 0 0 17517 32 0 0 20 0 14 0 197261566 19703095296 139464 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
/proc/1059236/statm: 4810326 139464 5914 1 0 559343 0
[pid=1059236/tid=1059238] ppid=1059233 vsize=19241304 memory=494980 CPUtime=169.45 cores=4,6
/proc/1059236/task/1059238/stat : 1059238 (java) S 1059233 1059236 1058409 0 -1 1077936192 17509 0 0 0 16940 5 0 0 20 0 14 0 197261566 19703095296 139464 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059247] ppid=1059233 vsize=19241304 memory=11596 CPUtime=0 cores=4,6
/proc/1059236/task/1059247/stat : 1059247 (Finalizer) S 1059233 1059236 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 14 0 197261569 19703095296 139464 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
[pid=1059236/tid=1059254] ppid=1059233 vsize=19241304 memory=49904 CPUtime=0 cores=4,6
/proc/1059236/task/1059254/stat : 1059254 (Common-Cleaner) S 1059233 1059236 1058409 0 -1 1077936192 202 0 0 0 0 0 0 0 20 0 14 0 197261569 19703095296 139464 134679101440 93831123456000 93831123459696 140729234585040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93831123467512 93831123468304 93831143337984 140729234592773 140729234592863 140729234592863 140729234599880 0
Current children cumulated CPU time: 175.49 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 557856 KiB

Child status: 20

Real time (s): 171.312
CPU time (s): 175.516
CPU user time (s): 175.178
CPU system time (s): 0.337432
CPU usage (%): 102.454
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 557856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 175.178
system time used= 0.337432
maximum resident set size= 558824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63855
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6615
involuntary context switches= 533


# summary of solver processes directly reported to runsolver:
#   pid: 1059236
#   total CPU time (s): 175.516
#   total CPU user time (s): 175.178
#   total CPU system time (s): 0.337432

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.998477 second user time and 1.7394 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-20 06:51:07
IDJOB=4452964
IDBENCH=165644
IDSOLVER=3058
FILE ID=nodeC003/4452964-1721451055
RUNJOBID= nodeC003-1721450898-1058420
SLURM_JOB_ID= 7545681
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v1_shuffle/normalized-grid6_13.shuf-2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452964-1721451055/watcher-4452964-1721451055 -o /tmp/evaluation-result-4452964-1721451055/solver-4452964-1721451055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058420 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4452964-1721451055.opb

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

MD5SUM BENCH= d115ce47b5b18af686045fe84c0e41b6
RANDOM SEED=1048599086

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3649.377
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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	: 0xb00001f
cpu MHz		: 3642.459
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.441
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.339
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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	: 0xb00001f
cpu MHz		: 3491.919
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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	: 0xb00001f
cpu MHz		: 3548.307
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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	: 0xb00001f
cpu MHz		: 1596.295
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.284
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121590404 kB
MemAvailable:   127314784 kB
Buffers:          563520 kB
Cached:          5942792 kB
SwapCached:            0 kB
Active:          1057184 kB
Inactive:        8313368 kB
Active(anon):       1452 kB
Inactive(anon):  2908388 kB
Active(file):    1055732 kB
Inactive(file):  5404980 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1904 kB
Writeback:             0 kB
AnonPages:       2864004 kB
Mapped:           128064 kB
Shmem:             45896 kB
KReclaimable:     207396 kB
Slab:             323180 kB
SReclaimable:     207396 kB
SUnreclaim:       115784 kB
KernelStack:        4840 kB
PageTables:        15652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    9838480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59072 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2609152 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC003 at 2024-07-20 06:53:58