Trace number 4450252

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-07? (TO) 3600.31 3616.48

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l100-r099-n1.cnf-extracted.pb.metafix.opb
MD5SUM4aca60576f41ce0be442f97c9c36c82a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5421
Total number of constraints12679
Number of constraints which are clauses6001
Number of constraints which are cardinality constraints (but not clauses)6678
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.14/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.13	c See www.sat4j.org for details.
0.14/0.14	c version CUSTOM.v20240707
0.14/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.17	c java.vm.version	22.0.1+8-16
0.14/0.17	c java.vm.vendor	Oracle Corporation
0.14/0.17	c sun.arch.data.model	64
0.14/0.17	c java.version		22.0.1
0.14/0.17	c os.name		Linux
0.14/0.17	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.17	c os.arch		amd64
0.14/0.18	c Free memory 		2113181440
0.14/0.18	c Max memory 		16282288128
0.14/0.18	c Total memory 		2122317824
0.14/0.18	c Number of processors 	2
0.30/0.25	--- Begin Solver configuration ---
0.30/0.25	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.30/0.25	Learn all clauses as in MiniSAT
0.30/0.25	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.25	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.25	Expensive reason simplification
0.30/0.25	Glucose 2.1 dynamic restart strategy
0.30/0.25	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.30/0.25	timeout=2147483s
0.30/0.25	DB Simplification allowed=false
0.30/0.25	Listener: none
0.30/0.25	--- End Solver configuration ---
0.30/0.26	c Pseudo Boolean Optimization by upper bound
0.30/0.26	c --- Begin Solver configuration ---
0.30/0.26	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.30/0.26	c Learn all clauses as in MiniSAT
0.30/0.26	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.26	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.26	c Expensive reason simplification
0.30/0.26	c Glucose 2.1 dynamic restart strategy
0.30/0.26	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.30/0.26	c timeout=2147483s
0.30/0.26	c DB Simplification allowed=false
0.30/0.26	c Listener: none
0.30/0.26	c --- End Solver configuration ---
0.30/0.26	c solving HOME/instance-4450252-1721827612.opb
0.30/0.26	c reading problem ... 
0.38/0.33	c using VERIPB proof format
0.38/0.33	c  no objective function found
1.03/0.76	c ... done. Wall clock time 0.503s.
1.03/0.77	c declared #vars     5421
1.03/0.77	c #constraints  12679
1.03/0.77	c constraints type 
1.03/0.77	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4194
1.03/0.77	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 6678
1.03/0.77	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1807
1.03/0.77	c 12679 constraints processed.
4.88/2.72	c cleaning 2495 clauses out of 5000 with flag 346555/5000
6.95/4.12	c cleaning 4233 clauses out of 8508 with flag 654352/11003
9.24/6.17	c cleaning 5629 clauses out of 11273 with flag 800425/18001
11.62/8.51	c cleaning 6810 clauses out of 13646 with flag 946071/26003
14.08/10.53	c cleaning 7907 clauses out of 15833 with flag 1165654/35000
16.30/12.78	c cleaning 8956 clauses out of 17926 with flag 1335720/45000
19.22/15.66	c cleaning 9976 clauses out of 19972 with flag 1521286/56002
22.77/18.96	c cleaning 10990 clauses out of 21995 with flag 1724200/68001
26.61/22.71	c cleaning 11992 clauses out of 24004 with flag 1955481/81000
30.85/26.96	c cleaning 12995 clauses out of 26012 with flag 2217809/95000
35.52/31.50	c cleaning 14000 clauses out of 28018 with flag 2502957/110001
40.37/36.45	c cleaning 15000 clauses out of 30019 with flag 2778090/126002
46.19/42.10	c cleaning 16001 clauses out of 32018 with flag 3084779/143001
52.55/48.29	c cleaning 17003 clauses out of 34018 with flag 3411388/161002
58.89/54.52	c cleaning 18003 clauses out of 36013 with flag 3771110/180000
66.24/61.85	c cleaning 19001 clauses out of 38010 with flag 4153445/200000
75.74/71.56	c cleaning 19996 clauses out of 40010 with flag 4565792/221001
84.51/80.32	c cleaning 21001 clauses out of 42013 with flag 4972168/243000
90.27/86.07	c cleaning 22004 clauses out of 44012 with flag 5299724/266000
96.11/91.99	c cleaning 23000 clauses out of 46008 with flag 5643079/290000
103.42/99.34	c cleaning 23990 clauses out of 48008 with flag 5999440/315000
109.50/105.48	c cleaning 24998 clauses out of 50019 with flag 6418100/341001
116.88/112.70	c cleaning 26004 clauses out of 52022 with flag 6871314/368002
124.66/120.55	c cleaning 26994 clauses out of 54016 with flag 7320083/396000
132.80/128.79	c cleaning 28008 clauses out of 56023 with flag 7806010/425001
141.17/137.05	c cleaning 29005 clauses out of 58015 with flag 8330642/455001
149.74/145.65	c cleaning 30005 clauses out of 60010 with flag 8875733/486001
158.23/154.19	c cleaning 30999 clauses out of 62006 with flag 9433352/518002
167.41/163.35	c cleaning 32000 clauses out of 64008 with flag 10005214/551003
176.30/172.27	c cleaning 32996 clauses out of 66005 with flag 10576888/585000
185.06/180.93	c cleaning 33983 clauses out of 68009 with flag 11111585/620000
194.83/190.70	c cleaning 34995 clauses out of 70027 with flag 11697229/656001
206.21/202.14	c cleaning 36004 clauses out of 72033 with flag 12290722/693002
217.58/213.55	c cleaning 37003 clauses out of 74027 with flag 13021939/731000
228.62/224.67	c cleaning 37997 clauses out of 76026 with flag 13750502/770002
241.80/237.81	c cleaning 39009 clauses out of 78027 with flag 14511260/810000
253.63/249.65	c cleaning 40005 clauses out of 80018 with flag 15255789/851000
269.00/265.08	c cleaning 40995 clauses out of 82013 with flag 16033689/893000
285.13/281.29	c cleaning 42000 clauses out of 84019 with flag 16825231/936001
302.90/299.10	c cleaning 43001 clauses out of 86020 with flag 17702174/980002
318.13/314.36	c cleaning 44009 clauses out of 88023 with flag 18589686/1025006
333.19/329.42	c cleaning 44985 clauses out of 90011 with flag 19456765/1071003
348.93/345.12	c cleaning 46001 clauses out of 92024 with flag 20374640/1118001
366.07/362.35	c cleaning 47009 clauses out of 94023 with flag 21289348/1166001
382.88/379.21	c cleaning 48004 clauses out of 96014 with flag 22134922/1215001
402.42/398.84	c cleaning 48998 clauses out of 98009 with flag 23099415/1265000
421.27/417.75	c cleaning 49992 clauses out of 100011 with flag 24017447/1316000
442.00/438.55	c cleaning 51000 clauses out of 102019 with flag 24974108/1368000
465.08/461.68	c cleaning 52003 clauses out of 104020 with flag 25996322/1421001
485.93/482.53	c cleaning 52994 clauses out of 106020 with flag 26987193/1475004
509.44/507.32	c cleaning 54003 clauses out of 108023 with flag 28040313/1530001
532.77/530.74	c cleaning 55003 clauses out of 110020 with flag 29173453/1586001
555.62/553.68	c cleaning 56002 clauses out of 112016 with flag 30244668/1643000
580.52/578.57	c cleaning 57002 clauses out of 114014 with flag 31394496/1701000
605.44/603.56	c cleaning 57992 clauses out of 116012 with flag 32535151/1760000
629.93/628.14	c cleaning 58991 clauses out of 118021 with flag 33617268/1820001
656.84/655.14	c cleaning 60009 clauses out of 120029 with flag 34697902/1881000
683.95/682.28	c cleaning 60991 clauses out of 122020 with flag 35814454/1943000
710.66/709.09	c cleaning 62002 clauses out of 124030 with flag 37035838/2006001
745.28/743.80	c cleaning 63009 clauses out of 126028 with flag 38295973/2070001
776.41/775.05	c cleaning 63995 clauses out of 128018 with flag 39547902/2135000
806.44/805.07	c cleaning 65005 clauses out of 130024 with flag 40843029/2201001
838.31/839.09	c cleaning 66005 clauses out of 132019 with flag 42120387/2268001
874.09/875.27	c cleaning 67006 clauses out of 134013 with flag 43460346/2336000
908.84/910.30	c cleaning 67994 clauses out of 136007 with flag 44889871/2405000
946.48/948.28	c cleaning 69001 clauses out of 138013 with flag 46340717/2475000
988.20/990.11	c cleaning 69998 clauses out of 140014 with flag 47793304/2546002
1026.28/1028.21	c cleaning 71001 clauses out of 142015 with flag 49143271/2618001
1072.66/1074.78	c cleaning 71986 clauses out of 144013 with flag 50589442/2691000
1106.93/1109.19	c cleaning 73008 clauses out of 146028 with flag 51972473/2765001
1134.86/1137.25	c cleaning 73991 clauses out of 148023 with flag 53388932/2840004
1170.10/1172.59	c cleaning 75000 clauses out of 150028 with flag 54775099/2916000
1203.45/1206.13	c cleaning 75995 clauses out of 152029 with flag 56305735/2993001
1245.38/1248.36	c cleaning 76998 clauses out of 154036 with flag 57876144/3071003
1293.46/1296.77	c cleaning 78011 clauses out of 156036 with flag 59497268/3150001
1342.17/1345.71	c cleaning 79000 clauses out of 158025 with flag 61122216/3230001
1389.59/1393.19	c cleaning 80005 clauses out of 160025 with flag 62708098/3311001
1442.32/1446.07	c cleaning 81006 clauses out of 162020 with flag 64417591/3393001
1496.47/1500.33	c cleaning 82001 clauses out of 164014 with flag 66090069/3476001
1549.99/1553.98	c cleaning 83004 clauses out of 166014 with flag 67846204/3560002
1605.63/1609.75	c cleaning 83996 clauses out of 168009 with flag 69618299/3645001
1662.99/1667.20	c cleaning 84994 clauses out of 170012 with flag 71401054/3731000
1722.81/1727.18	c cleaning 86000 clauses out of 172020 with flag 73148055/3818002
1784.13/1788.60	c cleaning 87004 clauses out of 174019 with flag 75029832/3906001
1851.47/1856.13	c cleaning 88004 clauses out of 176015 with flag 76927592/3995001
1918.79/1923.81	c cleaning 88989 clauses out of 178012 with flag 78745439/4085002
1992.05/1997.42	c cleaning 90003 clauses out of 180023 with flag 80667754/4176002
2051.74/2057.18	c cleaning 91001 clauses out of 182019 with flag 82497372/4268001
2122.08/2127.60	c cleaning 92000 clauses out of 184017 with flag 84417821/4361000
2194.84/2200.47	c cleaning 92998 clauses out of 186019 with flag 86390171/4455002
2272.56/2278.37	c cleaning 94004 clauses out of 188019 with flag 88346116/4550000
2349.50/2355.50	c cleaning 94992 clauses out of 190016 with flag 90327631/4646001
2428.04/2434.14	c cleaning 96005 clauses out of 192023 with flag 92356269/4743000
2505.09/2511.44	c cleaning 97006 clauses out of 194019 with flag 94392071/4841001
2588.56/2596.71	c cleaning 98007 clauses out of 196015 with flag 96559438/4940003
2675.13/2683.77	c cleaning 98997 clauses out of 198006 with flag 98759182/5040001
2763.58/2772.58	c cleaning 100001 clauses out of 200008 with flag 100896090/5141000
2848.26/2857.40	c cleaning 100991 clauses out of 202008 with flag 102889702/5243001
2936.61/2945.95	c cleaning 101998 clauses out of 204016 with flag 105068549/5346000
3021.25/3030.92	c cleaning 103003 clauses out of 206019 with flag 107110794/5450001
3114.40/3127.28	c cleaning 103997 clauses out of 208018 with flag 109289452/5555003
3208.75/3221.79	c cleaning 105006 clauses out of 210018 with flag 111490728/5661000
3298.24/3311.67	c cleaning 106004 clauses out of 212012 with flag 113676927/5768000
3407.17/3420.91	c cleaning 106981 clauses out of 214010 with flag 115897240/5876002
3492.97/3508.98	c cleaning 108009 clauses out of 216030 with flag 118098735/5985003
3587.50/3603.70	c cleaning 109003 clauses out of 218019 with flag 120350924/6095001
3600.07/3616.32	c timeout
3600.07/3616.32	c starts		: 12215
3600.07/3616.36	c conflicts		: 6114665
3600.07/3616.37	c decisions		: 8300450
3600.07/3616.37	c propagations		: 2270457172
3600.07/3616.37	c inspects		: 32993931151
3600.07/3616.37	c shortcuts		: 0
3600.07/3616.37	c learnt literals	: 0
3600.07/3616.37	c learnt binary clauses	: 0
3600.07/3616.37	c learnt ternary clauses	: 4236
3600.07/3616.37	c learnt constraints	: 6114665
3600.07/3616.37	c ignored constraints	: 0
3600.07/3616.37	c root simplifications	: 0
3600.07/3616.37	c removed literals (reason simplification)	: 558840430
3600.07/3616.37	c reason swapping (by a shorter reason)	: 0
3600.07/3616.37	c Calls to reduceDB	: 106
3600.07/3616.37	c Number of update (reduction) of LBD	: 2560532
3600.07/3616.37	c Imported unit clauses	: 0
3600.07/3616.37	c No decision after first conflict	: false
3600.07/3616.37	c number of reductions to clauses (during analyze)	: 0
3600.07/3616.37	c number of learned constraints concerned by reduction	: 0
3600.07/3616.37	c number of learning phase by resolution	: 0
3600.07/3616.37	c number of learning phase by cutting planes	: 0
3600.07/3616.37	c number of rounding to 1 operations	: 0
3600.07/3616.37	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3616.37	c number of reductions of the coefficients by power 2 	: 0
3600.07/3616.37	c number of right shift for reduction by power 2 	: 0
3600.07/3616.37	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3616.37	c number of ending skipping 	: 0
3600.07/3616.37	c number of internal skipping 	: 0
3600.07/3616.37	c number of derivation steps 	: 0
3600.07/3616.37	c number of skipped derivation steps 	: 0
3600.07/3616.37	c number of remaining unassigned 	: 0
3600.07/3616.37	c number of remaining assigned 	: 0
3600.07/3616.37	c number of falsified literals weakened from reason	: 0
3600.07/3616.37	c number of falsified literals weakened from conflict	: 0
3600.07/3616.37	c time for arithmetic operations	: 0
3600.07/3616.37	c minimum degree of deleted constraints	: null
3600.07/3616.37	c maximum degree of deleted constraints	: null
3600.07/3616.37	c number of deleted constraints	: 0
3600.07/3616.39	c speed (assignments/second)	: 627961.9028337505
3600.07/3616.39	c non guided choices	: 55773
3600.22/3616.44	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 128680
3600.22/3616.44	s UNKNOWN
3600.22/3616.44	c Total wall clock time (in seconds): 3616.183

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=176824, runsolver pid=176821
Current StackSize limit: 8192 KiB


[startup+0.101573 s]*
/proc/loadavg: 4.22 4.15 4.16 7/322 176842
/proc/meminfo: memFree=117463072/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=18975048 memory=57552 CPUtime=0.14 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 6409 0 0 0 11 3 0 0 20 0 18 0 18750458 19430449152 14388 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4743762 14388 5644 1 0 550833 0
[pid=176824/tid=176826] ppid=176821 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) R 176821 176824 172041 0 -1 4194368 5360 0 0 0 6 2 0 0 20 0 18 0 18750459 19430449152 14388 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18750463 19430449152 14388 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=18975048 memory=3833179250744360992 CPUtime=0 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18750464 19430449152 14388 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57552 KiB

[startup+0.21199 s]*
/proc/loadavg: 4.22 4.15 4.16 6/322 176842
/proc/meminfo: memFree=117437948/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=18975048 memory=66700 CPUtime=0.3 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 7119 0 0 0 27 3 0 0 20 0 18 0 18750458 19430449152 16675 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4743762 16675 5651 1 0 551445 0
[pid=176824/tid=176826] ppid=176821 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) R 176821 176824 172041 0 -1 1077936192 5693 0 0 0 15 2 0 0 20 0 18 0 18750459 19430449152 16675 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=18975048 memory=1276314 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18750463 19430449152 16675 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=18975048 memory=15825495069575043 CPUtime=0 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18750464 19430449152 16675 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66700 KiB

[startup+0.310422 s]*
/proc/loadavg: 4.22 4.15 4.16 4/322 176842
/proc/meminfo: memFree=117421496/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=18975048 memory=67644 CPUtime=0.38 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 7288 0 0 0 35 3 0 0 20 0 18 0 18750458 19430449152 16911 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4743762 16911 5732 1 0 551565 0
[pid=176824/tid=176826] ppid=176821 vsize=18975048 memory=-9104979263619900092 CPUtime=0.21 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) D 176821 176824 172041 0 -1 1077936192 5802 0 0 0 19 2 0 0 20 0 18 0 18750459 19430449152 16911 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18750463 19430449152 16911 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18750464 19430449152 16911 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67644 KiB

[startup+0.700333 s]
/proc/loadavg: 4.22 4.15 4.16 7/322 176842
/proc/meminfo: memFree=117390404/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=19041612 memory=165648 CPUtime=1.03 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 9160 0 0 0 97 6 0 0 20 0 19 0 18750458 19498610688 41412 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4760403 41412 5836 1 0 552964 0
[pid=176824/tid=176826] ppid=176821 vsize=19041612 memory=5456 CPUtime=0.46 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) S 176821 176824 172041 0 -1 1077936192 5915 0 0 0 42 4 0 0 20 0 19 0 18750459 19498610688 41412 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=19041612 memory=12620 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18750463 19498610688 41412 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18750464 19498610688 41412 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 165648 KiB

[startup+1.50024 s]
/proc/loadavg: 4.22 4.15 4.16 7/324 176844
/proc/meminfo: memFree=117223884/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=19108176 memory=192060 CPUtime=2.61 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 18084 0 0 0 252 9 0 0 20 0 20 0 18750458 19566772224 48015 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4777044 48015 5852 1 0 557688 0
[pid=176824/tid=176826] ppid=176821 vsize=19108176 memory=12620 CPUtime=1.17 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) R 176821 176824 172041 0 -1 4194368 6018 0 0 0 113 4 0 0 20 0 20 0 18750459 19566772224 48015 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18750463 19566772224 48015 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18750464 19566772224 48015 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176844] ppid=176821 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/176824/task/176844/stat : 176844 (Timer-0) S 176821 176824 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18750536 19566772224 48015 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192060 KiB

[startup+3.10656 s]
/proc/loadavg: 4.28 4.16 4.17 6/324 176846
/proc/meminfo: memFree=116987420/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=19108176 memory=215800 CPUtime=5.59 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 23977 0 0 0 549 10 0 0 20 0 20 0 18750458 19566772224 53950 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4777044 53950 5868 1 0 558091 0
[pid=176824/tid=176826] ppid=176821 vsize=19108176 memory=0 CPUtime=2.75 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) R 176821 176824 172041 0 -1 4194368 7533 0 0 0 270 5 0 0 20 0 20 0 18750459 19566772224 53950 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=19108176 memory=11536 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18750463 19566772224 53950 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18750464 19566772224 53950 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176844] ppid=176821 vsize=19108176 memory=12620 CPUtime=0 cores=1,3
/proc/176824/task/176844/stat : 176844 (Timer-0) S 176821 176824 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18750536 19566772224 53950 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
Current children cumulated CPU time: 5.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 215800 KiB

[startup+6.30857 s]
/proc/loadavg: 4.28 4.16 4.17 5/324 176846
/proc/meminfo: memFree=116503344/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=19108176 memory=313460 CPUtime=9.49 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 25100 0 0 0 936 13 0 0 20 0 20 0 18750458 19566772224 78365 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4777044 78365 5884 1 0 558109 0
[pid=176824/tid=176826] ppid=176821 vsize=19108176 memory=0 CPUtime=5.91 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) R 176821 176824 172041 0 -1 4194368 7668 0 0 0 584 7 0 0 20 0 20 0 18750459 19566772224 78365 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=19108176 memory=12620 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18750463 19566772224 78365 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=19108176 memory=11536 CPUtime=0 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 18750464 19566772224 78365 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176844] ppid=176821 vsize=19108176 memory=59920 CPUtime=0 cores=1,3
/proc/176824/task/176844/stat : 176844 (Timer-0) S 176821 176824 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18750536 19566772224 78365 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
Current children cumulated CPU time: 9.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 313460 KiB

[startup+12.7004 s]
/proc/loadavg: 4.34 4.18 4.17 5/325 176848
/proc/meminfo: memFree=115943892/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=19108176 memory=856456 CPUtime=16.3 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 31051 0 0 0 1605 25 0 0 20 0 20 0 18750458 19566772224 214114 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4777044 214114 5900 1 0 558109 0
[pid=176824/tid=176826] ppid=176821 vsize=19108176 memory=174132 CPUtime=12.23 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) R 176821 176824 172041 0 -1 4194368 8787 0 0 0 1205 18 0 0 20 0 20 0 18750459 19566772224 214114 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=19108176 memory=696688 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18750463 19566772224 214114 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=19108176 memory=223992 CPUtime=0 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 18750464 19566772224 214114 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176844] ppid=176821 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/176824/task/176844/stat : 176844 (Timer-0) S 176821 176824 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18750536 19566772224 214114 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
Current children cumulated CPU time: 16.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 856456 KiB

[startup+25.5005 s]
/proc/loadavg: 4.26 4.17 4.17 5/325 176850
/proc/meminfo: memFree=114213812/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=19108176 memory=1838648 CPUtime=29.41 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 36496 0 0 0 2889 52 0 0 20 0 20 0 18750458 19566772224 459662 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4777044 459662 5915 1 0 1086591 0
[pid=176824/tid=176826] ppid=176821 vsize=19108176 memory=696688 CPUtime=24.69 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) R 176821 176824 172041 0 -1 4194368 10129 0 0 0 2429 40 0 0 20 0 20 0 18750459 19566772224 459662 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=19108176 memory=1137152 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18750463 19566772224 459662 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 18750464 19566772224 459662 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176844] ppid=176821 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=1,3
/proc/176824/task/176844/stat : 176844 (Timer-0) S 176821 176824 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18750536 19566772224 459662 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
Current children cumulated CPU time: 29.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1838648 KiB

[startup+51.1134 s]
/proc/loadavg: 4.17 4.16 4.16 5/304 176871
/proc/meminfo: memFree=118712072/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=19108176 memory=2664376 CPUtime=55.46 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 42451 0 0 0 5466 80 0 0 20 0 20 0 18750458 19566772224 666094 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4777044 666094 5915 1 0 1086593 0
[pid=176824/tid=176826] ppid=176821 vsize=19108176 memory=11536 CPUtime=49.65 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) R 176821 176824 172041 0 -1 4194368 11468 0 0 0 4904 61 0 0 20 0 20 0 18750459 19566772224 666094 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=19108176 memory=2166552 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18750463 19566772224 666094 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=19108176 memory=2367256 CPUtime=0 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 18750464 19566772224 666094 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0

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

[startup+3282.3 s]
/proc/loadavg: 4.20 4.28 4.24 5/323 178784
/proc/meminfo: memFree=95555756/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=19108176 memory=4146888 CPUtime=3269.04 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 203816 0 0 0 326384 520 0 0 20 0 20 0 18750458 19566772224 1036722 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4777044 1036722 5915 1 0 1086616 0
[pid=176824/tid=176826] ppid=176821 vsize=19108176 memory=4146888 CPUtime=3253.79 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) R 176821 176824 172041 0 -1 4194368 118560 0 0 0 325031 348 0 0 20 0 20 0 18750459 19566772224 1036722 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1148 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=19108176 memory=4146888 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18750463 19566772224 1036722 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=19108176 memory=4146888 CPUtime=0 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 5227 0 0 0 0 0 0 0 20 0 20 0 18750464 19566772224 1036722 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176844] ppid=176821 vsize=19108176 memory=4146888 CPUtime=0 cores=1,3
/proc/176824/task/176844/stat : 176844 (Timer-0) S 176821 176824 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18750536 19566772224 1036722 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
Current children cumulated CPU time: 3269.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4146888 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.25 4.23 5/323 178795
/proc/meminfo: memFree=95275968/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=19108176 memory=4146888 CPUtime=3328.85 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 206900 0 0 0 332360 525 0 0 20 0 20 0 18750458 19566772224 1036722 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4777044 1036722 5915 1 0 1086616 0
[pid=176824/tid=176826] ppid=176821 vsize=19108176 memory=12620 CPUtime=3313.56 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) R 176821 176824 172041 0 -1 4194368 121063 0 0 0 331005 351 0 0 20 0 20 0 18750459 19566772224 1036722 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1152 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=19108176 memory=4146888 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18750463 19566772224 1036722 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=19108176 memory=25548 CPUtime=0 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 5343 0 0 0 0 0 0 0 20 0 20 0 18750464 19566772224 1036722 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176844] ppid=176821 vsize=19108176 memory=32428 CPUtime=0 cores=1,3
/proc/176824/task/176844/stat : 176844 (Timer-0) S 176821 176824 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18750536 19566772224 1036722 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
Current children cumulated CPU time: 3328.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4146888 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.23 4.22 6/323 178806
/proc/meminfo: memFree=95018412/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=19108176 memory=4146888 CPUtime=3388.62 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 209321 0 0 0 338332 530 0 0 20 0 20 0 18750458 19566772224 1036722 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4777044 1036722 5915 1 0 1086616 0
[pid=176824/tid=176826] ppid=176821 vsize=19108176 memory=4146888 CPUtime=3373.28 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) R 176821 176824 172041 0 -1 4194368 123063 0 0 0 336974 354 0 0 20 0 20 0 18750459 19566772224 1036722 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1161 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=19108176 memory=4146888 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18750463 19566772224 1036722 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=19108176 memory=4146888 CPUtime=0.01 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 5459 0 0 0 0 1 0 0 20 0 20 0 18750464 19566772224 1036722 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176844] ppid=176821 vsize=19108176 memory=11536 CPUtime=0 cores=1,3
/proc/176824/task/176844/stat : 176844 (Timer-0) S 176821 176824 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18750536 19566772224 1036722 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
Current children cumulated CPU time: 3388.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4146888 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.20 4.21 5/322 178816
/proc/meminfo: memFree=94788336/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=19108176 memory=4146896 CPUtime=3446.51 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 212881 0 0 0 344115 536 0 0 20 0 20 0 18750458 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4777044 1036724 5915 1 0 1086616 0
[pid=176824/tid=176826] ppid=176821 vsize=19108176 memory=4146888 CPUtime=3430.93 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) R 176821 176824 172041 0 -1 4194368 124919 0 0 0 342736 357 0 0 20 0 20 0 18750459 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1368 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=19108176 memory=4146888 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18750463 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=19108176 memory=4146896 CPUtime=0.01 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 5555 0 0 0 0 1 0 0 20 0 20 0 18750464 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176844] ppid=176821 vsize=19108176 memory=4146896 CPUtime=0 cores=1,3
/proc/176824/task/176844/stat : 176844 (Timer-0) S 176821 176824 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18750536 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
Current children cumulated CPU time: 3446.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4146896 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.21 4.21 5/323 179211
/proc/meminfo: memFree=94513852/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=19108176 memory=4146896 CPUtime=3506.33 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 214808 0 0 0 350091 542 0 0 20 0 20 0 18750458 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4777044 1036724 5915 1 0 1086616 0
[pid=176824/tid=176826] ppid=176821 vsize=19108176 memory=4146896 CPUtime=3490.72 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) R 176821 176824 172041 0 -1 4194368 126566 0 0 0 348711 361 0 0 20 0 20 0 18750459 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1369 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=19108176 memory=59920 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18750463 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=19108176 memory=4146888 CPUtime=0.02 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 5671 0 0 0 1 1 0 0 20 0 20 0 18750464 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176844] ppid=176821 vsize=19108176 memory=4146896 CPUtime=0 cores=1,3
/proc/176824/task/176844/stat : 176844 (Timer-0) S 176821 176824 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18750536 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
Current children cumulated CPU time: 3506.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4146896 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.18 4.20 5/301 179242
/proc/meminfo: memFree=97363924/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=19108176 memory=4146896 CPUtime=3566.16 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 217702 0 0 0 356066 550 0 0 20 0 20 0 18750458 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4777044 1036724 5915 1 0 1086616 0
[pid=176824/tid=176826] ppid=176821 vsize=19108176 memory=4146896 CPUtime=3550.49 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) R 176821 176824 172041 0 -1 4194368 128832 0 0 0 354683 366 0 0 20 0 20 0 18750459 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1373 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=19108176 memory=164 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18750463 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=19108176 memory=5456 CPUtime=0.02 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 5787 0 0 0 1 1 0 0 20 0 20 0 18750464 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176844] ppid=176821 vsize=19108176 memory=11536 CPUtime=0 cores=1,3
/proc/176824/task/176844/stat : 176844 (Timer-0) S 176821 176824 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18750536 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
Current children cumulated CPU time: 3566.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4146896 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3616.3 s]
/proc/loadavg: 3.43 4.02 4.14 3/272 179296
/proc/meminfo: memFree=113719696/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=19108176 memory=4146896 CPUtime=3600.07 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 219048 0 0 0 359454 553 0 0 20 0 20 0 18750458 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4777044 1036724 5915 1 0 1086616 0
[pid=176824/tid=176826] ppid=176821 vsize=19108176 memory=11536 CPUtime=3584.39 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) R 176821 176824 172041 0 -1 4194368 130070 0 0 0 358071 368 0 0 20 0 20 0 18750459 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1373 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=19108176 memory=11536 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18750463 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=19108176 memory=4146896 CPUtime=0.02 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 5883 0 0 0 1 1 0 0 20 0 20 0 18750464 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176844] ppid=176821 vsize=19108176 memory=-6881120604492561853 CPUtime=0 cores=1,3
/proc/176824/task/176844/stat : 176844 (Timer-0) S 176821 176824 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18750536 19566772224 1036724 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4146896 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.75 s, system=5.56029 s

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

[startup+3616.41 s]
/proc/loadavg: 3.43 4.02 4.14 3/272 179296
/proc/meminfo: memFree=113719696/131655788 swapFree=131056320/131071996
[pid=176824] ppid=176821 vsize=19307868 memory=4147852 CPUtime=3600.22 cores=1,3
/proc/176824/stat : 176824 (java) S 176821 176824 172041 0 -1 1077936128 222278 0 0 0 359468 554 0 0 20 0 21 0 18750458 19771256832 1036963 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
/proc/176824/statm: 4826967 1036963 5914 1 0 1087562 0
[pid=176824/tid=176826] ppid=176821 vsize=19307868 memory=-9104979263619900092 CPUtime=3584.41 cores=1,3
/proc/176824/task/176826/stat : 176826 (java) S 176821 176824 172041 0 -1 1077936192 130447 0 0 0 358073 368 0 0 20 0 21 0 18750459 19771256832 1036963 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1375 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176835] ppid=176821 vsize=19307868 memory=2180 CPUtime=0 cores=1,3
/proc/176824/task/176835/stat : 176835 (Finalizer) S 176821 176824 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18750463 19771256832 1036963 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
[pid=176824/tid=176842] ppid=176821 vsize=19307868 memory=25548 CPUtime=0.02 cores=1,3
/proc/176824/task/176842/stat : 176842 (Common-Cleaner) S 176821 176824 172041 0 -1 1077936192 5883 0 0 0 1 1 0 0 20 0 21 0 18750464 19771256832 1036963 134679101440 94338328285184 94338328288880 140722395933120 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94338328296696 94338328297488 94338330591232 140722395935659 140722395935841 140722395935841 140722395942856 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4147852 KiB

Child status: 143

Real time (s): 3616.48
CPU time (s): 3600.31
CPU user time (s): 3594.75
CPU system time (s): 5.56029
CPU usage (%): 99.553
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4147852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.75
system time used= 5.56029
maximum resident set size= 4148780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4031968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105165
involuntary context switches= 8746


# summary of solver processes directly reported to runsolver:
#   pid: 176824
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3594.75
#   total CPU system time (s): 5.56029

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5757 second user time and 35.0419 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-24 15:26:52
IDJOB=4450252
IDBENCH=160415
IDSOLVER=3079
FILE ID=nodeC006/4450252-1721827612
RUNJOBID= nodeC006-1721820325-172053
SLURM_JOB_ID= 7891453
Free space on /tmp= 723668 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l100-r099-n1.cnf-extracted.pb.metafix.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-4450252-1721827612/watcher-4450252-1721827612 -o /tmp/evaluation-result-4450252-1721827612/solver-4450252-1721827612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721820325-172053 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4450252-1721827612 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4450252-1721827612.opb

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

MD5SUM BENCH= 4aca60576f41ce0be442f97c9c36c82a
RANDOM SEED=1282150474

nodeC006.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		: 3658.819
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.06
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.104
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.40
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.112
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.06
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		: 1585.153
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.40
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		: 3655.747
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.06
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		: 3663.964
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.40
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.270
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.06
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.206
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.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        117513380 kB
MemAvailable:   122075136 kB
Buffers:          256232 kB
Cached:          4915504 kB
SwapCached:          240 kB
Active:          2041208 kB
Inactive:       11157104 kB
Active(anon):       1744 kB
Inactive(anon):  8070172 kB
Active(file):    2039464 kB
Inactive(file):  3086932 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056320 kB
Dirty:            206736 kB
Writeback:             0 kB
AnonPages:       8026144 kB
Mapped:           112460 kB
Shmem:             45244 kB
KReclaimable:     497268 kB
Slab:             613372 kB
SReclaimable:     497268 kB
SUnreclaim:       116104 kB
KernelStack:        4896 kB
PageTables:        26068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   14104752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7747584 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:      420680 kB
DirectMap2M:    57155584 kB
DirectMap1G:    78643200 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC006 at 2024-07-24 16:27:09