Trace number 4510804

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 2025-06-06UNSAT 1263.81 1263.85

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l060-r059-n1.cnf-plain.pb.metafix.opb
MD5SUMdcac64736f2fac2889802971ff74db2d
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 benchmark415.773
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3288
Total number of constraints10282
Number of constraints which are clauses10282
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4510804-1751199099.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.33/0.24	c ... done. Wall clock time 0.11s.
0.33/0.24	c declared #vars     3288
0.33/0.24	c #constraints  10282
0.33/0.24	c constraints type 
0.33/0.24	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9186
0.33/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1096
0.33/0.24	c 10282 constraints processed.
1.98/1.19	c cleaning 2492 clauses out of 5000 with flag 184106/5000
2.96/1.96	c cleaning 4248 clauses out of 8510 with flag 258067/11002
3.98/2.90	c cleaning 5625 clauses out of 11260 with flag 340194/18000
5.12/4.06	c cleaning 6811 clauses out of 13636 with flag 448548/26001
6.51/5.44	c cleaning 7911 clauses out of 15826 with flag 576849/35002
8.21/7.14	c cleaning 8950 clauses out of 17914 with flag 722273/45001
10.05/8.92	c cleaning 9974 clauses out of 19963 with flag 888875/56000
11.95/10.84	c cleaning 10991 clauses out of 21989 with flag 1048468/68000
14.25/13.10	c cleaning 11990 clauses out of 23998 with flag 1240819/81000
16.84/15.72	c cleaning 12997 clauses out of 26008 with flag 1461502/95000
19.84/18.70	c cleaning 13999 clauses out of 28011 with flag 1719313/110000
23.04/21.98	c cleaning 14998 clauses out of 30012 with flag 1988856/126000
26.75/25.68	c cleaning 16000 clauses out of 32016 with flag 2281294/143002
29.88/28.79	c cleaning 17000 clauses out of 34016 with flag 2549672/161002
33.07/31.90	c cleaning 18003 clauses out of 36018 with flag 2820732/180004
36.36/35.29	c cleaning 18997 clauses out of 38011 with flag 3104758/200000
40.26/39.20	c cleaning 20002 clauses out of 40015 with flag 3406149/221001
44.35/43.27	c cleaning 20998 clauses out of 42012 with flag 3699096/243000
48.84/47.73	c cleaning 22003 clauses out of 44014 with flag 4028494/266000
53.63/52.51	c cleaning 22997 clauses out of 46013 with flag 4375552/290002
58.92/57.80	c cleaning 24002 clauses out of 48015 with flag 4732796/315001
64.62/63.51	c cleaning 24999 clauses out of 50012 with flag 5144040/341000
70.21/69.12	c cleaning 25996 clauses out of 52013 with flag 5580436/368000
76.49/75.47	c cleaning 27002 clauses out of 54018 with flag 6044713/396001
83.87/82.87	c cleaning 28004 clauses out of 56015 with flag 6526394/425000
89.66/88.66	c cleaning 28996 clauses out of 58011 with flag 6961942/455000
96.87/95.85	c cleaning 29999 clauses out of 60015 with flag 7414954/486000
104.06/103.00	c cleaning 30999 clauses out of 62016 with flag 7905893/518000
110.94/109.99	c cleaning 31999 clauses out of 64017 with flag 8382221/551000
118.52/117.51	c cleaning 32998 clauses out of 66018 with flag 8913524/585000
126.71/125.78	c cleaning 33999 clauses out of 68021 with flag 9469383/620001
135.22/134.29	c cleaning 35006 clauses out of 70022 with flag 10045855/656001
144.01/143.10	c cleaning 36006 clauses out of 72015 with flag 10590818/693000
153.18/152.22	c cleaning 37000 clauses out of 74011 with flag 11153559/731002
163.06/162.12	c cleaning 38001 clauses out of 76012 with flag 11805904/770003
172.44/171.54	c cleaning 38996 clauses out of 78008 with flag 12416407/810000
184.16/183.21	c cleaning 40001 clauses out of 80013 with flag 13084087/851001
196.05/195.13	c cleaning 41001 clauses out of 82012 with flag 13781984/893001
209.41/208.57	c cleaning 42000 clauses out of 84011 with flag 14506408/936001
222.28/221.45	c cleaning 42995 clauses out of 86010 with flag 15214408/980000
235.36/234.54	c cleaning 44002 clauses out of 88015 with flag 15936069/1025000
248.78/247.94	c cleaning 45002 clauses out of 90013 with flag 16672807/1071000
263.65/262.80	c cleaning 46003 clauses out of 92012 with flag 17401475/1118001
277.00/275.96	c cleaning 47000 clauses out of 94009 with flag 18065893/1166001
292.93/291.71	c cleaning 48002 clauses out of 96011 with flag 18868931/1215003
306.49/305.34	c cleaning 48991 clauses out of 98006 with flag 19623405/1265000
322.82/321.64	c cleaning 50004 clauses out of 100015 with flag 20445960/1316000
341.08/339.97	c cleaning 51002 clauses out of 102011 with flag 21308419/1368000
359.85/358.72	c cleaning 51998 clauses out of 104010 with flag 22183264/1421001
384.30/383.24	c cleaning 53003 clauses out of 106013 with flag 23096055/1475002
405.56/404.55	c cleaning 54002 clauses out of 108010 with flag 24003890/1530002
427.77/426.79	c cleaning 54997 clauses out of 110006 with flag 24961280/1586000
450.33/449.35	c cleaning 55998 clauses out of 112009 with flag 25905263/1643000
473.76/472.68	c cleaning 56995 clauses out of 114011 with flag 26823586/1701001
490.28/489.13	c cleaning 58001 clauses out of 116016 with flag 27503398/1760001
507.09/505.95	c cleaning 59003 clauses out of 118015 with flag 28262922/1820001
523.85/522.75	c cleaning 59998 clauses out of 120011 with flag 29094651/1881000
546.01/544.91	c cleaning 60998 clauses out of 122014 with flag 30045012/1943001
566.12/565.07	c cleaning 62001 clauses out of 124015 with flag 31019936/2006000
589.47/588.46	c cleaning 63002 clauses out of 126015 with flag 32098067/2070001
610.83/609.81	c cleaning 63999 clauses out of 128013 with flag 33113244/2135001
639.17/638.25	c cleaning 64997 clauses out of 130013 with flag 34190160/2201000
667.34/666.48	c cleaning 66003 clauses out of 132017 with flag 35314310/2268001
696.88/696.09	c cleaning 66996 clauses out of 134016 with flag 36489479/2336003
728.22/727.46	c cleaning 68002 clauses out of 136019 with flag 37591400/2405002
758.06/757.34	c cleaning 69003 clauses out of 138015 with flag 38790979/2475000
786.45/785.73	c cleaning 69999 clauses out of 140011 with flag 39855467/2546000
815.65/815.00	c cleaning 70999 clauses out of 142012 with flag 40910733/2618000
843.09/842.43	c cleaning 71998 clauses out of 144014 with flag 41984363/2691001
876.33/875.76	c cleaning 73006 clauses out of 146015 with flag 43070040/2765000
906.40/905.81	c cleaning 73989 clauses out of 148008 with flag 44168538/2840000
937.83/937.35	c cleaning 75002 clauses out of 150020 with flag 45257461/2916001
969.38/968.92	c cleaning 76000 clauses out of 152018 with flag 46312714/2993001
999.48/999.07	c cleaning 77003 clauses out of 154019 with flag 47365524/3071003
1036.20/1035.83	c cleaning 77995 clauses out of 156014 with flag 48587654/3150001
1073.61/1073.32	c cleaning 78998 clauses out of 158018 with flag 49831504/3230000
1107.34/1107.19	c cleaning 80002 clauses out of 160021 with flag 51014780/3311001
1146.54/1146.49	c cleaning 81002 clauses out of 162019 with flag 52171073/3393001
1182.71/1182.63	c cleaning 82008 clauses out of 164017 with flag 53359004/3476001
1220.43/1220.41	c cleaning 83000 clauses out of 166010 with flag 54597598/3560002
1258.75/1258.88	c cleaning 84000 clauses out of 168006 with flag 55767398/3645001
1263.64/1263.77	c starts		: 2561
1263.64/1263.77	c conflicts		: 3660369
1263.64/1263.77	c decisions		: 4527429
1263.64/1263.77	c propagations		: 1081159902
1263.64/1263.77	c inspects		: 16756452375
1263.64/1263.77	c shortcuts		: 0
1263.64/1263.77	c learnt literals	: 20
1263.64/1263.77	c learnt binary clauses	: 184
1263.64/1263.77	c learnt ternary clauses	: 3491
1263.64/1263.77	c learnt constraints	: 3660348
1263.64/1263.77	c ignored constraints	: 0
1263.64/1263.78	c root simplifications	: 0
1263.64/1263.78	c removed literals (reason simplification)	: 247999702
1263.64/1263.78	c reason swapping (by a shorter reason)	: 0
1263.64/1263.78	c Calls to reduceDB	: 81
1263.64/1263.78	c Number of update (reduction) of LBD	: 1601344
1263.64/1263.78	c Imported unit clauses	: 0
1263.64/1263.78	c No decision after first conflict	: false
1263.64/1263.78	c number of reductions to clauses (during analyze)	: 0
1263.64/1263.78	c number of learned constraints concerned by reduction	: 0
1263.64/1263.78	c number of learning phase by resolution	: 0
1263.64/1263.78	c number of learning phase by cutting planes	: 0
1263.64/1263.78	c number of rounding to 1 operations	: 0
1263.64/1263.78	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1263.64/1263.78	c number of reductions of the coefficients by power 2 	: 0
1263.64/1263.78	c number of right shift for reduction by power 2 	: 0
1263.64/1263.78	c number of reductions of the coefficients by GCD over coefficients 	: 0
1263.64/1263.78	c number of ending skipping 	: 0
1263.64/1263.78	c number of internal skipping 	: 0
1263.64/1263.78	c number of derivation steps 	: 0
1263.64/1263.78	c number of skipped derivation steps 	: 0
1263.64/1263.78	c number of remaining unassigned 	: 0
1263.64/1263.78	c number of remaining assigned 	: 0
1263.64/1263.78	c number of falsified literals weakened from reason	: 0
1263.64/1263.78	c number of falsified literals weakened from conflict	: 0
1263.64/1263.78	c time for arithmetic operations	: 0
1263.64/1263.79	c minimum degree of deleted constraints	: null
1263.64/1263.79	c maximum degree of deleted constraints	: null
1263.64/1263.79	c number of deleted constraints	: 0
1263.64/1263.79	c speed (assignments/second)	: 855660.0959685455
1263.64/1263.79	c non guided choices	: 22313
1263.75/1263.83	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 99176
1263.75/1263.83	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 184
1263.75/1263.83	s UNSATISFIABLE
1263.75/1263.83	c Total wall clock time (in seconds): 1263.708

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: 63665 MiB (60601 MiB free)
  memory of node 1: 64507 MiB (63367 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510804-1751199099/watcher-4510804-1751199099 -o /tmp/evaluation-result-4510804-1751199099/solver-4510804-1751199099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27854 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4510804-1751199099.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=30079, runsolver pid=30076

[startup+0.10006 s]*
/proc/loadavg: 4.16 4.18 4.15 6/338 30097
/proc/meminfo: memFree=126931652/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=18930384 memory=57764 CPUtime=0.13 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 6592 0 0 0 11 2 0 0 20 0 18 0 35587760 19384713216 14441 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4732596 14441 5336 1 0 547640 0
[pid=30079/tid=30081] ppid=30076 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) R 30076 30079 27841 0 -1 4194368 5113 0 0 0 7 1 0 0 20 0 18 0 35587762 19384713216 14441 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=18930384 memory=237112656212 CPUtime=0 cores=5,7
/proc/30079/task/30090/stat : 30090 (Finalizer) S 30076 30079 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35587764 19384713216 14441 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30097] ppid=30076 vsize=18930384 memory=58485492706614 CPUtime=0 cores=5,7
/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35587764 19384713216 14441 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57764 KiB

[startup+0.205848 s]*
/proc/loadavg: 4.16 4.18 4.15 5/338 30097
/proc/meminfo: memFree=126921888/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=18930384 memory=68568 CPUtime=0.33 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 7129 0 0 0 31 2 0 0 20 0 18 0 35587760 19384713216 17142 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4732596 17142 5432 1 0 548027 0
[pid=30079/tid=30081] ppid=30076 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) R 30076 30079 27841 0 -1 4194368 5285 0 0 0 16 1 0 0 20 0 18 0 35587762 19384713216 17142 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=18930384 memory=18949 CPUtime=0 cores=5,7
/proc/30079/task/30090/stat : 30090 (Finalizer) S 30076 30079 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35587764 19384713216 17142 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30097] ppid=30076 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35587764 19384713216 17142 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68568 KiB

[startup+0.305749 s]*
/proc/loadavg: 4.16 4.18 4.15 6/339 30098
/proc/meminfo: memFree=126907584/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=18996948 memory=85684 CPUtime=0.52 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 8799 0 0 0 49 3 0 0 20 0 19 0 35587760 19452874752 21421 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4749237 21421 5432 1 0 549438 0
[pid=30079/tid=30081] ppid=30076 vsize=18996948 memory=-6000919481263221868 CPUtime=0.24 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) R 30076 30079 27841 0 -1 4194368 5330 0 0 0 23 1 0 0 20 0 19 0 35587762 19452874752 21421 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/30079/task/30090/stat : 30090 (Finalizer) S 30076 30079 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35587764 19452874752 21421 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30097] ppid=30076 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35587764 19452874752 21421 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30098] ppid=30076 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/30079/task/30098/stat : 30098 (Timer-0) S 30076 30079 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35587785 19452874752 21421 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 85684 KiB

[startup+0.70024 s]
/proc/loadavg: 4.16 4.18 4.15 6/339 30098
/proc/meminfo: memFree=126902796/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=18996948 memory=94124 CPUtime=1.28 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 11519 0 0 0 125 3 0 0 20 0 19 0 35587760 19452874752 23531 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4749237 23531 5432 1 0 551475 0
[pid=30079/tid=30081] ppid=30076 vsize=18996948 memory=17536 CPUtime=0.61 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) R 30076 30079 27841 0 -1 4194368 5343 0 0 0 60 1 0 0 20 0 19 0 35587762 19452874752 23531 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/30079/task/30090/stat : 30090 (Finalizer) S 30076 30079 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35587764 19452874752 23531 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30097] ppid=30076 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35587764 19452874752 23531 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30098] ppid=30076 vsize=18996948 memory=4756 CPUtime=0 cores=5,7
/proc/30079/task/30098/stat : 30098 (Timer-0) S 30076 30079 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35587785 19452874752 23531 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94124 KiB

[startup+1.50023 s]
/proc/loadavg: 4.16 4.18 4.15 5/339 30098
/proc/meminfo: memFree=126895928/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=18996948 memory=101024 CPUtime=2.52 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 16204 0 0 0 248 4 0 0 20 0 19 0 35587760 19452874752 25256 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4749237 25256 5432 1 0 551526 0
[pid=30079/tid=30081] ppid=30076 vsize=18996948 memory=10752 CPUtime=1.39 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) R 30076 30079 27841 0 -1 4194368 6358 0 0 0 138 1 0 0 20 0 19 0 35587762 19452874752 25256 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/30079/task/30090/stat : 30090 (Finalizer) S 30076 30079 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35587764 19452874752 25256 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30097] ppid=30076 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35587764 19452874752 25256 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30098] ppid=30076 vsize=18996948 memory=4756 CPUtime=0 cores=5,7
/proc/30079/task/30098/stat : 30098 (Timer-0) S 30076 30079 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35587785 19452874752 25256 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101024 KiB

[startup+3.10555 s]
/proc/loadavg: 4.16 4.18 4.15 5/339 30098
/proc/meminfo: memFree=126887156/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=18996948 memory=111276 CPUtime=4.18 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 16806 0 0 0 413 5 0 0 20 0 19 0 35587760 19452874752 27819 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4749237 27819 5432 1 0 551528 0
[pid=30079/tid=30081] ppid=30076 vsize=18996948 memory=10752 CPUtime=3 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) R 30076 30079 27841 0 -1 4194368 6672 0 0 0 298 2 0 0 20 0 19 0 35587762 19452874752 27819 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=18996948 memory=-6000919481263221868 CPUtime=0 cores=5,7
/proc/30079/task/30090/stat : 30090 (Finalizer) S 30076 30079 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35587764 19452874752 27819 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30097] ppid=30076 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35587764 19452874752 27819 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30098] ppid=30076 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/30079/task/30098/stat : 30098 (Timer-0) S 30076 30079 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35587785 19452874752 27819 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 4.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 111276 KiB

[startup+6.3002 s]
/proc/loadavg: 4.14 4.18 4.15 5/340 30100
/proc/meminfo: memFree=126874656/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=18996948 memory=121668 CPUtime=7.41 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 19721 0 0 0 736 5 0 0 20 0 19 0 35587760 19452874752 30417 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4749237 30417 5432 1 0 551529 0
[pid=30079/tid=30081] ppid=30076 vsize=18996948 memory=0 CPUtime=6.18 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) R 30076 30079 27841 0 -1 4194368 7273 0 0 0 616 2 0 0 20 0 19 0 35587762 19452874752 30417 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/30079/task/30090/stat : 30090 (Finalizer) S 30076 30079 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35587764 19452874752 30417 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30097] ppid=30076 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35587764 19452874752 30417 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30098] ppid=30076 vsize=18996948 memory=101024 CPUtime=0 cores=5,7
/proc/30079/task/30098/stat : 30098 (Timer-0) S 30076 30079 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35587785 19452874752 30417 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 7.41 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 121668 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.18 4.14 5/340 30100
/proc/meminfo: memFree=126772296/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=18996948 memory=142276 CPUtime=13.84 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 22672 0 0 0 1378 6 0 0 20 0 19 0 35587760 19452874752 35569 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4749237 35569 5464 1 0 551529 0
[pid=30079/tid=30081] ppid=30076 vsize=18996948 memory=101024 CPUtime=12.57 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) R 30076 30079 27841 0 -1 4194368 7959 0 0 0 1254 3 0 0 20 0 19 0 35587762 19452874752 35569 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/30079/task/30090/stat : 30090 (Finalizer) S 30076 30079 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35587764 19452874752 35569 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30097] ppid=30076 vsize=18996948 memory=140228 CPUtime=0 cores=5,7
/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35587764 19452874752 35569 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30098] ppid=30076 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/30079/task/30098/stat : 30098 (Timer-0) S 30076 30079 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35587785 19452874752 35569 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 13.84 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 142276 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.17 4.14 5/341 30101
/proc/meminfo: memFree=126711064/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=19063512 memory=177580 CPUtime=26.65 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 25810 0 0 0 2658 7 0 0 20 0 20 0 35587760 19521036288 44395 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4765878 44395 5496 1 0 551818 0
[pid=30079/tid=30081] ppid=30076 vsize=19063512 memory=10752 CPUtime=25.32 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) R 30076 30079 27841 0 -1 4194368 8787 0 0 0 2529 3 0 0 20 0 20 0 35587762 19521036288 44395 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=19063512 memory=140228 CPUtime=0 cores=5,7
/proc/30079/task/30090/stat : 30090 (Finalizer) S 30076 30079 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35587764 19521036288 44395 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30097] ppid=30076 vsize=19063512 memory=4380 CPUtime=0 cores=5,7
/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 35587764 19521036288 44395 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30098] ppid=30076 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/30079/task/30098/stat : 30098 (Timer-0) S 30076 30079 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35587785 19521036288 44395 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 26.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177580 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.17 4.14 5/341 30101
/proc/meminfo: memFree=126695000/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=19063512 memory=177580 CPUtime=52.24 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 26762 0 0 0 5216 8 0 0 20 0 20 0 35587760 19521036288 44395 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4765878 44395 5496 1 0 551818 0
[pid=30079/tid=30081] ppid=30076 vsize=19063512 memory=177580 CPUtime=50.87 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) R 30076 30079 27841 0 -1 4194368 9121 0 0 0 5084 3 0 0 20 0 20 0 35587762 19521036288 44395 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=19063512 memory=177580 CPUtime=0 cores=5,7

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

/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 227 0 0 0 0 0 0 0 20 0 20 0 35587764 19521036288 199048 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30098] ppid=30076 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/30079/task/30098/stat : 30098 (Timer-0) S 30076 30079 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35587785 19521036288 199048 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 1122.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 796192 KiB

[startup+1182.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/340 30878
/proc/meminfo: memFree=127007376/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=19063512 memory=878184 CPUtime=1182.41 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 49231 0 0 0 118193 48 0 0 20 0 20 0 35587760 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4765878 219546 5496 1 0 554427 0
[pid=30079/tid=30081] ppid=30076 vsize=19063512 memory=878184 CPUtime=1178.65 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) R 30076 30079 27841 0 -1 4194368 13658 0 0 0 117861 4 0 0 20 0 20 0 35587762 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=19063512 memory=878184 CPUtime=0 cores=5,7
/proc/30079/task/30090/stat : 30090 (Finalizer) S 30076 30079 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35587764 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30097] ppid=30076 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 227 0 0 0 0 0 0 0 20 0 20 0 35587764 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30098] ppid=30076 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/30079/task/30098/stat : 30098 (Timer-0) S 30076 30079 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35587785 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 1182.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 878184 KiB

[startup+1242.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/342 30886
/proc/meminfo: memFree=126759224/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=19063512 memory=878184 CPUtime=1242.28 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 49272 0 0 0 124179 49 0 0 20 0 20 0 35587760 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4765878 219546 5496 1 0 554427 0
[pid=30079/tid=30081] ppid=30076 vsize=19063512 memory=878184 CPUtime=1238.5 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) R 30076 30079 27841 0 -1 4194368 13662 0 0 0 123846 4 0 0 20 0 20 0 35587762 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=19063512 memory=878184 CPUtime=0 cores=5,7
/proc/30079/task/30090/stat : 30090 (Finalizer) S 30076 30079 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35587764 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30097] ppid=30076 vsize=19063512 memory=878184 CPUtime=0 cores=5,7
/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 227 0 0 0 0 0 0 0 20 0 20 0 35587764 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30098] ppid=30076 vsize=19063512 memory=878184 CPUtime=0 cores=5,7
/proc/30079/task/30098/stat : 30098 (Timer-0) S 30076 30079 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35587785 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 1242.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 878184 KiB

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

# cumulated CPU time of all completed processes:  user=1263.31 s, system=0.502059 s

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

[startup+1254.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/342 30887
/proc/meminfo: memFree=126759336/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=19063512 memory=878184 CPUtime=1254.36 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 49279 0 0 0 125387 49 0 0 20 0 20 0 35587760 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4765878 219546 5496 1 0 554427 0
[pid=30079/tid=30081] ppid=30076 vsize=19063512 memory=14848 CPUtime=1250.57 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) R 30076 30079 27841 0 -1 4194368 13662 0 0 0 125053 4 0 0 20 0 20 0 35587762 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=19063512 memory=7086247254622233176 CPUtime=0 cores=5,7
/proc/30079/task/30090/stat : 30090 (Finalizer) S 30076 30079 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35587764 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30097] ppid=30076 vsize=19063512 memory=878184 CPUtime=0 cores=5,7
/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 227 0 0 0 0 0 0 0 20 0 20 0 35587764 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30098] ppid=30076 vsize=19063512 memory=878184 CPUtime=0 cores=5,7
/proc/30079/task/30098/stat : 30098 (Timer-0) S 30076 30079 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35587785 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 1254.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 878184 KiB

[startup+1260.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/342 30887
/proc/meminfo: memFree=126742952/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=19063512 memory=878184 CPUtime=1260.75 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 49284 0 0 0 126026 49 0 0 20 0 20 0 35587760 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4765878 219546 5496 1 0 554427 0
[pid=30079/tid=30081] ppid=30076 vsize=19063512 memory=878184 CPUtime=1256.95 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) R 30076 30079 27841 0 -1 4194368 13662 0 0 0 125691 4 0 0 20 0 20 0 35587762 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=19063512 memory=878184 CPUtime=0 cores=5,7
/proc/30079/task/30090/stat : 30090 (Finalizer) S 30076 30079 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35587764 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30097] ppid=30076 vsize=19063512 memory=26648 CPUtime=0 cores=5,7
/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 227 0 0 0 0 0 0 0 20 0 20 0 35587764 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30098] ppid=30076 vsize=19063512 memory=4380 CPUtime=0 cores=5,7
/proc/30079/task/30098/stat : 30098 (Timer-0) S 30076 30079 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35587785 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 1260.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 878184 KiB

[startup+1262.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/342 30887
/proc/meminfo: memFree=126742952/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=19063512 memory=878184 CPUtime=1262.34 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 49284 0 0 0 126185 49 0 0 20 0 20 0 35587760 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4765878 219546 5496 1 0 554427 0
[pid=30079/tid=30081] ppid=30076 vsize=19063512 memory=17536 CPUtime=1258.55 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) R 30076 30079 27841 0 -1 4194368 13662 0 0 0 125851 4 0 0 20 0 20 0 35587762 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=19063512 memory=878184 CPUtime=0 cores=5,7
/proc/30079/task/30090/stat : 30090 (Finalizer) S 30076 30079 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35587764 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30097] ppid=30076 vsize=19063512 memory=4756 CPUtime=0 cores=5,7
/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 227 0 0 0 0 0 0 0 20 0 20 0 35587764 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30098] ppid=30076 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/30079/task/30098/stat : 30098 (Timer-0) S 30076 30079 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35587785 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 1262.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 878184 KiB

[startup+1263.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/342 30887
/proc/meminfo: memFree=126742952/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=19063512 memory=878184 CPUtime=1263.14 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 49284 0 0 0 126265 49 0 0 20 0 20 0 35587760 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4765878 219546 5496 1 0 554427 0
[pid=30079/tid=30081] ppid=30076 vsize=19063512 memory=14848 CPUtime=1259.35 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) R 30076 30079 27841 0 -1 4194368 13662 0 0 0 125931 4 0 0 20 0 20 0 35587762 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/30079/task/30090/stat : 30090 (Finalizer) S 30076 30079 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35587764 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30097] ppid=30076 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 227 0 0 0 0 0 0 0 20 0 20 0 35587764 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30098] ppid=30076 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/30079/task/30098/stat : 30098 (Timer-0) S 30076 30079 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35587785 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 1263.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 878184 KiB

[startup+1263.6 s]
/proc/loadavg: 4.11 4.09 4.09 5/342 30887
/proc/meminfo: memFree=126742952/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=19063512 memory=878184 CPUtime=1263.54 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 49284 0 0 0 126305 49 0 0 20 0 20 0 35587760 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4765878 219546 5496 1 0 554427 0
[pid=30079/tid=30081] ppid=30076 vsize=19063512 memory=17536 CPUtime=1259.75 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) R 30076 30079 27841 0 -1 4194368 13662 0 0 0 125971 4 0 0 20 0 20 0 35587762 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=19063512 memory=46336 CPUtime=0 cores=5,7
/proc/30079/task/30090/stat : 30090 (Finalizer) S 30076 30079 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35587764 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30097] ppid=30076 vsize=19063512 memory=12544 CPUtime=0 cores=5,7
/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 227 0 0 0 0 0 0 0 20 0 20 0 35587764 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30098] ppid=30076 vsize=19063512 memory=-6000919481263221868 CPUtime=0 cores=5,7
/proc/30079/task/30098/stat : 30098 (Timer-0) S 30076 30079 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35587785 19521036288 219546 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 1263.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 878184 KiB

[startup+1263.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/342 30887
/proc/meminfo: memFree=126742952/131249996 swapFree=33010684/33010684
[pid=30079] ppid=30076 vsize=19196640 memory=878824 CPUtime=1263.75 cores=5,7
/proc/30079/stat : 30079 (java) S 30076 30079 27841 0 -1 4194304 51327 0 0 0 126326 49 0 0 20 0 20 0 35587760 19657359360 219706 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
/proc/30079/statm: 4799160 219706 5528 1 0 555061 0
[pid=30079/tid=30081] ppid=30076 vsize=19196640 memory=1792 CPUtime=1259.91 cores=5,7
/proc/30079/task/30081/stat : 30081 (java) S 30076 30079 27841 0 -1 4194368 15147 0 0 0 125987 4 0 0 20 0 20 0 35587762 19657359360 219706 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30090] ppid=30076 vsize=19196640 memory=1920 CPUtime=0 cores=5,7
/proc/30079/task/30090/stat : 30090 (Finalizer) S 30076 30079 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35587764 19657359360 219706 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
[pid=30079/tid=30097] ppid=30076 vsize=19196640 memory=5632 CPUtime=0 cores=5,7
/proc/30079/task/30097/stat : 30097 (Common-Cleaner) S 30076 30079 27841 0 -1 4194368 227 0 0 0 0 0 0 0 20 0 20 0 35587764 19657359360 219706 18446744073709551615 94640161554432 94640161558128 140730282825872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94640161565944 94640161566736 94640166359040 140730282830209 140730282830310 140730282830310 140730282835912 0
Current children cumulated CPU time: 1263.75 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 878824 KiB

Child status: 20

Real time (s): 1263.85
CPU time (s): 1263.81
CPU user time (s): 1263.31
CPU system time (s): 0.502059
CPU usage (%): 99.9974
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 878824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1263.31
system time used= 0.502059
maximum resident set size= 879080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51550
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38819
involuntary context switches= 1559


# summary of solver processes directly reported to runsolver:
#   pid: 30079
#   total CPU time (s): 1263.81
#   total CPU user time (s): 1263.31
#   total CPU system time (s): 0.502059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.62035 second user time and 5.9176 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 14:11:39
IDJOB=4510804
IDBENCH=160386
IDSOLVER=3363
FILE ID=nodeC024/4510804-1751199099
RUNJOBID= nodeC024-1751191546-27854
SLURM_JOB_ID= 9587580
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l060-r059-n1.cnf-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510804-1751199099/watcher-4510804-1751199099 -o /tmp/evaluation-result-4510804-1751199099/solver-4510804-1751199099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27854 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4510804-1751199099.opb

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

MD5SUM BENCH= dcac64736f2fac2889802971ff74db2d
RANDOM SEED=1876927304

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126943624 kB
MemAvailable:   126625172 kB
Buffers:            3280 kB
Cached:           491156 kB
SwapCached:            0 kB
Active:          3489180 kB
Inactive:         236596 kB
Active(anon):    3249404 kB
Inactive(anon):        0 kB
Active(file):     239776 kB
Inactive(file):   236596 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               760 kB
Writeback:             0 kB
AnonPages:       3233956 kB
Mapped:           122560 kB
Shmem:             18064 kB
KReclaimable:      88428 kB
Slab:             175780 kB
SReclaimable:      88428 kB
SUnreclaim:        87352 kB
KernelStack:        5216 kB
PageTables:        10056 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7056688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3018752 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC024 at 2025-06-29 14:32:43