Trace number 4493237

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 VeriPB 2025-06-06? (TO) 3600.25 3553.03

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb
MD5SUM447851c4fd40c5c34c03bb94532f1e8d
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.916974
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2750
Total number of constraints74305
Number of constraints which are clauses74305
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint50
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 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.17	c See www.sat4j.org for details.
0.11/0.18	c version PB25.v20250606
0.11/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.19	c java.vm.version	22.0.1+8-16
0.11/0.19	c java.vm.vendor	Oracle Corporation
0.11/0.19	c sun.arch.data.model	64
0.11/0.19	c java.version		22.0.1
0.11/0.19	c os.name		Linux
0.11/0.19	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.19	c os.arch		amd64
0.11/0.20	c Free memory 		2104792832
0.11/0.20	c Max memory 		16282288128
0.11/0.20	c Total memory 		2113929216
0.26/0.21	c Number of processors 	2
0.26/0.28	c Pseudo Boolean Optimization by upper bound
0.26/0.28	c --- Begin Solver configuration ---
0.26/0.28	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.26/0.28	c Learn all clauses as in MiniSAT
0.26/0.28	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.26/0.28	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.26/0.28	c Expensive reason simplification
0.26/0.28	c Glucose 2.1 dynamic restart strategy
0.26/0.28	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.26/0.28	c timeout=2147483s
0.26/0.28	c DB Simplification allowed=false
0.26/0.28	c Listener: none
0.26/0.28	c --- End Solver configuration ---
0.26/0.28	c solving HOME/instance-4493237-1751152667.opb
0.26/0.28	c reading problem ... 
0.26/0.28	c using VERIPB proof format
0.26/0.28	c  no objective function found
1.36/0.86	c ... done. Wall clock time 0.573s.
1.36/0.86	c declared #vars     2750
1.36/0.86	c #constraints  74305
1.36/0.86	c constraints type 
1.36/0.86	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 74250
1.36/0.86	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 55
1.36/0.86	c 74305 constraints processed.
5.60/3.09	c cleaning 2501 clauses out of 5001 with flag 33375/5001
8.69/5.47	c cleaning 4248 clauses out of 8499 with flag 75779/11000
12.57/9.20	c cleaning 5625 clauses out of 11254 with flag 128038/18003
17.85/14.46	c cleaning 6813 clauses out of 13626 with flag 182997/26000
24.36/20.75	c cleaning 7905 clauses out of 15815 with flag 248914/35002
31.66/27.86	c cleaning 8947 clauses out of 17908 with flag 328909/45000
39.49/35.29	c cleaning 9976 clauses out of 19963 with flag 415033/56002
47.20/42.83	c cleaning 10979 clauses out of 21986 with flag 507872/68001
54.45/49.82	c cleaning 11984 clauses out of 24007 with flag 615990/81001
62.47/57.48	c cleaning 12997 clauses out of 26023 with flag 745340/95001
71.99/67.07	c cleaning 14001 clauses out of 28027 with flag 869735/110002
88.17/83.06	c cleaning 14991 clauses out of 30026 with flag 978839/126002
98.75/93.37	c cleaning 15992 clauses out of 32033 with flag 1128235/143000
107.76/102.42	c cleaning 17010 clauses out of 34043 with flag 1245198/161002
119.60/114.09	c cleaning 18000 clauses out of 36031 with flag 1378638/180000
133.07/127.35	c cleaning 19009 clauses out of 38031 with flag 1518636/200000
145.21/139.52	c cleaning 19992 clauses out of 40022 with flag 1650086/221000
160.69/154.71	c cleaning 20994 clauses out of 42033 with flag 1814341/243003
174.92/169.00	c cleaning 21998 clauses out of 44036 with flag 1983171/266000
185.78/179.55	c cleaning 22998 clauses out of 46038 with flag 2174528/290000
196.72/190.44	c cleaning 24007 clauses out of 48041 with flag 2345004/315001
217.19/210.63	c cleaning 24998 clauses out of 50035 with flag 2553465/341002
229.60/222.98	c cleaning 26003 clauses out of 52036 with flag 2738834/368001
243.97/237.09	c cleaning 26996 clauses out of 54033 with flag 2929211/396001
263.46/256.47	c cleaning 27998 clauses out of 56039 with flag 3147253/425003
279.47/272.26	c cleaning 29011 clauses out of 58038 with flag 3371963/455000
300.37/292.10	c cleaning 29996 clauses out of 60027 with flag 3630296/486000
312.21/303.64	c cleaning 30992 clauses out of 62031 with flag 3848634/518000
336.57/328.08	c cleaning 32007 clauses out of 64039 with flag 4092966/551000
382.56/373.31	c cleaning 33009 clauses out of 66034 with flag 4388847/585002
403.60/394.04	c cleaning 33999 clauses out of 68023 with flag 4643963/620000
419.38/409.62	c cleaning 35001 clauses out of 70024 with flag 4871094/656000
440.70/430.57	c cleaning 36000 clauses out of 72026 with flag 5109123/693003
454.37/444.18	c cleaning 37012 clauses out of 74024 with flag 5354352/731001
469.14/458.69	c cleaning 37980 clauses out of 76012 with flag 5605774/770001
489.90/479.29	c cleaning 38988 clauses out of 78032 with flag 5875256/810001
528.87/517.95	c cleaning 39995 clauses out of 80043 with flag 6157198/851000
562.61/550.33	c cleaning 41019 clauses out of 82048 with flag 6440241/893000
597.40/584.67	c cleaning 42006 clauses out of 84030 with flag 6756768/936001
616.56/603.77	c cleaning 43003 clauses out of 86024 with flag 7030823/980001
646.28/633.32	c cleaning 43974 clauses out of 88020 with flag 7305300/1025000
682.36/669.22	c cleaning 45006 clauses out of 90048 with flag 7639888/1071002
705.32/691.82	c cleaning 46005 clauses out of 92040 with flag 7964957/1118000
724.89/711.19	c cleaning 46996 clauses out of 94035 with flag 8230925/1166000
755.96/742.07	c cleaning 47989 clauses out of 96039 with flag 8631546/1215000
786.00/770.51	c cleaning 49003 clauses out of 98050 with flag 8924434/1265000
806.08/790.73	c cleaning 50012 clauses out of 100047 with flag 9253859/1316000
839.13/823.47	c cleaning 50995 clauses out of 102035 with flag 9575179/1368000
863.64/847.86	c cleaning 52003 clauses out of 104041 with flag 9896569/1421001
895.79/879.52	c cleaning 52995 clauses out of 106037 with flag 10249059/1475000
925.51/908.92	c cleaning 54018 clauses out of 108042 with flag 10614566/1530000
956.16/939.22	c cleaning 54986 clauses out of 110026 with flag 10915502/1586002
979.78/962.57	c cleaning 56001 clauses out of 112039 with flag 11266233/1643001
1009.12/991.89	c cleaning 57000 clauses out of 114037 with flag 11632781/1701000
1040.11/1022.41	c cleaning 58015 clauses out of 116037 with flag 11971602/1760000
1073.16/1055.57	c cleaning 58998 clauses out of 118022 with flag 12303681/1820000
1106.82/1088.54	c cleaning 59998 clauses out of 120024 with flag 12702103/1881000
1140.29/1121.63	c cleaning 60993 clauses out of 122027 with flag 13059268/1943001
1171.34/1152.49	c cleaning 62004 clauses out of 124034 with flag 13436937/2006001
1204.31/1185.05	c cleaning 62991 clauses out of 126029 with flag 13815999/2070000
1241.03/1221.27	c cleaning 64009 clauses out of 128038 with flag 14188444/2135000
1276.38/1256.14	c cleaning 65001 clauses out of 130029 with flag 14562088/2201000
1316.77/1296.20	c cleaning 66000 clauses out of 132028 with flag 14939378/2268000
1353.14/1332.05	c cleaning 66996 clauses out of 134029 with flag 15346704/2336001
1392.08/1370.67	c cleaning 68007 clauses out of 136032 with flag 15746232/2405000
1431.42/1408.16	c cleaning 68999 clauses out of 138025 with flag 16182249/2475000
1472.61/1448.58	c cleaning 69998 clauses out of 140026 with flag 16572900/2546000
1518.77/1494.41	c cleaning 71001 clauses out of 142028 with flag 16980873/2618000
1563.08/1538.21	c cleaning 72004 clauses out of 144030 with flag 17392946/2691003
1607.81/1582.68	c cleaning 73000 clauses out of 146025 with flag 17830607/2765002
1655.78/1630.20	c cleaning 74005 clauses out of 148025 with flag 18264415/2840002
1716.82/1690.42	c cleaning 74993 clauses out of 150021 with flag 18762374/2916003
1768.95/1741.97	c cleaning 75985 clauses out of 152026 with flag 19273037/2993001
1825.05/1797.73	c cleaning 77019 clauses out of 154041 with flag 19721440/3071001
1877.22/1848.16	c cleaning 77996 clauses out of 156024 with flag 20183694/3150003
1923.40/1893.93	c cleaning 79003 clauses out of 158027 with flag 20675087/3230002
1979.10/1949.51	c cleaning 80002 clauses out of 160025 with flag 21154937/3311003
2040.88/2011.00	c cleaning 80987 clauses out of 162022 with flag 21631821/3393002
2101.55/2071.10	c cleaning 82015 clauses out of 164033 with flag 22117083/3476000
2162.45/2131.58	c cleaning 83003 clauses out of 166019 with flag 22630797/3560001
2220.72/2187.59	c cleaning 84008 clauses out of 168015 with flag 23122463/3645000
2282.28/2248.60	c cleaning 84999 clauses out of 170007 with flag 23631459/3731000
2344.08/2309.92	c cleaning 85995 clauses out of 172012 with flag 24145323/3818004
2401.48/2366.73	c cleaning 86986 clauses out of 174013 with flag 24669403/3906000
2472.00/2436.69	c cleaning 88003 clauses out of 176027 with flag 25178885/3995000
2536.17/2500.25	c cleaning 89005 clauses out of 178024 with flag 25709208/4085000
2608.18/2571.54	c cleaning 90002 clauses out of 180019 with flag 26245291/4176000
2691.74/2653.15	c cleaning 90996 clauses out of 182017 with flag 26769508/4268000
2765.28/2725.90	c cleaning 91992 clauses out of 184021 with flag 27311337/4361000
2842.24/2802.21	c cleaning 93006 clauses out of 186029 with flag 27864237/4455000
2919.73/2879.01	c cleaning 93995 clauses out of 188023 with flag 28412849/4550000
3004.09/2962.97	c cleaning 95004 clauses out of 190028 with flag 28958028/4646000
3083.48/3040.06	c cleaning 96003 clauses out of 192025 with flag 29517906/4743001
3171.40/3127.39	c cleaning 96994 clauses out of 194021 with flag 30077128/4841000
3256.31/3211.88	c cleaning 98010 clauses out of 196027 with flag 30637105/4940000
3336.24/3290.97	c cleaning 98998 clauses out of 198018 with flag 31254127/5040001
3430.28/3384.69	c cleaning 99997 clauses out of 200020 with flag 31850683/5141001
3520.11/3474.01	c cleaning 100999 clauses out of 202024 with flag 32428589/5243002
3600.04/3552.52	c timeout
3600.04/3552.53	c starts		: 30892
3600.04/3552.53	c conflicts		: 5337161
3600.04/3552.54	c decisions		: 49797771
3600.04/3552.54	c propagations		: 217402018
3600.04/3552.54	c inspects		: 19914333369
3600.04/3552.54	c shortcuts		: 0
3600.04/3552.54	c learnt literals	: 0
3600.04/3552.54	c learnt binary clauses	: 0
3600.04/3552.54	c learnt ternary clauses	: 0
3600.04/3552.54	c learnt constraints	: 5337161
3600.04/3552.54	c ignored constraints	: 0
3600.04/3552.54	c root simplifications	: 0
3600.04/3552.54	c removed literals (reason simplification)	: 28057570
3600.04/3552.54	c reason swapping (by a shorter reason)	: 0
3600.04/3552.54	c Calls to reduceDB	: 98
3600.04/3552.54	c Number of update (reduction) of LBD	: 2701603
3600.04/3552.54	c Imported unit clauses	: 0
3600.04/3552.54	c No decision after first conflict	: false
3600.04/3552.54	c number of reductions to clauses (during analyze)	: 0
3600.04/3552.54	c number of learned constraints concerned by reduction	: 0
3600.04/3552.54	c number of learning phase by resolution	: 0
3600.04/3552.54	c number of learning phase by cutting planes	: 0
3600.04/3552.54	c number of rounding to 1 operations	: 0
3600.04/3552.54	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3552.54	c number of reductions of the coefficients by power 2 	: 0
3600.04/3552.54	c number of right shift for reduction by power 2 	: 0
3600.04/3552.54	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3552.54	c number of ending skipping 	: 0
3600.04/3552.54	c number of internal skipping 	: 0
3600.04/3552.54	c number of derivation steps 	: 0
3600.04/3552.54	c number of skipped derivation steps 	: 0
3600.04/3552.54	c number of remaining unassigned 	: 0
3600.04/3552.54	c number of remaining assigned 	: 0
3600.04/3552.54	c number of falsified literals weakened from reason	: 0
3600.04/3552.54	c number of falsified literals weakened from conflict	: 0
3600.04/3552.54	c time for arithmetic operations	: 0
3600.04/3552.54	c minimum degree of deleted constraints	: null
3600.04/3552.54	c maximum degree of deleted constraints	: null
3600.04/3552.54	c number of deleted constraints	: 0
3600.04/3552.54	c speed (assignments/second)	: 61211.003124716684
3600.04/3552.54	c non guided choices	: 421022
3600.04/3552.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 195184
3600.21/3552.60	s UNKNOWN
3600.21/3552.60	c Total wall clock time (in seconds): 3552.326

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: 63837 MiB (58703 MiB free)
  memory of node 1: 64465 MiB (63942 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493237-1751152667/watcher-4493237-1751152667 -o /tmp/evaluation-result-4493237-1751152667/solver-4493237-1751152667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751145467-13825 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4493237-1751152667 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4493237-1751152667.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=15358, runsolver pid=15355

[startup+0.100067 s]*
/proc/loadavg: 4.26 4.25 4.24 8/329 15376
/proc/meminfo: memFree=125556020/131382116 swapFree=33010684/33010684
[pid=15358] ppid=15355 vsize=18930384 memory=48376 CPUtime=0.11 cores=5,7
/proc/15358/stat : 15358 (java) S 15355 15358 13812 0 -1 4194304 5760 0 0 0 7 4 0 0 20 0 18 0 30945849 19384713216 12094 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
/proc/15358/statm: 4732596 12094 5341 1 0 546957 0
[pid=15358/tid=15360] ppid=15355 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/15358/task/15360/stat : 15360 (java) R 15355 15358 13812 0 -1 4194368 4657 0 0 0 5 2 0 0 20 0 18 0 30945850 19384713216 12094 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 30945855 19384713216 12094 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=18930384 memory=60693105881846 CPUtime=0 cores=5,7
/proc/15358/task/15376/stat : 15376 (Common-Cleaner) S 15355 15358 13812 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 30945856 19384713216 12094 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48376 KiB

[startup+0.208954 s]*
/proc/loadavg: 4.26 4.25 4.24 7/329 15376
/proc/meminfo: memFree=125539700/131382116 swapFree=33010684/33010684
[pid=15358] ppid=15355 vsize=18930384 memory=55304 CPUtime=0.26 cores=5,7
/proc/15358/stat : 15358 (java) S 15355 15358 13812 0 -1 4194304 6474 0 0 0 21 5 0 0 20 0 18 0 30945849 19384713216 13826 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
/proc/15358/statm: 4732596 13826 5341 1 0 547552 0
[pid=15358/tid=15360] ppid=15355 vsize=18930384 memory=4026532124 CPUtime=0.16 cores=5,7
/proc/15358/task/15360/stat : 15360 (java) R 15355 15358 13812 0 -1 4194368 5009 0 0 0 13 3 0 0 20 0 18 0 30945850 19384713216 13826 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=18930384 memory=14857 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 30945855 19384713216 13826 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=18930384 memory=59593594242043 CPUtime=0 cores=5,7
/proc/15358/task/15376/stat : 15376 (Common-Cleaner) S 15355 15358 13812 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 30945856 19384713216 13826 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55304 KiB

[startup+0.308864 s]*
/proc/loadavg: 4.26 4.25 4.24 8/329 15376
/proc/meminfo: memFree=125521596/131382116 swapFree=33010684/33010684
[pid=15358] ppid=15355 vsize=18930384 memory=61088 CPUtime=0.43 cores=5,7
/proc/15358/stat : 15358 (java) S 15355 15358 13812 0 -1 4194304 6839 0 0 0 38 5 0 0 20 0 18 0 30945849 19384713216 15272 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
/proc/15358/statm: 4732596 15272 5405 1 0 547817 0
[pid=15358/tid=15360] ppid=15355 vsize=18930384 memory=-6000919485591545710 CPUtime=0.24 cores=5,7
/proc/15358/task/15360/stat : 15360 (java) R 15355 15358 13812 0 -1 4194368 5272 0 0 0 21 3 0 0 20 0 18 0 30945850 19384713216 15272 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 30945855 19384713216 15272 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/15358/task/15376/stat : 15376 (Common-Cleaner) S 15355 15358 13812 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 30945856 19384713216 15272 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61088 KiB

[startup+0.700272 s]
/proc/loadavg: 4.26 4.25 4.24 7/330 15377
/proc/meminfo: memFree=125476100/131382116 swapFree=33010684/33010684
[pid=15358] ppid=15355 vsize=18930384 memory=139652 CPUtime=1.18 cores=5,7
/proc/15358/stat : 15358 (java) S 15355 15358 13812 0 -1 4194304 8502 0 0 0 110 8 0 0 20 0 18 0 30945849 19384713216 34913 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
/proc/15358/statm: 4732596 34913 5405 1 0 548895 0
[pid=15358/tid=15360] ppid=15355 vsize=18930384 memory=17408 CPUtime=0.61 cores=5,7
/proc/15358/task/15360/stat : 15360 (java) R 15355 15358 13812 0 -1 4194368 5327 0 0 0 56 5 0 0 20 0 18 0 30945850 19384713216 34913 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=18930384 memory=11264 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 30945855 19384713216 34913 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/15358/task/15376/stat : 15376 (Common-Cleaner) S 15355 15358 13812 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 30945856 19384713216 34913 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 139652 KiB

[startup+1.50024 s]
/proc/loadavg: 4.26 4.25 4.24 6/332 15379
/proc/meminfo: memFree=125389900/131382116 swapFree=33010684/33010684
[pid=15358] ppid=15355 vsize=19063512 memory=165108 CPUtime=2.72 cores=5,7
/proc/15358/stat : 15358 (java) S 15355 15358 13812 0 -1 4194304 15369 0 0 0 263 9 0 0 20 0 20 0 30945849 19521036288 41277 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
/proc/15358/statm: 4765878 41277 5469 1 0 551319 0
[pid=15358/tid=15360] ppid=15355 vsize=19063512 memory=3200 CPUtime=1.34 cores=5,7
/proc/15358/task/15360/stat : 15360 (java) R 15355 15358 13812 0 -1 4194368 5864 0 0 0 128 6 0 0 20 0 20 0 30945850 19521036288 41277 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30945855 19521036288 41277 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/15358/task/15376/stat : 15376 (Common-Cleaner) S 15355 15358 13812 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 30945856 19521036288 41277 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15379] ppid=15355 vsize=19063512 memory=14080 CPUtime=0 cores=5,7
/proc/15358/task/15379/stat : 15379 (Timer-0) S 15355 15358 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30945935 19521036288 41277 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 165108 KiB

[startup+3.10554 s]
/proc/loadavg: 4.26 4.25 4.24 6/332 15379
/proc/meminfo: memFree=124961660/131382116 swapFree=33010684/33010684
[pid=15358] ppid=15355 vsize=19063512 memory=379536 CPUtime=5.73 cores=5,7
/proc/15358/stat : 15358 (java) S 15355 15358 13812 0 -1 4194304 20226 0 0 0 558 15 0 0 20 0 20 0 30945849 19521036288 94884 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
/proc/15358/statm: 4765878 94884 5469 1 0 677981 0
[pid=15358/tid=15360] ppid=15355 vsize=19063512 memory=14080 CPUtime=2.87 cores=5,7
/proc/15358/task/15360/stat : 15360 (java) R 15355 15358 13812 0 -1 4194368 6901 0 0 0 277 10 0 0 20 0 20 0 30945850 19521036288 94884 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30945855 19521036288 94884 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/15358/task/15376/stat : 15376 (Common-Cleaner) S 15355 15358 13812 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 30945856 19521036288 94884 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15379] ppid=15355 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/15358/task/15379/stat : 15379 (Timer-0) S 15355 15358 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30945935 19521036288 94884 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 379536 KiB

[startup+6.30022 s]
/proc/loadavg: 4.32 4.26 4.25 5/332 15379
/proc/meminfo: memFree=124301544/131382116 swapFree=33010684/33010684
[pid=15358] ppid=15355 vsize=19063512 memory=792276 CPUtime=9.66 cores=5,7
/proc/15358/stat : 15358 (java) S 15355 15358 13812 0 -1 4194304 21195 0 0 0 942 24 0 0 20 0 20 0 30945849 19521036288 198069 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
/proc/15358/statm: 4765878 198069 5469 1 0 895235 0
[pid=15358/tid=15360] ppid=15355 vsize=19063512 memory=0 CPUtime=5.87 cores=5,7
/proc/15358/task/15360/stat : 15360 (java) R 15355 15358 13812 0 -1 4194368 7100 0 0 0 570 17 0 0 20 0 20 0 30945850 19521036288 198069 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30945855 19521036288 198069 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/15358/task/15376/stat : 15376 (Common-Cleaner) S 15355 15358 13812 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 30945856 19521036288 198069 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15379] ppid=15355 vsize=19063512 memory=173464 CPUtime=0 cores=5,7
/proc/15358/task/15379/stat : 15379 (Timer-0) S 15355 15358 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30945935 19521036288 198069 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
Current children cumulated CPU time: 9.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 792276 KiB

[startup+12.7005 s]
/proc/loadavg: 4.37 4.28 4.25 5/332 15379
/proc/meminfo: memFree=123129720/131382116 swapFree=33010684/33010684
[pid=15358] ppid=15355 vsize=19063512 memory=1255220 CPUtime=16.13 cores=5,7
/proc/15358/stat : 15358 (java) S 15355 15358 13812 0 -1 4194304 21521 0 0 0 1577 36 0 0 20 0 20 0 30945849 19521036288 313805 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
/proc/15358/statm: 4765878 313805 5469 1 0 895247 0
[pid=15358/tid=15360] ppid=15355 vsize=19063512 memory=173464 CPUtime=11.99 cores=5,7
/proc/15358/task/15360/stat : 15360 (java) R 15355 15358 13812 0 -1 4194368 7330 0 0 0 1173 26 0 0 20 0 20 0 30945850 19521036288 313805 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=19063512 memory=1255220 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30945855 19521036288 313805 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/15358/task/15376/stat : 15376 (Common-Cleaner) S 15355 15358 13812 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 30945856 19521036288 313805 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15379] ppid=15355 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/15358/task/15379/stat : 15379 (Timer-0) S 15355 15358 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30945935 19521036288 313805 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
Current children cumulated CPU time: 16.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1255220 KiB

[startup+25.5003 s]
/proc/loadavg: 4.29 4.26 4.25 5/332 15379
/proc/meminfo: memFree=121226744/131382116 swapFree=33010684/33010684
[pid=15358] ppid=15355 vsize=19063512 memory=2049924 CPUtime=29.39 cores=5,7
/proc/15358/stat : 15358 (java) S 15355 15358 13812 0 -1 4194304 26578 0 0 0 2877 62 0 0 20 0 20 0 30945849 19521036288 512481 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
/proc/15358/statm: 4765878 512481 5469 1 0 1097871 0
[pid=15358/tid=15360] ppid=15355 vsize=19063512 memory=0 CPUtime=24.17 cores=5,7
/proc/15358/task/15360/stat : 15360 (java) R 15355 15358 13812 0 -1 4194368 8706 0 0 0 2371 46 0 0 20 0 20 0 30945850 19521036288 512481 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=19063512 memory=14080 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30945855 19521036288 512481 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=19063512 memory=2049924 CPUtime=0 cores=5,7
/proc/15358/task/15376/stat : 15376 (Common-Cleaner) S 15355 15358 13812 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 30945856 19521036288 512481 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15379] ppid=15355 vsize=19063512 memory=1875784 CPUtime=0 cores=5,7
/proc/15358/task/15379/stat : 15379 (Timer-0) S 15355 15358 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30945935 19521036288 512481 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
Current children cumulated CPU time: 29.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2049924 KiB

[startup+51.1138 s]
/proc/loadavg: 4.26 4.26 4.25 5/332 15380
/proc/meminfo: memFree=118213852/131382116 swapFree=33010684/33010684
[pid=15358] ppid=15355 vsize=19063512 memory=2362444 CPUtime=55.83 cores=5,7
/proc/15358/stat : 15358 (java) S 15355 15358 13812 0 -1 4194304 33668 0 0 0 5500 83 0 0 20 0 20 0 30945849 19521036288 590611 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
/proc/15358/statm: 4765878 590611 5501 1 0 1098108 0
[pid=15358/tid=15360] ppid=15355 vsize=19063512 memory=2049924 CPUtime=48.6 cores=5,7
/proc/15358/task/15360/stat : 15360 (java) R 15355 15358 13812 0 -1 4194368 10748 0 0 0 4799 61 0 0 20 0 20 0 30945850 19521036288 590611 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=19063512 memory=12544 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30945855 19521036288 590611 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=19063512 memory=2308 CPUtime=0 cores=5,7

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

/proc/15358/task/15360/stat : 15360 (java) R 15355 15358 13812 0 -1 4194368 192104 0 0 0 311370 1496 0 0 20 0 20 0 30945850 19521036288 2143550 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=19063512 memory=8573944 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30945855 19521036288 2143550 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=19063512 memory=8573944 CPUtime=0 cores=5,7
/proc/15358/task/15376/stat : 15376 (Common-Cleaner) S 15355 15358 13812 0 -1 4194368 2750 0 0 0 0 0 0 0 20 0 20 0 30945856 19521036288 2143550 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15379] ppid=15355 vsize=19063512 memory=8574200 CPUtime=0 cores=5,7
/proc/15358/task/15379/stat : 15379 (Timer-0) S 15355 15358 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30945935 19521036288 2143550 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
Current children cumulated CPU time: 3266.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8574200 KiB

[startup+3282.3 s]
/proc/loadavg: 4.32 4.24 4.26 5/333 15560
/proc/meminfo: memFree=60192000/131382116 swapFree=33010684/33010684
[pid=15358] ppid=15355 vsize=19063512 memory=8574328 CPUtime=3327.65 cores=5,7
/proc/15358/stat : 15358 (java) S 15355 15358 13812 0 -1 4194304 331176 0 0 0 330993 1772 0 0 20 0 20 0 30945849 19521036288 2143582 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
/proc/15358/statm: 4765878 2143582 5501 1 0 2158053 0
[pid=15358/tid=15360] ppid=15355 vsize=19063512 memory=14080 CPUtime=3186.95 cores=5,7
/proc/15358/task/15360/stat : 15360 (java) R 15355 15358 13812 0 -1 4194368 193282 0 0 0 317176 1519 0 0 20 0 20 0 30945850 19521036288 2143582 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=19063512 memory=8574200 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30945855 19521036288 2143582 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=19063512 memory=8574200 CPUtime=0 cores=5,7
/proc/15358/task/15376/stat : 15376 (Common-Cleaner) S 15355 15358 13812 0 -1 4194368 2801 0 0 0 0 0 0 0 20 0 20 0 30945856 19521036288 2143582 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15379] ppid=15355 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/15358/task/15379/stat : 15379 (Timer-0) S 15355 15358 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30945935 19521036288 2143582 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
Current children cumulated CPU time: 3327.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8574328 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.21 4.24 5/333 15562
/proc/meminfo: memFree=59541808/131382116 swapFree=33010684/33010684
[pid=15358] ppid=15355 vsize=19063512 memory=8574328 CPUtime=3388.05 cores=5,7
/proc/15358/stat : 15358 (java) S 15355 15358 13812 0 -1 4194304 336896 0 0 0 337006 1799 0 0 20 0 20 0 30945849 19521036288 2143582 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
/proc/15358/statm: 4765878 2143582 5501 1 0 2158053 0
[pid=15358/tid=15360] ppid=15355 vsize=19063512 memory=5632 CPUtime=3245.18 cores=5,7
/proc/15358/task/15360/stat : 15360 (java) R 15355 15358 13812 0 -1 4194368 197410 0 0 0 322975 1543 0 0 20 0 20 0 30945850 19521036288 2143582 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=19063512 memory=8574200 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30945855 19521036288 2143582 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=19063512 memory=8574328 CPUtime=0 cores=5,7
/proc/15358/task/15376/stat : 15376 (Common-Cleaner) S 15355 15358 13812 0 -1 4194368 2917 0 0 0 0 0 0 0 20 0 20 0 30945856 19521036288 2143582 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15379] ppid=15355 vsize=19063512 memory=8574328 CPUtime=0 cores=5,7
/proc/15358/task/15379/stat : 15379 (Timer-0) S 15355 15358 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30945935 19521036288 2143582 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
Current children cumulated CPU time: 3388.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8574328 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.20 4.24 5/333 15564
/proc/meminfo: memFree=59000244/131382116 swapFree=33010684/33010684
[pid=15358] ppid=15355 vsize=19063512 memory=8574456 CPUtime=3448.31 cores=5,7
/proc/15358/stat : 15358 (java) S 15355 15358 13812 0 -1 4194304 341441 0 0 0 343007 1824 0 0 20 0 20 0 30945849 19521036288 2143614 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
/proc/15358/statm: 4765878 2143614 5501 1 0 2158053 0
[pid=15358/tid=15360] ppid=15355 vsize=19063512 memory=8574200 CPUtime=3303.78 cores=5,7
/proc/15358/task/15360/stat : 15360 (java) R 15355 15358 13812 0 -1 4194368 199889 0 0 0 328813 1565 0 0 20 0 20 0 30945850 19521036288 2143614 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=19063512 memory=8574328 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30945855 19521036288 2143614 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=19063512 memory=8574456 CPUtime=0 cores=5,7
/proc/15358/task/15376/stat : 15376 (Common-Cleaner) S 15355 15358 13812 0 -1 4194368 2985 0 0 0 0 0 0 0 20 0 20 0 30945856 19521036288 2143614 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15379] ppid=15355 vsize=19063512 memory=8574456 CPUtime=0 cores=5,7
/proc/15358/task/15379/stat : 15379 (Timer-0) S 15355 15358 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30945935 19521036288 2143614 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
Current children cumulated CPU time: 3448.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8574456 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.22 4.24 5/310 15581
/proc/meminfo: memFree=61304320/131382116 swapFree=33010684/33010684
[pid=15358] ppid=15355 vsize=19063512 memory=8574584 CPUtime=3508.54 cores=5,7
/proc/15358/stat : 15358 (java) S 15355 15358 13812 0 -1 4194304 345389 0 0 0 349004 1850 0 0 20 0 20 0 30945849 19521036288 2143646 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
/proc/15358/statm: 4765878 2143646 5501 1 0 2158053 0
[pid=15358/tid=15360] ppid=15355 vsize=19063512 memory=8574200 CPUtime=3362.49 cores=5,7
/proc/15358/task/15360/stat : 15360 (java) R 15355 15358 13812 0 -1 4194368 203501 0 0 0 334662 1587 0 0 20 0 20 0 30945850 19521036288 2143646 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=19063512 memory=8574328 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30945855 19521036288 2143646 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/15358/task/15376/stat : 15376 (Common-Cleaner) S 15355 15358 13812 0 -1 4194368 2985 0 0 0 0 0 0 0 20 0 20 0 30945856 19521036288 2143646 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15379] ppid=15355 vsize=19063512 memory=8574584 CPUtime=0 cores=5,7
/proc/15358/task/15379/stat : 15379 (Timer-0) S 15355 15358 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30945935 19521036288 2143646 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
Current children cumulated CPU time: 3508.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8574584 KiB

[startup+3522.3 s]
/proc/loadavg: 3.44 4.01 4.17 3/282 15638
/proc/meminfo: memFree=93909040/131382116 swapFree=33010684/33010684
[pid=15358] ppid=15355 vsize=19063512 memory=8574584 CPUtime=3570.02 cores=5,7
/proc/15358/stat : 15358 (java) S 15355 15358 13812 0 -1 4194304 361412 0 0 0 355122 1880 0 0 20 0 20 0 30945849 19521036288 2143646 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
/proc/15358/statm: 4765878 2143646 5501 1 0 2158060 0
[pid=15358/tid=15360] ppid=15355 vsize=19063512 memory=8574584 CPUtime=3420.21 cores=5,7
/proc/15358/task/15360/stat : 15360 (java) R 15355 15358 13812 0 -1 4194368 214072 0 0 0 340410 1611 0 0 20 0 20 0 30945850 19521036288 2143646 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=19063512 memory=8574584 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30945855 19521036288 2143646 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/15358/task/15376/stat : 15376 (Common-Cleaner) S 15355 15358 13812 0 -1 4194368 3027 0 0 0 0 0 0 0 20 0 20 0 30945856 19521036288 2143646 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15379] ppid=15355 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/15358/task/15379/stat : 15379 (Timer-0) S 15355 15358 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30945935 19521036288 2143646 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
Current children cumulated CPU time: 3570.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8574584 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3552.5 s]
/proc/loadavg: 2.87 3.82 4.10 3/282 15639
/proc/meminfo: memFree=93808880/131382116 swapFree=33010684/33010684
[pid=15358] ppid=15355 vsize=19063512 memory=8574584 CPUtime=3600.04 cores=5,7
/proc/15358/stat : 15358 (java) S 15355 15358 13812 0 -1 4194304 362006 0 0 0 358113 1891 0 0 20 0 20 0 30945849 19521036288 2143646 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
/proc/15358/statm: 4765878 2143646 5501 1 0 2158060 0
[pid=15358/tid=15360] ppid=15355 vsize=19063512 memory=8574584 CPUtime=3449.68 cores=5,7
/proc/15358/task/15360/stat : 15360 (java) R 15355 15358 13812 0 -1 4194368 214302 0 0 0 343347 1621 0 0 20 0 20 0 30945850 19521036288 2143646 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=19063512 memory=8574584 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30945855 19521036288 2143646 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=19063512 memory=8574584 CPUtime=0 cores=5,7
/proc/15358/task/15376/stat : 15376 (Common-Cleaner) S 15355 15358 13812 0 -1 4194368 3102 0 0 0 0 0 0 0 20 0 20 0 30945856 19521036288 2143646 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15379] ppid=15355 vsize=19063512 memory=8574584 CPUtime=0 cores=5,7
/proc/15358/task/15379/stat : 15379 (Timer-0) S 15355 15358 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30945935 19521036288 2143646 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8574584 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.3 s, system=18.9476 s

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

[startup+3552.8 s]
/proc/loadavg: 2.87 3.82 4.10 3/282 15639
/proc/meminfo: memFree=93808880/131382116 swapFree=33010684/33010684
[pid=15358] ppid=15355 vsize=19263204 memory=8575352 CPUtime=3600.22 cores=5,7
/proc/15358/stat : 15358 (java) S 15355 15358 13812 0 -1 4194304 364408 0 0 0 358130 1892 0 0 20 0 15 0 30945849 19725520896 2143838 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
/proc/15358/statm: 4815801 2143838 5501 1 0 2158987 0
[pid=15358/tid=15360] ppid=15355 vsize=19263204 memory=8574584 CPUtime=3449.7 cores=5,7
/proc/15358/task/15360/stat : 15360 (java) D 15355 15358 13812 0 -1 4194368 214688 0 0 0 343349 1621 0 0 20 0 15 0 30945850 19725520896 2143838 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15369] ppid=15355 vsize=19263204 memory=-6000919485591545710 CPUtime=0 cores=5,7
/proc/15358/task/15369/stat : 15369 (Finalizer) S 15355 15358 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 30945855 19725520896 2143838 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
[pid=15358/tid=15376] ppid=15355 vsize=19263204 memory=4252 CPUtime=0 cores=5,7
/proc/15358/task/15376/stat : 15376 (Common-Cleaner) S 15355 15358 13812 0 -1 4194368 3102 0 0 0 0 0 0 0 20 0 15 0 30945856 19725520896 2143838 18446744073709551615 94781015134208 94781015137904 140726180855712 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94781015145720 94781015146512 94781029527552 140726180862256 140726180862438 140726180862438 140726180868040 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 8575352 KiB

[startup+3553 s]*
/proc/loadavg: 2.87 3.82 4.10 3/264 15642
/proc/meminfo: memFree=102174656/131382116 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3553.03
CPU time (s): 3600.25
CPU user time (s): 3581.3
CPU system time (s): 18.9476
CPU usage (%): 101.329
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 8575352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.3
system time used= 18.9476
maximum resident set size= 8575608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364434
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24881376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123999
involuntary context switches= 28542


# summary of solver processes directly reported to runsolver:
#   pid: 15358
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3581.3
#   total CPU system time (s): 18.9476

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6379 second user time and 32.9991 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-06-29 01:17:47
IDJOB=4493237
IDBENCH=147856
IDSOLVER=3364
FILE ID=nodeC004/4493237-1751152667
RUNJOBID= nodeC004-1751145467-13825
SLURM_JOB_ID= 9587447
Free space on /tmp= 433048 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4493237-1751152667/watcher-4493237-1751152667 -o /tmp/evaluation-result-4493237-1751152667/solver-4493237-1751152667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751145467-13825 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4493237-1751152667 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4493237-1751152667.opb

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

MD5SUM BENCH= 447851c4fd40c5c34c03bb94532f1e8d
RANDOM SEED=1781258500

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3659.321
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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		: 1696.051
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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.361
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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		: 1696.045
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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		: 3607.751
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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		: 1194.251
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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.489
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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		: 1696.049
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        125599428 kB
MemAvailable:   125618852 kB
Buffers:            3280 kB
Cached:           831652 kB
SwapCached:            0 kB
Active:          4674304 kB
Inactive:         598696 kB
Active(anon):    4456472 kB
Inactive(anon):        0 kB
Active(file):     217832 kB
Inactive(file):   598696 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             86596 kB
Writeback:             0 kB
AnonPages:       4440860 kB
Mapped:           122068 kB
Shmem:             17976 kB
KReclaimable:      85048 kB
Slab:             169136 kB
SReclaimable:      85048 kB
SUnreclaim:        84088 kB
KernelStack:        5024 kB
PageTables:        12260 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   13134248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4243456 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC004 at 2025-06-29 02:17:00