Trace number 4446401

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.2 3519.22

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-21.opb
MD5SUMabfa2b7f448cb4339f1b1eeb1bae5b59
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 benchmark46.0198
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7351
Total number of constraints155824
Number of constraints which are clauses139567
Number of constraints which are cardinality constraints (but not clauses)563
Number of constraints which are nor clauses,nor cardinality constraints15694
Minimum length of a constraint2
Maximum length of a constraint195
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.12	c See www.sat4j.org for details.
0.12/0.14	c version CUSTOM.v20240707
0.12/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.16	c java.vm.version	22.0.1+8-16
0.12/0.16	c java.vm.vendor	Oracle Corporation
0.12/0.16	c sun.arch.data.model	64
0.12/0.16	c java.version		22.0.1
0.12/0.16	c os.name		Linux
0.12/0.16	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.16	c os.arch		amd64
0.12/0.17	c Free memory 		2113181440
0.12/0.17	c Max memory 		16282288128
0.12/0.17	c Total memory 		2122317824
0.12/0.17	c Number of processors 	2
0.39/0.33	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.39/0.33	 - never skip resolution steps
0.39/0.33	 - Auto-division on coefficients is disabled
0.39/0.33	 - No postprocessing
0.39/0.33	 - Conflict is considered as is when resolving
0.39/0.33	 - Use constraints as they come during conflict analysis
0.39/0.33	 - Weaken first using unassigned literals
0.39/0.33	 - Bump strategy: ALWAYS_ONE
0.39/0.33	 - Bumper: EFFECTIVE
0.39/0.33	--- Begin Solver configuration ---
0.39/0.33	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.39/0.33	Learn all clauses as in MiniSAT
0.39/0.33	LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.39/0.33	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.39/0.33	No reason simplification
0.39/0.33	Dynamic restart strategy considering the size of the coefficients
0.39/0.33	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.39/0.33	timeout=2147483s
0.39/0.33	DB Simplification allowed=false
0.39/0.33	Listener: none
0.39/0.33	--- End Solver configuration ---
0.39/0.34	c Pseudo Boolean Optimization by upper bound
0.39/0.34	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.39/0.34	c  - never skip resolution steps
0.39/0.34	c  - Auto-division on coefficients is disabled
0.39/0.34	c  - No postprocessing
0.39/0.34	c  - Conflict is considered as is when resolving
0.39/0.34	c  - Use constraints as they come during conflict analysis
0.39/0.34	c  - Weaken first using unassigned literals
0.39/0.34	c  - Bump strategy: ALWAYS_ONE
0.39/0.34	c  - Bumper: EFFECTIVE
0.39/0.34	c --- Begin Solver configuration ---
0.39/0.34	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.39/0.34	c Learn all clauses as in MiniSAT
0.39/0.34	c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.39/0.34	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.39/0.34	c No reason simplification
0.39/0.34	c Dynamic restart strategy considering the size of the coefficients
0.39/0.34	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.39/0.34	c timeout=2147483s
0.39/0.34	c DB Simplification allowed=false
0.39/0.34	c Listener: none
0.39/0.34	c --- End Solver configuration ---
0.39/0.34	c solving HOME/instance-4446401-1721335595.opb
0.39/0.34	c reading problem ... 
0.39/0.34	c  no objective function found
4.73/3.05	c ... done. Wall clock time 2.701s.
4.73/3.05	c declared #vars     7351
4.73/3.05	c #constraints  156112
4.73/3.05	c constraints type 
4.73/3.05	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 31362
4.73/3.05	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 564
4.73/3.05	c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 15694
4.73/3.05	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 108492
4.73/3.05	c 156112 constraints processed.
7.99/4.70	c cleaning 2497 clauses out of 5001 with flag 0/5001
9.42/5.91	c cleaning 4249 clauses out of 8503 with flag 0/11000
11.22/7.41	c cleaning 5629 clauses out of 11257 with flag 0/18003
13.16/9.09	c cleaning 6809 clauses out of 13625 with flag 0/26000
16.45/11.34	c cleaning 7903 clauses out of 15816 with flag 0/35000
19.67/14.20	c cleaning 8958 clauses out of 17916 with flag 0/45003
22.67/16.99	c cleaning 9976 clauses out of 19958 with flag 0/56003
25.62/19.75	c cleaning 10985 clauses out of 21979 with flag 0/68000
30.10/23.64	c cleaning 11995 clauses out of 23994 with flag 0/81000
33.52/27.03	c cleaning 12999 clauses out of 26000 with flag 0/95001
38.34/31.85	c cleaning 13998 clauses out of 28001 with flag 0/110001
45.30/38.83	c cleaning 14995 clauses out of 30002 with flag 0/126000
51.61/44.99	c cleaning 15998 clauses out of 32008 with flag 0/143001
58.14/51.29	c cleaning 17003 clauses out of 34010 with flag 0/161001
64.62/57.64	c cleaning 18004 clauses out of 36008 with flag 0/180002
71.61/64.65	c cleaning 18993 clauses out of 38002 with flag 0/200000
79.78/72.83	c cleaning 20001 clauses out of 40012 with flag 0/221003
87.77/80.88	c cleaning 20998 clauses out of 42008 with flag 0/243000
96.76/89.85	c cleaning 21996 clauses out of 44010 with flag 0/266000
107.96/101.08	c cleaning 22999 clauses out of 46014 with flag 0/290000
119.65/112.77	c cleaning 24002 clauses out of 48016 with flag 0/315001
131.83/124.94	c cleaning 25005 clauses out of 50016 with flag 0/341003
145.34/137.92	c cleaning 25996 clauses out of 52008 with flag 0/368000
159.63/151.72	c cleaning 27000 clauses out of 54011 with flag 0/396000
173.35/165.29	c cleaning 28001 clauses out of 56011 with flag 0/425000
189.31/180.16	c cleaning 29005 clauses out of 58014 with flag 0/455004
213.68/201.73	c cleaning 29983 clauses out of 60005 with flag 0/486000
255.45/242.86	c cleaning 31008 clauses out of 62022 with flag 0/518000
283.33/269.83	c cleaning 31985 clauses out of 64015 with flag 0/551001
330.02/314.77	c cleaning 32967 clauses out of 66029 with flag 0/585000
380.10/363.64	c cleaning 34001 clauses out of 68063 with flag 0/620001
426.78/409.15	c cleaning 34975 clauses out of 70061 with flag 0/656000
451.99/434.00	c cleaning 36007 clauses out of 72086 with flag 0/693000
515.86/496.66	c cleaning 37008 clauses out of 74079 with flag 0/731000
564.71/543.87	c cleaning 37964 clauses out of 76072 with flag 0/770001
610.35/588.46	c cleaning 39024 clauses out of 78108 with flag 0/810001
661.19/638.44	c cleaning 40017 clauses out of 80083 with flag 0/851000
723.55/699.73	c cleaning 40994 clauses out of 82067 with flag 0/893001
784.51/759.12	c cleaning 41987 clauses out of 84072 with flag 0/936000
858.11/831.41	c cleaning 43012 clauses out of 86085 with flag 0/980000
912.31/884.06	c cleaning 44010 clauses out of 88074 with flag 0/1025001
984.96/955.47	c cleaning 45009 clauses out of 90067 with flag 0/1071004
1078.39/1047.20	c cleaning 46016 clauses out of 92056 with flag 0/1118002
1161.52/1128.16	c cleaning 47004 clauses out of 94040 with flag 0/1166002
1230.80/1196.03	c cleaning 48001 clauses out of 96034 with flag 0/1215000
1298.14/1261.75	c cleaning 49001 clauses out of 98034 with flag 0/1265001
1375.57/1337.95	c cleaning 50011 clauses out of 100033 with flag 0/1316001
1424.46/1386.29	c cleaning 51000 clauses out of 102021 with flag 0/1368000
1478.38/1439.50	c cleaning 52000 clauses out of 104022 with flag 0/1421001
1533.28/1493.55	c cleaning 52971 clauses out of 106021 with flag 0/1475000
1598.61/1557.40	c cleaning 53985 clauses out of 108050 with flag 0/1530000
1653.72/1611.80	c cleaning 55020 clauses out of 110069 with flag 0/1586004
1715.16/1672.68	c cleaning 55982 clauses out of 112045 with flag 0/1643000
1793.03/1748.74	c cleaning 57026 clauses out of 114063 with flag 0/1701000
1881.55/1835.92	c cleaning 57960 clauses out of 116038 with flag 0/1760001
1991.33/1943.13	c cleaning 58986 clauses out of 118077 with flag 0/1820000
2104.62/2054.25	c cleaning 59993 clauses out of 120091 with flag 0/1881000
2236.76/2184.40	c cleaning 60972 clauses out of 122098 with flag 0/1943000
2360.65/2305.87	c cleaning 62018 clauses out of 124127 with flag 0/2006001
2509.86/2452.06	c cleaning 63021 clauses out of 126108 with flag 0/2070000
2641.60/2581.64	c cleaning 64037 clauses out of 128087 with flag 0/2135000
2753.59/2691.31	c cleaning 64990 clauses out of 130051 with flag 0/2201001
2874.63/2810.32	c cleaning 65997 clauses out of 132061 with flag 0/2268001
3032.05/2964.07	c cleaning 66978 clauses out of 134063 with flag 0/2336000
3148.58/3078.21	c cleaning 68006 clauses out of 136085 with flag 0/2405000
3266.61/3193.74	c cleaning 69002 clauses out of 138080 with flag 0/2475001
3426.90/3350.21	c cleaning 69968 clauses out of 140077 with flag 0/2546000
3572.83/3492.70	c cleaning 71015 clauses out of 142109 with flag 0/2618000
3600.00/3519.13	c timeout
3600.00/3519.14	c starts		: 128
3600.00/3519.14	c conflicts		: 2641713
3600.00/3519.14	c decisions		: 3899924
3600.00/3519.14	c propagations		: 786596185
3600.00/3519.14	c inspects		: 16323009198
3600.00/3519.14	c shortcuts		: 0
3600.00/3519.14	c learnt literals	: 1
3600.00/3519.14	c learnt binary clauses	: 65
3600.00/3519.14	c learnt ternary clauses	: 568
3600.00/3519.14	c learnt constraints	: 2641711
3600.00/3519.14	c ignored constraints	: 0
3600.00/3519.14	c root simplifications	: 0
3600.00/3519.14	c removed literals (reason simplification)	: 0
3600.00/3519.14	c reason swapping (by a shorter reason)	: 0
3600.00/3519.14	c Calls to reduceDB	: 68
3600.00/3519.14	c Number of update (reduction) of LBD	: 3127410
3600.00/3519.14	c Imported unit clauses	: 0
3600.00/3519.14	c No decision after first conflict	: false
3600.00/3519.14	c number of reductions to clauses (during analyze)	: 0
3600.00/3519.14	c number of learned constraints concerned by reduction	: 0
3600.00/3519.14	c number of learning phase by resolution	: 0
3600.00/3519.14	c number of learning phase by cutting planes	: 0
3600.00/3519.14	c number of rounding to 1 operations	: 0
3600.00/3519.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3519.14	c number of reductions of the coefficients by power 2 	: 0
3600.00/3519.14	c number of right shift for reduction by power 2 	: 0
3600.00/3519.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3519.14	c number of ending skipping 	: 0
3600.00/3519.14	c number of internal skipping 	: 0
3600.00/3519.14	c number of derivation steps 	: 72720808
3600.00/3519.14	c number of skipped derivation steps 	: 0
3600.00/3519.14	c number of remaining unassigned 	: 143196
3600.00/3519.14	c number of remaining assigned 	: 533425424
3600.00/3519.14	c number of falsified literals weakened from reason	: 0
3600.00/3519.14	c number of falsified literals weakened from conflict	: 0
3600.00/3519.14	c time for arithmetic operations	: 15951179542
3600.00/3519.14	c minimum degree of deleted constraints	: 1
3600.00/3519.14	c maximum degree of deleted constraints	: 26244714077837331810234462398250
3600.00/3519.14	c number of deleted constraints	: 2546905
3600.00/3519.14	c speed (assignments/second)	: 223713.13415202615
3600.00/3519.14	c non guided choices	: 50814
3600.00/3519.19	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 64290
3600.00/3519.19	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 10
3600.00/3519.19	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 65
3600.00/3519.19	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 30441
3600.00/3519.19	s UNKNOWN
3600.00/3519.19	c Total wall clock time (in seconds): 3518.855

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (58029 MiB free)
  memory of node 1: 64473 MiB (52689 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446401-1721335595/watcher-4446401-1721335595 -o /tmp/evaluation-result-4446401-1721335595/solver-4446401-1721335595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721328481-972841 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4446401-1721335595.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=978085, runsolver pid=978082

[startup+0.10044 s]*
/proc/loadavg: 4.51 4.59 4.49 5/314 978103
/proc/meminfo: memFree=113340776/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=18975048 memory=56416 CPUtime=0.12 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 6609 0 0 0 10 2 0 0 20 0 18 0 185716637 19430449152 14104 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4743762 14104 5608 1 0 550925 0
[pid=978085/tid=978087] ppid=978082 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) R 978082 978085 972831 0 -1 4194368 5517 0 0 0 7 1 0 0 20 0 18 0 185716637 19430449152 14104 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 185716640 19430449152 14104 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=18975048 memory=14698495669638111 CPUtime=0 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 185716641 19430449152 14104 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56416 KiB

[startup+0.217285 s]*
/proc/loadavg: 4.51 4.59 4.49 5/314 978103
/proc/meminfo: memFree=113330120/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=18975048 memory=67052 CPUtime=0.25 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 7224 0 0 0 23 2 0 0 20 0 18 0 185716637 19430449152 16763 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4743762 16763 5612 1 0 551472 0
[pid=978085/tid=978087] ppid=978082 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) R 978082 978085 972831 0 -1 1078198336 5774 0 0 0 16 1 0 0 20 0 18 0 185716637 19430449152 16763 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=18975048 memory=1774770 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 185716640 19430449152 16763 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 185716641 19430449152 16763 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67052 KiB

[startup+0.31643 s]*
/proc/loadavg: 4.51 4.59 4.49 7/314 978103
/proc/meminfo: memFree=113328776/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=18975048 memory=68592 CPUtime=0.39 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 7458 0 0 0 36 3 0 0 20 0 18 0 185716637 19430449152 17148 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4743762 17148 5756 1 0 551657 0
[pid=978085/tid=978087] ppid=978082 vsize=18975048 memory=-9031241607224271548 CPUtime=0.26 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) R 978082 978085 972831 0 -1 4194368 5944 0 0 0 24 2 0 0 20 0 18 0 185716637 19430449152 17148 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 185716640 19430449152 17148 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 185716641 19430449152 17148 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68592 KiB

[startup+0.704686 s]
/proc/loadavg: 4.51 4.59 4.49 9/314 978103
/proc/meminfo: memFree=113237420/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=19041612 memory=199440 CPUtime=1.06 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 9325 0 0 0 100 6 0 0 20 0 19 0 185716637 19498610688 49860 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4760403 49860 5876 1 0 553158 0
[pid=978085/tid=978087] ppid=978082 vsize=19041612 memory=5540 CPUtime=0.58 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) R 978082 978085 972831 0 -1 4194368 6124 0 0 0 53 5 0 0 20 0 19 0 185716637 19498610688 49860 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=19041612 memory=12508 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 185716640 19498610688 49860 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185716641 19498610688 49860 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 199440 KiB

[startup+1.50042 s]
/proc/loadavg: 4.51 4.59 4.49 7/315 978104
/proc/meminfo: memFree=112603828/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=19041612 memory=1332332 CPUtime=2.63 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 21015 0 0 0 233 30 0 0 20 0 19 0 185716637 19498610688 333083 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4760403 333083 5876 1 0 558841 0
[pid=978085/tid=978087] ppid=978082 vsize=19041612 memory=12508 CPUtime=1.32 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) R 978082 978085 972831 0 -1 4194368 6782 0 0 0 107 25 0 0 20 0 19 0 185716637 19498610688 333083 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 185716640 19498610688 333083 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185716641 19498610688 333083 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1332332 KiB

[startup+3.10642 s]
/proc/loadavg: 4.51 4.59 4.49 5/315 978104
/proc/meminfo: memFree=111530536/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=19108176 memory=1853172 CPUtime=4.9 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 22173 0 0 0 449 41 0 0 20 0 20 0 185716637 19566772224 463293 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4777044 463293 5876 1 0 691064 0
[pid=978085/tid=978087] ppid=978082 vsize=19108176 memory=0 CPUtime=2.83 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) R 978082 978085 972831 0 -1 4194368 7220 0 0 0 247 36 0 0 20 0 20 0 185716637 19566772224 463293 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185716640 19566772224 463293 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=19108176 memory=1431080 CPUtime=0 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 185716641 19566772224 463293 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 4.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1853172 KiB

[startup+6.30042 s]
/proc/loadavg: 4.55 4.60 4.49 6/317 978106
/proc/meminfo: memFree=110376844/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=19108176 memory=2980408 CPUtime=10.09 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 24080 0 0 0 945 64 0 0 20 0 20 0 185716637 19566772224 745102 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4777044 745102 5876 1 0 981517 0
[pid=978085/tid=978087] ppid=978082 vsize=19108176 memory=1853004 CPUtime=5.89 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) R 978082 978085 972831 0 -1 4194368 8197 0 0 0 531 58 0 0 20 0 20 0 185716637 19566772224 745102 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185716640 19566772224 745102 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=19108176 memory=2980408 CPUtime=0 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185716641 19566772224 745102 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978105] ppid=978082 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/978085/task/978105/stat : 978105 (Timer-0) S 978082 978085 972831 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185716942 19566772224 745102 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 10.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2980408 KiB

[startup+12.7004 s]
/proc/loadavg: 4.59 4.60 4.49 6/317 978108
/proc/meminfo: memFree=110351768/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=19108176 memory=2995236 CPUtime=18.17 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 34381 0 0 0 1751 66 0 0 20 0 20 0 185716637 19566772224 748809 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4777044 748809 5891 1 0 981587 0
[pid=978085/tid=978087] ppid=978082 vsize=19108176 memory=2995236 CPUtime=12.15 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) R 978082 978085 972831 0 -1 4194368 10111 0 0 0 1156 59 0 0 20 0 20 0 185716637 19566772224 748809 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=19108176 memory=2994064 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185716640 19566772224 748809 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=19108176 memory=2984568 CPUtime=0 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185716641 19566772224 748809 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978105] ppid=978082 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/978085/task/978105/stat : 978105 (Timer-0) S 978082 978085 972831 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185716942 19566772224 748809 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 18.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2995236 KiB

[startup+25.5004 s]
/proc/loadavg: 4.60 4.61 4.50 5/317 978110
/proc/meminfo: memFree=110330392/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=19108176 memory=2997936 CPUtime=32.03 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 37504 0 0 0 3135 68 0 0 20 0 20 0 185716637 19566772224 749484 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4777044 749484 5903 1 0 981619 0
[pid=978085/tid=978087] ppid=978082 vsize=19108176 memory=2995236 CPUtime=24.45 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) R 978082 978085 972831 0 -1 4194368 11184 0 0 0 2386 59 0 0 20 0 20 0 185716637 19566772224 749484 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185716640 19566772224 749484 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185716641 19566772224 749484 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978105] ppid=978082 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/978085/task/978105/stat : 978105 (Timer-0) S 978082 978085 972831 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185716942 19566772224 749484 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 32.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2997936 KiB

[startup+51.113 s]
/proc/loadavg: 4.54 4.59 4.49 5/317 978114
/proc/meminfo: memFree=110278108/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=19108176 memory=3008444 CPUtime=58.04 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 45606 0 0 0 5734 70 0 0 20 0 20 0 185716637 19566772224 752111 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4777044 752111 5903 1 0 981619 0
[pid=978085/tid=978087] ppid=978082 vsize=19108176 memory=11420 CPUtime=49.3 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) R 978082 978085 972831 0 -1 4194368 13511 0 0 0 4871 59 0 0 20 0 20 0 185716637 19566772224 752111 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=19108176 memory=45484 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185716640 19566772224 752111 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185716641 19566772224 752111 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978105] ppid=978082 vsize=19108176 memory=164 CPUtime=0 cores=0,2
/proc/978085/task/978105/stat : 978105 (Timer-0) S 978082 978085 972831 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185716942 19566772224 752111 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 58.04 s
Current children cumulated vsize: 19108176 KiB

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

[startup+3162.3 s]
/proc/loadavg: 4.36 4.36 4.32 5/317 979856
/proc/meminfo: memFree=108121564/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=19108176 memory=4868200 CPUtime=3234.41 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 403980 0 0 0 323085 356 0 0 20 0 20 0 185716637 19566772224 1217050 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4777044 1217050 5918 1 0 1230346 0
[pid=978085/tid=978087] ppid=978082 vsize=19108176 memory=11420 CPUtime=3070.17 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) R 978082 978085 972831 0 -1 4194368 192672 0 0 0 306903 114 0 0 20 0 20 0 185716637 19566772224 1217050 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=19108176 memory=4868088 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185716640 19566772224 1217050 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=19108176 memory=4868108 CPUtime=0.01 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 3813 0 0 0 0 1 0 0 20 0 20 0 185716641 19566772224 1217050 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978105] ppid=978082 vsize=19108176 memory=-9031241607224271548 CPUtime=0 cores=0,2
/proc/978085/task/978105/stat : 978105 (Timer-0) S 978082 978085 972831 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185716942 19566772224 1217050 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 3234.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4868200 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.31 4.30 5/317 979866
/proc/meminfo: memFree=108072956/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=19108176 memory=4868200 CPUtime=3295.56 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 409676 0 0 0 329196 360 0 0 20 0 20 0 185716637 19566772224 1217050 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4777044 1217050 5918 1 0 1230346 0
[pid=978085/tid=978087] ppid=978082 vsize=19108176 memory=45484 CPUtime=3128.55 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) R 978082 978085 972831 0 -1 4194368 195690 0 0 0 312740 115 0 0 20 0 20 0 185716637 19566772224 1217050 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=19108176 memory=4868196 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185716640 19566772224 1217050 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=19108176 memory=4868200 CPUtime=0.01 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 3875 0 0 0 0 1 0 0 20 0 20 0 185716641 19566772224 1217050 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978105] ppid=978082 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/978085/task/978105/stat : 978105 (Timer-0) S 978082 978085 972831 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185716942 19566772224 1217050 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 3295.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4868200 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.28 4.29 5/319 979881
/proc/meminfo: memFree=108072648/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=19108176 memory=4868208 CPUtime=3357.11 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 414490 0 0 0 335347 364 0 0 20 0 20 0 185716637 19566772224 1217052 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4777044 1217052 5918 1 0 1230346 0
[pid=978085/tid=978087] ppid=978082 vsize=19108176 memory=5540 CPUtime=3186.45 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) R 978082 978085 972831 0 -1 4194368 198980 0 0 0 318529 116 0 0 20 0 20 0 185716637 19566772224 1217052 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=19108176 memory=4868200 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185716640 19566772224 1217052 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=19108176 memory=4868200 CPUtime=0.01 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 3876 0 0 0 0 1 0 0 20 0 20 0 185716641 19566772224 1217052 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978105] ppid=978082 vsize=19108176 memory=-9031241607224271548 CPUtime=0 cores=0,2
/proc/978085/task/978105/stat : 978105 (Timer-0) S 978082 978085 972831 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185716942 19566772224 1217052 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 3357.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4868208 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.29 4.29 5/319 979891
/proc/meminfo: memFree=108070772/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=19108176 memory=4869732 CPUtime=3418.9 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 429905 0 0 0 341518 372 0 0 20 0 20 0 185716637 19566772224 1217433 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4777044 1217433 5918 1 0 1230753 0
[pid=978085/tid=978087] ppid=978082 vsize=19108176 memory=4869676 CPUtime=3245.06 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) R 978082 978085 972831 0 -1 4194368 203105 0 0 0 324390 116 0 0 20 0 20 0 185716637 19566772224 1217433 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=19108176 memory=4869732 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185716640 19566772224 1217433 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=19108176 memory=11420 CPUtime=0.01 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 3904 0 0 0 0 1 0 0 20 0 20 0 185716641 19566772224 1217433 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978105] ppid=978082 vsize=19108176 memory=4869732 CPUtime=0 cores=0,2
/proc/978085/task/978105/stat : 978105 (Timer-0) S 978082 978085 972831 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185716942 19566772224 1217433 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 3418.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4869732 KiB

[startup+3402.3 s]
/proc/loadavg: 3.75 4.15 4.24 4/293 979935
/proc/meminfo: memFree=112663168/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=19108176 memory=4869844 CPUtime=3480.17 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 436453 0 0 0 347641 376 0 0 20 0 20 0 185716637 19566772224 1217461 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4777044 1217461 5918 1 0 1230753 0
[pid=978085/tid=978087] ppid=978082 vsize=19108176 memory=4869844 CPUtime=3303.42 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) R 978082 978085 972831 0 -1 4194368 205588 0 0 0 330225 117 0 0 20 0 20 0 185716637 19566772224 1217461 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=19108176 memory=4869844 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185716640 19566772224 1217461 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=19108176 memory=-9031241607224271548 CPUtime=0.01 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 3989 0 0 0 0 1 0 0 20 0 20 0 185716641 19566772224 1217461 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978105] ppid=978082 vsize=19108176 memory=4869844 CPUtime=0 cores=0,2
/proc/978085/task/978105/stat : 978105 (Timer-0) S 978082 978085 972831 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185716942 19566772224 1217461 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 3480.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4869844 KiB

[startup+3462.3 s]
/proc/loadavg: 3.38 3.97 4.17 4/293 979946
/proc/meminfo: memFree=112662832/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=19108176 memory=4869844 CPUtime=3541.64 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 441254 0 0 0 353783 381 0 0 20 0 20 0 185716637 19566772224 1217461 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4777044 1217461 5918 1 0 1230753 0
[pid=978085/tid=978087] ppid=978082 vsize=19108176 memory=4869844 CPUtime=3361.44 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) R 978082 978085 972831 0 -1 4194368 208746 0 0 0 336027 117 0 0 20 0 20 0 185716637 19566772224 1217461 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=19108176 memory=45484 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185716640 19566772224 1217461 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=19108176 memory=4869844 CPUtime=0.01 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 3989 0 0 0 0 1 0 0 20 0 20 0 185716641 19566772224 1217461 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978105] ppid=978082 vsize=19108176 memory=4869844 CPUtime=0 cores=0,2
/proc/978085/task/978105/stat : 978105 (Timer-0) S 978082 978085 972831 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185716942 19566772224 1217461 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 3541.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4869844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3519.11 s]
/proc/loadavg: 2.26 3.57 4.02 2/241 980022
/proc/meminfo: memFree=124709644/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=19108176 memory=4869848 CPUtime=3600 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 442912 0 0 0 359614 386 0 0 20 0 20 0 185716637 19566772224 1217462 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4777044 1217462 5918 1 0 1230753 0
[pid=978085/tid=978087] ppid=978082 vsize=19108176 memory=4869844 CPUtime=3416.15 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) R 978082 978085 972831 0 -1 4194368 209991 0 0 0 341498 117 0 0 20 0 20 0 185716637 19566772224 1217462 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185716640 19566772224 1217462 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=19108176 memory=11420 CPUtime=0.01 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 4073 0 0 0 0 1 0 0 20 0 20 0 185716641 19566772224 1217462 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978105] ppid=978082 vsize=19108176 memory=-9031241607224271548 CPUtime=0 cores=0,2
/proc/978085/task/978105/stat : 978105 (Timer-0) S 978082 978085 972831 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185716942 19566772224 1217462 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4869848 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.3 s, system=3.89545 s

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

[startup+3519.2 s]
/proc/loadavg: 2.26 3.57 4.02 2/241 980022
/proc/meminfo: memFree=124709644/131655788 swapFree=131070704/131071996
[pid=978085] ppid=978082 vsize=19307868 memory=4870772 CPUtime=3600.17 cores=0,2
/proc/978085/stat : 978085 (java) S 978082 978085 972831 0 -1 1077936128 446685 0 0 0 359630 387 0 0 20 0 15 0 185716637 19771256832 1217693 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
/proc/978085/statm: 4826967 1217693 5930 1 0 1231740 0
[pid=978085/tid=978087] ppid=978082 vsize=19307868 memory=-9031241607224271548 CPUtime=3416.17 cores=0,2
/proc/978085/task/978087/stat : 978087 (java) S 978082 978085 972831 0 -1 1077936192 210268 0 0 0 341500 117 0 0 20 0 15 0 185716637 19771256832 1217693 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978096] ppid=978082 vsize=19307868 memory=5540 CPUtime=0 cores=0,2
/proc/978085/task/978096/stat : 978096 (Finalizer) S 978082 978085 972831 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 15 0 185716640 19771256832 1217693 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
[pid=978085/tid=978103] ppid=978082 vsize=19307868 memory=4869848 CPUtime=0.01 cores=0,2
/proc/978085/task/978103/stat : 978103 (Common-Cleaner) S 978082 978085 972831 0 -1 1077936192 4073 0 0 0 0 1 0 0 20 0 15 0 185716641 19771256832 1217693 134679101440 94693734715392 94693734719088 140730137382352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94693734726904 94693734727696 94693752356864 140730137383924 140730137384032 140730137384032 140730137391048 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4870772 KiB

Child status: 143

Real time (s): 3519.22
CPU time (s): 3600.2
CPU user time (s): 3596.3
CPU system time (s): 3.89545
CPU usage (%): 102.301
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4870772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.3
system time used= 3.89545
maximum resident set size= 4871672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 446732
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132625
involuntary context switches= 30185


# summary of solver processes directly reported to runsolver:
#   pid: 978085
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3596.3
#   total CPU system time (s): 3.89545

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.0895 second user time and 33.538 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-18 22:46:47
IDJOB=4446401
IDBENCH=155589
IDSOLVER=3052
FILE ID=nodeC011/4446401-1721335595
RUNJOBID= nodeC011-1721328481-972841
SLURM_JOB_ID= 7542688
Free space on /tmp= 723720 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-21.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446401-1721335595/watcher-4446401-1721335595 -o /tmp/evaluation-result-4446401-1721335595/solver-4446401-1721335595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721328481-972841 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4446401-1721335595.opb

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

MD5SUM BENCH= abfa2b7f448cb4339f1b1eeb1bae5b59
RANDOM SEED=2107496883

nodeC011.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.602
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.20
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		: 3595.530
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.139
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.20
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.258
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		: 3644.577
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.20
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		: 3532.099
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.164
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.20
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.130
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:        113376364 kB
MemAvailable:   113853172 kB
Buffers:          521676 kB
Cached:           795444 kB
SwapCached:          132 kB
Active:          1079188 kB
Inactive:       16679036 kB
Active(anon):       1460 kB
Inactive(anon): 16477372 kB
Active(file):    1077728 kB
Inactive(file):   201664 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:              7332 kB
Writeback:             0 kB
AnonPages:      16441376 kB
Mapped:           125316 kB
Shmem:             37400 kB
KReclaimable:      75232 kB
Slab:             157352 kB
SReclaimable:      75232 kB
SUnreclaim:        82120 kB
KernelStack:        4832 kB
PageTables:        42152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   19458060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27072 kB
HardwareCorrupted:     0 kB
AnonHugePages:  16271360 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:      277320 kB
DirectMap2M:    33181696 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC011 at 2024-07-18 23:45:27