Trace number 4432449

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 Default 2024-07-07? (TO) 3600.22 3572.72

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_0null50mast_rapportOE2.0_TMAX180_K192_cod2.opb
MD5SUMccc767bd01ae3f57d23f9938eef5a5f9
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-250538
Best CPU time to get the best result obtained on this benchmark72002.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1783
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 10548534
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 10548534
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432449-1721158097.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
5.04/3.62	c ... done. Wall clock time 3.497s.
5.04/3.62	c declared #vars     400896
5.04/3.62	c #constraints  402763
5.04/3.62	c constraints type 
5.04/3.62	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24448
5.04/3.62	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1977
5.04/3.62	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
5.04/3.62	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 376337
5.04/3.62	c 402763 constraints processed.
5.04/3.63	c objective function length is 1783 literals
24.11/21.67	c cleaning 2501 clauses out of 5001 with flag 29592/5002
43.68/40.96	c cleaning 4233 clauses out of 8498 with flag 51781/11000
63.27/60.50	c cleaning 5562 clauses out of 11265 with flag 77248/18000
94.32/91.52	c cleaning 6843 clauses out of 13704 with flag 110472/26001
113.29/110.52	c cleaning 7924 clauses out of 15860 with flag 152935/35000
131.67/128.96	c cleaning 8886 clauses out of 17937 with flag 199547/45001
183.50/180.85	c cleaning 9870 clauses out of 20050 with flag 309822/56000
231.63/229.08	c cleaning 10839 clauses out of 22180 with flag 422299/68000
282.76/280.28	c cleaning 12154 clauses out of 24341 with flag 541161/81000
315.42/312.97	c cleaning 13068 clauses out of 26188 with flag 605181/95001
342.78/340.38	c cleaning 14058 clauses out of 28120 with flag 692197/110001
372.05/369.63	c cleaning 15025 clauses out of 30061 with flag 769556/126000
397.44/394.93	c cleaning 16014 clauses out of 32036 with flag 843798/143000
425.23/422.79	c cleaning 17012 clauses out of 34023 with flag 933672/161001
448.85/446.21	c cleaning 17994 clauses out of 36009 with flag 1024062/180001
478.25/475.60	c cleaning 19005 clauses out of 38015 with flag 1153696/200001
509.42/506.83	c cleaning 19998 clauses out of 40010 with flag 1305853/221001
538.89/536.30	c cleaning 21007 clauses out of 42013 with flag 1443589/243002
566.76/564.28	c cleaning 21998 clauses out of 44005 with flag 1569294/266001
591.84/589.32	c cleaning 22996 clauses out of 46007 with flag 1697183/290001
614.82/612.37	c cleaning 24001 clauses out of 48010 with flag 1835389/315000
643.18/640.47	c cleaning 24998 clauses out of 50009 with flag 1979675/341000
670.61/667.62	c cleaning 26000 clauses out of 52011 with flag 2128156/368000
695.97/693.04	c cleaning 26998 clauses out of 54011 with flag 2276656/396000
721.94/719.05	c cleaning 28007 clauses out of 56013 with flag 2434436/425000
756.59/753.71	c cleaning 28998 clauses out of 58006 with flag 2602670/455000
782.58/779.85	c cleaning 30003 clauses out of 60008 with flag 2780414/486000
811.03/808.54	c cleaning 31000 clauses out of 62006 with flag 2956215/518001
848.94/846.31	c cleaning 31999 clauses out of 64005 with flag 3139578/551000
880.99/878.47	c cleaning 32998 clauses out of 66006 with flag 3329760/585000
908.16/905.60	c cleaning 33991 clauses out of 68009 with flag 3517657/620001
948.22/945.66	c cleaning 35006 clauses out of 70017 with flag 3720827/656000
976.38/973.85	c cleaning 35995 clauses out of 72011 with flag 3917771/693000
1007.14/1004.61	c cleaning 37008 clauses out of 74016 with flag 4115279/731000
1037.73/1035.19	c cleaning 37997 clauses out of 76008 with flag 4327687/770000
1066.49/1063.90	c cleaning 39004 clauses out of 78012 with flag 4530882/810001
1096.99/1094.33	c cleaning 39993 clauses out of 80008 with flag 4748036/851001
1128.15/1125.58	c cleaning 40997 clauses out of 82015 with flag 4968855/893001
1198.96/1196.48	c cleaning 42007 clauses out of 84017 with flag 5208354/936000
1241.42/1238.82	c cleaning 42989 clauses out of 86010 with flag 5444824/980000
1276.17/1273.65	c cleaning 44001 clauses out of 88021 with flag 5687395/1025000
1315.54/1312.98	c cleaning 44995 clauses out of 90020 with flag 5930420/1071000
1361.27/1358.73	c cleaning 46009 clauses out of 92025 with flag 6176902/1118000
1398.22/1395.61	c cleaning 47005 clauses out of 94016 with flag 6428225/1166000
1445.05/1442.56	c cleaning 47996 clauses out of 96012 with flag 6695184/1215001
1492.57/1490.02	c cleaning 48997 clauses out of 98015 with flag 6971822/1265000
1554.38/1551.99	c cleaning 50003 clauses out of 100018 with flag 7273670/1316000
1608.58/1606.10	c cleaning 50997 clauses out of 102017 with flag 7555130/1368002
1663.52/1661.07	c cleaning 51999 clauses out of 104018 with flag 7849067/1421000
1724.90/1722.41	c cleaning 53008 clauses out of 106019 with flag 8162760/1475000
1790.29/1787.72	c cleaning 53987 clauses out of 108012 with flag 8437681/1530001
1853.30/1850.81	c cleaning 55004 clauses out of 110024 with flag 8747215/1586000
1918.28/1915.70	c cleaning 56005 clauses out of 112021 with flag 9083138/1643001
1989.48/1986.82	c cleaning 56992 clauses out of 114017 with flag 9464755/1701002
2055.34/2052.61	c cleaning 57998 clauses out of 116023 with flag 9798302/1760000
2131.39/2129.15	c cleaning 59010 clauses out of 118028 with flag 10095089/1820003
2202.53/2199.43	c cleaning 60000 clauses out of 120017 with flag 10474842/1881002
2268.25/2265.04	c cleaning 61001 clauses out of 122016 with flag 10879613/1943001
2348.03/2344.61	c cleaning 62008 clauses out of 124015 with flag 11218115/2006001
2408.74/2405.16	c cleaning 62985 clauses out of 126007 with flag 11575188/2070001
2449.50/2445.66	c cleaning 64004 clauses out of 128022 with flag 11909597/2135001
2482.93/2478.04	c cleaning 65002 clauses out of 130017 with flag 12217909/2201000
2516.90/2511.78	c cleaning 65997 clauses out of 132016 with flag 12532927/2268001
2550.79/2545.28	c cleaning 66996 clauses out of 134019 with flag 12851407/2336001
2584.97/2579.25	c cleaning 68011 clauses out of 136022 with flag 13172714/2405000
2618.85/2612.83	c cleaning 69000 clauses out of 138012 with flag 13505735/2475001
2654.94/2647.43	c cleaning 69992 clauses out of 140011 with flag 13843341/2546000
2691.22/2683.46	c cleaning 71000 clauses out of 142020 with flag 14187496/2618001
2727.20/2718.94	c cleaning 72007 clauses out of 144019 with flag 14539920/2691000
2763.29/2754.72	c cleaning 73001 clauses out of 146012 with flag 14890015/2765000
2801.90/2791.64	c cleaning 73996 clauses out of 148011 with flag 15239334/2840000
2839.93/2829.49	c cleaning 75004 clauses out of 150016 with flag 15588971/2916001
2879.71/2868.82	c cleaning 75996 clauses out of 152012 with flag 15949928/2993001
2920.18/2908.83	c cleaning 77000 clauses out of 154015 with flag 16313399/3071000
2961.95/2948.90	c cleaning 78003 clauses out of 156016 with flag 16688895/3150001
3002.73/2989.20	c cleaning 79001 clauses out of 158012 with flag 17066133/3230000
3043.48/3029.65	c cleaning 79994 clauses out of 160012 with flag 17450509/3311001
3086.58/3070.89	c cleaning 81004 clauses out of 162019 with flag 17838398/3393002
3128.74/3112.57	c cleaning 81998 clauses out of 164013 with flag 18216776/3476000
3171.28/3154.78	c cleaning 83006 clauses out of 166015 with flag 18594922/3560000
3211.60/3194.69	c cleaning 83992 clauses out of 168010 with flag 18987920/3645001
3254.10/3234.93	c cleaning 85005 clauses out of 170017 with flag 19393128/3731000
3294.80/3275.17	c cleaning 86003 clauses out of 172012 with flag 19806182/3818000
3336.31/3316.05	c cleaning 87001 clauses out of 174010 with flag 20208436/3906001
3381.10/3357.80	c cleaning 87998 clauses out of 176008 with flag 20623383/3995000
3423.13/3399.33	c cleaning 89001 clauses out of 178010 with flag 21048803/4085000
3471.40/3447.16	c cleaning 89995 clauses out of 180009 with flag 21471694/4176000
3516.75/3492.00	c cleaning 91000 clauses out of 182014 with flag 21883592/4268000
3563.74/3536.74	c cleaning 92007 clauses out of 184015 with flag 22300939/4361001
3600.04/3572.63	c starts		: 608
3600.04/3572.63	c conflicts		: 4435842
3600.04/3572.63	c decisions		: 10801224
3600.04/3572.63	c propagations		: 5728113799
3600.04/3572.63	c inspects		: 4549676349
3600.04/3572.63	c shortcuts		: 0
3600.04/3572.63	c learnt literals	: 3
3600.04/3572.63	c learnt binary clauses	: 1858
3600.04/3572.63	c learnt ternary clauses	: 1444
3600.04/3572.63	c learnt constraints	: 4435839
3600.04/3572.63	c ignored constraints	: 0
3600.04/3572.63	c root simplifications	: 0
3600.04/3572.63	c removed literals (reason simplification)	: 0
3600.04/3572.63	c reason swapping (by a shorter reason)	: 0
3600.04/3572.63	c Calls to reduceDB	: 89
3600.04/3572.63	c Number of update (reduction) of LBD	: 530634
3600.04/3572.63	c Imported unit clauses	: 0
3600.04/3572.63	c No decision after first conflict	: false
3600.04/3572.63	c number of reductions to clauses (during analyze)	: 0
3600.04/3572.63	c number of learned constraints concerned by reduction	: 0
3600.04/3572.63	c number of learning phase by resolution	: 0
3600.04/3572.63	c number of learning phase by cutting planes	: 0
3600.04/3572.63	c number of rounding to 1 operations	: 0
3600.04/3572.63	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3572.63	c number of reductions of the coefficients by power 2 	: 0
3600.04/3572.63	c number of right shift for reduction by power 2 	: 0
3600.04/3572.63	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3572.63	c number of ending skipping 	: 0
3600.04/3572.63	c number of internal skipping 	: 0
3600.04/3572.63	c number of derivation steps 	: 0
3600.04/3572.63	c number of skipped derivation steps 	: 0
3600.04/3572.63	c number of remaining unassigned 	: 0
3600.04/3572.63	c number of remaining assigned 	: 0
3600.04/3572.63	c number of falsified literals weakened from reason	: 0
3600.04/3572.63	c number of falsified literals weakened from conflict	: 0
3600.04/3572.63	c time for arithmetic operations	: 0
3600.04/3572.64	c minimum degree of deleted constraints	: null
3600.04/3572.64	c maximum degree of deleted constraints	: null
3600.04/3572.64	c number of deleted constraints	: 0
3600.04/3572.64	c speed (assignments/second)	: 1604994.7180247302
3600.04/3572.64	c non guided choices	: 19856
3600.04/3572.64	c timeout
3600.04/3572.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 164991
3600.04/3572.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1858
3600.04/3572.69	s UNKNOWN
3600.04/3572.69	c Total wall clock time (in seconds): 3572.572

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: 63931 MiB (53663 MiB free)
  memory of node 1: 64510 MiB (49808 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432449-1721158097/watcher-4432449-1721158097 -o /tmp/evaluation-result-4432449-1721158097/solver-4432449-1721158097 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721150907-863417 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432449-1721158097.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=867776, runsolver pid=867773

[startup+0.100324 s]*
/proc/loadavg: 4.20 4.16 4.15 7/334 867794
/proc/meminfo: memFree=105913204/131524600 swapFree=131071996/131071996
[pid=867776] ppid=867773 vsize=18975048 memory=62952 CPUtime=0.13 cores=4,6
/proc/867776/stat : 867776 (java) S 867773 867776 863406 0 -1 1077936128 7233 0 0 0 12 1 0 0 20 0 18 0 167969892 19430449152 15738 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
/proc/867776/statm: 4743762 15738 5613 1 0 549346 0
[pid=867776/tid=867778] ppid=867773 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/867776/task/867778/stat : 867778 (java) R 867773 867776 863406 0 -1 1077936192 5745 0 0 0 8 1 0 0 20 0 18 0 167969892 19430449152 15738 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867787] ppid=867773 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 167969895 19430449152 15738 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=18975048 memory=14690799019387218 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 167969896 19430449152 15738 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62952 KiB

[startup+0.210726 s]*
/proc/loadavg: 4.20 4.16 4.15 7/334 867794
/proc/meminfo: memFree=105877048/131524600 swapFree=131071996/131071996
[pid=867776] ppid=867773 vsize=18975048 memory=99672 CPUtime=0.34 cores=4,6
/proc/867776/stat : 867776 (java) S 867773 867776 863406 0 -1 1077936128 8300 0 0 0 32 2 0 0 20 0 18 0 167969892 19430449152 24918 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
/proc/867776/statm: 4743762 24918 5860 1 0 550018 0
[pid=867776/tid=867778] ppid=867773 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/867776/task/867778/stat : 867778 (java) R 867773 867776 863406 0 -1 1077936192 5919 0 0 0 17 1 0 0 20 0 18 0 167969892 19430449152 24918 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867787] ppid=867773 vsize=18975048 memory=16967 CPUtime=0 cores=4,6
/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 167969895 19430449152 24918 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=18975048 memory=16097074391287456 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 167969896 19430449152 24918 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 99672 KiB

[startup+0.305803 s]*
/proc/loadavg: 4.20 4.16 4.15 8/334 867794
/proc/meminfo: memFree=105841144/131524600 swapFree=131071996/131071996
[pid=867776] ppid=867773 vsize=18975048 memory=135260 CPUtime=0.52 cores=4,6
/proc/867776/stat : 867776 (java) S 867773 867776 863406 0 -1 1077936128 9231 0 0 0 49 3 0 0 20 0 18 0 167969892 19430449152 33815 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
/proc/867776/statm: 4743762 33815 5860 1 0 550631 0
[pid=867776/tid=867778] ppid=867773 vsize=18975048 memory=-8959457795893469884 CPUtime=0.28 cores=4,6
/proc/867776/task/867778/stat : 867778 (java) R 867773 867776 863406 0 -1 4194368 5936 0 0 0 25 3 0 0 20 0 18 0 167969892 19430449152 33815 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867787] ppid=867773 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 167969895 19430449152 33815 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 167969896 19430449152 33815 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 135260 KiB

[startup+0.700813 s]
/proc/loadavg: 4.20 4.16 4.15 6/335 867795
/proc/meminfo: memFree=105790976/131524600 swapFree=131071996/131071996
[pid=867776] ppid=867773 vsize=19041612 memory=331772 CPUtime=1.24 cores=4,6
/proc/867776/stat : 867776 (java) S 867773 867776 863406 0 -1 1077936128 14801 0 0 0 117 7 0 0 20 0 19 0 167969892 19498610688 82943 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
/proc/867776/statm: 4760403 82943 5892 1 0 1347232 0
[pid=867776/tid=867778] ppid=867773 vsize=19041612 memory=5448 CPUtime=0.56 cores=4,6
/proc/867776/task/867778/stat : 867778 (java) R 867773 867776 863406 0 -1 4194368 6016 0 0 0 51 5 0 0 20 0 19 0 167969892 19498610688 82943 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867787] ppid=867773 vsize=19041612 memory=12740 CPUtime=0 cores=4,6
/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 167969895 19498610688 82943 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 167969896 19498610688 82943 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 331772 KiB

[startup+1.50081 s]
/proc/loadavg: 4.20 4.16 4.15 8/335 867795
/proc/meminfo: memFree=105391384/131524600 swapFree=131071996/131071996
[pid=867776] ppid=867773 vsize=19041612 memory=618392 CPUtime=2.58 cores=4,6
/proc/867776/stat : 867776 (java) S 867773 867776 863406 0 -1 1077936128 19147 0 0 0 243 15 0 0 20 0 19 0 167969892 19498610688 154598 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
/proc/867776/statm: 4760403 154598 5892 1 0 1351175 0
[pid=867776/tid=867778] ppid=867773 vsize=19041612 memory=12740 CPUtime=1.22 cores=4,6
/proc/867776/task/867778/stat : 867778 (java) S 867773 867776 863406 0 -1 1077936192 6174 0 0 0 112 10 0 0 20 0 19 0 167969892 19498610688 154598 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867787] ppid=867773 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 167969895 19498610688 154598 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 167969896 19498610688 154598 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 618392 KiB

[startup+3.10582 s]
/proc/loadavg: 4.35 4.19 4.16 5/335 867795
/proc/meminfo: memFree=102537584/131524600 swapFree=131071996/131071996
[pid=867776] ppid=867773 vsize=19041612 memory=3431824 CPUtime=4.49 cores=4,6
/proc/867776/stat : 867776 (java) S 867773 867776 863406 0 -1 1077936128 21471 0 0 0 379 70 0 0 20 0 19 0 167969892 19498610688 857956 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
/proc/867776/statm: 4760403 857956 5892 1 0 1898545 0
[pid=867776/tid=867778] ppid=867773 vsize=19041612 memory=0 CPUtime=2.58 cores=4,6
/proc/867776/task/867778/stat : 867778 (java) R 867773 867776 863406 0 -1 4194368 7543 0 0 0 195 63 0 0 20 0 19 0 167969892 19498610688 857956 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867787] ppid=867773 vsize=19041612 memory=12740 CPUtime=0 cores=4,6
/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 167969895 19498610688 857956 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=19041612 memory=846808 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 167969896 19498610688 857956 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 4.49 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3431824 KiB

[startup+6.3008 s]
/proc/loadavg: 4.35 4.19 4.16 5/336 867797
/proc/meminfo: memFree=102174136/131524600 swapFree=131071996/131071996
[pid=867776] ppid=867773 vsize=19108176 memory=3794740 CPUtime=8.58 cores=4,6
/proc/867776/stat : 867776 (java) S 867773 867776 863406 0 -1 1077936128 22190 0 0 0 779 79 0 0 20 0 20 0 167969892 19566772224 948685 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
/proc/867776/statm: 4777044 948685 5944 1 0 1899043 0
[pid=867776/tid=867778] ppid=867773 vsize=19108176 memory=1842452 CPUtime=5.7 cores=4,6
/proc/867776/task/867778/stat : 867778 (java) R 867773 867776 863406 0 -1 4194368 7953 0 0 0 500 70 0 0 20 0 20 0 167969892 19566772224 948685 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867787] ppid=867773 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167969895 19566772224 948685 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=19108176 memory=3794740 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 167969896 19566772224 948685 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867796] ppid=867773 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/867776/task/867796/stat : 867796 (Timer-0) S 867773 867776 863406 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167970263 19566772224 948685 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 8.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3794740 KiB

[startup+12.7008 s]
/proc/loadavg: 4.29 4.19 4.16 6/314 867888
/proc/meminfo: memFree=110509408/131524600 swapFree=131071996/131071996
[pid=867776] ppid=867773 vsize=19108176 memory=3794740 CPUtime=14.97 cores=4,6
/proc/867776/stat : 867776 (java) S 867773 867776 863406 0 -1 1077936128 22225 0 0 0 1418 79 0 0 20 0 20 0 167969892 19566772224 948685 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
/proc/867776/statm: 4777044 948685 5944 1 0 1899043 0
[pid=867776/tid=867778] ppid=867773 vsize=19108176 memory=3794740 CPUtime=12.04 cores=4,6
/proc/867776/task/867778/stat : 867778 (java) R 867773 867776 863406 0 -1 4194368 7955 0 0 0 1134 70 0 0 20 0 20 0 167969892 19566772224 948685 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867787] ppid=867773 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167969895 19566772224 948685 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=19108176 memory=3794740 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 167969896 19566772224 948685 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867796] ppid=867773 vsize=19108176 memory=3794740 CPUtime=0 cores=4,6
/proc/867776/task/867796/stat : 867796 (Timer-0) S 867773 867776 863406 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167970263 19566772224 948685 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 14.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3794740 KiB

[startup+25.5003 s]
/proc/loadavg: 4.32 4.20 4.17 5/336 867936
/proc/meminfo: memFree=106455352/131524600 swapFree=131071996/131071996
[pid=867776] ppid=867773 vsize=19108176 memory=3796212 CPUtime=28.22 cores=4,6
/proc/867776/stat : 867776 (java) S 867773 867776 863406 0 -1 1077936128 31120 0 0 0 2741 81 0 0 20 0 20 0 167969892 19566772224 949053 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
/proc/867776/statm: 4777044 949053 5960 1 0 1899193 0
[pid=867776/tid=867778] ppid=867773 vsize=19108176 memory=0 CPUtime=24.78 cores=4,6
/proc/867776/task/867778/stat : 867778 (java) R 867773 867776 863406 0 -1 4194368 9689 0 0 0 2408 70 0 0 20 0 20 0 167969892 19566772224 949053 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867787] ppid=867773 vsize=19108176 memory=3794740 CPUtime=0 cores=4,6
/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167969895 19566772224 949053 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=19108176 memory=3795660 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 167969896 19566772224 949053 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867796] ppid=867773 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/867776/task/867796/stat : 867796 (Timer-0) S 867773 867776 863406 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167970263 19566772224 949053 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 28.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3796212 KiB

[startup+51.1058 s]
/proc/loadavg: 4.34 4.21 4.17 5/336 867939
/proc/meminfo: memFree=106452888/131524600 swapFree=131071996/131071996
[pid=867776] ppid=867773 vsize=19108176 memory=3796492 CPUtime=53.97 cores=4,6
/proc/867776/stat : 867776 (java) S 867773 867776 863406 0 -1 1077936128 38905 0 0 0 5315 82 0 0 20 0 20 0 167969892 19566772224 949123 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
/proc/867776/statm: 4777044 949123 5960 1 0 1899193 0
[pid=867776/tid=867778] ppid=867773 vsize=19108176 memory=3796472 CPUtime=50.33 cores=4,6
/proc/867776/task/867778/stat : 867778 (java) R 867773 867776 863406 0 -1 4194368 11275 0 0 0 4963 70 0 0 20 0 20 0 167969892 19566772224 949123 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867787] ppid=867773 vsize=19108176 memory=33020 CPUtime=0 cores=4,6
/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167969895 19566772224 949123 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=19108176 memory=3796472 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 167969896 19566772224 949123 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867796] ppid=867773 vsize=19108176 memory=3796460 CPUtime=0 cores=4,6
/proc/867776/task/867796/stat : 867796 (Timer-0) S 867773 867776 863406 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167970263 19566772224 949123 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 53.97 s
Current children cumulated vsize: 19108176 KiB

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

/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167969895 19566772224 1864475 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=19108176 memory=7457900 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 4418 0 0 0 0 0 0 0 20 0 20 0 167969896 19566772224 1864475 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867796] ppid=867773 vsize=19108176 memory=7457900 CPUtime=0 cores=4,6
/proc/867776/task/867796/stat : 867796 (Timer-0) S 867773 867776 863406 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167970263 19566772224 1864475 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 3178.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7457900 KiB

[startup+3222.3 s]
/proc/loadavg: 4.23 4.20 4.18 5/334 869149
/proc/meminfo: memFree=91477228/131524600 swapFree=131071996/131071996
[pid=867776] ppid=867773 vsize=19108176 memory=7458016 CPUtime=3241.27 cores=4,6
/proc/867776/stat : 867776 (java) S 867773 867776 863406 0 -1 1077936128 344136 0 0 0 323815 312 0 0 20 0 20 0 167969892 19566772224 1864504 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
/proc/867776/statm: 4777044 1864504 6002 1 0 1900610 0
[pid=867776/tid=867778] ppid=867773 vsize=19108176 memory=7457884 CPUtime=3194.27 cores=4,6
/proc/867776/task/867778/stat : 867778 (java) R 867773 867776 863406 0 -1 4194368 105911 0 0 0 319341 86 0 0 20 0 20 0 167969892 19566772224 1864504 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867787] ppid=867773 vsize=19108176 memory=7457900 CPUtime=0 cores=4,6
/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167969895 19566772224 1864504 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=19108176 memory=7457900 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 4465 0 0 0 0 0 0 0 20 0 20 0 167969896 19566772224 1864504 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867796] ppid=867773 vsize=19108176 memory=7458016 CPUtime=0 cores=4,6
/proc/867776/task/867796/stat : 867796 (Timer-0) S 867773 867776 863406 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167970263 19566772224 1864504 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 3241.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7458016 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/334 869159
/proc/meminfo: memFree=91476308/131524600 swapFree=131071996/131071996
[pid=867776] ppid=867773 vsize=19108176 memory=7458032 CPUtime=3302.16 cores=4,6
/proc/867776/stat : 867776 (java) S 867773 867776 863406 0 -1 1077936128 348017 0 0 0 329902 314 0 0 20 0 20 0 167969892 19566772224 1864508 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
/proc/867776/statm: 4777044 1864508 6002 1 0 1900610 0
[pid=867776/tid=867778] ppid=867773 vsize=19108176 memory=7458028 CPUtime=3253.12 cores=4,6
/proc/867776/task/867778/stat : 867778 (java) R 867773 867776 863406 0 -1 4194368 106974 0 0 0 325226 86 0 0 20 0 20 0 167969892 19566772224 1864508 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867787] ppid=867773 vsize=19108176 memory=7458032 CPUtime=0 cores=4,6
/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167969895 19566772224 1864508 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=19108176 memory=7458032 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 4465 0 0 0 0 0 0 0 20 0 20 0 167969896 19566772224 1864508 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867796] ppid=867773 vsize=19108176 memory=7458028 CPUtime=0 cores=4,6
/proc/867776/task/867796/stat : 867796 (Timer-0) S 867773 867776 863406 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167970263 19566772224 1864508 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 3302.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7458032 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/333 869172
/proc/meminfo: memFree=91442684/131524600 swapFree=131071996/131071996
[pid=867776] ppid=867773 vsize=19108176 memory=7490800 CPUtime=3362.96 cores=4,6
/proc/867776/stat : 867776 (java) S 867773 867776 863406 0 -1 1077936128 349286 0 0 0 335979 317 0 0 20 0 20 0 167969892 19566772224 1872700 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
/proc/867776/statm: 4777044 1872700 6002 1 0 1900610 0
[pid=867776/tid=867778] ppid=867773 vsize=19108176 memory=16160 CPUtime=3312 cores=4,6
/proc/867776/task/867778/stat : 867778 (java) R 867773 867776 863406 0 -1 4194368 107344 0 0 0 331114 86 0 0 20 0 20 0 167969892 19566772224 1872700 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867787] ppid=867773 vsize=19108176 memory=-8959457795893469884 CPUtime=0 cores=4,6
/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167969895 19566772224 1872700 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=19108176 memory=11400 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 4512 0 0 0 0 0 0 0 20 0 20 0 167969896 19566772224 1872700 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867796] ppid=867773 vsize=19108176 memory=-5155633680935826750 CPUtime=0 cores=4,6
/proc/867776/task/867796/stat : 867796 (Timer-0) S 867773 867776 863406 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167970263 19566772224 1872700 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 3362.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7490800 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/333 869566
/proc/meminfo: memFree=91018568/131524600 swapFree=131071996/131071996
[pid=867776] ppid=867773 vsize=19108176 memory=7529756 CPUtime=3426.13 cores=4,6
/proc/867776/stat : 867776 (java) S 867773 867776 863406 0 -1 1077936128 367085 0 0 0 342290 323 0 0 20 0 20 0 167969892 19566772224 1882439 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
/proc/867776/statm: 4777044 1882439 6002 1 0 1900610 0
[pid=867776/tid=867778] ppid=867773 vsize=19108176 memory=11400 CPUtime=3370.93 cores=4,6
/proc/867776/task/867778/stat : 867778 (java) R 867773 867776 863406 0 -1 4194368 109223 0 0 0 337006 87 0 0 20 0 20 0 167969892 19566772224 1882439 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867787] ppid=867773 vsize=19108176 memory=7458032 CPUtime=0 cores=4,6
/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167969895 19566772224 1882439 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=19108176 memory=11400 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 4512 0 0 0 0 0 0 0 20 0 20 0 167969896 19566772224 1882439 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867796] ppid=867773 vsize=19108176 memory=7529756 CPUtime=0 cores=4,6
/proc/867776/task/867796/stat : 867796 (Timer-0) S 867773 867776 863406 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167970263 19566772224 1882439 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 3426.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7529756 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/333 869577
/proc/meminfo: memFree=91018300/131524600 swapFree=131071996/131071996
[pid=867776] ppid=867773 vsize=19108176 memory=7529756 CPUtime=3486.68 cores=4,6
/proc/867776/stat : 867776 (java) S 867773 867776 863406 0 -1 1077936128 370949 0 0 0 348343 325 0 0 20 0 20 0 167969892 19566772224 1882439 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
/proc/867776/statm: 4777044 1882439 6002 1 0 1900610 0
[pid=867776/tid=867778] ppid=867773 vsize=19108176 memory=11400 CPUtime=3429.7 cores=4,6
/proc/867776/task/867778/stat : 867778 (java) R 867773 867776 863406 0 -1 4194368 110170 0 0 0 342883 87 0 0 20 0 20 0 167969892 19566772224 1882439 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867787] ppid=867773 vsize=19108176 memory=7458032 CPUtime=0 cores=4,6
/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167969895 19566772224 1882439 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=19108176 memory=7529756 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 4663 0 0 0 0 0 0 0 20 0 20 0 167969896 19566772224 1882439 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867796] ppid=867773 vsize=19108176 memory=7529756 CPUtime=0 cores=4,6
/proc/867776/task/867796/stat : 867796 (Timer-0) S 867773 867776 863406 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167970263 19566772224 1882439 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 3486.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7529756 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/333 869589
/proc/meminfo: memFree=91009248/131524600 swapFree=131071996/131071996
[pid=867776] ppid=867773 vsize=19108176 memory=7537980 CPUtime=3549.11 cores=4,6
/proc/867776/stat : 867776 (java) S 867773 867776 863406 0 -1 1077936128 388747 0 0 0 354583 328 0 0 20 0 20 0 167969892 19566772224 1884495 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
/proc/867776/statm: 4777044 1884495 6002 1 0 1900610 0
[pid=867776/tid=867778] ppid=867773 vsize=19108176 memory=7529756 CPUtime=3488.46 cores=4,6
/proc/867776/task/867778/stat : 867778 (java) R 867773 867776 863406 0 -1 4194368 111554 0 0 0 348759 87 0 0 20 0 20 0 167969892 19566772224 1884495 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867787] ppid=867773 vsize=19108176 memory=5448 CPUtime=0 cores=4,6
/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167969895 19566772224 1884495 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=19108176 memory=42448 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 4663 0 0 0 0 0 0 0 20 0 20 0 167969896 19566772224 1884495 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867796] ppid=867773 vsize=19108176 memory=7537980 CPUtime=0 cores=4,6
/proc/867776/task/867796/stat : 867796 (Timer-0) S 867773 867776 863406 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167970263 19566772224 1884495 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 3549.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7537980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3572.6 s]
/proc/loadavg: 4.12 4.14 4.16 5/333 869599
/proc/meminfo: memFree=91008864/131524600 swapFree=131071996/131071996
[pid=867776] ppid=867773 vsize=19108176 memory=7537992 CPUtime=3600.04 cores=4,6
/proc/867776/stat : 867776 (java) S 867773 867776 863406 0 -1 1077936128 389500 0 0 0 359674 330 0 0 20 0 20 0 167969892 19566772224 1884498 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
/proc/867776/statm: 4777044 1884498 6002 1 0 1900610 0
[pid=867776/tid=867778] ppid=867773 vsize=19108176 memory=4968 CPUtime=3537.91 cores=4,6
/proc/867776/task/867778/stat : 867778 (java) R 867773 867776 863406 0 -1 4194368 111859 0 0 0 353704 87 0 0 20 0 20 0 167969892 19566772224 1884498 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867787] ppid=867773 vsize=19108176 memory=7350392 CPUtime=0 cores=4,6
/proc/867776/task/867787/stat : 867787 (Finalizer) S 867773 867776 863406 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167969895 19566772224 1884498 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867794] ppid=867773 vsize=19108176 memory=2808 CPUtime=0 cores=4,6
/proc/867776/task/867794/stat : 867794 (Common-Cleaner) S 867773 867776 863406 0 -1 1077936192 4663 0 0 0 0 0 0 0 20 0 20 0 167969896 19566772224 1884498 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
[pid=867776/tid=867796] ppid=867773 vsize=19108176 memory=4892 CPUtime=0 cores=4,6
/proc/867776/task/867796/stat : 867796 (Timer-0) S 867773 867776 863406 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167970263 19566772224 1884498 134679101440 94089204666368 94089204670064 140726960769472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94089204677880 94089204678672 94089214590976 140726960776199 140726960776289 140726960776289 140726960783304 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7537992 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.89 s, system=3.33157 s

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

[startup+3572.72 s]*
/proc/loadavg: 4.11 4.13 4.16 5/315 869602
/proc/meminfo: memFree=98360436/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3572.72
CPU time (s): 3600.22
CPU user time (s): 3596.89
CPU system time (s): 3.33157
CPU usage (%): 100.77
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 7537992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.89
system time used= 3.33157
maximum resident set size= 7539336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391689
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138357
involuntary context switches= 9492


# summary of solver processes directly reported to runsolver:
#   pid: 867776
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3596.89
#   total CPU system time (s): 3.33157

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.70374 second user time and 17.7444 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-16 21:28:29
IDJOB=4432449
IDBENCH=158030
IDSOLVER=3058
FILE ID=nodeC015/4432449-1721158097
RUNJOBID= nodeC015-1721150907-863417
SLURM_JOB_ID= 7505748
Free space on /tmp= 889928 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_0null50mast_rapportOE2.0_TMAX180_K192_cod2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432449-1721158097/watcher-4432449-1721158097 -o /tmp/evaluation-result-4432449-1721158097/solver-4432449-1721158097 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721150907-863417 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432449-1721158097.opb

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

MD5SUM BENCH= ccc767bd01ae3f57d23f9938eef5a5f9
RANDOM SEED=1661530676

nodeC015.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		: 3676.557
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.61
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		: 3688.848
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	: 7006.25
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		: 3604.696
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.61
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		: 3599.947
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	: 7006.25
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		: 3675.145
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.61
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		: 3688.869
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	: 7006.25
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		: 3636.359
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.61
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		: 3600.025
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	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        105955104 kB
MemAvailable:   112079488 kB
Buffers:          418184 kB
Cached:          6524136 kB
SwapCached:            0 kB
Active:          1478504 kB
Inactive:       23414500 kB
Active(anon):       1564 kB
Inactive(anon): 17986888 kB
Active(file):    1476940 kB
Inactive(file):  5427612 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             57052 kB
Writeback:             0 kB
AnonPages:      17948756 kB
Mapped:           124820 kB
Shmem:             37720 kB
KReclaimable:     118956 kB
Slab:             230320 kB
SReclaimable:     118956 kB
SUnreclaim:       111364 kB
KernelStack:        5120 kB
PageTables:        45140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   28200668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64320 kB
HardwareCorrupted:     0 kB
AnonHugePages:  17498112 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:      258772 kB
DirectMap2M:    37263360 kB
DirectMap1G:    98566144 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC015 at 2024-07-16 22:28:02