Trace number 4446854

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.24 3592.35

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K150.opb
MD5SUMde861f201885d7430b03c8868c66597b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables17850
Total number of constraints18152
Number of constraints which are clauses18002
Number of constraints which are cardinality constraints (but not clauses)150
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint150
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 151
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	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-4446854-1721344687.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
0.52/0.36	c ... done. Wall clock time 0.234s.
0.52/0.36	c declared #vars     17850
0.52/0.36	c #constraints  18152
0.52/0.36	c constraints type 
0.52/0.36	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1937
0.52/0.36	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 150
0.52/0.36	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16063
0.52/0.36	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.52/0.36	c 18152 constraints processed.
2.85/1.87	c cleaning 2467 clauses out of 4991 with flag 22771/5000
4.31/3.17	c cleaning 4238 clauses out of 8521 with flag 55572/11000
6.35/4.84	c cleaning 5610 clauses out of 11280 with flag 93831/18000
8.37/6.60	c cleaning 6790 clauses out of 13667 with flag 140715/26000
10.36/8.60	c cleaning 7887 clauses out of 15872 with flag 189970/35000
12.37/10.63	c cleaning 8514 clauses out of 17986 with flag 244168/45003
14.57/12.82	c cleaning 9097 clauses out of 20466 with flag 300890/56000
16.96/15.25	c cleaning 9973 clauses out of 23367 with flag 363897/68000
19.86/18.15	c cleaning 10536 clauses out of 26391 with flag 433498/81000
22.55/20.86	c cleaning 11728 clauses out of 29853 with flag 505462/95000
26.00/24.26	c cleaning 12354 clauses out of 33130 with flag 582399/110005
29.52/27.80	c cleaning 13145 clauses out of 36772 with flag 661841/126002
33.60/31.78	c cleaning 13951 clauses out of 40627 with flag 751403/143002
38.19/36.12	c cleaning 14977 clauses out of 44673 with flag 847834/161000
42.84/40.79	c cleaning 15650 clauses out of 48696 with flag 948667/180000
47.83/45.78	c cleaning 16489 clauses out of 53050 with flag 1062440/200004
53.08/50.93	c cleaning 17425 clauses out of 57555 with flag 1174368/221000
58.94/56.74	c cleaning 18203 clauses out of 62130 with flag 1293155/243000
65.42/63.18	c cleaning 18892 clauses out of 66924 with flag 1420808/266000
71.55/69.32	c cleaning 20142 clauses out of 72032 with flag 1554847/290001
78.79/76.50	c cleaning 20506 clauses out of 76889 with flag 1695417/315000
86.24/83.94	c cleaning 21706 clauses out of 82384 with flag 1843353/341002
94.19/91.85	c cleaning 22633 clauses out of 87675 with flag 1993181/368000
102.84/100.43	c cleaning 23242 clauses out of 93050 with flag 2151901/396008
111.59/109.17	c cleaning 24385 clauses out of 98799 with flag 2316494/425000
121.34/118.85	c cleaning 25053 clauses out of 104414 with flag 2500690/455001
131.35/128.64	c cleaning 25692 clauses out of 110362 with flag 2680059/486002
141.58/138.82	c cleaning 26974 clauses out of 116668 with flag 2860791/518000
152.62/149.81	c cleaning 27705 clauses out of 122694 with flag 3054701/551000
164.45/161.69	c cleaning 28028 clauses out of 128989 with flag 3252610/585000
177.01/174.10	c cleaning 29347 clauses out of 135960 with flag 3460318/620000
189.66/186.78	c cleaning 30226 clauses out of 142613 with flag 3670948/656000
203.91/201.08	c cleaning 30922 clauses out of 149388 with flag 3893049/693001
218.81/215.87	c cleaning 31986 clauses out of 156465 with flag 4126241/731000
233.75/230.78	c cleaning 32744 clauses out of 163478 with flag 4369878/770000
249.30/246.22	c cleaning 33797 clauses out of 170735 with flag 4611885/810001
266.22/262.87	c cleaning 34517 clauses out of 177940 with flag 4870802/851003
283.69/280.29	c cleaning 35452 clauses out of 185420 with flag 5134691/893000
301.84/298.46	c cleaning 36669 clauses out of 192968 with flag 5410532/936000
320.20/316.64	c cleaning 37449 clauses out of 200300 with flag 5681526/980001
339.15/335.62	c cleaning 38239 clauses out of 207848 with flag 5955215/1025000
359.46/355.86	c cleaning 39350 clauses out of 215613 with flag 6245071/1071004
380.69/376.99	c cleaning 40372 clauses out of 223257 with flag 6537154/1118000
401.16/397.46	c cleaning 41440 clauses out of 230885 with flag 6844852/1166000
424.35/420.54	c cleaning 41985 clauses out of 238445 with flag 7156716/1215000
449.28/445.33	c cleaning 42629 clauses out of 246465 with flag 7475566/1265005
474.46/470.15	c cleaning 43735 clauses out of 254831 with flag 7806596/1316000
499.66/495.32	c cleaning 45035 clauses out of 263093 with flag 8137657/1368000
528.15/523.72	c cleaning 45713 clauses out of 271060 with flag 8493217/1421002
556.29/552.15	c cleaning 46535 clauses out of 279346 with flag 8848959/1475001
585.03/580.96	c cleaning 47510 clauses out of 287810 with flag 9209012/1530000
615.41/611.42	c cleaning 48499 clauses out of 296300 with flag 9591125/1586001
647.31/643.28	c cleaning 49413 clauses out of 304800 with flag 9973611/1643000
678.94/675.11	c cleaning 50590 clauses out of 313389 with flag 10378511/1701002
712.41/708.56	c cleaning 51045 clauses out of 321797 with flag 10789547/1760000
746.51/742.58	c cleaning 52342 clauses out of 330751 with flag 11190782/1820000
782.66/778.14	c cleaning 53373 clauses out of 339412 with flag 11613309/1881003
819.78/815.14	c cleaning 54716 clauses out of 348038 with flag 12046886/1943003
858.18/853.40	c cleaning 55637 clauses out of 356321 with flag 12509502/2006002
897.55/892.79	c cleaning 56223 clauses out of 364681 with flag 12955892/2070000
938.41/933.69	c cleaning 56953 clauses out of 373458 with flag 13417695/2135000
979.92/975.17	c cleaning 58372 clauses out of 382505 with flag 13884985/2201000
1024.60/1019.95	c cleaning 59082 clauses out of 391134 with flag 14374482/2268002
1069.08/1064.45	c cleaning 59831 clauses out of 400049 with flag 14865196/2336000
1115.91/1111.07	c cleaning 61207 clauses out of 409218 with flag 15383217/2405000
1164.60/1159.26	c cleaning 62116 clauses out of 418011 with flag 15894729/2475000
1215.10/1209.52	c cleaning 63168 clauses out of 426895 with flag 16432392/2546000
1266.79/1261.13	c cleaning 64001 clauses out of 435727 with flag 16986298/2618000
1320.85/1315.17	c cleaning 65067 clauses out of 444725 with flag 17559032/2691000
1373.58/1367.80	c cleaning 66372 clauses out of 453659 with flag 18132057/2765001
1428.09/1422.14	c cleaning 67114 clauses out of 462286 with flag 18701584/2840000
1486.81/1480.81	c cleaning 67581 clauses out of 471172 with flag 19340709/2916000
1545.03/1539.15	c cleaning 69132 clauses out of 480591 with flag 19986411/2993000
1607.53/1601.41	c cleaning 69807 clauses out of 489460 with flag 20606872/3071001
1669.67/1663.50	c cleaning 71123 clauses out of 498652 with flag 21226357/3150000
1731.71/1725.34	c cleaning 72346 clauses out of 507529 with flag 21864277/3230000
1796.88/1790.48	c cleaning 72688 clauses out of 516183 with flag 22493734/3311000
1866.09/1859.18	c cleaning 73973 clauses out of 525496 with flag 23150876/3393001
1935.58/1928.98	c cleaning 74952 clauses out of 534522 with flag 23827592/3476000
2008.55/2001.78	c cleaning 76110 clauses out of 543570 with flag 24547890/3560000
2080.51/2073.98	c cleaning 77441 clauses out of 552461 with flag 25240251/3645002
2155.19/2148.66	c cleaning 77956 clauses out of 561019 with flag 25934970/3731001
2233.14/2226.77	c cleaning 78930 clauses out of 570062 with flag 26660029/3818000
2312.42/2305.97	c cleaning 80375 clauses out of 579135 with flag 27396027/3906004
2392.65/2386.30	c cleaning 81044 clauses out of 587755 with flag 28131543/3995001
2473.70/2467.51	c cleaning 82009 clauses out of 596710 with flag 28874812/4085000
2556.25/2549.99	c cleaning 83260 clauses out of 605701 with flag 29632610/4176000
2644.03/2637.54	c cleaning 84066 clauses out of 614441 with flag 30410440/4268000
2734.83/2728.36	c cleaning 85067 clauses out of 623375 with flag 31203878/4361000
2828.18/2821.56	c cleaning 86061 clauses out of 632309 with flag 32027597/4455001
2919.96/2913.19	c cleaning 87172 clauses out of 641247 with flag 32835505/4550000
3016.85/3009.50	c cleaning 88046 clauses out of 650075 with flag 33681809/4646000
3115.32/3107.67	c cleaning 88510 clauses out of 659029 with flag 34525729/4743000
3218.96/3211.44	c cleaning 89947 clauses out of 668520 with flag 35397254/4841001
3320.31/3312.75	c cleaning 91092 clauses out of 677572 with flag 36265963/4940000
3424.33/3416.40	c cleaning 91783 clauses out of 686482 with flag 37136774/5040002
3532.95/3525.10	c cleaning 92746 clauses out of 695697 with flag 38062245/5141000
3600.04/3592.22	c starts		: 32016
3600.04/3592.22	c timeout
3600.04/3592.23	c conflicts		: 5211126
3600.04/3592.23	c decisions		: 152633937
3600.04/3592.23	c propagations		: 4519656953
3600.04/3592.23	c inspects		: 24112345819
3600.04/3592.23	c shortcuts		: 0
3600.04/3592.23	c learnt literals	: 67
3600.04/3592.23	c learnt binary clauses	: 232008
3600.04/3592.23	c learnt ternary clauses	: 214286
3600.04/3592.23	c learnt constraints	: 5211059
3600.04/3592.23	c ignored constraints	: 0
3600.04/3592.23	c root simplifications	: 0
3600.04/3592.23	c removed literals (reason simplification)	: 0
3600.04/3592.23	c reason swapping (by a shorter reason)	: 0
3600.04/3592.23	c Calls to reduceDB	: 97
3600.04/3592.23	c Number of update (reduction) of LBD	: 3907520
3600.04/3592.23	c Imported unit clauses	: 0
3600.04/3592.23	c No decision after first conflict	: false
3600.04/3592.23	c number of reductions to clauses (during analyze)	: 0
3600.04/3592.23	c number of learned constraints concerned by reduction	: 0
3600.04/3592.23	c number of learning phase by resolution	: 0
3600.04/3592.23	c number of learning phase by cutting planes	: 0
3600.04/3592.23	c number of rounding to 1 operations	: 0
3600.04/3592.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3592.23	c number of reductions of the coefficients by power 2 	: 0
3600.04/3592.23	c number of right shift for reduction by power 2 	: 0
3600.04/3592.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3592.23	c number of ending skipping 	: 0
3600.04/3592.23	c number of internal skipping 	: 0
3600.04/3592.23	c number of derivation steps 	: 0
3600.04/3592.23	c number of skipped derivation steps 	: 0
3600.04/3592.23	c number of remaining unassigned 	: 0
3600.04/3592.23	c number of remaining assigned 	: 0
3600.04/3592.23	c number of falsified literals weakened from reason	: 0
3600.04/3592.23	c number of falsified literals weakened from conflict	: 0
3600.04/3592.23	c time for arithmetic operations	: 0
3600.04/3592.23	c minimum degree of deleted constraints	: null
3600.04/3592.23	c maximum degree of deleted constraints	: null
3600.04/3592.23	c number of deleted constraints	: 0
3600.04/3592.23	c speed (assignments/second)	: 1258305.4331182172
3600.04/3592.23	c non guided choices	: 41432
3600.19/3592.32	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 441069
3600.19/3592.32	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 232008
3600.19/3592.32	s UNKNOWN
3600.19/3592.32	c Total wall clock time (in seconds): 3592.201

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446854-1721344687/watcher-4446854-1721344687 -o /tmp/evaluation-result-4446854-1721344687/solver-4446854-1721344687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721341105-984138 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4446854-1721344687.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100081 s]*
/proc/loadavg: 4.13 4.16 4.13 6/328 986182
/proc/meminfo: memFree=110972504/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=18975048 memory=63004 CPUtime=0.13 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 7201 0 0 0 12 1 0 0 20 0 18 0 186639524 19430449152 15751 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4743762 15751 5651 1 0 549320 0
[pid=986164/tid=986166] ppid=986161 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) R 986161 986164 984125 0 -1 4194368 5737 0 0 0 8 1 0 0 20 0 18 0 186639524 19430449152 15751 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186639526 19430449152 15751 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986182] ppid=986161 vsize=18975048 memory=14971178779437607 CPUtime=0 cores=5,7
/proc/986164/task/986182/stat : 986182 (Common-Cleaner) S 986161 986164 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186639527 19430449152 15751 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63004 KiB

[startup+0.220463 s]*
/proc/loadavg: 4.13 4.16 4.13 7/328 986182
/proc/meminfo: memFree=110947348/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=18975048 memory=90336 CPUtime=0.36 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 8791 0 0 0 34 2 0 0 20 0 18 0 186639524 19430449152 22584 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4743762 22584 5817 1 0 550358 0
[pid=986164/tid=986166] ppid=986161 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) R 986161 986164 984125 0 -1 4194368 5898 0 0 0 19 1 0 0 20 0 18 0 186639524 19430449152 22584 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=18975048 memory=15997 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186639526 19430449152 22584 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986182] ppid=986161 vsize=18975048 memory=14689703802701563 CPUtime=0 cores=5,7
/proc/986164/task/986182/stat : 986182 (Common-Cleaner) S 986161 986164 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186639527 19430449152 22584 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 90336 KiB

[startup+0.305794 s]*
/proc/loadavg: 4.13 4.16 4.13 7/328 986182
/proc/meminfo: memFree=110917248/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=18975048 memory=120396 CPUtime=0.52 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 9108 0 0 0 49 3 0 0 20 0 18 0 186639524 19430449152 30099 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4743762 30099 5817 1 0 550561 0
[pid=986164/tid=986166] ppid=986161 vsize=18975048 memory=-9103861060277150396 CPUtime=0.28 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) R 986161 986164 984125 0 -1 4194368 5923 0 0 0 26 2 0 0 20 0 18 0 186639524 19430449152 30099 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186639526 19430449152 30099 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986182] ppid=986161 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/986164/task/986182/stat : 986182 (Common-Cleaner) S 986161 986164 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186639527 19430449152 30099 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 120396 KiB

[startup+0.702453 s]
/proc/loadavg: 4.13 4.16 4.13 6/330 986184
/proc/meminfo: memFree=110864636/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=19108176 memory=175068 CPUtime=1.28 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 10931 0 0 0 123 5 0 0 20 0 20 0 186639524 19566772224 43767 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4777044 43767 5849 1 0 552282 0
[pid=986164/tid=986166] ppid=986161 vsize=19108176 memory=5472 CPUtime=0.64 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) R 986161 986164 984125 0 -1 4194368 5981 0 0 0 61 3 0 0 20 0 20 0 186639524 19566772224 43767 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=19108176 memory=13184 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639526 19566772224 43767 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986182] ppid=986161 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/986164/task/986182/stat : 986182 (Common-Cleaner) S 986161 986164 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 186639527 19566772224 43767 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986183] ppid=986161 vsize=19108176 memory=117636 CPUtime=0 cores=5,7
/proc/986164/task/986183/stat : 986183 (Timer-0) S 986161 986164 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186639561 19566772224 43767 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175068 KiB

[startup+1.50046 s]
/proc/loadavg: 4.13 4.16 4.13 7/330 986184
/proc/meminfo: memFree=110860104/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=19108176 memory=175536 CPUtime=2.45 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 13387 0 0 0 240 5 0 0 20 0 20 0 186639524 19566772224 43884 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4777044 43884 5849 1 0 552306 0
[pid=986164/tid=986166] ppid=986161 vsize=19108176 memory=13184 CPUtime=1.43 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) R 986161 986164 984125 0 -1 4194368 6087 0 0 0 140 3 0 0 20 0 20 0 186639524 19566772224 43884 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639526 19566772224 43884 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986182] ppid=986161 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/986164/task/986182/stat : 986182 (Common-Cleaner) S 986161 986164 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 186639527 19566772224 43884 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986183] ppid=986161 vsize=19108176 memory=281228821570832 CPUtime=0 cores=5,7
/proc/986164/task/986183/stat : 986183 (Timer-0) S 986161 986164 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186639561 19566772224 43884 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175536 KiB

[startup+3.10647 s]
/proc/loadavg: 4.28 4.20 4.14 6/330 986254
/proc/meminfo: memFree=116369832/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=19108176 memory=178068 CPUtime=4.31 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 16463 0 0 0 425 6 0 0 20 0 20 0 186639524 19566772224 44517 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4777044 44517 5849 1 0 552904 0
[pid=986164/tid=986166] ppid=986161 vsize=19108176 memory=0 CPUtime=3.01 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) R 986161 986164 984125 0 -1 4194368 7180 0 0 0 298 3 0 0 20 0 20 0 186639524 19566772224 44517 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=19108176 memory=13184 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639526 19566772224 44517 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986182] ppid=986161 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/986164/task/986182/stat : 986182 (Common-Cleaner) S 986161 986164 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 186639527 19566772224 44517 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986183] ppid=986161 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/986164/task/986183/stat : 986183 (Timer-0) S 986161 986164 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186639561 19566772224 44517 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
Current children cumulated CPU time: 4.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178068 KiB

[startup+6.30026 s]
/proc/loadavg: 4.28 4.20 4.14 6/329 986321
/proc/meminfo: memFree=122117568/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=19108176 memory=182224 CPUtime=8.07 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 28610 0 0 0 800 7 0 0 20 0 20 0 186639524 19566772224 45556 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4777044 45556 5881 1 0 555936 0
[pid=986164/tid=986166] ppid=986161 vsize=19108176 memory=13184 CPUtime=6.19 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) R 986161 986164 984125 0 -1 4194368 7915 0 0 0 616 3 0 0 20 0 20 0 186639524 19566772224 45556 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639526 19566772224 45556 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986182] ppid=986161 vsize=19108176 memory=175536 CPUtime=0 cores=5,7
/proc/986164/task/986182/stat : 986182 (Common-Cleaner) S 986161 986164 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 186639527 19566772224 45556 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986183] ppid=986161 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/986164/task/986183/stat : 986183 (Timer-0) S 986161 986164 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186639561 19566772224 45556 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
Current children cumulated CPU time: 8.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182224 KiB

[startup+12.7003 s]
/proc/loadavg: 4.26 4.19 4.14 5/329 986389
/proc/meminfo: memFree=128129708/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=19108176 memory=190588 CPUtime=14.47 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 30738 0 0 0 1439 8 0 0 20 0 20 0 186639524 19566772224 47647 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4777044 47647 5881 1 0 555936 0
[pid=986164/tid=986166] ppid=986161 vsize=19108176 memory=-9103861060277150396 CPUtime=12.56 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) R 986161 986164 984125 0 -1 4194368 8570 0 0 0 1253 3 0 0 20 0 20 0 186639524 19566772224 47647 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639526 19566772224 47647 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986182] ppid=986161 vsize=19108176 memory=13184 CPUtime=0 cores=5,7
/proc/986164/task/986182/stat : 986182 (Common-Cleaner) S 986161 986164 984125 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 186639527 19566772224 47647 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986183] ppid=986161 vsize=19108176 memory=43852 CPUtime=0 cores=5,7
/proc/986164/task/986183/stat : 986183 (Timer-0) S 986161 986164 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186639561 19566772224 47647 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
Current children cumulated CPU time: 14.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190588 KiB

[startup+25.5003 s]
/proc/loadavg: 4.28 4.20 4.14 5/330 986393
/proc/meminfo: memFree=127765820/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=19108176 memory=272768 CPUtime=27.32 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 36664 0 0 0 2723 9 0 0 20 0 20 0 186639524 19566772224 68192 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4777044 68192 5881 1 0 555936 0
[pid=986164/tid=986166] ppid=986161 vsize=19108176 memory=200896 CPUtime=25.23 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) R 986161 986164 984125 0 -1 4194368 10045 0 0 0 2519 4 0 0 20 0 20 0 186639524 19566772224 68192 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=19108176 memory=13184 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639526 19566772224 68192 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986182] ppid=986161 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/986164/task/986182/stat : 986182 (Common-Cleaner) S 986161 986164 984125 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 186639527 19566772224 68192 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986183] ppid=986161 vsize=19108176 memory=190556 CPUtime=0 cores=5,7
/proc/986164/task/986183/stat : 986183 (Timer-0) S 986161 986164 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186639561 19566772224 68192 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
Current children cumulated CPU time: 27.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 272768 KiB

[startup+51.1058 s]
/proc/loadavg: 4.18 4.18 4.14 5/330 986396
/proc/meminfo: memFree=126679980/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=19108176 memory=494716 CPUtime=53.29 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 44831 0 0 0 5313 16 0 0 20 0 20 0 186639524 19566772224 123679 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4777044 123679 5881 1 0 555948 0
[pid=986164/tid=986166] ppid=986161 vsize=19108176 memory=418704 CPUtime=50.55 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) R 986161 986164 984125 0 -1 4194368 11610 0 0 0 5051 4 0 0 20 0 20 0 186639524 19566772224 123679 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=19108176 memory=418704 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639526 19566772224 123679 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0

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

[startup+3282.3 s]
/proc/loadavg: 4.24 4.22 4.19 5/333 988177
/proc/meminfo: memFree=100764488/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=19108176 memory=6479256 CPUtime=3289.97 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 213033 0 0 0 328758 239 0 0 20 0 20 0 186639524 19566772224 1619814 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4777044 1619814 5897 1 0 2231290 0
[pid=986164/tid=986166] ppid=986161 vsize=19108176 memory=6296068 CPUtime=3255.21 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) R 986161 986164 984125 0 -1 4194368 72406 0 0 0 325483 38 0 0 20 0 20 0 186639524 19566772224 1619814 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=19108176 memory=6479256 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639526 19566772224 1619814 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986182] ppid=986161 vsize=19108176 memory=6479256 CPUtime=0 cores=5,7
/proc/986164/task/986182/stat : 986182 (Common-Cleaner) S 986161 986164 984125 0 -1 1077936192 1242 0 0 0 0 0 0 0 20 0 20 0 186639527 19566772224 1619814 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986183] ppid=986161 vsize=19108176 memory=1900 CPUtime=0 cores=5,7
/proc/986164/task/986183/stat : 986183 (Timer-0) S 986161 986164 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186639561 19566772224 1619814 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
Current children cumulated CPU time: 3289.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6479256 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.23 4.19 5/333 988188
/proc/meminfo: memFree=100708344/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=19108176 memory=6479256 CPUtime=3350.05 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 214649 0 0 0 334765 240 0 0 20 0 20 0 186639524 19566772224 1619814 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4777044 1619814 5897 1 0 2231290 0
[pid=986164/tid=986166] ppid=986161 vsize=19108176 memory=6296068 CPUtime=3314.84 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) R 986161 986164 984125 0 -1 4194368 73488 0 0 0 331446 38 0 0 20 0 20 0 186639524 19566772224 1619814 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639526 19566772224 1619814 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986182] ppid=986161 vsize=19108176 memory=5472 CPUtime=0 cores=5,7
/proc/986164/task/986182/stat : 986182 (Common-Cleaner) S 986161 986164 984125 0 -1 1077936192 1242 0 0 0 0 0 0 0 20 0 20 0 186639527 19566772224 1619814 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986183] ppid=986161 vsize=19108176 memory=6479256 CPUtime=0 cores=5,7
/proc/986164/task/986183/stat : 986183 (Timer-0) S 986161 986164 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186639561 19566772224 1619814 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
Current children cumulated CPU time: 3350.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6479256 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.21 4.18 5/334 988200
/proc/meminfo: memFree=100616576/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=19108176 memory=6479256 CPUtime=3409.95 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 216578 0 0 0 340752 243 0 0 20 0 20 0 186639524 19566772224 1619814 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4777044 1619814 5897 1 0 2231290 0
[pid=986164/tid=986166] ppid=986161 vsize=19108176 memory=5472 CPUtime=3374.69 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) R 986161 986164 984125 0 -1 4194368 75112 0 0 0 337431 38 0 0 20 0 20 0 186639524 19566772224 1619814 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=19108176 memory=6479256 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639526 19566772224 1619814 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986182] ppid=986161 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/986164/task/986182/stat : 986182 (Common-Cleaner) S 986161 986164 984125 0 -1 1077936192 1368 0 0 0 0 0 0 0 20 0 20 0 186639527 19566772224 1619814 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986183] ppid=986161 vsize=19108176 memory=2612 CPUtime=0 cores=5,7
/proc/986164/task/986183/stat : 986183 (Timer-0) S 986161 986164 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186639561 19566772224 1619814 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
Current children cumulated CPU time: 3409.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6479256 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.22 4.18 5/334 988210
/proc/meminfo: memFree=100615472/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=19108176 memory=6479268 CPUtime=3470.1 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 221528 0 0 0 346766 244 0 0 20 0 20 0 186639524 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4777044 1619817 5897 1 0 2231290 0
[pid=986164/tid=986166] ppid=986161 vsize=19108176 memory=5472 CPUtime=3434.21 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) R 986161 986164 984125 0 -1 4194368 75922 0 0 0 343383 38 0 0 20 0 20 0 186639524 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=19108176 memory=6479256 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639526 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986182] ppid=986161 vsize=19108176 memory=6479268 CPUtime=0 cores=5,7
/proc/986164/task/986182/stat : 986182 (Common-Cleaner) S 986161 986164 984125 0 -1 1077936192 1368 0 0 0 0 0 0 0 20 0 20 0 186639527 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986183] ppid=986161 vsize=19108176 memory=6479268 CPUtime=0 cores=5,7
/proc/986164/task/986183/stat : 986183 (Timer-0) S 986161 986164 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186639561 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
Current children cumulated CPU time: 3470.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6479268 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.21 4.18 5/331 988221
/proc/meminfo: memFree=100384852/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=19108176 memory=6479268 CPUtime=3530.25 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 227208 0 0 0 352779 246 0 0 20 0 20 0 186639524 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4777044 1619817 5897 1 0 2231290 0
[pid=986164/tid=986166] ppid=986161 vsize=19108176 memory=6479268 CPUtime=3493.77 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) R 986161 986164 984125 0 -1 4194368 77485 0 0 0 349339 38 0 0 20 0 20 0 186639524 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=19108176 memory=6479268 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639526 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986182] ppid=986161 vsize=19108176 memory=6479268 CPUtime=0 cores=5,7
/proc/986164/task/986182/stat : 986182 (Common-Cleaner) S 986161 986164 984125 0 -1 1077936192 1442 0 0 0 0 0 0 0 20 0 20 0 186639527 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986183] ppid=986161 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/986164/task/986183/stat : 986183 (Timer-0) S 986161 986164 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186639561 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
Current children cumulated CPU time: 3530.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6479268 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/331 988232
/proc/meminfo: memFree=100183264/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=19108176 memory=6479268 CPUtime=3590.23 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 228474 0 0 0 358774 249 0 0 20 0 20 0 186639524 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4777044 1619817 5897 1 0 2231290 0
[pid=986164/tid=986166] ppid=986161 vsize=19108176 memory=6479268 CPUtime=3553.23 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) R 986161 986164 984125 0 -1 4194368 78217 0 0 0 355285 38 0 0 20 0 20 0 186639524 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=19108176 memory=2612 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639526 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986182] ppid=986161 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/986164/task/986182/stat : 986182 (Common-Cleaner) S 986161 986164 984125 0 -1 1077936192 1442 0 0 0 0 0 0 0 20 0 20 0 186639527 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986183] ppid=986161 vsize=19108176 memory=6479268 CPUtime=0 cores=5,7
/proc/986164/task/986183/stat : 986183 (Timer-0) S 986161 986164 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186639561 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
Current children cumulated CPU time: 3590.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6479268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3592.2 s]
/proc/loadavg: 4.17 4.19 4.18 5/331 988233
/proc/meminfo: memFree=100183140/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=19108176 memory=6479268 CPUtime=3600.04 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 228644 0 0 0 359755 249 0 0 20 0 20 0 186639524 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4777044 1619817 5897 1 0 2231290 0
[pid=986164/tid=986166] ppid=986161 vsize=19108176 memory=2768 CPUtime=3563.03 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) R 986161 986164 984125 0 -1 4194368 78348 0 0 0 356265 38 0 0 20 0 20 0 186639524 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=19108176 memory=-9103861060277150396 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639526 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986182] ppid=986161 vsize=19108176 memory=15852 CPUtime=0 cores=5,7
/proc/986164/task/986182/stat : 986182 (Common-Cleaner) S 986161 986164 984125 0 -1 1077936192 1442 0 0 0 0 0 0 0 20 0 20 0 186639527 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986183] ppid=986161 vsize=19108176 memory=21487 CPUtime=0 cores=5,7
/proc/986164/task/986183/stat : 986183 (Timer-0) S 986161 986164 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186639561 19566772224 1619817 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6479268 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.72 s, system=2.51226 s

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

[startup+3592.31 s]
/proc/loadavg: 4.17 4.19 4.18 5/331 988233
/proc/meminfo: memFree=100183140/131524600 swapFree=131071996/131071996
[pid=986164] ppid=986161 vsize=19307868 memory=6480132 CPUtime=3600.19 cores=5,7
/proc/986164/stat : 986164 (java) S 986161 986164 984125 0 -1 1077936128 231580 0 0 0 359770 249 0 0 20 0 21 0 186639524 19771256832 1620033 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
/proc/986164/statm: 4826967 1620033 5896 1 0 2232238 0
[pid=986164/tid=986166] ppid=986161 vsize=19307868 memory=6479268 CPUtime=3563.05 cores=5,7
/proc/986164/task/986166/stat : 986166 (java) S 986161 986164 984125 0 -1 1077936192 78433 0 0 0 356267 38 0 0 20 0 21 0 186639524 19771256832 1620033 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986175] ppid=986161 vsize=19307868 memory=6479268 CPUtime=0 cores=5,7
/proc/986164/task/986175/stat : 986175 (Finalizer) S 986161 986164 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 186639526 19771256832 1620033 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
[pid=986164/tid=986182] ppid=986161 vsize=19307868 memory=6479268 CPUtime=0 cores=5,7
/proc/986164/task/986182/stat : 986182 (Common-Cleaner) S 986161 986164 984125 0 -1 1077936192 1442 0 0 0 0 0 0 0 20 0 21 0 186639527 19771256832 1620033 134679101440 94753392959488 94753392963184 140722173962928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94753392971000 94753392971792 94753403973632 140722173969414 140722173969504 140722173969504 140722173976520 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 6480132 KiB

Child status: 143

Real time (s): 3592.35
CPU time (s): 3600.24
CPU user time (s): 3597.72
CPU system time (s): 2.51226
CPU usage (%): 100.22
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6480132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.72
system time used= 2.51226
maximum resident set size= 6481004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231787
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= 109125
involuntary context switches= 9259


# summary of solver processes directly reported to runsolver:
#   pid: 986164
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3597.72
#   total CPU system time (s): 2.51226

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07963 second user time and 19.0273 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-19 01:18:19
IDJOB=4446854
IDBENCH=158322
IDSOLVER=3058
FILE ID=nodeC035/4446854-1721344687
RUNJOBID= nodeC035-1721341105-984138
SLURM_JOB_ID= 7542728
Free space on /tmp= 890060 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K150.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446854-1721344687/watcher-4446854-1721344687 -o /tmp/evaluation-result-4446854-1721344687/solver-4446854-1721344687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721341105-984138 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4446854-1721344687.opb

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

MD5SUM BENCH= de861f201885d7430b03c8868c66597b
RANDOM SEED=621290476

nodeC035.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		: 3654.969
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.65
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		: 3617.256
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.79
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		: 3599.876
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.65
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		: 3666.694
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.79
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		: 3650.570
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.65
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		: 3652.816
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.79
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		: 3600.010
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.65
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		: 3655.814
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        111014612 kB
MemAvailable:   111970944 kB
Buffers:          487552 kB
Cached:          1301704 kB
SwapCached:            0 kB
Active:           954264 kB
Inactive:       18901776 kB
Active(anon):       1536 kB
Inactive(anon): 18102964 kB
Active(file):     952728 kB
Inactive(file):   798812 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2024 kB
Writeback:            56 kB
AnonPages:      18066792 kB
Mapped:           126656 kB
Shmem:             37724 kB
KReclaimable:      89232 kB
Slab:             200828 kB
SReclaimable:      89232 kB
SUnreclaim:       111596 kB
KernelStack:        5008 kB
PageTables:        45428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   22621176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            70528 kB
HardwareCorrupted:     0 kB
AnonHugePages:  17629184 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:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC035 at 2024-07-19 02:18:12