Trace number 4448264

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 199.499 196.56

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x40split.cnf-plain.pb.metafix.opb
MD5SUMcf360b30707fd718d5f3229c2f68be40
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 benchmark14.2776
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables401
Total number of constraints1602
Number of constraints which are clauses1602
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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 CUSTOM.v20240707
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.14/0.11	c java.vm.vendor	Oracle Corporation
0.14/0.11	c sun.arch.data.model	64
0.14/0.11	c java.version		22.0.1
0.14/0.11	c os.name		Linux
0.14/0.11	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.11	c os.arch		amd64
0.14/0.11	c Free memory 		2115194816
0.14/0.11	c Max memory 		16282288128
0.14/0.11	c Total memory 		2122317824
0.14/0.11	c Number of processors 	2
0.14/0.16	--- Begin Solver configuration ---
0.14/0.16	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.16	Learn all clauses as in MiniSAT
0.14/0.16	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.16	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.16	No reason simplification
0.14/0.16	Glucose 2.1 dynamic restart strategy
0.14/0.16	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.14/0.16	timeout=2147483s
0.14/0.16	DB Simplification allowed=false
0.14/0.16	Listener: none
0.14/0.16	--- End Solver configuration ---
0.14/0.16	c Pseudo Boolean Optimization by upper bound
0.14/0.16	c --- Begin Solver configuration ---
0.14/0.16	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.16	c Learn all clauses as in MiniSAT
0.14/0.16	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.16	c No reason simplification
0.14/0.16	c Glucose 2.1 dynamic restart strategy
0.14/0.16	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.14/0.16	c timeout=2147483s
0.14/0.16	c DB Simplification allowed=false
0.14/0.16	c Listener: none
0.14/0.16	c --- End Solver configuration ---
0.14/0.16	c solving HOME/instance-4448264-1721357052.opb
0.14/0.16	c reading problem ... 
0.14/0.16	c  no objective function found
0.33/0.23	c ... done. Wall clock time 0.072s.
0.33/0.23	c declared #vars     401
0.33/0.23	c #constraints  1602
0.33/0.23	c constraints type 
0.33/0.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.33/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1600
0.33/0.23	c 1602 constraints processed.
0.70/0.49	c cleaning 2495 clauses out of 5002 with flag 22679/5002
1.28/0.70	c cleaning 4244 clauses out of 8505 with flag 52174/11000
1.48/0.87	c cleaning 5615 clauses out of 11262 with flag 89310/18001
1.67/1.00	c cleaning 6803 clauses out of 13647 with flag 131628/26001
2.04/1.15	c cleaning 7899 clauses out of 15844 with flag 183316/35001
2.39/1.34	c cleaning 8955 clauses out of 17944 with flag 250133/45000
2.75/1.53	c cleaning 9976 clauses out of 19989 with flag 313702/56000
2.95/1.75	c cleaning 10985 clauses out of 22014 with flag 382931/68001
3.25/2.02	c cleaning 12003 clauses out of 24029 with flag 458784/81001
3.58/2.30	c cleaning 12990 clauses out of 26026 with flag 541018/95001
3.88/2.62	c cleaning 13999 clauses out of 28035 with flag 627653/110000
4.18/2.99	c cleaning 14988 clauses out of 30036 with flag 721144/126000
4.64/3.39	c cleaning 16014 clauses out of 32049 with flag 819604/143001
5.20/3.83	c cleaning 16997 clauses out of 34036 with flag 920968/161002
6.09/4.73	c cleaning 18004 clauses out of 36037 with flag 1029413/180000
6.89/5.54	c cleaning 19001 clauses out of 38034 with flag 1144913/200001
7.50/6.18	c cleaning 20002 clauses out of 40032 with flag 1269867/221000
8.19/6.83	c cleaning 21007 clauses out of 42031 with flag 1395514/243001
8.79/7.48	c cleaning 21998 clauses out of 44023 with flag 1526365/266000
9.59/8.20	c cleaning 22993 clauses out of 46025 with flag 1663236/290000
10.29/8.92	c cleaning 24009 clauses out of 48033 with flag 1804572/315001
11.08/9.71	c cleaning 24994 clauses out of 50023 with flag 1948956/341000
11.88/10.56	c cleaning 26014 clauses out of 52029 with flag 2096339/368000
12.88/11.50	c cleaning 26982 clauses out of 54016 with flag 2251362/396001
13.79/12.44	c cleaning 27998 clauses out of 56034 with flag 2406661/425001
14.80/13.45	c cleaning 29004 clauses out of 58035 with flag 2569481/455000
15.91/14.59	c cleaning 30001 clauses out of 60031 with flag 2740204/486000
17.12/15.74	c cleaning 31000 clauses out of 62030 with flag 2904394/518000
18.22/16.85	c cleaning 31994 clauses out of 64030 with flag 3079313/551000
19.63/18.22	c cleaning 33004 clauses out of 66036 with flag 3260674/585000
21.03/19.62	c cleaning 34007 clauses out of 68034 with flag 3442440/620002
22.53/21.12	c cleaning 34995 clauses out of 70025 with flag 3628391/656000
24.02/22.66	c cleaning 36006 clauses out of 72032 with flag 3817740/693002
25.53/24.14	c cleaning 36999 clauses out of 74024 with flag 4007257/731000
27.31/25.90	c cleaning 37997 clauses out of 76025 with flag 4204603/770000
29.01/27.63	c cleaning 39004 clauses out of 78028 with flag 4399300/810000
31.10/29.71	c cleaning 39995 clauses out of 80024 with flag 4600583/851000
33.10/31.76	c cleaning 41002 clauses out of 82031 with flag 4810413/893002
35.29/33.95	c cleaning 42002 clauses out of 84027 with flag 5019342/936000
37.79/36.44	c cleaning 43005 clauses out of 86025 with flag 5238360/980000
40.10/38.73	c cleaning 43997 clauses out of 88022 with flag 5455606/1025002
42.50/41.14	c cleaning 45000 clauses out of 90024 with flag 5671770/1071001
44.98/43.68	c cleaning 46000 clauses out of 92023 with flag 5895267/1118000
47.58/46.22	c cleaning 47000 clauses out of 94023 with flag 6129460/1166000
50.07/48.77	c cleaning 48004 clauses out of 96025 with flag 6353023/1215002
52.97/51.61	c cleaning 49002 clauses out of 98020 with flag 6584636/1265001
55.56/54.20	c cleaning 50000 clauses out of 100017 with flag 6814940/1316000
58.37/57.11	c cleaning 51003 clauses out of 102019 with flag 7057724/1368002
61.25/59.92	c cleaning 51999 clauses out of 104015 with flag 7292930/1421001
63.95/62.62	c cleaning 52993 clauses out of 106015 with flag 7532606/1475000
66.74/65.44	c cleaning 54003 clauses out of 108022 with flag 7779447/1530000
69.64/68.39	c cleaning 55001 clauses out of 110019 with flag 8020025/1586000
72.95/71.66	c cleaning 55998 clauses out of 112018 with flag 8271194/1643000
75.95/74.65	c cleaning 57003 clauses out of 114021 with flag 8529415/1701001
78.84/77.58	c cleaning 57995 clauses out of 116017 with flag 8782488/1760000
81.84/80.57	c cleaning 59001 clauses out of 118022 with flag 9032745/1820000
84.74/83.48	c cleaning 60004 clauses out of 120022 with flag 9285156/1881001
87.93/86.64	c cleaning 61001 clauses out of 122017 with flag 9540157/1943000
91.03/89.77	c cleaning 62002 clauses out of 124017 with flag 9794336/2006001
94.62/93.32	c cleaning 62997 clauses out of 126015 with flag 10055085/2070001
98.21/96.92	c cleaning 64001 clauses out of 128019 with flag 10330649/2135002
101.60/100.31	c cleaning 65004 clauses out of 130017 with flag 10603703/2201001
105.00/103.77	c cleaning 65994 clauses out of 132013 with flag 10877340/2268001
108.79/107.53	c cleaning 67002 clauses out of 134019 with flag 11161236/2336001
112.49/111.27	c cleaning 68006 clauses out of 136017 with flag 11442556/2405001
116.68/115.43	c cleaning 68998 clauses out of 138012 with flag 11735161/2475002
120.67/119.43	c cleaning 70001 clauses out of 140013 with flag 12029541/2546001
124.97/123.77	c cleaning 71001 clauses out of 142012 with flag 12330160/2618001
129.16/128.00	c cleaning 71998 clauses out of 144010 with flag 12629833/2691000
133.85/132.63	c cleaning 72997 clauses out of 146012 with flag 12937822/2765000
138.57/137.35	c cleaning 74001 clauses out of 148015 with flag 13256246/2840000
143.46/142.27	c cleaning 75000 clauses out of 150015 with flag 13585046/2916001
148.55/147.38	c cleaning 75999 clauses out of 152014 with flag 13926778/2993000
153.65/152.46	c cleaning 77000 clauses out of 154015 with flag 14256872/3071000
159.25/158.04	c cleaning 78003 clauses out of 156015 with flag 14596854/3150000
164.42/163.25	c cleaning 79000 clauses out of 158013 with flag 14941061/3230001
169.51/168.39	c cleaning 80000 clauses out of 160013 with flag 15282774/3311001
174.70/173.52	c cleaning 80998 clauses out of 162013 with flag 15624287/3393001
180.40/179.29	c cleaning 82002 clauses out of 164015 with flag 15989967/3476001
186.30/185.17	c cleaning 82999 clauses out of 166014 with flag 16370734/3560002
194.61/192.21	c cleaning 84007 clauses out of 168013 with flag 16765135/3645000
199.18/196.37	c starts		: 5258
199.18/196.39	c conflicts		: 3720213
199.18/196.39	c decisions		: 4990050
199.18/196.40	c propagations		: 33752149
199.18/196.40	c inspects		: 3741491626
199.18/196.40	c shortcuts		: 0
199.18/196.40	c learnt literals	: 13
199.18/196.40	c learnt binary clauses	: 13
199.18/196.40	c learnt ternary clauses	: 19
199.18/196.40	c learnt constraints	: 3720199
199.18/196.40	c ignored constraints	: 0
199.18/196.40	c root simplifications	: 0
199.18/196.40	c removed literals (reason simplification)	: 0
199.18/196.40	c reason swapping (by a shorter reason)	: 0
199.18/196.40	c Calls to reduceDB	: 81
199.18/196.40	c Number of update (reduction) of LBD	: 801454
199.18/196.40	c Imported unit clauses	: 0
199.18/196.40	c No decision after first conflict	: false
199.18/196.40	c number of reductions to clauses (during analyze)	: 0
199.18/196.40	c number of learned constraints concerned by reduction	: 0
199.18/196.40	c number of learning phase by resolution	: 0
199.18/196.40	c number of learning phase by cutting planes	: 0
199.18/196.40	c number of rounding to 1 operations	: 0
199.18/196.40	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
199.18/196.40	c number of reductions of the coefficients by power 2 	: 0
199.18/196.40	c number of right shift for reduction by power 2 	: 0
199.18/196.40	c number of reductions of the coefficients by GCD over coefficients 	: 0
199.18/196.40	c number of ending skipping 	: 0
199.18/196.40	c number of internal skipping 	: 0
199.18/196.40	c number of derivation steps 	: 0
199.18/196.40	c number of skipped derivation steps 	: 0
199.18/196.40	c number of remaining unassigned 	: 0
199.18/196.40	c number of remaining assigned 	: 0
199.18/196.40	c number of falsified literals weakened from reason	: 0
199.18/196.40	c number of falsified literals weakened from conflict	: 0
199.18/196.40	c time for arithmetic operations	: 0
199.31/196.41	c minimum degree of deleted constraints	: null
199.31/196.41	c maximum degree of deleted constraints	: null
199.31/196.41	c number of deleted constraints	: 0
199.31/196.41	c speed (assignments/second)	: 172055.60993016264
199.31/196.41	c non guided choices	: 44396
199.42/196.54	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 159192
199.42/196.54	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 13
199.42/196.54	s UNSATISFIABLE
199.42/196.54	c Total wall clock time (in seconds): 196.384

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448264-1721357052/watcher-4448264-1721357052 -o /tmp/evaluation-result-4448264-1721357052/solver-4448264-1721357052 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980652 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4448264-1721357052.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=983140, runsolver pid=983137

[startup+0.106211 s]*
/proc/loadavg: 4.32 4.19 4.13 6/318 983158
/proc/meminfo: memFree=121504528/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=18975048 memory=57940 CPUtime=0.14 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 7087 0 0 0 12 2 0 0 20 0 18 0 187861632 19430449152 14485 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4743762 14485 5556 1 0 551322 0
[pid=983140/tid=983142] ppid=983137 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) R 983137 983140 980639 0 -1 4194368 5669 0 0 0 8 1 0 0 20 0 18 0 187861632 19430449152 14485 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983151] ppid=983137 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187861636 19430449152 14485 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187861636 19430449152 14485 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57940 KiB

[startup+0.207969 s]*
/proc/loadavg: 4.32 4.19 4.13 7/318 983158
/proc/meminfo: memFree=121496340/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=18975048 memory=67156 CPUtime=0.33 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 7564 0 0 0 30 3 0 0 20 0 18 0 187861632 19430449152 16789 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4743762 16789 5840 1 0 551661 0
[pid=983140/tid=983142] ppid=983137 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) R 983137 983140 980639 0 -1 4194368 5904 0 0 0 17 2 0 0 20 0 18 0 187861632 19430449152 16789 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983151] ppid=983137 vsize=18975048 memory=5697 CPUtime=0 cores=5,7
/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187861636 19430449152 16789 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187861636 19430449152 16789 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67156 KiB

[startup+0.307969 s]*
/proc/loadavg: 4.32 4.19 4.13 7/319 983159
/proc/meminfo: memFree=121492416/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=19041612 memory=71464 CPUtime=0.51 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 8790 0 0 0 48 3 0 0 20 0 19 0 187861632 19498610688 17866 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4760403 17866 5840 1 0 552445 0
[pid=983140/tid=983142] ppid=983137 vsize=19041612 memory=-8672359933864616636 CPUtime=0.28 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) R 983137 983140 980639 0 -1 4194368 5955 0 0 0 26 2 0 0 20 0 19 0 187861632 19498610688 17866 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983151] ppid=983137 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187861636 19498610688 17866 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187861636 19498610688 17866 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983159] ppid=983137 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/983140/task/983159/stat : 983159 (Timer-0) S 983137 983140 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187861656 19498610688 17866 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71464 KiB

[startup+0.700493 s]
/proc/loadavg: 4.32 4.19 4.13 7/319 983159
/proc/meminfo: memFree=121478168/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=19041612 memory=89508 CPUtime=1.28 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 15736 0 0 0 123 5 0 0 20 0 19 0 187861632 19498610688 22377 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4760403 22377 5872 1 0 556273 0
[pid=983140/tid=983142] ppid=983137 vsize=19041612 memory=11992 CPUtime=0.64 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) R 983137 983140 980639 0 -1 4194368 6020 0 0 0 62 2 0 0 20 0 19 0 187861632 19498610688 22377 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983151] ppid=983137 vsize=19041612 memory=11992 CPUtime=0 cores=5,7
/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187861636 19498610688 22377 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187861636 19498610688 22377 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983159] ppid=983137 vsize=19041612 memory=25208 CPUtime=0 cores=5,7
/proc/983140/task/983159/stat : 983159 (Timer-0) S 983137 983140 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187861656 19498610688 22377 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89508 KiB

[startup+1.50097 s]
/proc/loadavg: 4.32 4.19 4.13 6/319 983159
/proc/meminfo: memFree=121467224/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=19041612 memory=102104 CPUtime=2.75 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 19478 0 0 0 270 5 0 0 20 0 19 0 187861632 19498610688 25526 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4760403 25526 5872 1 0 556275 0
[pid=983140/tid=983142] ppid=983137 vsize=19041612 memory=11992 CPUtime=1.42 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) R 983137 983140 980639 0 -1 4194368 6311 0 0 0 140 2 0 0 20 0 19 0 187861632 19498610688 25526 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983151] ppid=983137 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187861636 19498610688 25526 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187861636 19498610688 25526 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983159] ppid=983137 vsize=19041612 memory=65 CPUtime=0 cores=5,7
/proc/983140/task/983159/stat : 983159 (Timer-0) S 983137 983140 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187861656 19498610688 25526 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 102104 KiB

[startup+3.10597 s]
/proc/loadavg: 4.32 4.19 4.13 6/319 983159
/proc/meminfo: memFree=121446620/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=19041612 memory=118584 CPUtime=4.44 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 20353 0 0 0 438 6 0 0 20 0 19 0 187861632 19498610688 29646 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4760403 29646 5872 1 0 556277 0
[pid=983140/tid=983142] ppid=983137 vsize=19041612 memory=0 CPUtime=3.01 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) R 983137 983140 980639 0 -1 4194368 6595 0 0 0 299 2 0 0 20 0 19 0 187861632 19498610688 29646 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983151] ppid=983137 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187861636 19498610688 29646 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=19041612 memory=106200 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187861636 19498610688 29646 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983159] ppid=983137 vsize=19041612 memory=11992 CPUtime=0 cores=5,7
/proc/983140/task/983159/stat : 983159 (Timer-0) S 983137 983140 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187861656 19498610688 29646 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 4.44 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 118584 KiB

[startup+6.30044 s]
/proc/loadavg: 4.38 4.20 4.13 5/319 983159
/proc/meminfo: memFree=121430400/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=19041612 memory=134652 CPUtime=7.68 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 20701 0 0 0 762 6 0 0 20 0 19 0 187861632 19498610688 33663 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4760403 33663 5872 1 0 556278 0
[pid=983140/tid=983142] ppid=983137 vsize=19041612 memory=11992 CPUtime=6.19 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) R 983137 983140 980639 0 -1 4194368 6862 0 0 0 616 3 0 0 20 0 19 0 187861632 19498610688 33663 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983151] ppid=983137 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187861636 19498610688 33663 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=19041612 memory=5795398699382298967 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187861636 19498610688 33663 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983159] ppid=983137 vsize=19041612 memory=5512 CPUtime=0 cores=5,7
/proc/983140/task/983159/stat : 983159 (Timer-0) S 983137 983140 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187861656 19498610688 33663 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 7.68 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 134652 KiB

[startup+12.7004 s]
/proc/loadavg: 4.35 4.20 4.13 5/319 983161
/proc/meminfo: memFree=121356316/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=19108176 memory=188400 CPUtime=14.09 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 23040 0 0 0 1401 8 0 0 20 0 20 0 187861632 19566772224 47100 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4777044 47100 5904 1 0 556567 0
[pid=983140/tid=983142] ppid=983137 vsize=19108176 memory=0 CPUtime=12.56 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) R 983137 983140 980639 0 -1 4194368 7598 0 0 0 1252 4 0 0 20 0 20 0 187861632 19566772224 47100 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983151] ppid=983137 vsize=19108176 memory=169484 CPUtime=0 cores=5,7
/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 47100 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 47100 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983159] ppid=983137 vsize=19108176 memory=16252 CPUtime=0 cores=5,7
/proc/983140/task/983159/stat : 983159 (Timer-0) S 983137 983140 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187861656 19566772224 47100 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 14.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188400 KiB

[startup+25.5005 s]
/proc/loadavg: 4.27 4.19 4.13 5/320 983163
/proc/meminfo: memFree=121341496/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=19108176 memory=188528 CPUtime=26.91 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 24939 0 0 0 2682 9 0 0 20 0 20 0 187861632 19566772224 47132 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4777044 47132 5936 1 0 556567 0
[pid=983140/tid=983142] ppid=983137 vsize=19108176 memory=169484 CPUtime=25.33 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) R 983137 983140 980639 0 -1 4194368 8626 0 0 0 2529 4 0 0 20 0 20 0 187861632 19566772224 47132 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983151] ppid=983137 vsize=19108176 memory=16252 CPUtime=0 cores=5,7
/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 47132 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=19108176 memory=188528 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 47132 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983159] ppid=983137 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/983140/task/983159/stat : 983159 (Timer-0) S 983137 983140 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187861656 19566772224 47132 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 26.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188528 KiB

[startup+51.1138 s]
/proc/loadavg: 4.26 4.19 4.13 5/320 983169
/proc/meminfo: memFree=121285268/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=19108176 memory=215356 CPUtime=52.48 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 28530 0 0 0 5237 11 0 0 20 0 20 0 187861632 19566772224 53839 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4777044 53839 5936 1 0 556567 0
[pid=983140/tid=983142] ppid=983137 vsize=19108176 memory=196884 CPUtime=50.71 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) R 983137 983140 980639 0 -1 4194368 9990 0 0 0 5067 4 0 0 20 0 20 0 187861632 19566772224 53839 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0

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

/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 95488 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 207 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 95488 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983159] ppid=983137 vsize=19108176 memory=381952 CPUtime=0 cores=5,7
/proc/983140/task/983159/stat : 983159 (Timer-0) S 983137 983140 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187861656 19566772224 95488 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 163.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 381952 KiB

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

# cumulated CPU time of all completed processes:  user=199.231 s, system=0.26734 s

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

[startup+179.2 s]
/proc/loadavg: 4.20 4.19 4.13 5/317 983190
/proc/meminfo: memFree=120961888/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=19108176 memory=381952 CPUtime=180.4 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 36600 0 0 0 18018 22 0 0 20 0 20 0 187861632 19566772224 95488 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4777044 95488 5936 1 0 556567 0
[pid=983140/tid=983142] ppid=983137 vsize=19108176 memory=381952 CPUtime=177.72 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) R 983137 983140 980639 0 -1 4194368 13205 0 0 0 17767 5 0 0 20 0 20 0 187861632 19566772224 95488 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983151] ppid=983137 vsize=19108176 memory=381952 CPUtime=0 cores=5,7
/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 95488 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=19108176 memory=43996 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 207 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 95488 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983159] ppid=983137 vsize=19108176 memory=11992 CPUtime=0 cores=5,7
/proc/983140/task/983159/stat : 983159 (Timer-0) S 983137 983140 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187861656 19566772224 95488 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 180.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 381952 KiB

[startup+185.6 s]
/proc/loadavg: 4.17 4.18 4.13 5/317 983192
/proc/meminfo: memFree=120961748/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=19108176 memory=381952 CPUtime=186.79 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 36847 0 0 0 18657 22 0 0 20 0 20 0 187861632 19566772224 95488 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4777044 95488 5936 1 0 556567 0
[pid=983140/tid=983142] ppid=983137 vsize=19108176 memory=381952 CPUtime=184.1 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) R 983137 983140 980639 0 -1 4194368 13443 0 0 0 18405 5 0 0 20 0 20 0 187861632 19566772224 95488 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983151] ppid=983137 vsize=19108176 memory=16252 CPUtime=0 cores=5,7
/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 95488 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=19108176 memory=25208 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 207 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 95488 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983159] ppid=983137 vsize=19108176 memory=32180 CPUtime=0 cores=5,7
/proc/983140/task/983159/stat : 983159 (Timer-0) S 983137 983140 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187861656 19566772224 95488 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 186.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 381952 KiB

[startup+192 s]*
/proc/loadavg: 4.15 4.18 4.13 5/317 983194
/proc/meminfo: memFree=120932820/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=19108176 memory=410900 CPUtime=194.41 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 46120 0 0 0 19416 25 0 0 20 0 20 0 187861632 19566772224 102725 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4777044 102725 5936 1 0 558622 0
[pid=983140/tid=983142] ppid=983137 vsize=19108176 memory=-8672359933864616636 CPUtime=190.37 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) R 983137 983140 980639 0 -1 4194368 14520 0 0 0 19032 5 0 0 20 0 20 0 187861632 19566772224 102725 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983151] ppid=983137 vsize=19108176 memory=400668 CPUtime=0 cores=5,7
/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 102725 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=19108176 memory=25208 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 207 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 102725 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983159] ppid=983137 vsize=19108176 memory=32180 CPUtime=0 cores=5,7
/proc/983140/task/983159/stat : 983159 (Timer-0) S 983137 983140 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187861656 19566772224 102725 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 194.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 410900 KiB

[startup+193.601 s]
/proc/loadavg: 4.15 4.18 4.13 5/317 983194
/proc/meminfo: memFree=120932820/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=19108176 memory=411008 CPUtime=196.39 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 46227 0 0 0 19614 25 0 0 20 0 20 0 187861632 19566772224 102752 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4777044 102752 5936 1 0 558638 0
[pid=983140/tid=983142] ppid=983137 vsize=19108176 memory=410900 CPUtime=191.96 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) R 983137 983140 980639 0 -1 4194368 14576 0 0 0 19191 5 0 0 20 0 20 0 187861632 19566772224 102752 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983151] ppid=983137 vsize=19108176 memory=400768 CPUtime=0 cores=5,7
/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 102752 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=19108176 memory=43996 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 236 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 102752 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983159] ppid=983137 vsize=19108176 memory=-8672359933864616636 CPUtime=0 cores=5,7
/proc/983140/task/983159/stat : 983159 (Timer-0) S 983137 983140 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187861656 19566772224 102752 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 196.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 411008 KiB

[startup+195.2 s]
/proc/loadavg: 4.14 4.17 4.13 5/317 983194
/proc/meminfo: memFree=120932736/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=19108176 memory=411008 CPUtime=198.02 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 46232 0 0 0 19777 25 0 0 20 0 20 0 187861632 19566772224 102752 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4777044 102752 5936 1 0 558638 0
[pid=983140/tid=983142] ppid=983137 vsize=19108176 memory=400428 CPUtime=193.55 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) R 983137 983140 980639 0 -1 4194368 14580 0 0 0 19350 5 0 0 20 0 20 0 187861632 19566772224 102752 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983151] ppid=983137 vsize=19108176 memory=410900 CPUtime=0 cores=5,7
/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 102752 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=19108176 memory=400424 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 236 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 102752 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983159] ppid=983137 vsize=19108176 memory=2828 CPUtime=0 cores=5,7
/proc/983140/task/983159/stat : 983159 (Timer-0) S 983137 983140 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187861656 19566772224 102752 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 198.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 411008 KiB

[startup+196 s]*
/proc/loadavg: 4.14 4.17 4.13 5/317 983194
/proc/meminfo: memFree=120940464/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=19108176 memory=403120 CPUtime=198.9 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 46240 0 0 0 19865 25 0 0 20 0 20 0 187861632 19566772224 100780 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4777044 100780 5936 1 0 558638 0
[pid=983140/tid=983142] ppid=983137 vsize=19108176 memory=-8672359933864616636 CPUtime=194.36 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) R 983137 983140 980639 0 -1 4194368 14581 0 0 0 19431 5 0 0 20 0 20 0 187861632 19566772224 100780 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983151] ppid=983137 vsize=19108176 memory=3906926794289380889 CPUtime=0 cores=5,7
/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 100780 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=19108176 memory=2244 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 236 0 0 0 0 0 0 0 20 0 20 0 187861636 19566772224 100780 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983159] ppid=983137 vsize=19108176 memory=5796695868719759386 CPUtime=0 cores=5,7
/proc/983140/task/983159/stat : 983159 (Timer-0) S 983137 983140 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187861656 19566772224 100780 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 198.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 403120 KiB

[startup+196.406 s]
/proc/loadavg: 4.14 4.17 4.13 5/317 983194
/proc/meminfo: memFree=120940464/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=19241304 memory=403588 CPUtime=199.31 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 47536 0 0 0 19906 25 0 0 20 0 20 0 187861632 19703095296 100897 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4810326 100897 5935 1 0 559256 0
[pid=983140/tid=983142] ppid=983137 vsize=19241304 memory=-8672359933864616636 CPUtime=194.72 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) S 983137 983140 980639 0 -1 1077936192 15444 0 0 0 19467 5 0 0 20 0 20 0 187861632 19703095296 100897 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983151] ppid=983137 vsize=19241304 memory=11992 CPUtime=0 cores=5,7
/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187861636 19703095296 100897 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=19241304 memory=5512 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 236 0 0 0 0 0 0 0 20 0 20 0 187861636 19703095296 100897 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 199.31 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 403588 KiB

[startup+196.501 s]
/proc/loadavg: 4.14 4.17 4.13 5/317 983194
/proc/meminfo: memFree=120940464/131655788 swapFree=131071996/131071996
[pid=983140] ppid=983137 vsize=19241304 memory=403588 CPUtime=199.42 cores=5,7
/proc/983140/stat : 983140 (java) S 983137 983140 980639 0 -1 1077936128 47601 0 0 0 19917 25 0 0 20 0 20 0 187861632 19703095296 100897 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
/proc/983140/statm: 4810326 100897 5935 1 0 559256 0
[pid=983140/tid=983142] ppid=983137 vsize=19241304 memory=224194199869 CPUtime=194.72 cores=5,7
/proc/983140/task/983142/stat : 983142 (java) S 983137 983140 980639 0 -1 1077936192 15444 0 0 0 19467 5 0 0 20 0 20 0 187861632 19703095296 100897 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983151] ppid=983137 vsize=19241304 memory=306052 CPUtime=0 cores=5,7
/proc/983140/task/983151/stat : 983151 (Finalizer) S 983137 983140 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187861636 19703095296 100897 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
[pid=983140/tid=983158] ppid=983137 vsize=19241304 memory=11600 CPUtime=0 cores=5,7
/proc/983140/task/983158/stat : 983158 (Common-Cleaner) S 983137 983140 980639 0 -1 1077936192 236 0 0 0 0 0 0 0 20 0 20 0 187861636 19703095296 100897 134679101440 94710580379648 94710580383344 140720457569552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94710580391160 94710580391952 94710586552320 140720457573382 140720457573472 140720457573472 140720457580488 0
Current children cumulated CPU time: 199.42 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 403588 KiB

Child status: 20

Real time (s): 196.56
CPU time (s): 199.499
CPU user time (s): 199.231
CPU system time (s): 0.26734
CPU usage (%): 101.495
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 411008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 199.231
system time used= 0.26734
maximum resident set size= 412144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47821
page faults= 0
swaps= 0
block input operations= 0
block output operations= 256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6630
involuntary context switches= 455


# summary of solver processes directly reported to runsolver:
#   pid: 983140
#   total CPU time (s): 199.499
#   total CPU user time (s): 199.231
#   total CPU system time (s): 0.26734

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.02705 second user time and 2.04166 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-19 04:44:24
IDJOB=4448264
IDBENCH=160380
IDSOLVER=3058
FILE ID=nodeC008/4448264-1721357052
RUNJOBID= nodeC008-1721354365-980652
SLURM_JOB_ID= 7542775
Free space on /tmp= 723768 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x40split.cnf-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448264-1721357052/watcher-4448264-1721357052 -o /tmp/evaluation-result-4448264-1721357052/solver-4448264-1721357052 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980652 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4448264-1721357052.opb

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

MD5SUM BENCH= cf360b30707fd718d5f3229c2f68be40
RANDOM SEED=327599653

nodeC008.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		: 3668.014
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.91
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		: 3655.621
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.31
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.409
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.91
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.249
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.31
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		: 3668.064
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.91
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		: 2492.870
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.31
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		: 1197.422
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.91
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		: 2401.164
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121542156 kB
MemAvailable:   123831780 kB
Buffers:          544828 kB
Cached:          2563552 kB
SwapCached:            0 kB
Active:          1059324 kB
Inactive:        8451220 kB
Active(anon):       1476 kB
Inactive(anon):  6438384 kB
Active(file):    1057848 kB
Inactive(file):  2012836 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1220 kB
Writeback:             0 kB
AnonPages:       6402204 kB
Mapped:           126376 kB
Shmem:             37704 kB
KReclaimable:     117944 kB
Slab:             222816 kB
SReclaimable:     117944 kB
SUnreclaim:       104872 kB
KernelStack:        4848 kB
PageTables:        22652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8320344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58720 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6107136 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:      203592 kB
DirectMap2M:    24866816 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC008 at 2024-07-19 04:47:41