Trace number 4454152

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 2024 2024-07-07UNSAT cert. 1577.06 1584.27

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-11diag_spec_less.opb
MD5SUM835882185b05cb50ca6c38d629f5e937
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.041781
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables418
Total number of constraints508
Number of constraints which are clauses363
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints145
Minimum length of a constraint2
Maximum length of a constraint143
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 2097152
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 8388607
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.13/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.17	c See www.sat4j.org for details.
0.13/0.19	c version CUSTOM.v20240707
0.13/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.22	c java.vm.version	22.0.1+8-16
0.13/0.22	c java.vm.vendor	Oracle Corporation
0.13/0.22	c sun.arch.data.model	64
0.13/0.22	c java.version		22.0.1
0.13/0.22	c os.name		Linux
0.13/0.22	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.22	c os.arch		amd64
0.30/0.23	c Free memory 		2113181440
0.30/0.23	c Max memory 		16282288128
0.30/0.23	c Total memory 		2122317824
0.30/0.25	c Number of processors 	2
0.47/0.34	--- Begin Solver configuration ---
0.47/0.34	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.47/0.34	Learn all clauses as in MiniSAT
0.47/0.34	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.34	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.47/0.34	Expensive reason simplification
0.47/0.34	Glucose 2.1 dynamic restart strategy
0.47/0.34	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.47/0.34	timeout=2147483s
0.47/0.34	DB Simplification allowed=false
0.47/0.34	Listener: none
0.47/0.34	--- End Solver configuration ---
0.47/0.34	c Pseudo Boolean Optimization by upper bound
0.47/0.34	c --- Begin Solver configuration ---
0.47/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.47/0.34	c Learn all clauses as in MiniSAT
0.47/0.34	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.47/0.34	c Expensive reason simplification
0.47/0.34	c Glucose 2.1 dynamic restart strategy
0.47/0.34	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.47/0.34	c timeout=2147483s
0.47/0.34	c DB Simplification allowed=false
0.47/0.34	c Listener: none
0.47/0.34	c --- End Solver configuration ---
0.47/0.34	c solving HOME/instance-4454152-1721843823.opb
0.47/0.34	c reading problem ... 
0.49/0.70	c using VERIPB proof format
0.49/0.70	c  no objective function found
0.69/0.80	c ... done. Wall clock time 0.452s.
0.69/0.80	c declared #vars     418
0.69/0.80	c #constraints  652
0.69/0.80	c constraints type 
0.69/0.80	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 308
0.69/0.80	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 223
0.69/0.80	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 121
0.69/0.80	c 652 constraints processed.
3.82/2.49	c cleaning 2497 clauses out of 5000 with flag 10847/5000
5.41/3.27	c cleaning 4252 clauses out of 8504 with flag 24511/11001
6.79/4.02	c cleaning 5618 clauses out of 11251 with flag 40704/18000
7.70/4.82	c cleaning 6817 clauses out of 13633 with flag 58948/26000
9.01/5.72	c cleaning 7908 clauses out of 15817 with flag 79679/35001
11.22/7.70	c cleaning 8950 clauses out of 17909 with flag 103182/45001
12.76/9.09	c cleaning 9975 clauses out of 19959 with flag 126333/56001
14.25/10.53	c cleaning 10985 clauses out of 21983 with flag 151905/68000
15.86/12.15	c cleaning 11998 clauses out of 23998 with flag 180031/81000
17.96/14.27	c cleaning 13000 clauses out of 26001 with flag 211243/95001
20.35/16.62	c cleaning 14000 clauses out of 28000 with flag 244087/110000
22.94/19.27	c cleaning 15001 clauses out of 30001 with flag 279363/126001
26.04/22.15	c cleaning 15996 clauses out of 31999 with flag 318980/143000
29.13/25.02	c cleaning 17002 clauses out of 34003 with flag 362941/161000
32.12/28.04	c cleaning 17999 clauses out of 36001 with flag 408136/180000
35.31/31.22	c cleaning 18998 clauses out of 38002 with flag 453287/200000
38.77/35.17	c cleaning 20002 clauses out of 40004 with flag 501613/221000
42.36/38.73	c cleaning 21000 clauses out of 42004 with flag 550898/243002
46.14/42.56	c cleaning 21999 clauses out of 44002 with flag 601426/266000
50.13/46.55	c cleaning 22999 clauses out of 46005 with flag 653806/290002
54.41/50.88	c cleaning 24001 clauses out of 48005 with flag 715520/315001
59.00/54.82	c cleaning 25001 clauses out of 50003 with flag 774429/341000
62.96/58.40	c cleaning 26000 clauses out of 52003 with flag 834730/368001
67.09/62.25	c cleaning 26998 clauses out of 54003 with flag 897861/396001
71.64/67.09	c cleaning 27996 clauses out of 56005 with flag 965372/425001
75.94/71.30	c cleaning 28996 clauses out of 58008 with flag 1034338/455000
80.05/75.40	c cleaning 30005 clauses out of 60012 with flag 1112045/486000
85.93/81.36	c cleaning 31001 clauses out of 62008 with flag 1194074/518001
90.23/85.66	c cleaning 32000 clauses out of 64007 with flag 1270156/551001
94.86/90.13	c cleaning 32997 clauses out of 66006 with flag 1347791/585000
100.82/96.36	c cleaning 34001 clauses out of 68010 with flag 1428555/620001
106.70/102.25	c cleaning 35002 clauses out of 70008 with flag 1510826/656000
112.40/107.96	c cleaning 35997 clauses out of 72006 with flag 1595076/693000
117.88/113.44	c cleaning 36999 clauses out of 74009 with flag 1685820/731000
123.89/119.46	c cleaning 37999 clauses out of 76011 with flag 1775395/770001
129.60/125.13	c cleaning 39000 clauses out of 78011 with flag 1867687/810000
135.64/131.33	c cleaning 40004 clauses out of 80013 with flag 1960279/851002
143.23/138.93	c cleaning 41004 clauses out of 82008 with flag 2060226/893001
150.22/145.94	c cleaning 41998 clauses out of 84004 with flag 2160478/936001
156.60/152.39	c cleaning 42999 clauses out of 86006 with flag 2261137/980001
164.46/160.32	c cleaning 43998 clauses out of 88007 with flag 2365925/1025001
171.85/167.75	c cleaning 44996 clauses out of 90008 with flag 2475097/1071000
180.04/175.93	c cleaning 45999 clauses out of 92012 with flag 2588690/1118000
187.42/183.32	c cleaning 47001 clauses out of 94013 with flag 2701136/1166000
196.26/192.34	c cleaning 48002 clauses out of 96012 with flag 2817666/1215000
206.08/202.16	c cleaning 49003 clauses out of 98011 with flag 2933484/1265001
216.75/212.84	c cleaning 50002 clauses out of 100010 with flag 3060795/1316003
226.42/222.64	c cleaning 51002 clauses out of 102005 with flag 3174931/1368000
237.60/233.87	c cleaning 51999 clauses out of 104004 with flag 3292569/1421001
248.40/244.68	c cleaning 52996 clauses out of 106006 with flag 3418433/1475002
257.19/253.55	c cleaning 53997 clauses out of 108010 with flag 3549320/1530002
268.71/265.06	c cleaning 55001 clauses out of 110011 with flag 3687078/1586000
279.58/275.95	c cleaning 55999 clauses out of 112010 with flag 3820889/1643000
289.77/286.23	c cleaning 56998 clauses out of 114012 with flag 3957565/1701001
300.78/297.20	c cleaning 58004 clauses out of 116013 with flag 4097724/1760000
311.43/307.84	c cleaning 58999 clauses out of 118011 with flag 4242288/1820002
324.51/321.06	c cleaning 60002 clauses out of 120011 with flag 4389748/1881001
335.43/331.92	c cleaning 60996 clauses out of 122008 with flag 4535864/1943000
345.84/342.45	c cleaning 62003 clauses out of 124013 with flag 4686013/2006001
358.69/355.26	c cleaning 62997 clauses out of 126010 with flag 4839607/2070001
371.78/368.38	c cleaning 64002 clauses out of 128012 with flag 4993755/2135000
385.59/382.25	c cleaning 65002 clauses out of 130011 with flag 5149532/2201001
397.86/394.57	c cleaning 65995 clauses out of 132008 with flag 5310019/2268000
412.41/409.17	c cleaning 66999 clauses out of 134013 with flag 5482141/2336000
424.13/420.82	c cleaning 68004 clauses out of 136017 with flag 5652698/2405003
438.98/435.75	c cleaning 68991 clauses out of 138011 with flag 5832804/2475001
452.95/449.73	c cleaning 70004 clauses out of 140019 with flag 6009135/2546000
468.58/465.48	c cleaning 70997 clauses out of 142015 with flag 6176180/2618000
483.90/480.72	c cleaning 72002 clauses out of 144020 with flag 6360818/2691002
500.95/497.94	c cleaning 73006 clauses out of 146018 with flag 6534630/2765002
519.05/516.03	c cleaning 73997 clauses out of 148010 with flag 6718022/2840000
535.83/532.97	c cleaning 75003 clauses out of 150013 with flag 6900372/2916000
554.65/551.76	c cleaning 75997 clauses out of 152011 with flag 7129765/2993001
573.68/570.84	c cleaning 77003 clauses out of 154013 with flag 7331714/3071000
592.40/589.67	c cleaning 78000 clauses out of 156010 with flag 7533887/3150000
610.79/607.95	c cleaning 79000 clauses out of 158010 with flag 7742826/3230000
631.18/628.42	c cleaning 79998 clauses out of 160010 with flag 7954885/3311000
651.27/648.67	c cleaning 81000 clauses out of 162012 with flag 8157754/3393000
668.09/665.46	c cleaning 82002 clauses out of 164013 with flag 8367878/3476001
688.47/685.97	c cleaning 83003 clauses out of 166013 with flag 8583956/3560003
708.87/706.37	c cleaning 83998 clauses out of 168007 with flag 8821719/3645000
733.44/731.08	c cleaning 85000 clauses out of 170009 with flag 9067877/3731000
758.93/756.69	c cleaning 86002 clauses out of 172011 with flag 9333626/3818002
784.34/782.16	c cleaning 87001 clauses out of 174008 with flag 9604772/3906001
810.55/808.43	c cleaning 87995 clauses out of 176006 with flag 9880616/3995000
835.32/832.79	c cleaning 89000 clauses out of 178011 with flag 10123458/4085000
858.93/856.34	c cleaning 89999 clauses out of 180012 with flag 10375360/4176001
883.96/881.30	c cleaning 90999 clauses out of 182013 with flag 10633858/4268001
908.28/905.85	c cleaning 92003 clauses out of 184013 with flag 10896524/4361000
931.08/928.77	c cleaning 93000 clauses out of 186012 with flag 11172498/4455002
953.71/951.35	c cleaning 94000 clauses out of 188010 with flag 11438196/4550000
975.83/973.53	c cleaning 95001 clauses out of 190011 with flag 11682279/4646001
1000.56/998.39	c cleaning 95998 clauses out of 192010 with flag 11929305/4743001
1028.32/1033.15	c cleaning 97003 clauses out of 194011 with flag 12206929/4841000
1060.04/1065.28	c cleaning 98002 clauses out of 196008 with flag 12486221/4940000
1084.04/1088.95	c cleaning 98998 clauses out of 198005 with flag 12760347/5040000
1112.86/1117.67	c cleaning 99998 clauses out of 200008 with flag 13052092/5141001
1142.30/1147.32	c cleaning 101001 clauses out of 202010 with flag 13366252/5243001
1163.39/1168.72	c cleaning 101991 clauses out of 204008 with flag 13647257/5346000
1190.08/1195.76	c cleaning 103001 clauses out of 206017 with flag 13929718/5450000
1216.87/1222.73	c cleaning 104000 clauses out of 208016 with flag 14210632/5555000
1240.78/1246.88	c cleaning 104999 clauses out of 210016 with flag 14489402/5661000
1267.03/1273.38	c cleaning 106002 clauses out of 212017 with flag 14785229/5768000
1298.30/1304.78	c cleaning 106997 clauses out of 214013 with flag 15086186/5876001
1324.95/1331.01	c cleaning 108002 clauses out of 216016 with flag 15386336/5985001
1354.69/1361.27	c cleaning 109003 clauses out of 218013 with flag 15698056/6095000
1381.81/1388.42	c cleaning 109996 clauses out of 220010 with flag 16011002/6206001
1409.94/1416.64	c cleaning 111001 clauses out of 222013 with flag 16330317/6318000
1440.51/1447.21	c cleaning 112003 clauses out of 224013 with flag 16648850/6431001
1471.62/1478.37	c cleaning 113001 clauses out of 226009 with flag 16979515/6545000
1503.25/1510.03	c cleaning 114001 clauses out of 228008 with flag 17320176/6660000
1532.40/1539.55	c cleaning 115000 clauses out of 230004 with flag 17674054/6776000
1569.08/1576.28	c cleaning 115993 clauses out of 232004 with flag 18039351/6893000
1576.82/1584.11	c starts		: 21369
1576.87/1584.11	c conflicts		: 6931696
1576.87/1584.11	c decisions		: 8073163
1576.87/1584.12	c propagations		: 795276944
1576.87/1584.12	c inspects		: 14068139287
1576.87/1584.12	c shortcuts		: 0
1576.87/1584.12	c learnt literals	: 18
1576.87/1584.12	c learnt binary clauses	: 23
1576.87/1584.12	c learnt ternary clauses	: 118
1576.87/1584.12	c learnt constraints	: 6931677
1576.87/1584.12	c ignored constraints	: 0
1576.87/1584.12	c root simplifications	: 0
1576.87/1584.12	c removed literals (reason simplification)	: 522485619
1576.87/1584.12	c reason swapping (by a shorter reason)	: 0
1576.87/1584.12	c Calls to reduceDB	: 113
1576.87/1584.12	c Number of update (reduction) of LBD	: 437701
1576.87/1584.12	c Imported unit clauses	: 0
1576.87/1584.12	c No decision after first conflict	: false
1576.87/1584.12	c number of reductions to clauses (during analyze)	: 0
1576.87/1584.12	c number of learned constraints concerned by reduction	: 0
1576.87/1584.12	c number of learning phase by resolution	: 0
1576.87/1584.12	c number of learning phase by cutting planes	: 0
1576.87/1584.12	c number of rounding to 1 operations	: 0
1576.87/1584.12	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1576.87/1584.12	c number of reductions of the coefficients by power 2 	: 0
1576.87/1584.13	c number of right shift for reduction by power 2 	: 0
1576.87/1584.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
1576.87/1584.13	c number of ending skipping 	: 0
1576.87/1584.13	c number of internal skipping 	: 0
1576.87/1584.13	c number of derivation steps 	: 0
1576.87/1584.13	c number of skipped derivation steps 	: 0
1576.87/1584.13	c number of remaining unassigned 	: 0
1576.87/1584.13	c number of remaining assigned 	: 0
1576.87/1584.13	c number of falsified literals weakened from reason	: 0
1576.87/1584.13	c number of falsified literals weakened from conflict	: 0
1576.87/1584.13	c time for arithmetic operations	: 0
1576.87/1584.13	c minimum degree of deleted constraints	: null
1576.87/1584.13	c maximum degree of deleted constraints	: null
1576.87/1584.13	c number of deleted constraints	: 0
1576.87/1584.13	c speed (assignments/second)	: 502286.62557561265
1576.87/1584.13	c non guided choices	: 22
1576.97/1584.24	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 154673
1576.97/1584.24	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 23
1576.97/1584.25	s UNSATISFIABLE
1576.97/1584.25	c Total wall clock time (in seconds): 1583.909

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB

Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.

VeriPB + CakePB

-- veripb --
Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

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: 64096 MiB (62267 MiB free)
  memory of node 1: 64473 MiB (61557 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454152-1721843823/watcher-4454152-1721843823 -o /tmp/evaluation-result-4454152-1721843823/solver-4454152-1721843823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721843823-202548 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4454152-1721843823 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4454152-1721843823.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.106573 s]*
/proc/loadavg: 1.13 1.31 2.23 14/320 202678
/proc/meminfo: memFree=126676060/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=18975048 memory=55372 CPUtime=0.13 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 6427 0 0 0 10 3 0 0 20 0 18 0 20371130 19430449152 13843 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4743762 13843 5559 1 0 550762 0
[pid=202610/tid=202620] ppid=202604 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) R 202604 202610 202537 0 -1 4194368 5345 0 0 0 6 3 0 0 20 0 18 0 20371131 19430449152 13843 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20371131 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20371137 19430449152 13843 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=18975048 memory=3834591019379458080 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20371138 19430449152 13843 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55372 KiB

[startup+0.215574 s]*
/proc/loadavg: 1.13 1.31 2.23 16/320 202678
/proc/meminfo: memFree=126656380/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=18975048 memory=60264 CPUtime=0.3 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 7110 0 0 0 26 4 0 0 20 0 18 0 20371130 19430449152 15066 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4743762 15066 5604 1 0 551322 0
[pid=202610/tid=202620] ppid=202604 vsize=18975048 memory=664970851429515395 CPUtime=0.19 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) R 202604 202610 202537 0 -1 4194368 5674 0 0 0 16 3 0 0 20 0 18 0 20371131 19430449152 15066 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20371131 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=18975048 memory=1361999 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20371137 19430449152 15066 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=18975048 memory=13567093907932509 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20371138 19430449152 15066 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60264 KiB

[startup+0.319361 s]*
/proc/loadavg: 1.13 1.31 2.23 15/320 202678
/proc/meminfo: memFree=126634212/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=18975048 memory=65524 CPUtime=0.47 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 7409 0 0 0 42 5 0 0 20 0 18 0 20371130 19430449152 16381 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4743762 16381 5613 1 0 551540 0
[pid=202610/tid=202620] ppid=202604 vsize=18975048 memory=-8889371647780037308 CPUtime=0.29 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) R 202604 202610 202537 0 -1 4194368 5867 0 0 0 25 4 0 0 20 0 18 0 20371131 19430449152 16381 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20371131 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20371137 19430449152 16381 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20371138 19430449152 16381 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65524 KiB

[startup+0.716053 s]
/proc/loadavg: 1.13 1.31 2.23 1/320 202678
/proc/meminfo: memFree=126631904/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=18975048 memory=66096 CPUtime=0.52 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 7498 0 0 0 47 5 0 0 20 0 18 0 20371130 19430449152 16524 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4743762 16524 5628 1 0 551619 0
[pid=202610/tid=202620] ppid=202604 vsize=18975048 memory=5500 CPUtime=0.32 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) R 202604 202610 202537 0 -1 1077936192 5936 0 0 0 28 4 0 0 20 0 18 0 20371131 19430449152 16524 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 20371131 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=18975048 memory=11880 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20371137 19430449152 16524 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20371138 19430449152 16524 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66096 KiB

[startup+1.50057 s]
/proc/loadavg: 1.13 1.31 2.23 16/324 202682
/proc/meminfo: memFree=126591504/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=19041612 memory=125140 CPUtime=2.06 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 10875 0 0 0 197 9 0 0 20 0 19 0 20371130 19498610688 31285 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4760403 31285 5753 1 0 553394 0
[pid=202610/tid=202620] ppid=202604 vsize=19041612 memory=11880 CPUtime=1.01 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) R 202604 202610 202537 0 -1 4194368 6350 0 0 0 95 6 0 0 20 0 19 0 20371131 19498610688 31285 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 20371131 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20371137 19498610688 31285 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20371138 19498610688 31285 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202679] ppid=202604 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/202610/task/202679/stat : 202679 (Timer-0) S 202604 202610 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20371211 19498610688 31285 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 2.06 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 125140 KiB

[startup+3.10576 s]
/proc/loadavg: 1.13 1.31 2.23 10/328 202686
/proc/meminfo: memFree=126147504/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=19108176 memory=184040 CPUtime=5.22 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 19838 0 0 0 509 13 0 0 20 0 20 0 20371130 19566772224 46010 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4777044 46010 5817 1 0 556803 0
[pid=202610/tid=202620] ppid=202604 vsize=19108176 memory=0 CPUtime=2.52 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) R 202604 202610 202537 0 -1 4194368 7339 0 0 0 244 8 0 0 20 0 20 0 20371131 19566772224 46010 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 20371131 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=19108176 memory=11412 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371137 19566772224 46010 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 20371138 19566772224 46010 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202679] ppid=202604 vsize=19108176 memory=11880 CPUtime=0 cores=4,6
/proc/202610/task/202679/stat : 202679 (Timer-0) S 202604 202610 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371211 19566772224 46010 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 5.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184040 KiB

[startup+6.30027 s]
/proc/loadavg: 1.52 1.38 2.25 6/328 202686
/proc/meminfo: memFree=125227368/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=19108176 memory=470684 CPUtime=9.65 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 20474 0 0 0 943 22 0 0 20 0 20 0 20371130 19566772224 117671 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4777044 117671 5817 1 0 556823 0
[pid=202610/tid=202620] ppid=202604 vsize=19108176 memory=0 CPUtime=5.66 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) R 202604 202610 202537 0 -1 4194368 7713 0 0 0 550 16 0 0 20 0 20 0 20371131 19566772224 117671 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20371131 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=19108176 memory=11880 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371137 19566772224 117671 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=19108176 memory=11412 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 20371138 19566772224 117671 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202679] ppid=202604 vsize=19108176 memory=75588 CPUtime=0 cores=4,6
/proc/202610/task/202679/stat : 202679 (Timer-0) S 202604 202610 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371211 19566772224 117671 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 9.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 470684 KiB

[startup+12.7005 s]
/proc/loadavg: 1.72 1.43 2.26 6/328 202688
/proc/meminfo: memFree=123959584/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=19108176 memory=660724 CPUtime=16.46 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 26925 0 0 0 1615 31 0 0 20 0 20 0 20371130 19566772224 165181 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4777044 165181 5817 1 0 556823 0
[pid=202610/tid=202620] ppid=202604 vsize=19108176 memory=660608 CPUtime=11.97 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) R 202604 202610 202537 0 -1 4194368 8897 0 0 0 1174 23 0 0 20 0 20 0 20371131 19566772224 165181 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20371131 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371137 19566772224 165181 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=19108176 memory=660608 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 20371138 19566772224 165181 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202679] ppid=202604 vsize=19108176 memory=11880 CPUtime=0 cores=4,6
/proc/202610/task/202679/stat : 202679 (Timer-0) S 202604 202610 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371211 19566772224 165181 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 16.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 660724 KiB

[startup+25.5005 s]
/proc/loadavg: 2.30 1.57 2.29 6/328 202689
/proc/meminfo: memFree=121983752/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=19108176 memory=906608 CPUtime=29.62 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 36369 0 0 0 2919 43 0 0 20 0 20 0 20371130 19566772224 226652 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4777044 226652 5817 1 0 556823 0
[pid=202610/tid=202620] ppid=202604 vsize=19108176 memory=0 CPUtime=24.69 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) R 202604 202610 202537 0 -1 4194368 10886 0 0 0 2436 33 0 0 20 0 20 0 20371131 19566772224 226652 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20371131 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=19108176 memory=660608 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371137 19566772224 226652 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=19108176 memory=11880 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 20371138 19566772224 226652 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202679] ppid=202604 vsize=19108176 memory=660724 CPUtime=0 cores=4,6
/proc/202610/task/202679/stat : 202679 (Timer-0) S 202604 202610 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371211 19566772224 226652 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 29.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 906608 KiB

[startup+51.1141 s]
/proc/loadavg: 2.96 1.78 2.35 6/328 202694
/proc/meminfo: memFree=120683660/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=19108176 memory=1330564 CPUtime=54.73 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 41268 0 0 0 5408 65 0 0 20 0 20 0 20371130 19566772224 332641 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4777044 332641 5817 1 0 556823 0
[pid=202610/tid=202620] ppid=202604 vsize=19108176 memory=1330564 CPUtime=49.7 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) R 202604 202610 202537 0 -1 4194368 13657 0 0 0 4917 53 0 0 20 0 20 0 20371131 19566772224 332641 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20371175 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=19108176 memory=1330556 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371137 19566772224 332641 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=19108176 memory=32824 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 20371138 19566772224 332641 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0

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

/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 1313 0 0 0 0 0 0 0 20 0 20 0 20371138 19566772224 546047 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202679] ppid=202604 vsize=19108176 memory=2184188 CPUtime=0 cores=4,6
/proc/202610/task/202679/stat : 202679 (Timer-0) S 202604 202610 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371211 19566772224 546047 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 1475.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184188 KiB

[startup+1542.3 s]
/proc/loadavg: 4.22 4.25 3.93 6/324 203152
/proc/meminfo: memFree=101040508/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=19108176 memory=2184212 CPUtime=1535.2 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 139600 0 0 0 152926 594 0 0 20 0 20 0 20371130 19566772224 546053 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4777044 546053 5863 1 0 560954 0
[pid=202610/tid=202620] ppid=202604 vsize=19108176 memory=0 CPUtime=1512.07 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) R 202604 202610 202537 0 -1 4194368 49703 0 0 0 150717 490 0 0 20 0 20 0 20371131 19566772224 546053 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20372622 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=19108176 memory=2184212 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371137 19566772224 546053 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=19108176 memory=2184212 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 1375 0 0 0 0 0 0 0 20 0 20 0 20371138 19566772224 546053 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202679] ppid=202604 vsize=19108176 memory=2184212 CPUtime=0 cores=4,6
/proc/202610/task/202679/stat : 202679 (Timer-0) S 202604 202610 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371211 19566772224 546053 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 1535.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184212 KiB

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

# cumulated CPU time of all completed processes:  user=1570.97 s, system=6.08956 s

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

[startup+1561.6 s]
/proc/loadavg: 4.30 4.27 3.94 6/324 203155
/proc/meminfo: memFree=100878332/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=19108176 memory=2184212 CPUtime=1554.43 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 140613 0 0 0 154843 600 0 0 20 0 20 0 20371130 19566772224 546053 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4777044 546053 5863 1 0 560954 0
[pid=202610/tid=202620] ppid=202604 vsize=19108176 memory=75588 CPUtime=1531.13 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) R 202604 202610 202537 0 -1 4194368 49833 0 0 0 152618 495 0 0 20 0 20 0 20371131 19566772224 546053 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20372626 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=19108176 memory=11880 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371137 19566772224 546053 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=19108176 memory=5500 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 1438 0 0 0 0 0 0 0 20 0 20 0 20371138 19566772224 546053 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202679] ppid=202604 vsize=19108176 memory=11412 CPUtime=0 cores=4,6
/proc/202610/task/202679/stat : 202679 (Timer-0) S 202604 202610 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371211 19566772224 546053 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 1554.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184212 KiB

[startup+1574.4 s]
/proc/loadavg: 4.32 4.27 3.95 6/324 203158
/proc/meminfo: memFree=100767500/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=19108176 memory=2184260 CPUtime=1567.28 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 140813 0 0 0 156125 603 0 0 20 0 20 0 20371130 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4777044 546065 5863 1 0 560954 0
[pid=202610/tid=202620] ppid=202604 vsize=19108176 memory=2184260 CPUtime=1543.82 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) R 202604 202610 202537 0 -1 4194368 49928 0 0 0 153884 498 0 0 20 0 20 0 20371131 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20372626 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=19108176 memory=2184260 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371137 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=19108176 memory=4936 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 1438 0 0 0 0 0 0 0 20 0 20 0 20371138 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202679] ppid=202604 vsize=19108176 memory=4964 CPUtime=0 cores=4,6
/proc/202610/task/202679/stat : 202679 (Timer-0) S 202604 202610 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371211 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 1567.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184260 KiB

[startup+1580.8 s]
/proc/loadavg: 4.27 4.27 3.95 6/325 203161
/proc/meminfo: memFree=100719684/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=19108176 memory=2184260 CPUtime=1573.61 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 141050 0 0 0 156756 605 0 0 20 0 20 0 20371130 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4777044 546065 5863 1 0 560954 0
[pid=202610/tid=202620] ppid=202604 vsize=19108176 memory=-9044459746194447340 CPUtime=1550.14 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) R 202604 202610 202537 0 -1 4194368 50165 0 0 0 154515 499 0 0 20 0 20 0 20371131 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20372632 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=19108176 memory=11412 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371137 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=19108176 memory=75588 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 1438 0 0 0 0 0 0 0 20 0 20 0 20371138 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202679] ppid=202604 vsize=19108176 memory=2184212 CPUtime=0 cores=4,6
/proc/202610/task/202679/stat : 202679 (Timer-0) S 202604 202610 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371211 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 1573.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184260 KiB

[startup+1582.4 s]
/proc/loadavg: 4.27 4.27 3.95 6/325 203161
/proc/meminfo: memFree=100702060/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=19108176 memory=2184260 CPUtime=1575.2 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 141103 0 0 0 156915 605 0 0 20 0 20 0 20371130 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4777044 546065 5863 1 0 560954 0
[pid=202610/tid=202620] ppid=202604 vsize=19108176 memory=11880 CPUtime=1551.74 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) R 202604 202610 202537 0 -1 4194368 50218 0 0 0 154674 500 0 0 20 0 20 0 20371131 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20372632 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=19108176 memory=-8889371647780037308 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371137 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=19108176 memory=75588 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 1438 0 0 0 0 0 0 0 20 0 20 0 20371138 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202679] ppid=202604 vsize=19108176 memory=11880 CPUtime=0 cores=4,6
/proc/202610/task/202679/stat : 202679 (Timer-0) S 202604 202610 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371211 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 1575.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184260 KiB

[startup+1583.2 s]
/proc/loadavg: 4.27 4.27 3.95 6/325 203161
/proc/meminfo: memFree=100693440/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=19108176 memory=2184260 CPUtime=1576.01 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 141124 0 0 0 156995 606 0 0 20 0 20 0 20371130 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4777044 546065 5863 1 0 560954 0
[pid=202610/tid=202620] ppid=202604 vsize=19108176 memory=2296 CPUtime=1552.53 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) R 202604 202610 202537 0 -1 4194368 50239 0 0 0 154753 500 0 0 20 0 20 0 20371131 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20372632 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=19108176 memory=24172 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371137 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=19108176 memory=1980 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 1438 0 0 0 0 0 0 0 20 0 20 0 20371138 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202679] ppid=202604 vsize=19108176 memory=32824 CPUtime=0 cores=4,6
/proc/202610/task/202679/stat : 202679 (Timer-0) S 202604 202610 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371211 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 1576.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184260 KiB

[startup+1584 s]*
/proc/loadavg: 4.27 4.27 3.95 6/325 203161
/proc/meminfo: memFree=100684484/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=19108176 memory=2184260 CPUtime=1576.82 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 141565 0 0 0 157076 606 0 0 20 0 20 0 20371130 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4777044 546065 5863 1 0 560954 0
[pid=202610/tid=202620] ppid=202604 vsize=19108176 memory=-8889371647780037308 CPUtime=1553.35 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) R 202604 202610 202537 0 -1 4194368 50680 0 0 0 154834 501 0 0 20 0 20 0 20371131 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20372632 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=19108176 memory=4748 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371137 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=19108176 memory=7792 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 1438 0 0 0 0 0 0 0 20 0 20 0 20371138 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202679] ppid=202604 vsize=19108176 memory=19632 CPUtime=0 cores=4,6
/proc/202610/task/202679/stat : 202679 (Timer-0) S 202604 202610 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371211 19566772224 546065 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 1576.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184260 KiB

[startup+1584.2 s]
/proc/loadavg: 4.27 4.27 3.95 6/325 203161
/proc/meminfo: memFree=100684484/131655788 swapFree=131070192/131071996
[pid=202610] ppid=202604 vsize=19241304 memory=2185028 CPUtime=1576.97 cores=4,6
/proc/202610/stat : 202610 (java) S 202604 202610 202537 0 -1 1077936128 143837 0 0 0 157090 607 0 0 20 0 20 0 20371130 19703095296 546257 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
/proc/202610/statm: 4810326 546257 5862 1 0 561626 0
[pid=202610/tid=202620] ppid=202604 vsize=19241304 memory=2185180 CPUtime=1553.37 cores=4,6
/proc/202610/task/202620/stat : 202620 (java) S 202604 202610 202537 0 -1 1077936192 52051 0 0 0 154836 501 0 0 20 0 20 0 20371131 19703095296 546257 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 20372641 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202663] ppid=202604 vsize=19241304 memory=3382876 CPUtime=0 cores=4,6
/proc/202610/task/202663/stat : 202663 (Finalizer) S 202604 202610 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371137 19703095296 546257 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
[pid=202610/tid=202677] ppid=202604 vsize=19241304 memory=2676 CPUtime=0 cores=4,6
/proc/202610/task/202677/stat : 202677 (Common-Cleaner) S 202604 202610 202537 0 -1 1077936192 1438 0 0 0 0 0 0 0 20 0 20 0 20371138 19703095296 546257 134679101440 94144390512640 94144390516336 140727036583840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144390524152 94144390524944 94144419979264 140727036588971 140727036589153 140727036589153 140727036596168 0
Current children cumulated CPU time: 1576.97 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2185028 KiB

Child status: 20

Real time (s): 1584.27
CPU time (s): 1577.06
CPU user time (s): 1570.97
CPU system time (s): 6.08956
CPU usage (%): 99.5445
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2185028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1570.97
system time used= 6.08956
maximum resident set size= 2186168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144453
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6407064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51983
involuntary context switches= 3540


# summary of solver processes directly reported to runsolver:
#   pid: 202610
#   total CPU time (s): 1577.06
#   total CPU user time (s): 1570.97
#   total CPU system time (s): 6.08956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.38086 second user time and 16.4964 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-24 19:57:03
IDJOB=4454152
IDBENCH=176067
IDSOLVER=3079
FILE ID=nodeC002/4454152-1721843823
RUNJOBID= nodeC002-1721843823-202548
SLURM_JOB_ID= 7891590
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/diag_spec/normalized-11diag_spec_less.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454152-1721843823/watcher-4454152-1721843823 -o /tmp/evaluation-result-4454152-1721843823/solver-4454152-1721843823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721843823-202548 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4454152-1721843823 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4454152-1721843823.opb

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

MD5SUM BENCH= 835882185b05cb50ca6c38d629f5e937
RANDOM SEED=1329748524

nodeC002.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		: 1197.163
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.43
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		: 1197.160
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.41
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.168
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.43
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.186
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.41
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		: 1197.162
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.43
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		: 1197.166
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.41
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.167
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.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.160
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.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126814020 kB
MemAvailable:   129936152 kB
Buffers:          281304 kB
Cached:          3653932 kB
SwapCached:           72 kB
Active:          2248932 kB
Inactive:        2005112 kB
Active(anon):       1420 kB
Inactive(anon):   371276 kB
Active(file):    2247512 kB
Inactive(file):  1633836 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070192 kB
Dirty:              3220 kB
Writeback:             0 kB
AnonPages:        317816 kB
Mapped:           103020 kB
Shmem:             53844 kB
KReclaimable:     161968 kB
Slab:             273868 kB
SReclaimable:     161968 kB
SUnreclaim:       111900 kB
KernelStack:        3732 kB
PageTables:         9100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     746868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 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:      316232 kB
DirectMap2M:    36288512 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC002 at 2024-07-24 20:23:27