Trace number 4450171

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 Cutting Planes 2024 2024-07-12? (TO) 3600.25 3544.05

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb
MD5SUM60aa0ac85dc632e57e54cb255f142331
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 variables4830
Total number of constraints15140
Number of constraints which are clauses15140
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.12	c See www.sat4j.org for details.
0.11/0.13	c version CUSTOM.v20240707
0.11/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.14	c java.vm.version	22.0.1+8-16
0.11/0.14	c java.vm.vendor	Oracle Corporation
0.11/0.14	c sun.arch.data.model	64
0.11/0.14	c java.version		22.0.1
0.11/0.14	c os.name		Linux
0.11/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.11/0.14	c os.arch		amd64
0.11/0.14	c Free memory 		2113181440
0.11/0.14	c Max memory 		16282288128
0.11/0.14	c Total memory 		2122317824
0.11/0.14	c Number of processors 	2
0.11/0.20	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.20	 - never skip resolution steps
0.11/0.20	 - Auto-division on coefficients is disabled
0.11/0.20	 - No postprocessing
0.11/0.20	 - Conflict is considered as is when resolving
0.11/0.20	 - Use constraints as they come during conflict analysis
0.11/0.20	 - Weaken first using unassigned literals
0.11/0.20	 - Bump strategy: ALWAYS_ONE
0.11/0.20	 - Bumper: EFFECTIVE
0.11/0.20	--- Begin Solver configuration ---
0.11/0.20	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.11/0.20	Learn all clauses as in MiniSAT
0.11/0.20	LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.20	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.20	No reason simplification
0.11/0.20	Dynamic restart strategy considering the size of the coefficients
0.11/0.20	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.11/0.20	timeout=2147483s
0.11/0.20	DB Simplification allowed=false
0.11/0.20	Listener: none
0.11/0.20	--- End Solver configuration ---
0.11/0.21	c Pseudo Boolean Optimization by upper bound
0.11/0.21	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.21	c  - never skip resolution steps
0.11/0.21	c  - Auto-division on coefficients is disabled
0.11/0.21	c  - No postprocessing
0.11/0.21	c  - Conflict is considered as is when resolving
0.11/0.21	c  - Use constraints as they come during conflict analysis
0.11/0.21	c  - Weaken first using unassigned literals
0.11/0.21	c  - Bump strategy: ALWAYS_ONE
0.11/0.21	c  - Bumper: EFFECTIVE
0.11/0.21	c --- Begin Solver configuration ---
0.11/0.21	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.11/0.21	c Learn all clauses as in MiniSAT
0.11/0.21	c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.21	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.21	c No reason simplification
0.11/0.21	c Dynamic restart strategy considering the size of the coefficients
0.11/0.21	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.11/0.21	c timeout=2147483s
0.11/0.21	c DB Simplification allowed=false
0.11/0.21	c Listener: none
0.11/0.21	c --- End Solver configuration ---
0.11/0.21	c solving HOME/instance-4450171-1721406588.opb
0.11/0.21	c reading problem ... 
0.11/0.21	c  no objective function found
1.01/0.64	c ... done. Wall clock time 0.432s.
1.01/0.65	c declared #vars     4830
1.01/0.65	c #constraints  15140
1.01/0.65	c constraints type 
1.01/0.65	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 13530
1.01/0.65	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1610
1.01/0.65	c 15140 constraints processed.
5.05/3.13	c cleaning 2496 clauses out of 5001 with flag 0/5001
8.24/6.09	c cleaning 4246 clauses out of 8504 with flag 0/11000
12.36/9.84	c cleaning 5623 clauses out of 11259 with flag 0/18001
18.11/15.35	c cleaning 6810 clauses out of 13638 with flag 0/26003
23.32/20.44	c cleaning 7903 clauses out of 15825 with flag 0/35000
28.96/26.06	c cleaning 8953 clauses out of 17923 with flag 0/45001
35.52/32.67	c cleaning 9978 clauses out of 19970 with flag 0/56001
43.31/40.45	c cleaning 10990 clauses out of 21992 with flag 0/68001
51.61/48.78	c cleaning 11993 clauses out of 24002 with flag 0/81001
61.54/58.68	c cleaning 12999 clauses out of 26008 with flag 0/95000
72.10/69.25	c cleaning 13996 clauses out of 28011 with flag 0/110002
83.33/80.45	c cleaning 15000 clauses out of 30014 with flag 0/126001
96.14/93.14	c cleaning 16000 clauses out of 32014 with flag 0/143001
111.68/108.52	c cleaning 17001 clauses out of 34016 with flag 0/161003
126.92/123.65	c cleaning 18001 clauses out of 36012 with flag 0/180000
143.11/139.53	c cleaning 19001 clauses out of 38013 with flag 0/200002
161.05/157.27	c cleaning 19992 clauses out of 40010 with flag 0/221000
181.17/177.11	c cleaning 21000 clauses out of 42018 with flag 0/243000
202.89/198.63	c cleaning 22003 clauses out of 44019 with flag 0/266001
225.31/220.77	c cleaning 22997 clauses out of 46015 with flag 0/290000
250.27/245.47	c cleaning 24002 clauses out of 48018 with flag 0/315000
277.25/271.92	c cleaning 24997 clauses out of 50016 with flag 0/341000
307.29/301.40	c cleaning 25997 clauses out of 52021 with flag 0/368002
334.05/327.75	c cleaning 27002 clauses out of 54022 with flag 0/396000
361.32/354.60	c cleaning 28002 clauses out of 56020 with flag 0/425000
389.97/382.79	c cleaning 29001 clauses out of 58018 with flag 0/455000
421.30/413.45	c cleaning 30001 clauses out of 60017 with flag 0/486000
457.29/448.92	c cleaning 30999 clauses out of 62017 with flag 0/518001
494.89/486.33	c cleaning 32001 clauses out of 64017 with flag 0/551000
532.16/523.18	c cleaning 33003 clauses out of 66018 with flag 0/585002
571.41/562.02	c cleaning 34000 clauses out of 68013 with flag 0/620000
615.48/605.57	c cleaning 34998 clauses out of 70013 with flag 0/656000
662.47/651.98	c cleaning 35996 clauses out of 72015 with flag 0/693000
708.41/697.29	c cleaning 36999 clauses out of 74020 with flag 0/731001
755.64/743.39	c cleaning 38000 clauses out of 76020 with flag 0/770000
807.35/794.55	c cleaning 39002 clauses out of 78021 with flag 0/810001
857.67/844.51	c cleaning 40000 clauses out of 80019 with flag 0/851001
912.20/898.38	c cleaning 40997 clauses out of 82018 with flag 0/893000
967.22/952.61	c cleaning 42002 clauses out of 84023 with flag 0/936002
1020.66/1005.40	c cleaning 42998 clauses out of 86019 with flag 0/980000
1076.43/1060.35	c cleaning 43999 clauses out of 88022 with flag 0/1025001
1144.33/1127.93	c cleaning 45002 clauses out of 90023 with flag 0/1071001
1212.58/1195.75	c cleaning 46002 clauses out of 92021 with flag 0/1118001
1279.62/1262.37	c cleaning 47000 clauses out of 94020 with flag 0/1166002
1344.34/1326.33	c cleaning 48000 clauses out of 96020 with flag 0/1215002
1417.89/1399.26	c cleaning 48997 clauses out of 98019 with flag 0/1265001
1493.05/1473.60	c cleaning 50006 clauses out of 100023 with flag 0/1316002
1568.87/1548.58	c cleaning 51000 clauses out of 102017 with flag 0/1368002
1651.88/1630.87	c cleaning 51999 clauses out of 104015 with flag 0/1421000
1736.74/1714.88	c cleaning 52996 clauses out of 106017 with flag 0/1475001
1825.14/1802.69	c cleaning 54000 clauses out of 108020 with flag 0/1530000
1914.05/1890.60	c cleaning 55002 clauses out of 110022 with flag 0/1586002
2007.30/1983.13	c cleaning 56002 clauses out of 112018 with flag 0/1643000
2105.90/2080.31	c cleaning 56997 clauses out of 114017 with flag 0/1701001
2205.52/2179.45	c cleaning 58001 clauses out of 116019 with flag 0/1760000
2306.50/2279.30	c cleaning 59000 clauses out of 118018 with flag 0/1820000
2410.33/2379.17	c cleaning 60002 clauses out of 120020 with flag 0/1881002
2522.54/2484.03	c cleaning 61003 clauses out of 122018 with flag 0/1943002
2649.29/2605.03	c cleaning 61997 clauses out of 124013 with flag 0/2006000
2782.84/2733.77	c cleaning 63002 clauses out of 126016 with flag 0/2070000
2884.25/2834.39	c cleaning 63996 clauses out of 128014 with flag 0/2135000
3004.75/2953.87	c cleaning 65004 clauses out of 130020 with flag 0/2201002
3129.97/3077.58	c cleaning 65999 clauses out of 132016 with flag 0/2268002
3261.42/3208.01	c cleaning 67001 clauses out of 134021 with flag 0/2336006
3398.52/3343.31	c cleaning 67998 clauses out of 136016 with flag 0/2405002
3540.36/3484.40	c cleaning 69002 clauses out of 138017 with flag 0/2475001
3600.02/3543.93	c timeout
3600.02/3543.94	c starts		: 1
3600.02/3543.94	c conflicts		: 2508237
3600.02/3543.94	c decisions		: 2881280
3600.02/3543.94	c propagations		: 937632796
3600.02/3543.94	c inspects		: 16512331175
3600.02/3543.94	c shortcuts		: 0
3600.02/3543.94	c learnt literals	: 0
3600.02/3543.94	c learnt binary clauses	: 0
3600.02/3543.94	c learnt ternary clauses	: 1577
3600.02/3543.94	c learnt constraints	: 2508236
3600.02/3543.94	c ignored constraints	: 0
3600.02/3543.94	c root simplifications	: 0
3600.02/3543.94	c removed literals (reason simplification)	: 0
3600.02/3543.94	c reason swapping (by a shorter reason)	: 0
3600.02/3543.95	c Calls to reduceDB	: 66
3600.02/3543.95	c Number of update (reduction) of LBD	: 3310090
3600.02/3543.95	c Imported unit clauses	: 0
3600.02/3543.95	c No decision after first conflict	: false
3600.02/3543.95	c number of reductions to clauses (during analyze)	: 0
3600.02/3543.95	c number of learned constraints concerned by reduction	: 0
3600.02/3543.95	c number of learning phase by resolution	: 0
3600.02/3543.95	c number of learning phase by cutting planes	: 0
3600.02/3543.95	c number of rounding to 1 operations	: 0
3600.02/3543.95	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3543.95	c number of reductions of the coefficients by power 2 	: 0
3600.02/3543.95	c number of right shift for reduction by power 2 	: 0
3600.02/3543.95	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3543.95	c number of ending skipping 	: 0
3600.02/3543.95	c number of internal skipping 	: 0
3600.02/3543.95	c number of derivation steps 	: 124789409
3600.02/3543.95	c number of skipped derivation steps 	: 0
3600.02/3543.95	c number of remaining unassigned 	: 0
3600.02/3543.95	c number of remaining assigned 	: 0
3600.02/3543.95	c number of falsified literals weakened from reason	: 0
3600.02/3543.95	c number of falsified literals weakened from conflict	: 0
3600.02/3543.95	c time for arithmetic operations	: 0
3600.02/3543.95	c minimum degree of deleted constraints	: 1
3600.02/3543.95	c maximum degree of deleted constraints	: 1
3600.02/3543.95	c number of deleted constraints	: 2405986
3600.02/3543.95	c speed (assignments/second)	: 264622.68484416424
3600.02/3543.95	c non guided choices	: 23807
3600.02/3544.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 102250
3600.02/3544.00	s UNKNOWN
3600.02/3544.00	c Total wall clock time (in seconds): 3543.795

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (57895 MiB free)
  memory of node 1: 64510 MiB (53715 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=1012947, runsolver pid=1012944

[startup+0.100857 s]*
/proc/loadavg: 4.34 4.25 4.27 5/317 1012965
/proc/meminfo: memFree=114254076/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=18975048 memory=56784 CPUtime=0.11 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 6608 0 0 0 9 2 0 0 20 0 18 0 192815220 19430449152 14196 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4743762 14196 5699 1 0 550925 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) R 1012944 1012947 1008215 0 -1 4194368 5510 0 0 0 7 1 0 0 20 0 18 0 192815220 19430449152 14196 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192815223 19430449152 14196 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 192815224 19430449152 14196 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56784 KiB

[startup+0.213928 s]*
/proc/loadavg: 4.34 4.25 4.27 7/317 1012965
/proc/meminfo: memFree=114242216/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=18975048 memory=71112 CPUtime=0.32 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 7548 0 0 0 29 3 0 0 20 0 18 0 192815220 19430449152 17778 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4743762 17778 5761 1 0 551705 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) R 1012944 1012947 1008215 0 -1 4194368 6074 0 0 0 17 1 0 0 20 0 18 0 192815220 19430449152 17778 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=18975048 memory=5697 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192815223 19430449152 17778 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 192815224 19430449152 17778 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71112 KiB

[startup+0.320872 s]*
/proc/loadavg: 4.34 4.25 4.27 7/317 1012965
/proc/meminfo: memFree=114206280/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=18975048 memory=112160 CPUtime=0.51 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 7673 0 0 0 48 3 0 0 20 0 18 0 192815220 19430449152 28040 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4743762 28040 5761 1 0 551729 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=18975048 memory=-7668888523018168158 CPUtime=0.28 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) R 1012944 1012947 1008215 0 -1 4194368 6115 0 0 0 26 2 0 0 20 0 18 0 192815220 19430449152 28040 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192815223 19430449152 28040 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 192815224 19430449152 28040 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 112160 KiB

[startup+0.706864 s]
/proc/loadavg: 4.34 4.25 4.27 6/318 1012966
/proc/meminfo: memFree=114096624/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=19108176 memory=360832 CPUtime=1.19 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 9978 0 0 0 109 10 0 0 20 0 20 0 192815220 19566772224 90208 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4777044 90208 5909 1 0 553744 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=19108176 memory=5512 CPUtime=0.58 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) R 1012944 1012947 1008215 0 -1 4194368 6309 0 0 0 50 8 0 0 20 0 20 0 192815220 19566772224 90208 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=19108176 memory=11992 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192815223 19566772224 90208 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 192815224 19566772224 90208 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 360832 KiB

[startup+1.50085 s]
/proc/loadavg: 4.34 4.25 4.27 7/319 1012967
/proc/meminfo: memFree=113904872/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=19108176 memory=504844 CPUtime=2.76 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 20279 0 0 0 262 14 0 0 20 0 20 0 192815220 19566772224 126211 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4777044 126211 5909 1 0 558905 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=19108176 memory=11992 CPUtime=1.29 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) R 1012944 1012947 1008215 0 -1 4194368 6448 0 0 0 119 10 0 0 20 0 20 0 192815220 19566772224 126211 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192815223 19566772224 126211 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 192815224 19566772224 126211 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012967] ppid=1012944 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1012947/task/1012967/stat : 1012967 (Timer-0) S 1012944 1012947 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192815286 19566772224 126211 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 504844 KiB

[startup+3.10585 s]
/proc/loadavg: 4.34 4.25 4.27 5/319 1012967
/proc/meminfo: memFree=113543596/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=19108176 memory=763760 CPUtime=5.05 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 23544 0 0 0 487 18 0 0 20 0 20 0 192815220 19566772224 190940 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4777044 190940 5909 1 0 558911 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=19108176 memory=0 CPUtime=2.87 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) R 1012944 1012947 1008215 0 -1 4194368 6764 0 0 0 272 15 0 0 20 0 20 0 192815220 19566772224 190940 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=19108176 memory=11600 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192815223 19566772224 190940 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 192815224 19566772224 190940 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012967] ppid=1012944 vsize=19108176 memory=11992 CPUtime=0 cores=0,2
/proc/1012947/task/1012967/stat : 1012967 (Timer-0) S 1012944 1012947 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192815286 19566772224 190940 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
Current children cumulated CPU time: 5.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 763760 KiB

[startup+6.30085 s]
/proc/loadavg: 4.39 4.27 4.27 6/319 1012968
/proc/meminfo: memFree=112973992/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=19108176 memory=1333288 CPUtime=8.75 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 28175 0 0 0 845 30 0 0 20 0 20 0 192815220 19566772224 333322 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4777044 333322 5925 1 0 559211 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=19108176 memory=0 CPUtime=5.97 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) R 1012944 1012947 1008215 0 -1 4194368 8331 0 0 0 572 25 0 0 20 0 20 0 192815220 19566772224 333322 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=19108176 memory=11992 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192815223 19566772224 333322 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=19108176 memory=11600 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 192815224 19566772224 333322 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012967] ppid=1012944 vsize=19108176 memory=45716 CPUtime=0 cores=0,2
/proc/1012947/task/1012967/stat : 1012967 (Timer-0) S 1012944 1012947 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192815286 19566772224 333322 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
Current children cumulated CPU time: 8.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1333288 KiB

[startup+12.7004 s]
/proc/loadavg: 4.52 4.30 4.28 5/319 1013035
/proc/meminfo: memFree=115066572/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=19108176 memory=1490812 CPUtime=15.51 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 29780 0 0 0 1517 34 0 0 20 0 20 0 192815220 19566772224 372703 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4777044 372703 5925 1 0 949817 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=19108176 memory=1349956 CPUtime=12.12 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) R 1012944 1012947 1008215 0 -1 4194368 8891 0 0 0 1184 28 0 0 20 0 20 0 192815220 19566772224 372703 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=19108176 memory=374516 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192815223 19566772224 372703 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=19108176 memory=764076 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 192815224 19566772224 372703 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012967] ppid=1012944 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1012947/task/1012967/stat : 1012967 (Timer-0) S 1012944 1012947 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192815286 19566772224 372703 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
Current children cumulated CPU time: 15.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1490812 KiB

[startup+25.5005 s]
/proc/loadavg: 4.47 4.30 4.28 5/319 1013038
/proc/meminfo: memFree=111055668/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=19108176 memory=2885624 CPUtime=28.4 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 35964 0 0 0 2776 64 0 0 20 0 20 0 192815220 19566772224 721406 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4777044 721406 5925 1 0 949832 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=19108176 memory=764076 CPUtime=24.81 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) R 1012944 1012947 1008215 0 -1 4194368 11448 0 0 0 2424 57 0 0 20 0 20 0 192815220 19566772224 721406 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=19108176 memory=2885500 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192815223 19566772224 721406 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=19108176 memory=2885624 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 192815224 19566772224 721406 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012967] ppid=1012944 vsize=19108176 memory=2885624 CPUtime=0 cores=0,2
/proc/1012947/task/1012967/stat : 1012967 (Timer-0) S 1012944 1012947 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192815286 19566772224 721406 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
Current children cumulated CPU time: 28.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2885624 KiB

[startup+51.1139 s]
/proc/loadavg: 4.54 4.32 4.29 5/321 1013099
/proc/meminfo: memFree=110266328/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=19108176 memory=2887744 CPUtime=54.03 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 41130 0 0 0 5337 66 0 0 20 0 20 0 192815220 19566772224 721936 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4777044 721936 5928 1 0 949849 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=19108176 memory=1529724 CPUtime=49.85 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) R 1012944 1012947 1008215 0 -1 4194368 14267 0 0 0 4927 58 0 0 20 0 20 0 192815220 19566772224 721936 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192815223 19566772224 721936 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 192815224 19566772224 721936 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0

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

[startup+3222.3 s]
/proc/loadavg: 4.23 4.27 4.32 5/319 1014656
/proc/meminfo: memFree=113850888/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=19108176 memory=2945436 CPUtime=3275.87 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 317861 0 0 0 327168 419 0 0 20 0 20 0 192815220 19566772224 736359 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4777044 736359 5941 1 0 748322 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=19108176 memory=-7524773334942509410 CPUtime=3143.63 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) R 1012944 1012947 1008215 0 -1 4194368 137527 0 0 0 314183 180 0 0 20 0 20 0 192815220 19566772224 736359 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 150 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=19108176 memory=2945436 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192815223 19566772224 736359 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=19108176 memory=2945436 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 3089 0 0 0 0 0 0 0 20 0 20 0 192815224 19566772224 736359 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012967] ppid=1012944 vsize=19108176 memory=2945436 CPUtime=0 cores=0,2
/proc/1012947/task/1012967/stat : 1012967 (Timer-0) S 1012944 1012947 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192815286 19566772224 736359 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
Current children cumulated CPU time: 3275.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2945436 KiB

[startup+3282.3 s]
/proc/loadavg: 4.93 4.43 4.37 5/319 1014666
/proc/meminfo: memFree=113183340/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=19108176 memory=2945440 CPUtime=3336.47 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 318824 0 0 0 333224 423 0 0 20 0 20 0 192815220 19566772224 736360 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4777044 736360 5941 1 0 748322 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=19108176 memory=2945440 CPUtime=3202.53 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) R 1012944 1012947 1008215 0 -1 4194368 138231 0 0 0 320073 180 0 0 20 0 20 0 192815220 19566772224 736360 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 156 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=19108176 memory=11600 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192815223 19566772224 736360 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=19108176 memory=5508 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 3135 0 0 0 0 0 0 0 20 0 20 0 192815224 19566772224 736360 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012967] ppid=1012944 vsize=19108176 memory=2945440 CPUtime=0 cores=0,2
/proc/1012947/task/1012967/stat : 1012967 (Timer-0) S 1012944 1012947 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192815286 19566772224 736360 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
Current children cumulated CPU time: 3336.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2945440 KiB

[startup+3342.3 s]
/proc/loadavg: 5.25 4.65 4.45 5/319 1014677
/proc/meminfo: memFree=114707332/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=19108176 memory=2945572 CPUtime=3397.52 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 330806 0 0 0 339326 426 0 0 20 0 20 0 192815220 19566772224 736393 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4777044 736393 5957 1 0 748322 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=19108176 memory=2945440 CPUtime=3261.44 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) R 1012944 1012947 1008215 0 -1 4194368 142212 0 0 0 325963 181 0 0 20 0 20 0 192815220 19566772224 736393 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 156 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=19108176 memory=2945440 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192815223 19566772224 736393 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=19108176 memory=2945440 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 3217 0 0 0 0 0 0 0 20 0 20 0 192815224 19566772224 736393 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012967] ppid=1012944 vsize=19108176 memory=45716 CPUtime=0 cores=0,2
/proc/1012947/task/1012967/stat : 1012967 (Timer-0) S 1012944 1012947 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192815286 19566772224 736393 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
Current children cumulated CPU time: 3397.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2945572 KiB

[startup+3402.3 s]
/proc/loadavg: 4.62 4.57 4.44 5/319 1015073
/proc/meminfo: memFree=113877388/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=19108176 memory=2945572 CPUtime=3457.73 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 331870 0 0 0 345343 430 0 0 20 0 20 0 192815220 19566772224 736393 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4777044 736393 5957 1 0 748322 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=19108176 memory=2945440 CPUtime=3320.4 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) R 1012944 1012947 1008215 0 -1 4194368 142926 0 0 0 331859 181 0 0 20 0 20 0 192815220 19566772224 736393 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 156 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=19108176 memory=2945440 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192815223 19566772224 736393 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=19108176 memory=2945572 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 3221 0 0 0 0 0 0 0 20 0 20 0 192815224 19566772224 736393 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012967] ppid=1012944 vsize=19108176 memory=2945572 CPUtime=0 cores=0,2
/proc/1012947/task/1012967/stat : 1012967 (Timer-0) S 1012944 1012947 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192815286 19566772224 736393 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
Current children cumulated CPU time: 3457.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2945572 KiB

[startup+3462.3 s]
/proc/loadavg: 4.42 4.52 4.43 5/319 1015083
/proc/meminfo: memFree=113570464/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=19108176 memory=2945604 CPUtime=3518.03 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 335124 0 0 0 351369 434 0 0 20 0 20 0 192815220 19566772224 736401 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4777044 736401 5957 1 0 748322 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=19108176 memory=2945440 CPUtime=3379.26 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) R 1012944 1012947 1008215 0 -1 4194368 144707 0 0 0 337745 181 0 0 20 0 20 0 192815220 19566772224 736401 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 158 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=19108176 memory=2945440 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192815223 19566772224 736401 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=19108176 memory=2945604 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 3304 0 0 0 0 0 0 0 20 0 20 0 192815224 19566772224 736401 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012967] ppid=1012944 vsize=19108176 memory=2945604 CPUtime=0 cores=0,2
/proc/1012947/task/1012967/stat : 1012967 (Timer-0) S 1012944 1012947 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192815286 19566772224 736401 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
Current children cumulated CPU time: 3518.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2945604 KiB

[startup+3522.3 s]
/proc/loadavg: 3.92 4.37 4.38 3/268 1015162
/proc/meminfo: memFree=119164912/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=19108176 memory=2945604 CPUtime=3578.28 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 336008 0 0 0 357392 436 0 0 20 0 20 0 192815220 19566772224 736401 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4777044 736401 5957 1 0 748322 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=19108176 memory=2945604 CPUtime=3438.03 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) R 1012944 1012947 1008215 0 -1 4194368 145363 0 0 0 343622 181 0 0 20 0 20 0 192815220 19566772224 736401 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 158 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=19108176 memory=2945604 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192815223 19566772224 736401 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=19108176 memory=45716 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 3319 0 0 0 0 0 0 0 20 0 20 0 192815224 19566772224 736401 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012967] ppid=1012944 vsize=19108176 memory=2945604 CPUtime=0 cores=0,2
/proc/1012947/task/1012967/stat : 1012967 (Timer-0) S 1012944 1012947 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192815286 19566772224 736401 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
Current children cumulated CPU time: 3578.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2945604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3543.9 s]
/proc/loadavg: 3.45 4.23 4.34 3/270 1015335
/proc/meminfo: memFree=119150380/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=19108176 memory=2945604 CPUtime=3600.02 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 336364 0 0 0 359565 437 0 0 20 0 20 0 192815220 19566772224 736401 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4777044 736401 5957 1 0 748322 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=19108176 memory=2945604 CPUtime=3459.18 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) R 1012944 1012947 1008215 0 -1 4194368 145622 0 0 0 345737 181 0 0 20 0 20 0 192815220 19566772224 736401 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 159 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=19108176 memory=2945604 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192815223 19566772224 736401 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=19108176 memory=2945604 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 3319 0 0 0 0 0 0 0 20 0 20 0 192815224 19566772224 736401 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012967] ppid=1012944 vsize=19108176 memory=2945604 CPUtime=0 cores=0,2
/proc/1012947/task/1012967/stat : 1012967 (Timer-0) S 1012944 1012947 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192815286 19566772224 736401 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2945604 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.85 s, system=4.39588 s

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

[startup+3544 s]*
/proc/loadavg: 3.45 4.23 4.34 5/271 1015338
/proc/meminfo: memFree=119150032/131655788 swapFree=131071996/131071996
[pid=1012947] ppid=1012944 vsize=19307868 memory=2946388 CPUtime=3600.22 cores=0,2
/proc/1012947/stat : 1012947 (java) S 1012944 1012947 1008215 0 -1 1077936128 339374 0 0 0 359584 438 0 0 20 0 15 0 192815220 19771256832 736597 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
/proc/1012947/statm: 4826967 736597 5969 1 0 749258 0
[pid=1012947/tid=1012949] ppid=1012944 vsize=19307868 memory=-7524773334942509410 CPUtime=3459.22 cores=0,2
/proc/1012947/task/1012949/stat : 1012949 (java) S 1012944 1012947 1008215 0 -1 1077936192 145878 0 0 0 345741 181 0 0 20 0 15 0 192815220 19771256832 736597 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 159 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012958] ppid=1012944 vsize=19307868 memory=-9187040407738088133 CPUtime=0 cores=0,2
/proc/1012947/task/1012958/stat : 1012958 (Finalizer) S 1012944 1012947 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 192815223 19771256832 736597 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
[pid=1012947/tid=1012965] ppid=1012944 vsize=19307868 memory=5508 CPUtime=0 cores=0,2
/proc/1012947/task/1012965/stat : 1012965 (Common-Cleaner) S 1012944 1012947 1008215 0 -1 1077936192 3319 0 0 0 0 0 0 0 20 0 15 0 192815224 19771256832 736597 134679101440 94333095292928 94333095296624 140720554781968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94333095304440 94333095305232 94333110366208 140720554787827 140720554787935 140720554787935 140720554794952 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2946388 KiB

Child status: 143

Real time (s): 3544.05
CPU time (s): 3600.25
CPU user time (s): 3595.85
CPU system time (s): 4.39588
CPU usage (%): 101.586
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3755016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.85
system time used= 4.39588
maximum resident set size= 3755016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 339423
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130058
involuntary context switches= 31164


# summary of solver processes directly reported to runsolver:
#   pid: 1012947
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3595.85
#   total CPU system time (s): 4.39588

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5961 second user time and 37.751 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-19 18:30:00
IDJOB=4450171
IDBENCH=160409
IDSOLVER=3052
FILE ID=nodeC008/4450171-1721406588
RUNJOBID= nodeC008-1721399517-1008278
SLURM_JOB_ID= 7545437
Free space on /tmp= 723764 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450171-1721406588/watcher-4450171-1721406588 -o /tmp/evaluation-result-4450171-1721406588/solver-4450171-1721406588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721399517-1008278 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4450171-1721406588.opb

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

MD5SUM BENCH= 60aa0ac85dc632e57e54cb255f142331
RANDOM SEED=810038431

nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        114289340 kB
MemAvailable:   116651264 kB
Buffers:          562912 kB
Cached:          2624948 kB
SwapCached:            0 kB
Active:          1079916 kB
Inactive:       15664888 kB
Active(anon):       1492 kB
Inactive(anon): 13601024 kB
Active(file):    1078424 kB
Inactive(file):  2063864 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1192 kB
Writeback:            36 kB
AnonPages:      13556312 kB
Mapped:           126828 kB
Shmem:             45896 kB
KReclaimable:     119336 kB
Slab:             225100 kB
SReclaimable:     119336 kB
SUnreclaim:       105764 kB
KernelStack:        4828 kB
PageTables:        36944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   16138116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60064 kB
HardwareCorrupted:     0 kB
AnonHugePages:  13217792 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203592 kB
DirectMap2M:    24866816 kB
DirectMap1G:    111149056 kB

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