Trace number 4440208

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 Resolution 2024 2024-07-07? (TO) 3600.19 3618.58

General information on the benchmark

NamePB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/
normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion.opb
MD5SUM5aa1ba277a339a08ad3677907a503ea8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-20111
Best CPU time to get the best result obtained on this benchmark3583.89
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints40882
Number of constraints which are clauses40326
Number of constraints which are cardinality constraints (but not clauses)69
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 438
Biggest coefficient in the objective function 997
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 212820
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 997
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 212820
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.02/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.02/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.17	c See www.sat4j.org for details.
0.02/0.17	c version CUSTOM.v20240707
0.02/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.02/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.02/0.18	c java.vm.version	22.0.1+8-16
0.02/0.18	c java.vm.vendor	Oracle Corporation
0.02/0.18	c sun.arch.data.model	64
0.02/0.18	c java.version		22.0.1
0.02/0.18	c os.name		Linux
0.02/0.18	c os.version		4.18.0-301.1.el8.x86_64
0.02/0.18	c os.arch		amd64
0.02/0.19	c Free memory 		2104792832
0.02/0.19	c Max memory 		16282288128
0.02/0.19	c Total memory 		2113929216
0.02/0.19	c Number of processors 	2
0.15/0.23	--- Begin Solver configuration ---
0.15/0.23	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.15/0.23	Learn all clauses as in MiniSAT
0.15/0.23	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.15/0.23	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.15/0.23	Expensive reason simplification
0.15/0.23	Glucose 2.1 dynamic restart strategy
0.15/0.23	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.15/0.23	timeout=2147483s
0.15/0.23	DB Simplification allowed=false
0.15/0.23	Listener: none
0.15/0.23	--- End Solver configuration ---
0.15/0.23	c Pseudo Boolean Optimization by upper bound
0.15/0.23	c --- Begin Solver configuration ---
0.15/0.23	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.15/0.23	c Learn all clauses as in MiniSAT
0.15/0.23	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.15/0.23	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.15/0.23	c Expensive reason simplification
0.15/0.23	c Glucose 2.1 dynamic restart strategy
0.15/0.23	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.15/0.23	c timeout=2147483s
0.15/0.23	c DB Simplification allowed=false
0.15/0.23	c Listener: none
0.15/0.23	c --- End Solver configuration ---
0.15/0.23	c solving HOME/instance-4440208-1721765587.opb
0.15/0.23	c reading problem ... 
0.15/0.24	c using VERIPB proof format
0.15/0.24	c  objective function found
1.06/0.72	c ... done. Wall clock time 0.478s.
1.06/0.72	c declared #vars     40937
1.06/0.72	c #constraints  41437
1.06/0.72	c constraints type 
1.06/0.72	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3896
1.06/0.72	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 552
1.06/0.72	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1.06/0.72	c org.sat4j.specs.Constr$1 => 2
1.06/0.72	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
1.06/0.72	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
1.06/0.72	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 36984
1.06/0.72	c 41437 constraints processed.
1.06/0.73	c objective function length is 438 literals
10.25/7.46	c cleaning 2498 clauses out of 4999 with flag 21101/5000
18.39/14.98	c cleaning 4243 clauses out of 8502 with flag 46952/11001
26.18/22.70	c cleaning 5623 clauses out of 11259 with flag 75473/18001
33.99/30.48	c cleaning 6815 clauses out of 13637 with flag 114521/26002
45.01/41.56	c cleaning 7909 clauses out of 15820 with flag 169790/35000
56.99/53.52	c cleaning 8950 clauses out of 17911 with flag 234819/45000
69.87/66.43	c cleaning 9980 clauses out of 19962 with flag 311477/56001
83.25/80.14	c cleaning 10980 clauses out of 21981 with flag 378261/68000
96.93/93.91	c cleaning 11991 clauses out of 24002 with flag 439908/81001
111.24/108.67	c cleaning 12995 clauses out of 26010 with flag 501414/95000
130.02/127.44	c cleaning 14001 clauses out of 28016 with flag 576161/110001
147.39/144.93	c cleaning 15007 clauses out of 30014 with flag 668058/126000
167.09/166.58	c cleaning 16002 clauses out of 32007 with flag 756232/143000
189.63/189.01	c cleaning 16993 clauses out of 34005 with flag 848767/161000
212.01/217.82	c cleaning 18003 clauses out of 36012 with flag 940677/180000
233.90/239.84	c cleaning 18998 clauses out of 38009 with flag 1043436/200000
255.62/261.69	c cleaning 19998 clauses out of 40011 with flag 1165404/221000
278.17/284.27	c cleaning 21001 clauses out of 42013 with flag 1294192/243000
298.74/304.83	c cleaning 22000 clauses out of 44012 with flag 1419434/266001
322.73/328.78	c cleaning 22999 clauses out of 46011 with flag 1519181/290000
349.02/355.30	c cleaning 24003 clauses out of 48012 with flag 1629830/315000
370.08/376.52	c cleaning 25003 clauses out of 50010 with flag 1758634/341001
393.42/400.05	c cleaning 25996 clauses out of 52006 with flag 1891666/368000
418.51/425.23	c cleaning 27001 clauses out of 54010 with flag 2027069/396000
444.43/451.48	c cleaning 27997 clauses out of 56010 with flag 2169336/425001
473.32/480.67	c cleaning 29003 clauses out of 58012 with flag 2303426/455000
500.36/507.76	c cleaning 29998 clauses out of 60010 with flag 2467018/486001
527.15/534.69	c cleaning 30994 clauses out of 62013 with flag 2644841/518002
555.36/562.98	c cleaning 32006 clauses out of 64018 with flag 2795325/551001
588.29/595.90	c cleaning 33003 clauses out of 66013 with flag 2958817/585002
625.36/633.13	c cleaning 34005 clauses out of 68009 with flag 3134381/620001
668.93/676.80	c cleaning 34997 clauses out of 70004 with flag 3311397/656001
710.84/718.89	c cleaning 35995 clauses out of 72006 with flag 3499094/693000
754.64/762.70	c cleaning 37006 clauses out of 74012 with flag 3681322/731001
793.21/801.49	c cleaning 38003 clauses out of 76005 with flag 3902251/770000
828.15/836.41	c cleaning 38995 clauses out of 78002 with flag 4088451/810000
865.75/874.25	c cleaning 39997 clauses out of 80008 with flag 4289361/851001
907.92/916.51	c cleaning 41001 clauses out of 82011 with flag 4479068/893001
958.59/967.38	c cleaning 41996 clauses out of 84009 with flag 4679091/936000
1002.78/1011.67	c cleaning 42999 clauses out of 86014 with flag 4901783/980001
1048.26/1057.21	c cleaning 44002 clauses out of 88015 with flag 5105468/1025001
1098.42/1107.51	c cleaning 45004 clauses out of 90012 with flag 5282468/1071000
1141.39/1150.68	c cleaning 45991 clauses out of 92008 with flag 5483001/1118000
1188.51/1197.81	c cleaning 47003 clauses out of 94017 with flag 5685081/1166000
1243.28/1252.72	c cleaning 48005 clauses out of 96014 with flag 5895781/1215000
1294.20/1303.79	c cleaning 49004 clauses out of 98009 with flag 6091755/1265000
1341.51/1351.12	c cleaning 49995 clauses out of 100005 with flag 6301466/1316000
1393.27/1403.00	c cleaning 50998 clauses out of 102012 with flag 6511976/1368002
1439.67/1449.59	c cleaning 52000 clauses out of 104013 with flag 6702081/1421001
1490.03/1500.33	c cleaning 53002 clauses out of 106012 with flag 6922725/1475000
1545.42/1556.07	c cleaning 54004 clauses out of 108010 with flag 7140405/1530000
1606.41/1617.42	c cleaning 54997 clauses out of 110008 with flag 7362060/1586002
1660.87/1672.44	c cleaning 55996 clauses out of 112010 with flag 7581621/1643001
1718.40/1730.12	c cleaning 56994 clauses out of 114013 with flag 7828166/1701000
1772.12/1783.93	c cleaning 58007 clauses out of 116020 with flag 8029229/1760001
1829.67/1841.69	c cleaning 59002 clauses out of 118012 with flag 8225611/1820000
1886.85/1898.97	c cleaning 60001 clauses out of 120010 with flag 8431044/1881000
1952.85/1965.07	c cleaning 60997 clauses out of 122010 with flag 8653198/1943001
2017.12/2029.43	c cleaning 62004 clauses out of 124013 with flag 8888674/2006001
2082.03/2094.46	c cleaning 63003 clauses out of 126007 with flag 9122610/2070000
2156.95/2169.55	c cleaning 63992 clauses out of 128004 with flag 9354227/2135000
2232.81/2245.53	c cleaning 65005 clauses out of 130014 with flag 9598829/2201002
2305.27/2318.11	c cleaning 66000 clauses out of 132007 with flag 9853001/2268000
2383.38/2396.40	c cleaning 66998 clauses out of 134007 with flag 10110417/2336000
2464.51/2477.71	c cleaning 68001 clauses out of 136009 with flag 10374304/2405000
2540.20/2553.67	c cleaning 69001 clauses out of 138009 with flag 10648289/2475001
2601.25/2614.84	c cleaning 70000 clauses out of 140007 with flag 10911969/2546000
2662.46/2676.20	c cleaning 70995 clauses out of 142008 with flag 11200361/2618001
2735.70/2749.66	c cleaning 71998 clauses out of 144012 with flag 11488964/2691000
2802.45/2816.58	c cleaning 73003 clauses out of 146016 with flag 11796995/2765002
2876.62/2890.89	c cleaning 74001 clauses out of 148011 with flag 12106404/2840000
2952.29/2966.91	c cleaning 75003 clauses out of 150010 with flag 12386466/2916000
3031.75/3046.89	c cleaning 76000 clauses out of 152007 with flag 12673738/2993000
3124.91/3140.31	c cleaning 76998 clauses out of 154007 with flag 12963327/3071000
3208.40/3224.41	c cleaning 78005 clauses out of 156009 with flag 13272880/3150000
3298.05/3314.47	c cleaning 79000 clauses out of 158004 with flag 13566680/3230000
3394.67/3411.48	c cleaning 80000 clauses out of 160004 with flag 13905827/3311000
3487.23/3504.87	c cleaning 80995 clauses out of 162005 with flag 14248702/3393001
3591.51/3609.87	c cleaning 82000 clauses out of 164009 with flag 14600201/3476000
3600.08/3618.51	c starts		: 140
3600.08/3618.51	c conflicts		: 3482961
3600.08/3618.51	c decisions		: 4777500
3600.08/3618.51	c propagations		: 3026481727
3600.08/3618.51	c inspects		: 5442538112
3600.08/3618.51	c shortcuts		: 0
3600.08/3618.51	c timeout
3600.08/3618.51	c learnt literals	: 3
3600.08/3618.51	c learnt binary clauses	: 871
3600.08/3618.51	c learnt ternary clauses	: 699
3600.08/3618.51	c learnt constraints	: 3482958
3600.08/3618.51	c ignored constraints	: 0
3600.08/3618.51	c root simplifications	: 0
3600.08/3618.51	c removed literals (reason simplification)	: 407088259
3600.08/3618.51	c reason swapping (by a shorter reason)	: 0
3600.08/3618.51	c Calls to reduceDB	: 79
3600.08/3618.51	c Number of update (reduction) of LBD	: 505064
3600.08/3618.51	c Imported unit clauses	: 0
3600.08/3618.51	c No decision after first conflict	: false
3600.08/3618.51	c number of reductions to clauses (during analyze)	: 0
3600.08/3618.51	c number of learned constraints concerned by reduction	: 0
3600.08/3618.51	c number of learning phase by resolution	: 0
3600.08/3618.51	c number of learning phase by cutting planes	: 0
3600.08/3618.51	c number of rounding to 1 operations	: 0
3600.08/3618.51	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3618.51	c number of reductions of the coefficients by power 2 	: 0
3600.08/3618.51	c number of right shift for reduction by power 2 	: 0
3600.08/3618.51	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3618.51	c number of ending skipping 	: 0
3600.08/3618.51	c number of internal skipping 	: 0
3600.08/3618.51	c number of derivation steps 	: 0
3600.08/3618.51	c number of skipped derivation steps 	: 0
3600.08/3618.51	c number of remaining unassigned 	: 0
3600.08/3618.51	c number of remaining assigned 	: 0
3600.08/3618.51	c number of falsified literals weakened from reason	: 0
3600.08/3618.51	c number of falsified literals weakened from conflict	: 0
3600.08/3618.51	c time for arithmetic operations	: 0
3600.08/3618.51	c minimum degree of deleted constraints	: null
3600.08/3618.51	c maximum degree of deleted constraints	: null
3600.08/3618.52	c number of deleted constraints	: 0
3600.08/3618.52	c speed (assignments/second)	: 836558.8592435959
3600.08/3618.52	c non guided choices	: 281
3600.08/3618.56	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 88099
3600.08/3618.56	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 871
3600.08/3618.56	s UNKNOWN
3600.08/3618.56	c Total wall clock time (in seconds): 3618.329

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=123185, runsolver pid=123182

[startup+0.100066 s]*
/proc/loadavg: 2.14 2.14 2.02 3/292 123218
/proc/meminfo: memFree=114379532/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=18261716 memory=42788 CPUtime=0.02 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 5521 0 101 0 0 2 0 0 20 0 8 0 13086998 18699997184 10697 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16784588 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4565429 10697 4097 1 0 545399 0
[pid=123185/tid=123196] ppid=123182 vsize=18261716 memory=4026531971 CPUtime=0.01 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 4194368 4989 0 81 0 0 1 0 0 20 0 8 0 13087000 18699997184 11479 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 6 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 18261716 KiB
Current children cumulated memory: 42788 KiB

[startup+0.206893 s]*
/proc/loadavg: 2.14 2.14 2.02 11/336 123262
/proc/meminfo: memFree=114297260/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=18993908 memory=66180 CPUtime=0.15 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 7340 0 127 0 12 3 0 0 20 0 18 0 13086998 19449761792 16545 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4748477 16545 5863 1 0 549344 0
[pid=123185/tid=123196] ppid=123182 vsize=18993908 memory=8737651120394928259 CPUtime=0.09 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 1077936192 5863 0 93 0 7 2 0 0 20 0 18 0 13087000 19449761792 16545 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123232] ppid=123182 vsize=18993908 memory=809283 CPUtime=0 cores=4,6
/proc/123185/task/123232/stat : 123232 (Finalizer) S 123182 123185 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13087010 19449761792 16545 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123259] ppid=123182 vsize=18993908 memory=14417020624045798 CPUtime=0 cores=4,6
/proc/123185/task/123259/stat : 123259 (Common-Cleaner) S 123182 123185 123117 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 13087011 19449761792 16545 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 66180 KiB

[startup+0.313724 s]*
/proc/loadavg: 2.14 2.14 2.02 12/337 123263
/proc/meminfo: memFree=114236244/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=18993908 memory=77120 CPUtime=0.34 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 7883 0 127 0 31 3 0 0 20 0 18 0 13086998 19449761792 19280 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4748477 19280 6015 1 0 549732 0
[pid=123185/tid=123196] ppid=123182 vsize=18993908 memory=-8598894965044323004 CPUtime=0.18 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 1077936192 6053 0 93 0 16 2 0 0 20 0 18 0 13087000 19449761792 19280 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123232] ppid=123182 vsize=18993908 memory=7295669319768299844 CPUtime=0 cores=4,6
/proc/123185/task/123232/stat : 123232 (Finalizer) S 123182 123185 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13087010 19449761792 19280 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123259] ppid=123182 vsize=18993908 memory=0 CPUtime=0 cores=4,6
/proc/123185/task/123259/stat : 123259 (Common-Cleaner) S 123182 123185 123117 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 13087011 19449761792 19280 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 77120 KiB

[startup+0.700517 s]
/proc/loadavg: 2.14 2.14 2.02 12/341 123267
/proc/meminfo: memFree=114087424/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=19060472 memory=191624 CPUtime=1.06 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 11568 0 127 0 101 5 0 0 20 0 19 0 13086998 19517923328 47906 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4765118 47906 6053 1 0 552351 0
[pid=123185/tid=123196] ppid=123182 vsize=19060472 memory=42868 CPUtime=0.47 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 4194368 6128 0 93 0 44 3 0 0 20 0 19 0 13087000 19517923328 47906 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123232] ppid=123182 vsize=19060472 memory=13136 CPUtime=0 cores=4,6
/proc/123185/task/123232/stat : 123232 (Finalizer) S 123182 123185 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13087010 19517923328 47906 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123259] ppid=123182 vsize=19060472 memory=5684 CPUtime=0 cores=4,6
/proc/123185/task/123259/stat : 123259 (Common-Cleaner) S 123182 123185 123117 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 13087011 19517923328 47906 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 191624 KiB

[startup+1.50851 s]
/proc/loadavg: 2.14 2.14 2.02 11/345 123271
/proc/meminfo: memFree=113806248/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=19127036 memory=209040 CPUtime=2.67 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 18476 0 127 0 260 7 0 0 20 0 20 0 13086998 19586084864 52260 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4781759 52260 6135 1 0 556934 0
[pid=123185/tid=123196] ppid=123182 vsize=19127036 memory=0 CPUtime=1.26 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 4194368 6286 0 93 0 123 3 0 0 20 0 20 0 13087000 19586084864 52260 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123232] ppid=123182 vsize=19127036 memory=33 CPUtime=0 cores=4,6
/proc/123185/task/123232/stat : 123232 (Finalizer) S 123182 123185 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 52260 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123259] ppid=123182 vsize=19127036 memory=13136 CPUtime=0 cores=4,6
/proc/123185/task/123259/stat : 123259 (Common-Cleaner) S 123182 123185 123117 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 52260 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123269] ppid=123182 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/123185/task/123269/stat : 123269 (Timer-0) S 123182 123185 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087073 19586084864 52260 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 209040 KiB

[startup+3.10651 s]
/proc/loadavg: 2.85 2.29 2.07 7/345 123271
/proc/meminfo: memFree=112769140/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=19127036 memory=211052 CPUtime=5.11 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 23505 0 127 0 503 8 0 0 20 0 20 0 13086998 19586084864 52763 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4781759 52763 6138 1 0 557318 0
[pid=123185/tid=123196] ppid=123182 vsize=19127036 memory=0 CPUtime=2.85 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 4194368 6559 0 93 0 282 3 0 0 20 0 20 0 13087000 19586084864 52763 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123232] ppid=123182 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/123185/task/123232/stat : 123232 (Finalizer) S 123182 123185 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 52763 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123259] ppid=123182 vsize=19127036 memory=13136 CPUtime=0 cores=4,6
/proc/123185/task/123259/stat : 123259 (Common-Cleaner) S 123182 123185 123117 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 52763 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123269] ppid=123182 vsize=19127036 memory=42868 CPUtime=0 cores=4,6
/proc/123185/task/123269/stat : 123269 (Timer-0) S 123182 123185 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087073 19586084864 52763 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 5.11 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 211052 KiB

[startup+6.30024 s]
/proc/loadavg: 2.85 2.29 2.07 4/345 123271
/proc/meminfo: memFree=110263704/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=19127036 memory=213140 CPUtime=8.68 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 29484 0 127 0 859 9 0 0 20 0 20 0 13086998 19586084864 53285 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4781759 53285 6144 1 0 557323 0
[pid=123185/tid=123196] ppid=123182 vsize=19127036 memory=0 CPUtime=5.85 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 4194368 7056 0 93 0 581 4 0 0 20 0 20 0 13087000 19586084864 53285 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123232] ppid=123182 vsize=19127036 memory=13136 CPUtime=0 cores=4,6
/proc/123185/task/123232/stat : 123232 (Finalizer) S 123182 123185 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 53285 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123259] ppid=123182 vsize=19127036 memory=11548 CPUtime=0 cores=4,6
/proc/123185/task/123259/stat : 123259 (Common-Cleaner) S 123182 123185 123117 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 53285 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123269] ppid=123182 vsize=19127036 memory=42868 CPUtime=0 cores=4,6
/proc/123185/task/123269/stat : 123269 (Timer-0) S 123182 123185 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087073 19586084864 53285 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 8.68 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 213140 KiB

[startup+12.7003 s]
/proc/loadavg: 3.03 2.35 2.09 5/345 123273
/proc/meminfo: memFree=105452780/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=19127036 memory=215964 CPUtime=16.12 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 37021 0 127 0 1601 11 0 0 20 0 20 0 13086998 19586084864 53991 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4781759 53991 6144 1 0 557814 0
[pid=123185/tid=123196] ppid=123182 vsize=19127036 memory=215944 CPUtime=12.23 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 4194368 8440 0 93 0 1219 4 0 0 20 0 20 0 13087000 19586084864 53991 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123232] ppid=123182 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/123185/task/123232/stat : 123232 (Finalizer) S 123182 123185 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 53991 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123259] ppid=123182 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/123185/task/123259/stat : 123259 (Common-Cleaner) S 123182 123185 123117 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 53991 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123269] ppid=123182 vsize=19127036 memory=13136 CPUtime=0 cores=4,6
/proc/123185/task/123269/stat : 123269 (Timer-0) S 123182 123185 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087073 19586084864 53991 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 16.12 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 215964 KiB

[startup+25.5003 s]
/proc/loadavg: 3.25 2.42 2.12 5/345 123274
/proc/meminfo: memFree=103411704/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=19127036 memory=220368 CPUtime=29.1 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 46357 0 127 0 2897 13 0 0 20 0 20 0 13086998 19586084864 55092 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4781759 55092 6161 1 0 557814 0
[pid=123185/tid=123196] ppid=123182 vsize=19127036 memory=215944 CPUtime=24.97 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 4194368 9949 0 93 0 2492 5 0 0 20 0 20 0 13087000 19586084864 55092 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123232] ppid=123182 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/123185/task/123232/stat : 123232 (Finalizer) S 123182 123185 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 55092 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123259] ppid=123182 vsize=19127036 memory=13136 CPUtime=0 cores=4,6
/proc/123185/task/123259/stat : 123259 (Common-Cleaner) S 123182 123185 123117 0 -1 1077936192 81 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 55092 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123269] ppid=123182 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/123185/task/123269/stat : 123269 (Timer-0) S 123182 123185 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087073 19586084864 55092 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 29.1 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 220368 KiB

[startup+51.1061 s]
/proc/loadavg: 3.64 2.58 2.18 5/343 123280
/proc/meminfo: memFree=98710096/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=19127036 memory=388304 CPUtime=54.6 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 48616 0 127 0 5441 19 0 0 20 0 20 0 13086998 19586084864 97076 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4781759 97076 6161 1 0 557814 0
[pid=123185/tid=123196] ppid=123182 vsize=19127036 memory=326864 CPUtime=50.45 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 4194368 11970 0 93 0 5035 10 0 0 20 0 20 0 13087000 19586084864 97076 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 31 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123232] ppid=123182 vsize=19127036 memory=11548 CPUtime=0 cores=4,6
/proc/123185/task/123232/stat : 123232 (Finalizer) S 123182 123185 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 97076 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123259] ppid=123182 vsize=19127036 memory=164 CPUtime=0 cores=4,6
/proc/123185/task/123259/stat : 123259 (Common-Cleaner) S 123182 123185 123117 0 -1 1077936192 81 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 97076 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123269] ppid=123182 vsize=19127036 memory=13136 CPUtime=0 cores=4,6
/proc/123185/task/123269/stat : 123269 (Timer-0) S 123182 123185 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087073 19586084864 97076 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 54.6 s
Current children cumulated vsize: 19127036 KiB

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

/proc/meminfo: memFree=13225456/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=19127036 memory=1451952 CPUtime=3266.09 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 145905 0 127 0 326157 452 0 0 20 0 20 0 13086998 19586084864 362988 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4781759 362988 6177 1 0 557830 0
[pid=123185/tid=123196] ppid=123182 vsize=19127036 memory=1451952 CPUtime=3258.1 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 4194368 57539 0 93 0 325480 330 0 0 20 0 20 0 13087000 19586084864 362988 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1076 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123232] ppid=123182 vsize=19127036 memory=1451952 CPUtime=0 cores=4,6
/proc/123185/task/123232/stat : 123232 (Finalizer) S 123182 123185 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 362988 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123259] ppid=123182 vsize=19127036 memory=1451952 CPUtime=0 cores=4,6
/proc/123185/task/123259/stat : 123259 (Common-Cleaner) S 123182 123185 123117 0 -1 1077936192 4807 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 362988 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123269] ppid=123182 vsize=19127036 memory=13572 CPUtime=0 cores=4,6
/proc/123185/task/123269/stat : 123269 (Timer-0) S 123182 123185 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087073 19586084864 362988 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 3266.09 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1451952 KiB

[startup+3342.3 s]
/proc/loadavg: 4.30 4.33 4.24 5/335 125099
/proc/meminfo: memFree=12125524/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=19127036 memory=1451952 CPUtime=3325.83 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 146875 0 127 0 332126 457 0 0 20 0 20 0 13086998 19586084864 362988 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4781759 362988 6177 1 0 557830 0
[pid=123185/tid=123196] ppid=123182 vsize=19127036 memory=13572 CPUtime=3317.81 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 4194368 58341 0 93 0 331447 334 0 0 20 0 20 0 13087000 19586084864 362988 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1089 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123232] ppid=123182 vsize=19127036 memory=1451952 CPUtime=0 cores=4,6
/proc/123185/task/123232/stat : 123232 (Finalizer) S 123182 123185 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 362988 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123259] ppid=123182 vsize=19127036 memory=5684 CPUtime=0 cores=4,6
/proc/123185/task/123259/stat : 123259 (Common-Cleaner) S 123182 123185 123117 0 -1 1077936192 4807 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 362988 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123269] ppid=123182 vsize=19127036 memory=1451952 CPUtime=0 cores=4,6
/proc/123185/task/123269/stat : 123269 (Timer-0) S 123182 123185 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087073 19586084864 362988 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 3325.83 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1451952 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.31 4.24 5/336 125110
/proc/meminfo: memFree=10931824/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=19127036 memory=1456052 CPUtime=3385.59 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 148393 0 127 0 338097 462 0 0 20 0 20 0 13086998 19586084864 364013 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4781759 364013 6177 1 0 557830 0
[pid=123185/tid=123196] ppid=123182 vsize=19127036 memory=13572 CPUtime=3377.44 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 4194368 58843 0 93 0 337407 337 0 0 20 0 20 0 13087000 19586084864 364013 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1104 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123232] ppid=123182 vsize=19127036 memory=1451952 CPUtime=0 cores=4,6
/proc/123185/task/123232/stat : 123232 (Finalizer) S 123182 123185 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 364013 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123259] ppid=123182 vsize=19127036 memory=13572 CPUtime=0 cores=4,6
/proc/123185/task/123259/stat : 123259 (Common-Cleaner) S 123182 123185 123117 0 -1 1077936192 4901 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 364013 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123269] ppid=123182 vsize=19127036 memory=1456052 CPUtime=0 cores=4,6
/proc/123185/task/123269/stat : 123269 (Timer-0) S 123182 123185 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087073 19586084864 364013 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 3385.59 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1456052 KiB

[startup+3462.3 s]
/proc/loadavg: 4.33 4.33 4.25 5/339 125127
/proc/meminfo: memFree=9850624/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=19127036 memory=1456052 CPUtime=3445.25 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 149362 0 127 0 344057 468 0 0 20 0 20 0 13086998 19586084864 364013 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4781759 364013 6177 1 0 557830 0
[pid=123185/tid=123196] ppid=123182 vsize=19127036 memory=13572 CPUtime=3437.07 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 4194368 59609 0 93 0 343366 341 0 0 20 0 20 0 13087000 19586084864 364013 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1122 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123232] ppid=123182 vsize=19127036 memory=1451952 CPUtime=0 cores=4,6
/proc/123185/task/123232/stat : 123232 (Finalizer) S 123182 123185 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 364013 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123259] ppid=123182 vsize=19127036 memory=42868 CPUtime=0 cores=4,6
/proc/123185/task/123259/stat : 123259 (Common-Cleaner) S 123182 123185 123117 0 -1 1077936192 5003 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 364013 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123269] ppid=123182 vsize=19127036 memory=1456052 CPUtime=0 cores=4,6
/proc/123185/task/123269/stat : 123269 (Timer-0) S 123182 123185 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087073 19586084864 364013 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 3445.25 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1456052 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.33 4.25 6/337 125206
/proc/meminfo: memFree=38479396/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=19127036 memory=1470428 CPUtime=3504.68 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 151171 0 127 0 349993 475 0 0 20 0 20 0 13086998 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4781759 367607 6177 1 0 557830 0
[pid=123185/tid=123196] ppid=123182 vsize=19127036 memory=1456052 CPUtime=3496.38 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 4194368 60527 0 93 0 349292 346 0 0 20 0 20 0 13087000 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1139 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123232] ppid=123182 vsize=19127036 memory=1456052 CPUtime=0 cores=4,6
/proc/123185/task/123232/stat : 123232 (Finalizer) S 123182 123185 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123259] ppid=123182 vsize=19127036 memory=2132 CPUtime=0 cores=4,6
/proc/123185/task/123259/stat : 123259 (Common-Cleaner) S 123182 123185 123117 0 -1 1077936192 5003 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123269] ppid=123182 vsize=19127036 memory=1470428 CPUtime=0 cores=4,6
/proc/123185/task/123269/stat : 123269 (Timer-0) S 123182 123185 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087073 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 3504.68 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1470428 KiB

[startup+3582.3 s]
/proc/loadavg: 4.58 4.42 4.29 5/338 125419
/proc/meminfo: memFree=106681408/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=19127036 memory=1470428 CPUtime=3564.09 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 151632 0 127 0 355925 484 0 0 20 0 20 0 13086998 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4781759 367607 6177 1 0 557830 0
[pid=123185/tid=123196] ppid=123182 vsize=19127036 memory=13572 CPUtime=3555.76 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 4194368 60870 0 93 0 355222 354 0 0 20 0 20 0 13087000 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1158 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123232] ppid=123182 vsize=19127036 memory=1470428 CPUtime=0 cores=4,6
/proc/123185/task/123232/stat : 123232 (Finalizer) S 123182 123185 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123259] ppid=123182 vsize=19127036 memory=1470428 CPUtime=0 cores=4,6
/proc/123185/task/123259/stat : 123259 (Common-Cleaner) S 123182 123185 123117 0 -1 1077936192 5117 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123269] ppid=123182 vsize=19127036 memory=13572 CPUtime=0 cores=4,6
/proc/123185/task/123269/stat : 123269 (Timer-0) S 123182 123185 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087073 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 3564.09 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1470428 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3618.5 s]
/proc/loadavg: 4.32 4.37 4.28 5/337 125425
/proc/meminfo: memFree=106091532/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=19127036 memory=1470428 CPUtime=3600.08 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 152632 0 127 0 359521 487 0 0 20 0 20 0 13086998 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4781759 367607 6177 1 0 557830 0
[pid=123185/tid=123196] ppid=123182 vsize=19127036 memory=1470428 CPUtime=3591.74 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 4194368 61600 0 93 0 358818 356 0 0 20 0 20 0 13087000 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1170 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123232] ppid=123182 vsize=19127036 memory=1470428 CPUtime=0 cores=4,6
/proc/123185/task/123232/stat : 123232 (Finalizer) S 123182 123185 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123259] ppid=123182 vsize=19127036 memory=13572 CPUtime=0 cores=4,6
/proc/123185/task/123259/stat : 123259 (Common-Cleaner) S 123182 123185 123117 0 -1 1077936192 5218 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123269] ppid=123182 vsize=19127036 memory=1470428 CPUtime=0 cores=4,6
/proc/123185/task/123269/stat : 123269 (Timer-0) S 123182 123185 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087073 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1470428 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.3 s, system=4.88757 s

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

[startup+3618.5 s]
/proc/loadavg: 4.32 4.37 4.28 5/337 125425
/proc/meminfo: memFree=106091532/131524600 swapFree=131071216/131071996
[pid=123185] ppid=123182 vsize=19127036 memory=1470428 CPUtime=3600.08 cores=4,6
/proc/123185/stat : 123185 (java) S 123182 123185 123117 0 -1 1077936128 152632 0 127 0 359521 487 0 0 20 0 20 0 13086998 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 0 0 16800975 0 0 0 17 4 0 0 1 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
/proc/123185/statm: 4781759 367607 6177 1 0 557830 0
[pid=123185/tid=123196] ppid=123182 vsize=19127036 memory=1470428 CPUtime=3591.74 cores=4,6
/proc/123185/task/123196/stat : 123196 (java) R 123182 123185 123117 0 -1 4194368 61600 0 93 0 358818 356 0 0 20 0 20 0 13087000 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1170 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123232] ppid=123182 vsize=19127036 memory=1470428 CPUtime=0 cores=4,6
/proc/123185/task/123232/stat : 123232 (Finalizer) S 123182 123185 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123259] ppid=123182 vsize=19127036 memory=13572 CPUtime=0 cores=4,6
/proc/123185/task/123259/stat : 123259 (Common-Cleaner) S 123182 123185 123117 0 -1 1077936192 5218 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
[pid=123185/tid=123269] ppid=123182 vsize=19127036 memory=1470428 CPUtime=0 cores=4,6
/proc/123185/task/123269/stat : 123269 (Timer-0) S 123182 123185 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087073 19586084864 367607 134679101440 94750905110528 94750905114224 140730433580624 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94750905122040 94750905122832 94750923431936 140730433586095 140730433586277 140730433586277 140730433593288 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1470428 KiB

Child status: 143

Real time (s): 3618.58
CPU time (s): 3600.19
CPU user time (s): 3595.3
CPU system time (s): 4.88757
CPU usage (%): 99.4918
Max. virtual memory (cumulated for all children) (KiB): 19131316
Max. memory (cumulated for all children) (KiB): 1470428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.3
system time used= 4.88757
maximum resident set size= 1472004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155610
page faults= 127
swaps= 0
block input operations= 22320
block output operations= 2451936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113396
involuntary context switches= 12055


# summary of solver processes directly reported to runsolver:
#   pid: 123185
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3595.3
#   total CPU system time (s): 4.88757

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94394 second user time and 19.833 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-23 22:13:07
IDJOB=4440208
IDBENCH=146318
IDSOLVER=3079
FILE ID=nodeC018/4440208-1721765587
RUNJOBID= nodeC018-1721765587-123128
SLURM_JOB_ID= 7770660
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440208-1721765587/watcher-4440208-1721765587 -o /tmp/evaluation-result-4440208-1721765587/solver-4440208-1721765587 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721765587-123128 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440208-1721765587 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440208-1721765587.opb

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

MD5SUM BENCH= 5aa1ba277a339a08ad3677907a503ea8
RANDOM SEED=1989423269

nodeC018.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		: 3599.791
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.43
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		: 3585.382
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.33
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		: 3641.487
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.43
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		: 3635.468
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.33
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		: 3612.357
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.43
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		: 3648.747
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.33
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		: 3649.400
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.43
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		: 3644.658
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        114503108 kB
MemAvailable:   129773176 kB
Buffers:          179640 kB
Cached:         15833220 kB
SwapCached:          244 kB
Active:          1128092 kB
Inactive:       15158576 kB
Active(anon):       1444 kB
Inactive(anon):   310284 kB
Active(file):    1126648 kB
Inactive(file): 14848292 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:              4620 kB
Writeback:             0 kB
AnonPages:        271988 kB
Mapped:           103236 kB
Shmem:             37588 kB
KReclaimable:     269904 kB
Slab:             379008 kB
SReclaimable:     269904 kB
SUnreclaim:       109104 kB
KernelStack:        4032 kB
PageTables:         9536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     673968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21088 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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:      318164 kB
DirectMap2M:    34058240 kB
DirectMap1G:    101711872 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC018 at 2024-07-23 23:13:26