Trace number 4459933

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Partial RoundingSAT 2024 2024-07-12SAT (TO)-14 3600.4 3575.07

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_2.opb
MD5SUMcf766711a707813c9bd3325657edcc33
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark281.076
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1232
Sum of products size (including duplicates)2464
Number of different products616
Sum of products size1232

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2106806208
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.15/0.15	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.15/0.15	 - never skip resolution steps
0.15/0.15	 - Auto-division on coefficients is disabled
0.15/0.15	 - No postprocessing
0.15/0.15	 - Conflict is considered as is when resolving
0.15/0.15	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.15/0.15	 - Weaken first using unassigned literals
0.15/0.15	 - Bump strategy: ALWAYS_ONE
0.15/0.15	 - Bumper: ASSIGNED
0.15/0.15	--- Begin Solver configuration ---
0.15/0.15	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.15/0.15	Learn all clauses as in MiniSAT
0.15/0.15	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.15/0.15	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.15/0.15	No reason simplification
0.15/0.15	Armin Biere (Picosat) restarts strategy
0.15/0.15	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.15/0.15	timeout=2147483s
0.15/0.15	DB Simplification allowed=false
0.15/0.15	Listener: none
0.15/0.15	--- End Solver configuration ---
0.15/0.15	c Pseudo Boolean Optimization by upper bound
0.15/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.15/0.15	c  - never skip resolution steps
0.15/0.15	c  - Auto-division on coefficients is disabled
0.15/0.15	c  - No postprocessing
0.15/0.15	c  - Conflict is considered as is when resolving
0.15/0.15	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.15/0.15	c  - Weaken first using unassigned literals
0.15/0.15	c  - Bump strategy: ALWAYS_ONE
0.15/0.15	c  - Bumper: ASSIGNED
0.15/0.15	c --- Begin Solver configuration ---
0.15/0.15	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.15/0.15	c Learn all clauses as in MiniSAT
0.15/0.15	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.15/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.15/0.15	c No reason simplification
0.15/0.15	c Armin Biere (Picosat) restarts strategy
0.15/0.15	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.15/0.15	c timeout=2147483s
0.15/0.15	c DB Simplification allowed=false
0.15/0.15	c Listener: none
0.15/0.15	c --- End Solver configuration ---
0.15/0.15	c solving HOME/instance-4459933-1721939794.opb
0.15/0.15	c reading problem ... 
0.15/0.15	c  objective function found
0.15/0.21	c ... done. Wall clock time 0.056s.
0.15/0.21	c declared #vars     100
0.15/0.21	c internal #vars     716
0.15/0.21	c #constraints  1384
0.15/0.21	c constraints type 
0.15/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 50
0.15/0.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 102
0.15/0.21	c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 616
0.15/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 616
0.15/0.21	c 1384 constraints processed.
0.35/0.22	c objective function length is 50 literals
0.35/0.25	c SATISFIABLE
0.35/0.25	c OPTIMIZING...
0.35/0.25	c Got one! Elapsed wall clock time (in seconds):0.096
0.35/0.25	o -4
0.35/0.26	c Got one! Elapsed wall clock time (in seconds):0.109
0.35/0.26	o -5
0.35/0.27	c Got one! Elapsed wall clock time (in seconds):0.116
0.35/0.27	o -6
0.35/0.30	c Got one! Elapsed wall clock time (in seconds):0.151
0.35/0.30	o -7
0.52/0.32	c Got one! Elapsed wall clock time (in seconds):0.169
0.52/0.32	o -8
0.52/0.33	c Got one! Elapsed wall clock time (in seconds):0.184
0.52/0.33	o -9
0.52/0.36	c Got one! Elapsed wall clock time (in seconds):0.207
0.52/0.36	o -10
0.52/0.40	c Got one! Elapsed wall clock time (in seconds):0.255
0.52/0.40	o -11
2.85/1.53	c Got one! Elapsed wall clock time (in seconds):1.376
2.85/1.53	o -12
7.67/4.79	c Got one! Elapsed wall clock time (in seconds):4.639
7.67/4.79	o -13
11.66/8.52	c cleaning 3381 clauses out of 6769 with flag 0/6769
18.95/15.63	c cleaning 4691 clauses out of 9390 with flag 0/12771
29.32/25.63	c cleaning 5844 clauses out of 11698 with flag 0/19770
39.77/36.06	c cleaning 6910 clauses out of 13853 with flag 0/27769
52.46/48.63	c cleaning 7932 clauses out of 15942 with flag 0/36768
66.70/62.55	c cleaning 7885 clauses out of 18010 with flag 0/46768
86.21/81.70	c cleaning 8637 clauses out of 21124 with flag 0/57767
106.17/100.53	c cleaning 9024 clauses out of 24488 with flag 0/69768
129.61/123.75	c cleaning 10209 clauses out of 28463 with flag 0/82767
163.68/157.54	c cleaning 10689 clauses out of 32254 with flag 0/96767
197.01/190.40	c cleaning 11175 clauses out of 36565 with flag 0/111767
234.35/227.21	c cleaning 12198 clauses out of 41390 with flag 0/127767
270.94/263.30	c cleaning 12573 clauses out of 46194 with flag 0/144769
357.98/349.66	c cleaning 13448 clauses out of 51619 with flag 0/162767
412.63/403.99	c cleaning 14078 clauses out of 57172 with flag 0/181768
463.73/454.68	c cleaning 14912 clauses out of 63094 with flag 0/201768
528.69/518.91	c cleaning 15266 clauses out of 69182 with flag 0/222768
608.23/597.96	c cleaning 16486 clauses out of 75917 with flag 0/244769
697.47/686.86	c cleaning 16493 clauses out of 82431 with flag 0/267769
773.06/761.98	c cleaning 17979 clauses out of 89938 with flag 0/291769
893.87/882.66	c cleaning 18898 clauses out of 96957 with flag 0/316767
1032.23/1020.63	c cleaning 19401 clauses out of 104060 with flag 0/342768
1131.30/1119.22	c cleaning 19227 clauses out of 111659 with flag 0/369768
1185.94/1173.57	c Got one! Elapsed wall clock time (in seconds):1173.423
1185.94/1173.57	o -14
1212.43/1200.09	c cleaning 16650 clauses out of 115552 with flag 0/392888
1222.92/1210.46	c cleaning 4842 clauses out of 104902 with flag 0/398888
1233.51/1220.91	c cleaning 5266 clauses out of 107060 with flag 0/405888
1248.10/1235.43	c cleaning 6067 clauses out of 109796 with flag 0/413890
1265.48/1252.85	c cleaning 6555 clauses out of 112727 with flag 0/422888
1285.30/1272.60	c cleaning 7636 clauses out of 116172 with flag 0/432888
1315.15/1302.41	c cleaning 8107 clauses out of 119536 with flag 0/443888
1344.87/1331.85	c cleaning 8612 clauses out of 123429 with flag 0/455888
1377.71/1364.33	c cleaning 8660 clauses out of 127817 with flag 0/468888
1421.91/1408.01	c cleaning 10294 clauses out of 133157 with flag 0/482888
1504.81/1490.42	c cleaning 10409 clauses out of 137866 with flag 0/497891
1558.13/1543.34	c cleaning 10466 clauses out of 143454 with flag 0/513888
1604.73/1589.43	c cleaning 12479 clauses out of 149988 with flag 0/530888
1667.10/1651.28	c cleaning 12471 clauses out of 155509 with flag 0/548888
1727.64/1711.13	c cleaning 13526 clauses out of 162038 with flag 0/567888
1805.26/1788.07	c cleaning 14358 clauses out of 168513 with flag 0/587889
1889.24/1871.28	c cleaning 15945 clauses out of 175154 with flag 0/608888
1990.89/1972.91	c cleaning 15740 clauses out of 181213 with flag 0/630892
2090.33/2071.94	c cleaning 16989 clauses out of 188470 with flag 0/653889
2186.18/2166.90	c cleaning 17485 clauses out of 195481 with flag 0/677889
2295.41/2275.48	c cleaning 17349 clauses out of 202995 with flag 0/702888
2456.82/2436.49	c cleaning 18991 clauses out of 211647 with flag 0/728889
2656.69/2636.54	c cleaning 19028 clauses out of 219656 with flag 0/755889
2812.25/2791.79	c cleaning 18295 clauses out of 228628 with flag 0/783889
3013.66/2992.20	c cleaning 20357 clauses out of 239336 with flag 0/812892
3216.33/3193.42	c cleaning 21119 clauses out of 248976 with flag 0/842889
3417.21/3393.25	c cleaning 22525 clauses out of 258857 with flag 0/873889
3600.08/3574.92	c starts		: 194
3600.08/3574.92	c conflicts		: 905675
3600.08/3574.92	c decisions		: 1108884
3600.08/3574.92	c propagations		: 32135535
3600.08/3574.92	c inspects		: 5926894467
3600.08/3574.92	c shortcuts		: 0
3600.08/3574.92	c learnt literals	: 0
3600.08/3574.92	c learnt binary clauses	: 0
3600.08/3574.92	c learnt ternary clauses	: 1
3600.08/3574.92	c learnt constraints	: 905675
3600.08/3574.92	c ignored constraints	: 0
3600.08/3574.92	c root simplifications	: 0
3600.08/3574.92	c removed literals (reason simplification)	: 0
3600.08/3574.92	c reason swapping (by a shorter reason)	: 0
3600.08/3574.92	c Calls to reduceDB	: 50
3600.08/3574.92	c Number of update (reduction) of LBD	: 0
3600.08/3574.92	c Imported unit clauses	: 0
3600.08/3574.92	c No decision after first conflict	: false
3600.08/3574.92	c number of reductions to clauses (during analyze)	: 0
3600.08/3574.92	c number of learned constraints concerned by reduction	: 0
3600.08/3574.92	c number of learning phase by resolution	: 0
3600.08/3574.92	c number of learning phase by cutting planes	: 0
3600.08/3574.92	c number of rounding to 1 operations	: 4895288
3600.08/3574.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3574.92	c number of reductions of the coefficients by power 2 	: 0
3600.08/3574.92	c number of right shift for reduction by power 2 	: 0
3600.08/3574.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3574.92	c number of ending skipping 	: 0
3600.08/3574.92	c number of internal skipping 	: 0
3600.08/3574.92	c number of derivation steps 	: 7255091
3600.08/3574.92	c number of skipped derivation steps 	: 0
3600.08/3574.92	c number of remaining unassigned 	: 818239
3600.08/3574.92	c number of remaining assigned 	: 102820934
3600.08/3574.92	c number of falsified literals weakened from reason	: 0
3600.08/3574.92	c number of falsified literals weakened from conflict	: 0
3600.08/3574.92	c time for arithmetic operations	: 9500222792
3600.08/3574.94	c minimum degree of deleted constraints	: 4
3600.08/3574.94	c maximum degree of deleted constraints	: 3261230790570188419600
3600.08/3574.94	c number of deleted constraints	: 637557
3600.08/3574.94	c speed (assignments/second)	: 8989.680013561925
3600.08/3574.94	c non guided choices	: 11
3600.28/3575.05	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 231988
3600.28/3575.05	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 388
3600.28/3575.05	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 35742
3600.28/3575.05	s SATISFIABLE
3600.28/3575.05	c Found 11 solution(s)
3600.28/3575.05	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 x16 x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 x27 x28 x29 x30 -x31 -x32 x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 x41 -x42 -x43 x44 -x45 -x46 x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 x61 x62 -x63 x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 x81 x82 -x83 -x84 x85 -x86 -x87 x88 -x89 -x90 -x91 x92 x93 -x94 x95 x96 -x97 -x98 -x99 -x100 
3600.28/3575.05	c objective function=-14
3600.28/3575.05	c Total wall clock time (in seconds): 3574.899

Verifier Data 

OK	-14

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: 63968 MiB (49525 MiB free)
  memory of node 1: 64473 MiB (46098 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459933-1721939794/watcher-4459933-1721939794 -o /tmp/evaluation-result-4459933-1721939794/solver-4459933-1721939794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721939462-300225 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4459933-1721939794.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
solver pid=300608, runsolver pid=300605
Current StackSize limit: 8192 KiB


[startup+0.100118 s]*
/proc/loadavg: 4.22 2.93 1.50 6/325 300626
/proc/meminfo: memFree=97876580/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=18993908 memory=63728 CPUtime=0.15 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 7298 0 0 0 13 2 0 0 20 0 18 0 30507660 19449761792 15932 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4748477 15932 5788 1 0 549382 0
[pid=300608/tid=300610] ppid=300605 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 4194368 5829 0 0 0 7 1 0 0 20 0 18 0 30507660 19449761792 15932 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300619] ppid=300605 vsize=18993908 memory=232851243367 CPUtime=0 cores=0,2
/proc/300608/task/300619/stat : 300619 (Finalizer) S 300605 300608 300215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30507663 19449761792 15932 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300626] ppid=300605 vsize=18993908 memory=14133346625590257 CPUtime=0 cores=0,2
/proc/300608/task/300626/stat : 300626 (Common-Cleaner) S 300605 300608 300215 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30507663 19449761792 15932 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 63728 KiB

[startup+0.214603 s]*
/proc/loadavg: 4.22 2.93 1.50 6/325 300626
/proc/meminfo: memFree=97865704/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=18993908 memory=74948 CPUtime=0.35 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 7907 0 0 0 33 2 0 0 20 0 18 0 30507660 19449761792 18737 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4748477 18737 5986 1 0 549740 0
[pid=300608/tid=300610] ppid=300605 vsize=18993908 memory=4782652875487838339 CPUtime=0.2 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 4194368 6188 0 0 0 18 2 0 0 20 0 18 0 30507660 19449761792 18737 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300619] ppid=300605 vsize=18993908 memory=1512645 CPUtime=0 cores=0,2
/proc/300608/task/300619/stat : 300619 (Finalizer) S 300605 300608 300215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30507663 19449761792 18825 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300626] ppid=300605 vsize=18993908 memory=13851871647368912 CPUtime=0 cores=0,2
/proc/300608/task/300626/stat : 300626 (Common-Cleaner) S 300605 300608 300215 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30507663 19449761792 18825 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 74948 KiB

[startup+0.306915 s]*
/proc/loadavg: 4.22 2.93 1.50 8/326 300627
/proc/meminfo: memFree=97850592/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=19060472 memory=90672 CPUtime=0.52 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 9354 0 0 0 49 3 0 0 20 0 19 0 30507660 19517923328 22668 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4765118 22668 6151 1 0 551171 0
[pid=300608/tid=300610] ppid=300605 vsize=19060472 memory=-8817314062331978428 CPUtime=0.28 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 1077936192 6256 0 0 0 26 2 0 0 20 0 19 0 30507660 19517923328 22668 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300619] ppid=300605 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/300608/task/300619/stat : 300619 (Finalizer) S 300605 300608 300215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30507663 19517923328 22668 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300626] ppid=300605 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/300608/task/300626/stat : 300626 (Common-Cleaner) S 300605 300608 300215 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30507663 19517923328 22668 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300627] ppid=300605 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/300608/task/300627/stat : 300627 (Timer-0) S 300605 300608 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30507682 19517923328 22668 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 90672 KiB

[startup+0.700708 s]
/proc/loadavg: 4.22 2.93 1.50 6/326 300627
/proc/meminfo: memFree=97798548/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=19127036 memory=180512 CPUtime=1.28 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 14227 0 0 0 122 6 0 0 20 0 20 0 30507660 19586084864 45128 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4781759 45128 6167 1 0 554642 0
[pid=300608/tid=300610] ppid=300605 vsize=19127036 memory=12944 CPUtime=0.61 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 4194368 6301 0 0 0 58 3 0 0 20 0 20 0 30507660 19586084864 45128 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300619] ppid=300605 vsize=19127036 memory=12944 CPUtime=0 cores=0,2
/proc/300608/task/300619/stat : 300619 (Finalizer) S 300605 300608 300215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 45128 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300626] ppid=300605 vsize=19127036 memory=115332 CPUtime=0 cores=0,2
/proc/300608/task/300626/stat : 300626 (Common-Cleaner) S 300605 300608 300215 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 45128 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300627] ppid=300605 vsize=19127036 memory=1816 CPUtime=0 cores=0,2
/proc/300608/task/300627/stat : 300627 (Timer-0) S 300605 300608 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30507682 19586084864 45128 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 180512 KiB

[startup+1.5007 s]
/proc/loadavg: 4.22 2.93 1.50 6/327 300628
/proc/meminfo: memFree=97757716/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=19127036 memory=323800 CPUtime=2.85 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 24339 0 0 0 276 9 0 0 20 0 20 0 30507660 19586084864 80950 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4781759 80950 6183 1 0 557517 0
[pid=300608/tid=300610] ppid=300605 vsize=19127036 memory=12944 CPUtime=1.36 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 4194368 6629 0 0 0 131 5 0 0 20 0 20 0 30507660 19586084864 80950 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300619] ppid=300605 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/300608/task/300619/stat : 300619 (Finalizer) S 300605 300608 300215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 80950 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300626] ppid=300605 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/300608/task/300626/stat : 300626 (Common-Cleaner) S 300605 300608 300215 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 80950 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300627] ppid=300605 vsize=19127036 memory=65 CPUtime=0 cores=0,2
/proc/300608/task/300627/stat : 300627 (Timer-0) S 300605 300608 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30507682 19586084864 80950 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 323800 KiB

[startup+3.10607 s]
/proc/loadavg: 4.22 2.93 1.50 6/327 300629
/proc/meminfo: memFree=97201504/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=19127036 memory=791480 CPUtime=5.8 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 26540 0 0 0 560 20 0 0 20 0 20 0 30507660 19586084864 197870 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4781759 197870 6183 1 0 557522 0
[pid=300608/tid=300610] ppid=300605 vsize=19127036 memory=0 CPUtime=2.95 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 4194368 7631 0 0 0 280 15 0 0 20 0 20 0 30507660 19586084864 197870 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300619] ppid=300605 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/300608/task/300619/stat : 300619 (Finalizer) S 300605 300608 300215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 197870 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300626] ppid=300605 vsize=19127036 memory=502252 CPUtime=0 cores=0,2
/proc/300608/task/300626/stat : 300626 (Common-Cleaner) S 300605 300608 300215 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 197870 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300627] ppid=300605 vsize=19127036 memory=12944 CPUtime=0 cores=0,2
/proc/300608/task/300627/stat : 300627 (Timer-0) S 300605 300608 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30507682 19586084864 197870 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
Current children cumulated CPU time: 5.8 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 791480 KiB

[startup+6.30029 s]
/proc/loadavg: 4.28 2.96 1.52 5/327 300629
/proc/meminfo: memFree=96585444/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=19127036 memory=1342728 CPUtime=9.4 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 27602 0 0 0 909 31 0 0 20 0 20 0 30507660 19586084864 335682 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4781759 335682 6183 1 0 557526 0
[pid=300608/tid=300610] ppid=300605 vsize=19127036 memory=0 CPUtime=6.08 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 4194368 8007 0 0 0 582 26 0 0 20 0 20 0 30507660 19586084864 335682 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300619] ppid=300605 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/300608/task/300619/stat : 300619 (Finalizer) S 300605 300608 300215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 335682 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300626] ppid=300605 vsize=19127036 memory=12944 CPUtime=0 cores=0,2
/proc/300608/task/300626/stat : 300626 (Common-Cleaner) S 300605 300608 300215 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 335682 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300627] ppid=300605 vsize=19127036 memory=12336 CPUtime=0 cores=0,2
/proc/300608/task/300627/stat : 300627 (Timer-0) S 300605 300608 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30507682 19586084864 335682 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
Current children cumulated CPU time: 9.4 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1342728 KiB

[startup+12.7003 s]
/proc/loadavg: 4.34 3.00 1.54 5/327 300631
/proc/meminfo: memFree=96527500/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=19127036 memory=1349200 CPUtime=15.99 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 28832 0 0 0 1567 32 0 0 20 0 20 0 30507660 19586084864 337300 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4781759 337300 6183 1 0 557558 0
[pid=300608/tid=300610] ppid=300605 vsize=19127036 memory=12944 CPUtime=12.36 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 4194368 9078 0 0 0 1210 26 0 0 20 0 20 0 30507660 19586084864 337300 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300619] ppid=300605 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/300608/task/300619/stat : 300619 (Finalizer) S 300605 300608 300215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 337300 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300626] ppid=300605 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/300608/task/300626/stat : 300626 (Common-Cleaner) S 300605 300608 300215 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 337300 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300627] ppid=300605 vsize=19127036 memory=1816 CPUtime=0 cores=0,2
/proc/300608/task/300627/stat : 300627 (Timer-0) S 300605 300608 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30507682 19586084864 337300 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
Current children cumulated CPU time: 15.99 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1349200 KiB

[startup+25.5003 s]
/proc/loadavg: 4.27 3.05 1.58 5/327 300633
/proc/meminfo: memFree=96072520/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=19127036 memory=1774424 CPUtime=29.22 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 35981 0 0 0 2880 42 0 0 20 0 20 0 30507660 19586084864 443606 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4781759 443606 6183 1 0 664092 0
[pid=300608/tid=300610] ppid=300605 vsize=19127036 memory=1816 CPUtime=24.99 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 4194368 10952 0 0 0 2465 34 0 0 20 0 20 0 30507660 19586084864 443606 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300619] ppid=300605 vsize=19127036 memory=1770108 CPUtime=0 cores=0,2
/proc/300608/task/300619/stat : 300619 (Finalizer) S 300605 300608 300215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 443606 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300626] ppid=300605 vsize=19127036 memory=69304 CPUtime=0 cores=0,2
/proc/300608/task/300626/stat : 300626 (Common-Cleaner) S 300605 300608 300215 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 443606 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300627] ppid=300605 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/300608/task/300627/stat : 300627 (Timer-0) S 300605 300608 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30507682 19586084864 443606 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
Current children cumulated CPU time: 29.22 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1774424 KiB

[startup+51.1063 s]
/proc/loadavg: 4.39 3.17 1.66 5/327 300636
/proc/meminfo: memFree=95823684/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=19127036 memory=1780956 CPUtime=54.99 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 42379 0 0 0 5455 44 0 0 20 0 20 0 30507660 19586084864 445239 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4781759 445239 6183 1 0 664092 0
[pid=300608/tid=300610] ppid=300605 vsize=19127036 memory=12944 CPUtime=50.15 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 4194368 13546 0 0 0 4981 34 0 0 20 0 20 0 30507660 19586084864 445239 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0

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

/proc/meminfo: memFree=95599996/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=19127036 memory=3124476 CPUtime=3245.36 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 301946 0 0 0 324270 266 0 0 20 0 20 0 30507660 19586084864 781119 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4781759 781119 6234 1 0 792522 0
[pid=300608/tid=300610] ppid=300605 vsize=19127036 memory=3124456 CPUtime=3158.91 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 4194368 135448 0 0 0 315813 78 0 0 20 0 20 0 30507660 19586084864 781119 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300619] ppid=300605 vsize=19127036 memory=69304 CPUtime=0 cores=0,2
/proc/300608/task/300619/stat : 300619 (Finalizer) S 300605 300608 300215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 781119 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300626] ppid=300605 vsize=19127036 memory=3124456 CPUtime=0 cores=0,2
/proc/300608/task/300626/stat : 300626 (Common-Cleaner) S 300605 300608 300215 0 -1 1077936192 3531 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 781119 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300627] ppid=300605 vsize=19127036 memory=3124468 CPUtime=0 cores=0,2
/proc/300608/task/300627/stat : 300627 (Timer-0) S 300605 300608 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30507682 19586084864 781119 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
Current children cumulated CPU time: 3245.36 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3124476 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.28 4.20 4/307 302572
/proc/meminfo: memFree=100735184/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=19127036 memory=3124584 CPUtime=3305.93 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 305702 0 0 0 330323 270 0 0 20 0 20 0 30507660 19586084864 781146 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4781759 781146 6234 1 0 792527 0
[pid=300608/tid=300610] ppid=300605 vsize=19127036 memory=69304 CPUtime=3217.83 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 4194368 137284 0 0 0 321705 78 0 0 20 0 20 0 30507660 19586084864 781146 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300619] ppid=300605 vsize=19127036 memory=3124584 CPUtime=0 cores=0,2
/proc/300608/task/300619/stat : 300619 (Finalizer) S 300605 300608 300215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 781146 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300626] ppid=300605 vsize=19127036 memory=12336 CPUtime=0 cores=0,2
/proc/300608/task/300626/stat : 300626 (Common-Cleaner) S 300605 300608 300215 0 -1 1077936192 3617 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 781146 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300627] ppid=300605 vsize=19127036 memory=33920 CPUtime=0 cores=0,2
/proc/300608/task/300627/stat : 300627 (Timer-0) S 300605 300608 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30507682 19586084864 781146 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
Current children cumulated CPU time: 3305.93 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3124584 KiB

[startup+3342.3 s]
/proc/loadavg: 3.47 4.06 4.13 4/306 302583
/proc/meminfo: memFree=100725252/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=19127036 memory=3124632 CPUtime=3366.16 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 309256 0 0 0 336344 272 0 0 20 0 20 0 30507660 19586084864 781158 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4781759 781158 6234 1 0 792527 0
[pid=300608/tid=300610] ppid=300605 vsize=19127036 memory=3124632 CPUtime=3276.96 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 4194368 139410 0 0 0 327618 78 0 0 20 0 20 0 30507660 19586084864 781158 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300619] ppid=300605 vsize=19127036 memory=12336 CPUtime=0 cores=0,2
/proc/300608/task/300619/stat : 300619 (Finalizer) S 300605 300608 300215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 781158 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300626] ppid=300605 vsize=19127036 memory=12336 CPUtime=0 cores=0,2
/proc/300608/task/300626/stat : 300626 (Common-Cleaner) S 300605 300608 300215 0 -1 1077936192 3703 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 781158 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300627] ppid=300605 vsize=19127036 memory=3124632 CPUtime=0 cores=0,2
/proc/300608/task/300627/stat : 300627 (Timer-0) S 300605 300608 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30507682 19586084864 781158 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
Current children cumulated CPU time: 3366.16 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3124632 KiB

[startup+3402.3 s]
/proc/loadavg: 3.35 3.91 4.07 4/306 302594
/proc/meminfo: memFree=100686028/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=19127036 memory=3124652 CPUtime=3426.32 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 314199 0 0 0 342357 275 0 0 20 0 20 0 30507660 19586084864 781163 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4781759 781163 6234 1 0 792532 0
[pid=300608/tid=300610] ppid=300605 vsize=19127036 memory=12336 CPUtime=3336.14 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 4194368 141270 0 0 0 333535 79 0 0 20 0 20 0 30507660 19586084864 781163 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300619] ppid=300605 vsize=19127036 memory=12336 CPUtime=0 cores=0,2
/proc/300608/task/300619/stat : 300619 (Finalizer) S 300605 300608 300215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 781163 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300626] ppid=300605 vsize=19127036 memory=3124632 CPUtime=0 cores=0,2
/proc/300608/task/300626/stat : 300626 (Common-Cleaner) S 300605 300608 300215 0 -1 1077936192 3802 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 781163 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300627] ppid=300605 vsize=19127036 memory=3124652 CPUtime=0 cores=0,2
/proc/300608/task/300627/stat : 300627 (Timer-0) S 300605 300608 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30507682 19586084864 781163 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
Current children cumulated CPU time: 3426.32 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3124652 KiB

[startup+3462.3 s]
/proc/loadavg: 3.12 3.74 4.00 4/304 302605
/proc/meminfo: memFree=100656960/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=19127036 memory=3124704 CPUtime=3486.66 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 317514 0 0 0 348386 280 0 0 20 0 20 0 30507660 19586084864 781176 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4781759 781176 6234 1 0 792543 0
[pid=300608/tid=300610] ppid=300605 vsize=19127036 memory=12336 CPUtime=3395.29 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 4194368 143065 0 0 0 339449 80 0 0 20 0 20 0 30507660 19586084864 781176 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300619] ppid=300605 vsize=19127036 memory=12336 CPUtime=0 cores=0,2
/proc/300608/task/300619/stat : 300619 (Finalizer) S 300605 300608 300215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 781176 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300626] ppid=300605 vsize=19127036 memory=3124652 CPUtime=0 cores=0,2
/proc/300608/task/300626/stat : 300626 (Common-Cleaner) S 300605 300608 300215 0 -1 1077936192 3877 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 781176 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300627] ppid=300605 vsize=19127036 memory=3124704 CPUtime=0 cores=0,2
/proc/300608/task/300627/stat : 300627 (Timer-0) S 300605 300608 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30507682 19586084864 781176 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
Current children cumulated CPU time: 3486.66 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3124704 KiB

[startup+3522.3 s]
/proc/loadavg: 3.09 3.62 3.94 4/304 302615
/proc/meminfo: memFree=100617436/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=19127036 memory=3124704 CPUtime=3547.12 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 319730 0 0 0 354429 283 0 0 20 0 20 0 30507660 19586084864 781176 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4781759 781176 6234 1 0 792543 0
[pid=300608/tid=300610] ppid=300605 vsize=19127036 memory=3124704 CPUtime=3454.23 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 4194368 144434 0 0 0 345343 80 0 0 20 0 20 0 30507660 19586084864 781176 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300619] ppid=300605 vsize=19127036 memory=3124704 CPUtime=0 cores=0,2
/proc/300608/task/300619/stat : 300619 (Finalizer) S 300605 300608 300215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 781176 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300626] ppid=300605 vsize=19127036 memory=12944 CPUtime=0 cores=0,2
/proc/300608/task/300626/stat : 300626 (Common-Cleaner) S 300605 300608 300215 0 -1 1077936192 3957 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 781176 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300627] ppid=300605 vsize=19127036 memory=3124704 CPUtime=0 cores=0,2
/proc/300608/task/300627/stat : 300627 (Timer-0) S 300605 300608 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30507682 19586084864 781176 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
Current children cumulated CPU time: 3547.12 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3124704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3574.9 s]
/proc/loadavg: 3.22 3.57 3.91 4/301 302623
/proc/meminfo: memFree=100588768/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=19127036 memory=3124712 CPUtime=3600.08 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 323335 0 0 0 359723 285 0 0 20 0 20 0 30507660 19586084864 781178 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4781759 781178 6234 1 0 792543 0
[pid=300608/tid=300610] ppid=300605 vsize=19127036 memory=3124712 CPUtime=3506.11 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 4194368 145990 0 0 0 350531 80 0 0 20 0 20 0 30507660 19586084864 781178 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300619] ppid=300605 vsize=19127036 memory=3124712 CPUtime=0 cores=0,2
/proc/300608/task/300619/stat : 300619 (Finalizer) S 300605 300608 300215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 781178 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300626] ppid=300605 vsize=19127036 memory=69304 CPUtime=0 cores=0,2
/proc/300608/task/300626/stat : 300626 (Common-Cleaner) S 300605 300608 300215 0 -1 1077936192 4037 0 0 0 0 0 0 0 20 0 20 0 30507663 19586084864 781178 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300627] ppid=300605 vsize=19127036 memory=3124712 CPUtime=0 cores=0,2
/proc/300608/task/300627/stat : 300627 (Timer-0) S 300605 300608 300215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30507682 19586084864 781178 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3124712 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.52 s, system=2.87393 s

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

[startup+3575 s]*
/proc/loadavg: 3.22 3.57 3.91 8/302 302626
/proc/meminfo: memFree=100588052/131524600 swapFree=131063756/131071996
[pid=300608] ppid=300605 vsize=19326728 memory=3125396 CPUtime=3600.28 cores=0,2
/proc/300608/stat : 300608 (java) S 300605 300608 300215 0 -1 1077936128 326592 0 0 0 359743 285 0 0 20 0 21 0 30507660 19790569472 781349 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
/proc/300608/statm: 4831682 781349 6233 1 0 793498 0
[pid=300608/tid=300610] ppid=300605 vsize=19326728 memory=-8527962175730000572 CPUtime=3506.22 cores=0,2
/proc/300608/task/300610/stat : 300610 (java) R 300605 300608 300215 0 -1 4194368 146090 0 0 0 350542 80 0 0 20 0 21 0 30507660 19790569472 781349 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300619] ppid=300605 vsize=19326728 memory=2588 CPUtime=0 cores=0,2
/proc/300608/task/300619/stat : 300619 (Finalizer) S 300605 300608 300215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 30507663 19790569472 781349 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=300626] ppid=300605 vsize=19326728 memory=5032 CPUtime=0 cores=0,2
/proc/300608/task/300626/stat : 300626 (Common-Cleaner) S 300605 300608 300215 0 -1 1077936192 4037 0 0 0 0 0 0 0 20 0 21 0 30507663 19790569472 781349 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
[pid=300608/tid=302625] ppid=300605 vsize=19326728 memory=5498672 CPUtime=0.07 cores=0,2
/proc/300608/task/302625/stat : 302625 (Thread-0) R 300605 300608 300215 0 -1 4194368 570 0 0 0 7 0 0 0 20 0 21 0 30865151 19790569472 781349 134679101440 94301904637952 94301904641648 140729070611872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94301904649464 94301904650256 94301918502912 140729070613491 140729070613604 140729070613604 140729070620616 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 3125396 KiB

Child status: 143

Real time (s): 3575.07
CPU time (s): 3600.4
CPU user time (s): 3597.52
CPU system time (s): 2.87393
CPU usage (%): 100.708
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 3125396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.52
system time used= 2.87393
maximum resident set size= 3126428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327498
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 150865
involuntary context switches= 32975


# summary of solver processes directly reported to runsolver:
#   pid: 300608
#   total CPU time (s): 3600.4
#   total CPU user time (s): 3597.52
#   total CPU system time (s): 2.87393

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.21571 second user time and 19.4836 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-25 22:36:34
IDJOB=4459933
IDBENCH=148675
IDSOLVER=3046
FILE ID=nodeC027/4459933-1721939794
RUNJOBID= nodeC027-1721939462-300225
SLURM_JOB_ID= 8247247
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_2.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459933-1721939794/watcher-4459933-1721939794 -o /tmp/evaluation-result-4459933-1721939794/solver-4459933-1721939794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721939462-300225 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4459933-1721939794.opb

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

MD5SUM BENCH= cf766711a707813c9bd3325657edcc33
RANDOM SEED=1956819754

nodeC027.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	: 0xb00002a
cpu MHz		: 3618.646
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3691.514
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.65
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	: 0xb00002a
cpu MHz		: 3639.924
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.048
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.65
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	: 0xb00002a
cpu MHz		: 3680.719
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3691.614
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.65
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	: 0xb00002a
cpu MHz		: 3640.921
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.972
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        97919068 kB
MemAvailable:   116973596 kB
Buffers:          325988 kB
Cached:         19409840 kB
SwapCached:          472 kB
Active:          2633616 kB
Inactive:       30047284 kB
Active(anon):       1680 kB
Inactive(anon): 12997120 kB
Active(file):    2631936 kB
Inactive(file): 17050164 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131063756 kB
Dirty:              1104 kB
Writeback:            16 kB
AnonPages:      12944940 kB
Mapped:           136528 kB
Shmem:             53416 kB
KReclaimable:     424504 kB
Slab:             548424 kB
SReclaimable:     424504 kB
SUnreclaim:       123920 kB
KernelStack:        4924 kB
PageTables:        35912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   17144628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17376 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12732416 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:      359124 kB
DirectMap2M:    40308736 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC027 at 2024-07-25 23:36:09