Trace number 4446872

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 2024 2024-07-07? (TO) 3600.24 3607.73

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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	Expensive reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/0.13	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.14/0.13	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/0.13	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.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4446872-1721824448.opb
0.14/0.13	c reading problem ... 
0.20/0.32	c using VERIPB proof format
0.20/0.32	c  no objective function found
0.57/0.59	c ... done. Wall clock time 0.455s.
0.57/0.59	c declared #vars     17850
0.57/0.59	c #constraints  18152
0.57/0.59	c constraints type 
0.57/0.59	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1937
0.57/0.59	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 150
0.57/0.59	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16063
0.57/0.59	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.57/0.59	c 18152 constraints processed.
5.20/2.91	c cleaning 2490 clauses out of 4987 with flag 22458/5000
7.85/5.16	c cleaning 4234 clauses out of 8491 with flag 56746/11001
10.63/7.71	c cleaning 5600 clauses out of 11253 with flag 97273/18000
13.44/10.58	c cleaning 6783 clauses out of 13647 with flag 141848/26000
17.02/14.15	c cleaning 7879 clauses out of 15858 with flag 191244/35000
21.04/18.17	c cleaning 8754 clauses out of 17981 with flag 241556/45002
25.26/22.37	c cleaning 9049 clauses out of 20223 with flag 296601/56001
29.85/26.92	c cleaning 9783 clauses out of 23168 with flag 358461/68000
34.97/32.08	c cleaning 10683 clauses out of 26374 with flag 425660/81002
40.49/37.68	c cleaning 11627 clauses out of 29688 with flag 496440/95000
46.94/44.00	c cleaning 12420 clauses out of 33060 with flag 571751/110000
53.52/50.53	c cleaning 13212 clauses out of 36641 with flag 655135/126002
60.86/57.71	c cleaning 14081 clauses out of 40421 with flag 743733/143003
68.50/65.24	c cleaning 14826 clauses out of 44336 with flag 840395/161001
76.36/73.54	c cleaning 15416 clauses out of 48512 with flag 938005/180005
85.14/82.29	c cleaning 16457 clauses out of 53090 with flag 1045030/200001
94.30/91.35	c cleaning 17215 clauses out of 57629 with flag 1158309/221000
104.18/101.33	c cleaning 18245 clauses out of 62412 with flag 1278264/243000
114.77/111.87	c cleaning 18854 clauses out of 67165 with flag 1405046/266000
125.94/122.91	c cleaning 19801 clauses out of 72307 with flag 1540316/290001
137.35/134.57	c cleaning 20455 clauses out of 77504 with flag 1678425/315004
150.47/147.61	c cleaning 21554 clauses out of 83043 with flag 1822290/341002
163.14/160.63	c cleaning 22251 clauses out of 88486 with flag 1973820/368000
176.53/173.91	c cleaning 23147 clauses out of 94230 with flag 2129696/396001
190.82/188.19	c cleaning 24032 clauses out of 100081 with flag 2293616/425001
206.07/203.98	c cleaning 24891 clauses out of 106045 with flag 2461504/455001
221.56/219.43	c cleaning 25838 clauses out of 112157 with flag 2636212/486004
237.95/236.27	c cleaning 26449 clauses out of 118316 with flag 2819155/518002
255.46/253.81	c cleaning 27400 clauses out of 124860 with flag 3005222/551000
273.15/271.48	c cleaning 28378 clauses out of 131455 with flag 3210508/585000
292.01/290.57	c cleaning 28971 clauses out of 138074 with flag 3417590/620000
311.96/310.49	c cleaning 30350 clauses out of 145103 with flag 3631393/656000
333.17/332.93	c cleaning 31066 clauses out of 151751 with flag 3855307/693000
354.06/353.81	c cleaning 31828 clauses out of 158684 with flag 4078360/731000
375.82/375.54	c cleaning 32411 clauses out of 165857 with flag 4305776/770001
399.23/398.84	c cleaning 33589 clauses out of 173445 with flag 4552605/810001
423.59/423.40	c cleaning 34252 clauses out of 180853 with flag 4803542/851000
448.94/449.48	c cleaning 35473 clauses out of 188600 with flag 5065228/893000
475.64/476.16	c cleaning 35860 clauses out of 196127 with flag 5330055/936001
502.58/503.73	c cleaning 37297 clauses out of 204264 with flag 5606206/980000
531.31/532.22	c cleaning 38021 clauses out of 211966 with flag 5889870/1025000
561.47/562.77	c cleaning 38996 clauses out of 219944 with flag 6183363/1071000
591.02/592.39	c cleaning 39756 clauses out of 227947 with flag 6489102/1118000
623.09/624.62	c cleaning 40817 clauses out of 236189 with flag 6805649/1166000
656.73/658.44	c cleaning 41690 clauses out of 244369 with flag 7131256/1215000
690.11/691.95	c cleaning 42562 clauses out of 252680 with flag 7455919/1265002
725.92/727.81	c cleaning 43485 clauses out of 261115 with flag 7795254/1316000
762.59/764.30	c cleaning 44511 clauses out of 269627 with flag 8151029/1368000
800.20/802.02	c cleaning 45186 clauses out of 278115 with flag 8513063/1421002
838.75/840.67	c cleaning 46325 clauses out of 286927 with flag 8867052/1475000
879.39/881.36	c cleaning 47330 clauses out of 295601 with flag 9244255/1530003
920.75/922.66	c cleaning 48305 clauses out of 304268 with flag 9634509/1586001
963.90/966.11	c cleaning 49198 clauses out of 312963 with flag 10023181/1643001
1007.94/1011.26	c cleaning 50287 clauses out of 321764 with flag 10422089/1701002
1054.29/1057.20	c cleaning 51122 clauses out of 330478 with flag 10835300/1760003
1102.24/1105.15	c cleaning 51854 clauses out of 339352 with flag 11274620/1820000
1150.76/1153.59	c cleaning 53031 clauses out of 348498 with flag 11708300/1881000
1201.42/1204.02	c cleaning 53716 clauses out of 357468 with flag 12135772/1943002
1254.43/1256.66	c cleaning 54688 clauses out of 366751 with flag 12584851/2006001
1307.68/1309.85	c cleaning 56063 clauses out of 376063 with flag 13050248/2070001
1365.09/1367.15	c cleaning 56481 clauses out of 385004 with flag 13547023/2135005
1424.62/1428.92	c cleaning 57701 clauses out of 394516 with flag 14046971/2201001
1484.13/1488.79	c cleaning 58608 clauses out of 403816 with flag 14555039/2268005
1543.44/1548.49	c cleaning 60113 clauses out of 413203 with flag 15062290/2336000
1606.60/1615.26	c cleaning 60549 clauses out of 422090 with flag 15576459/2405002
1670.63/1678.80	c cleaning 61582 clauses out of 431540 with flag 16096564/2475001
1736.63/1744.79	c cleaning 62254 clauses out of 440956 with flag 16634277/2546000
1802.85/1810.94	c cleaning 63813 clauses out of 450700 with flag 17187028/2618000
1874.48/1882.18	c cleaning 64565 clauses out of 459888 with flag 17769458/2691001
1947.96/1955.54	c cleaning 65046 clauses out of 469322 with flag 18355686/2765000
2022.14/2029.20	c cleaning 66708 clauses out of 479276 with flag 18943231/2840000
2098.74/2105.88	c cleaning 67438 clauses out of 488567 with flag 19560366/2916000
2175.63/2182.62	c cleaning 68315 clauses out of 498128 with flag 20177791/2993000
2257.32/2263.93	c cleaning 69363 clauses out of 507812 with flag 20797163/3071001
2339.31/2346.08	c cleaning 70302 clauses out of 517450 with flag 21445696/3150003
2425.11/2431.50	c cleaning 71359 clauses out of 527145 with flag 22117490/3230000
2511.05/2517.33	c cleaning 72524 clauses out of 536784 with flag 22771816/3311000
2600.71/2607.06	c cleaning 73239 clauses out of 546261 with flag 23491672/3393001
2692.02/2698.32	c cleaning 74347 clauses out of 556021 with flag 24163923/3476001
2786.10/2793.06	c cleaning 75284 clauses out of 565673 with flag 24856430/3560000
2882.84/2889.99	c cleaning 76227 clauses out of 575389 with flag 25579057/3645001
2983.45/2990.49	c cleaning 77468 clauses out of 585161 with flag 26345639/3731000
3087.50/3094.64	c cleaning 77979 clauses out of 594696 with flag 27123520/3818003
3193.98/3201.35	c cleaning 78979 clauses out of 604715 with flag 27882723/3906001
3301.78/3309.36	c cleaning 80262 clauses out of 614736 with flag 28647511/3995002
3410.70/3418.39	c cleaning 81388 clauses out of 624472 with flag 29431353/4085000
3525.08/3532.50	c cleaning 81946 clauses out of 634084 with flag 30252931/4176000
3600.06/3607.61	c starts		: 27804
3600.06/3607.61	c timeout
3600.06/3607.61	c conflicts		: 4244433
3600.06/3607.61	c decisions		: 118619603
3600.06/3607.61	c propagations		: 3762919985
3600.06/3607.61	c inspects		: 18597827707
3600.06/3607.61	c shortcuts		: 0
3600.06/3607.61	c learnt literals	: 179
3600.06/3607.61	c learnt binary clauses	: 210693
3600.06/3607.61	c learnt ternary clauses	: 205401
3600.06/3607.61	c learnt constraints	: 4244254
3600.06/3607.61	c ignored constraints	: 0
3600.06/3607.61	c root simplifications	: 0
3600.06/3607.61	c removed literals (reason simplification)	: 49215213
3600.06/3607.61	c reason swapping (by a shorter reason)	: 0
3600.06/3607.61	c Calls to reduceDB	: 87
3600.06/3607.61	c Number of update (reduction) of LBD	: 3343832
3600.06/3607.61	c Imported unit clauses	: 0
3600.06/3607.61	c No decision after first conflict	: false
3600.06/3607.61	c number of reductions to clauses (during analyze)	: 0
3600.06/3607.61	c number of learned constraints concerned by reduction	: 0
3600.06/3607.61	c number of learning phase by resolution	: 0
3600.06/3607.61	c number of learning phase by cutting planes	: 0
3600.06/3607.61	c number of rounding to 1 operations	: 0
3600.06/3607.61	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3607.61	c number of reductions of the coefficients by power 2 	: 0
3600.06/3607.62	c number of right shift for reduction by power 2 	: 0
3600.06/3607.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3607.62	c number of ending skipping 	: 0
3600.06/3607.62	c number of internal skipping 	: 0
3600.06/3607.62	c number of derivation steps 	: 0
3600.06/3607.62	c number of skipped derivation steps 	: 0
3600.06/3607.62	c number of remaining unassigned 	: 0
3600.06/3607.62	c number of remaining assigned 	: 0
3600.06/3607.62	c number of falsified literals weakened from reason	: 0
3600.06/3607.62	c number of falsified literals weakened from conflict	: 0
3600.06/3607.62	c time for arithmetic operations	: 0
3600.06/3607.62	c minimum degree of deleted constraints	: null
3600.06/3607.62	c maximum degree of deleted constraints	: null
3600.06/3607.62	c number of deleted constraints	: 0
3600.06/3607.62	c speed (assignments/second)	: 1043223.0052336919
3600.06/3607.62	c non guided choices	: 26925
3600.06/3607.70	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 409877
3600.06/3607.70	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 210693
3600.22/3607.70	s UNKNOWN
3600.22/3607.70	c Total wall clock time (in seconds): 3607.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: 63968 MiB (46044 MiB free)
  memory of node 1: 64473 MiB (62497 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=187084, runsolver pid=187081
Current StackSize limit: 8192 KiB


[startup+0.102101 s]*
/proc/loadavg: 4.19 4.19 4.18 5/335 187102
/proc/meminfo: memFree=111099884/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=18993908 memory=68328 CPUtime=0.14 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 7239 0 0 0 12 2 0 0 20 0 18 0 18972680 19449761792 17082 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4748477 17082 5927 1 0 549388 0
[pid=187084/tid=187086] ppid=187081 vsize=18993908 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) R 187081 187084 182698 0 -1 1078198336 5830 0 0 0 7 2 0 0 20 0 18 0 18972680 19449761792 17082 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=18993908 memory=232851243367 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18972683 19449761792 17082 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=18993908 memory=13855170183833064 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18972683 19449761792 17082 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 68328 KiB

[startup+0.206138 s]*
/proc/loadavg: 4.19 4.19 4.18 4/335 187102
/proc/meminfo: memFree=111097852/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=18993908 memory=69460 CPUtime=0.2 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 7411 0 0 0 17 3 0 0 20 0 18 0 18972680 19449761792 17365 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4748477 17365 6028 1 0 549509 0
[pid=187084/tid=187086] ppid=187081 vsize=18993908 memory=4782652875487838339 CPUtime=0.12 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) D 187081 187084 182698 0 -1 1078198336 5938 0 0 0 10 2 0 0 20 0 18 0 18972680 19449761792 17365 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=18993908 memory=1583096 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18972683 19449761792 17365 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=18993908 memory=13573695205541613 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18972683 19449761792 17365 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 69460 KiB

[startup+0.306059 s]*
/proc/loadavg: 4.19 4.19 4.18 4/335 187102
/proc/meminfo: memFree=111097348/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=18993908 memory=69460 CPUtime=0.2 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 7411 0 0 0 17 3 0 0 20 0 18 0 18972680 19449761792 17365 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4748477 17365 6028 1 0 549509 0
[pid=187084/tid=187086] ppid=187081 vsize=18993908 memory=-9103299205540913852 CPUtime=0.12 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) D 187081 187084 182698 0 -1 1078198336 5938 0 0 0 10 2 0 0 20 0 18 0 18972680 19449761792 17365 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18972683 19449761792 17365 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18972683 19449761792 17365 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 69460 KiB

[startup+0.700221 s]
/proc/loadavg: 4.19 4.19 4.18 6/335 187102
/proc/meminfo: memFree=111043196/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=19127036 memory=173024 CPUtime=0.92 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 9867 0 0 0 87 5 0 0 20 0 20 0 18972680 19586084864 43256 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4781759 43256 6103 1 0 551753 0
[pid=187084/tid=187086] ppid=187081 vsize=19127036 memory=5612 CPUtime=0.43 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) R 187081 187084 182698 0 -1 4194368 6118 0 0 0 39 4 0 0 20 0 20 0 18972680 19586084864 43256 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=19127036 memory=12368 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 43256 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=19127036 memory=4849 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 43256 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
Current children cumulated CPU time: 0.92 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 173024 KiB

[startup+1.50075 s]
/proc/loadavg: 4.19 4.19 4.18 7/337 187104
/proc/meminfo: memFree=110985860/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=19127036 memory=177180 CPUtime=2.5 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 14837 0 0 0 245 5 0 0 20 0 20 0 18972680 19586084864 44295 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4781759 44295 6119 1 0 552594 0
[pid=187084/tid=187086] ppid=187081 vsize=19127036 memory=4849 CPUtime=1.21 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) R 187081 187084 182698 0 -1 4194368 6379 0 0 0 117 4 0 0 20 0 20 0 18972680 19586084864 44295 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 44295 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=19127036 memory=12368 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 44295 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187104] ppid=187081 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/187084/task/187104/stat : 187104 (Timer-0) S 187081 187084 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18972740 19586084864 44295 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 177180 KiB

[startup+3.10675 s]
/proc/loadavg: 4.42 4.23 4.19 6/337 187105
/proc/meminfo: memFree=110901616/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=19127036 memory=205396 CPUtime=5.62 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 22508 0 0 0 554 8 0 0 20 0 20 0 18972680 19586084864 51349 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4781759 51349 6135 1 0 555877 0
[pid=187084/tid=187086] ppid=187081 vsize=19127036 memory=12368 CPUtime=2.74 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) R 187081 187084 182698 0 -1 4194368 7312 0 0 0 270 4 0 0 20 0 20 0 18972680 19586084864 51349 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 51349 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=19127036 memory=11624 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 51349 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187104] ppid=187081 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/187084/task/187104/stat : 187104 (Timer-0) S 187081 187084 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18972740 19586084864 51349 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
Current children cumulated CPU time: 5.62 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 205396 KiB

[startup+6.30075 s]
/proc/loadavg: 4.42 4.23 4.19 5/337 187105
/proc/meminfo: memFree=110822256/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=19127036 memory=206660 CPUtime=9.23 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 22660 0 0 0 914 9 0 0 20 0 20 0 18972680 19586084864 51665 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4781759 51665 6135 1 0 555898 0
[pid=187084/tid=187086] ppid=187081 vsize=19127036 memory=0 CPUtime=5.87 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) R 187081 187084 182698 0 -1 4194368 7350 0 0 0 582 5 0 0 20 0 20 0 18972680 19586084864 51665 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=19127036 memory=12368 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 51665 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=19127036 memory=200448 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 51665 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187104] ppid=187081 vsize=19127036 memory=1584028 CPUtime=0 cores=1,3
/proc/187084/task/187104/stat : 187104 (Timer-0) S 187081 187084 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18972740 19586084864 51665 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
Current children cumulated CPU time: 9.23 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 206660 KiB

[startup+12.7008 s]
/proc/loadavg: 4.35 4.23 4.19 6/337 187105
/proc/meminfo: memFree=110292520/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=19127036 memory=366768 CPUtime=15.62 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 25711 0 0 0 1548 14 0 0 20 0 20 0 18972680 19586084864 91692 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4781759 91692 6166 1 0 555898 0
[pid=187084/tid=187086] ppid=187081 vsize=19127036 memory=366768 CPUtime=12.07 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) R 187081 187084 182698 0 -1 4194368 8218 0 0 0 1199 8 0 0 20 0 20 0 18972680 19586084864 91692 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=19127036 memory=346288 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 91692 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=19127036 memory=346288 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 91692 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187104] ppid=187081 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/187084/task/187104/stat : 187104 (Timer-0) S 187081 187084 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18972740 19586084864 91692 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
Current children cumulated CPU time: 15.62 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 366768 KiB

[startup+25.5003 s]
/proc/loadavg: 4.30 4.22 4.19 5/337 187108
/proc/meminfo: memFree=109673236/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=19127036 memory=596256 CPUtime=28.45 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 29651 0 0 0 2824 21 0 0 20 0 20 0 18972680 19586084864 149064 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4781759 149064 6166 1 0 555898 0
[pid=187084/tid=187086] ppid=187081 vsize=19127036 memory=346288 CPUtime=24.67 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) R 187081 187084 182698 0 -1 4194368 10140 0 0 0 2455 12 0 0 20 0 20 0 18972680 19586084864 149064 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=19127036 memory=522504 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 149064 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=19127036 memory=12368 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 149064 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187104] ppid=187081 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/187084/task/187104/stat : 187104 (Timer-0) S 187081 187084 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18972740 19586084864 149064 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
Current children cumulated CPU time: 28.45 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 596256 KiB

[startup+51.106 s]
/proc/loadavg: 4.28 4.22 4.19 5/337 187111
/proc/meminfo: memFree=108311392/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=19127036 memory=1053360 CPUtime=54.2 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 38534 0 0 0 5381 39 0 0 20 0 20 0 18972680 19586084864 263340 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4781759 263340 6166 1 0 555913 0
[pid=187084/tid=187086] ppid=187081 vsize=19127036 memory=928304 CPUtime=49.78 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) R 187081 187084 182698 0 -1 4194368 12729 0 0 0 4956 22 0 0 20 0 20 0 18972680 19586084864 263340 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=19127036 memory=11624 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 263340 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 263340 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0

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

[startup+3282.3 s]
/proc/loadavg: 4.16 4.17 4.16 3/332 188956
/proc/meminfo: memFree=94706560/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=19127036 memory=2189644 CPUtime=3274.69 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 293389 0 0 0 326653 816 0 0 20 0 20 0 18972680 19586084864 547411 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4781759 547411 6179 1 0 558676 0
[pid=187084/tid=187086] ppid=187081 vsize=19127036 memory=2181536 CPUtime=3223.26 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) R 187081 187084 182698 0 -1 4194368 118312 0 0 0 321640 686 0 0 20 0 20 0 18972680 19586084864 547411 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2352 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=19127036 memory=2189644 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 547411 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=19127036 memory=2152 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 3225 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 547411 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187104] ppid=187081 vsize=19127036 memory=2189644 CPUtime=0 cores=1,3
/proc/187084/task/187104/stat : 187104 (Timer-0) S 187081 187084 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18972740 19586084864 547411 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
Current children cumulated CPU time: 3274.69 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2189644 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/332 188966
/proc/meminfo: memFree=94383268/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=19127036 memory=2189644 CPUtime=3335.14 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 303593 0 0 0 332683 831 0 0 20 0 20 0 18972680 19586084864 547411 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4781759 547411 6179 1 0 558676 0
[pid=187084/tid=187086] ppid=187081 vsize=19127036 memory=2181536 CPUtime=3282.59 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) R 187081 187084 182698 0 -1 4194368 121835 0 0 0 327561 698 0 0 20 0 20 0 18972680 19586084864 547411 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2367 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=19127036 memory=2189644 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 547411 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=19127036 memory=11624 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 3226 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 547411 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187104] ppid=187081 vsize=19127036 memory=20652 CPUtime=0 cores=1,3
/proc/187084/task/187104/stat : 187104 (Timer-0) S 187081 187084 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18972740 19586084864 547411 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
Current children cumulated CPU time: 3335.14 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2189644 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.17 4.16 5/335 189037
/proc/meminfo: memFree=94003224/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=19127036 memory=2189664 CPUtime=3394.75 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 304747 0 0 0 338633 842 0 0 20 0 20 0 18972680 19586084864 547416 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4781759 547416 6179 1 0 558676 0
[pid=187084/tid=187086] ppid=187081 vsize=19127036 memory=2181536 CPUtime=3341.62 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) R 187081 187084 182698 0 -1 4194368 122650 0 0 0 333454 708 0 0 20 0 20 0 18972680 19586084864 547416 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2420 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=19127036 memory=2189644 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 547416 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=19127036 memory=2189644 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 3284 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 547416 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187104] ppid=187081 vsize=19127036 memory=2189664 CPUtime=0 cores=1,3
/proc/187084/task/187104/stat : 187104 (Timer-0) S 187081 187084 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18972740 19586084864 547416 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
Current children cumulated CPU time: 3394.75 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2189664 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.17 5/336 189050
/proc/meminfo: memFree=93684680/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=19127036 memory=2189664 CPUtime=3454.42 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 307970 0 0 0 344588 854 0 0 20 0 20 0 18972680 19586084864 547416 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4781759 547416 6179 1 0 558676 0
[pid=187084/tid=187086] ppid=187081 vsize=19127036 memory=2181536 CPUtime=3400.5 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) R 187081 187084 182698 0 -1 4194368 124705 0 0 0 339331 719 0 0 20 0 20 0 18972680 19586084864 547416 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2444 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=19127036 memory=2189644 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 547416 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=19127036 memory=2189664 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 3346 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 547416 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187104] ppid=187081 vsize=19127036 memory=67900 CPUtime=0 cores=1,3
/proc/187084/task/187104/stat : 187104 (Timer-0) S 187081 187084 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18972740 19586084864 547416 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
Current children cumulated CPU time: 3454.42 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2189664 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.19 4.17 5/335 189062
/proc/meminfo: memFree=93396196/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=19127036 memory=2189664 CPUtime=3514.17 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 311214 0 0 0 350552 865 0 0 20 0 20 0 18972680 19586084864 547416 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4781759 547416 6179 1 0 558676 0
[pid=187084/tid=187086] ppid=187081 vsize=19127036 memory=2181536 CPUtime=3459.64 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) R 187081 187084 182698 0 -1 4194368 126413 0 0 0 345235 729 0 0 20 0 20 0 18972680 19586084864 547416 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2472 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=19127036 memory=2189664 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 547416 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=19127036 memory=2189664 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 3346 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 547416 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187104] ppid=187081 vsize=19127036 memory=18176 CPUtime=0 cores=1,3
/proc/187084/task/187104/stat : 187104 (Timer-0) S 187081 187084 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18972740 19586084864 547416 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
Current children cumulated CPU time: 3514.17 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2189664 KiB

[startup+3582.3 s]
/proc/loadavg: 3.73 4.07 4.14 4/310 189106
/proc/meminfo: memFree=101723736/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=19127036 memory=2189744 CPUtime=3574.83 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 320156 0 0 0 356604 879 0 0 20 0 20 0 18972680 19586084864 547436 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4781759 547436 6179 1 0 558676 0
[pid=187084/tid=187086] ppid=187081 vsize=19127036 memory=2181536 CPUtime=3518.92 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) R 187081 187084 182698 0 -1 4194368 130622 0 0 0 351152 740 0 0 20 0 20 0 18972680 19586084864 547436 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2485 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=19127036 memory=11624 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 547436 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=19127036 memory=2189744 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 3374 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 547436 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187104] ppid=187081 vsize=19127036 memory=11624 CPUtime=0 cores=1,3
/proc/187084/task/187104/stat : 187104 (Timer-0) S 187081 187084 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18972740 19586084864 547436 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
Current children cumulated CPU time: 3574.83 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2189744 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.6 s]
/proc/loadavg: 3.33 3.95 4.09 3/285 189147
/proc/meminfo: memFree=110156052/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=19127036 memory=2189744 CPUtime=3600.06 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 322876 0 0 0 359121 885 0 0 20 0 20 0 18972680 19586084864 547436 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4781759 547436 6179 1 0 558676 0
[pid=187084/tid=187086] ppid=187081 vsize=19127036 memory=67900 CPUtime=3543.82 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) R 187081 187084 182698 0 -1 4194368 131619 0 0 0 353637 745 0 0 20 0 20 0 18972680 19586084864 547436 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2500 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=19127036 memory=12368 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 547436 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=19127036 memory=-9103299205540913852 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 3436 0 0 0 0 0 0 0 20 0 20 0 18972683 19586084864 547436 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187104] ppid=187081 vsize=19127036 memory=2268 CPUtime=0 cores=1,3
/proc/187084/task/187104/stat : 187104 (Timer-0) S 187081 187084 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18972740 19586084864 547436 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2189744 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.38 s, system=8.86618 s

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

[startup+3607.71 s]
/proc/loadavg: 3.33 3.95 4.09 3/285 189147
/proc/meminfo: memFree=110156052/131524600 swapFree=131061136/131071996
[pid=187084] ppid=187081 vsize=19326728 memory=2190400 CPUtime=3600.22 cores=1,3
/proc/187084/stat : 187084 (java) S 187081 187084 182698 0 -1 1077936128 325690 0 0 0 359137 885 0 0 20 0 21 0 18972680 19790569472 547600 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
/proc/187084/statm: 4831682 547600 6175 1 0 559605 0
[pid=187084/tid=187086] ppid=187081 vsize=19326728 memory=2181536 CPUtime=3543.84 cores=1,3
/proc/187084/task/187086/stat : 187086 (java) S 187081 187084 182698 0 -1 1077936192 131864 0 0 0 353639 745 0 0 20 0 21 0 18972680 19790569472 547600 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2504 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187095] ppid=187081 vsize=19326728 memory=2189664 CPUtime=0 cores=1,3
/proc/187084/task/187095/stat : 187095 (Finalizer) S 187081 187084 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18972683 19790569472 547600 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
[pid=187084/tid=187102] ppid=187081 vsize=19326728 memory=5612 CPUtime=0 cores=1,3
/proc/187084/task/187102/stat : 187102 (Common-Cleaner) S 187081 187084 182698 0 -1 1077936192 3436 0 0 0 0 0 0 0 20 0 21 0 18972683 19790569472 547600 134679101440 93844760338432 93844760342128 140721010963520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93844760349944 93844760350736 93844782186496 140721010967471 140721010967653 140721010967653 140721010974664 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 2190400 KiB

Child status: 143

Real time (s): 3607.73
CPU time (s): 3600.24
CPU user time (s): 3591.38
CPU system time (s): 8.86618
CPU usage (%): 99.7925
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 2190400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.38
system time used= 8.86618
maximum resident set size= 2191472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 325765
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12833304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116563
involuntary context switches= 14510


# summary of solver processes directly reported to runsolver:
#   pid: 187084
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3591.38
#   total CPU system time (s): 8.86618

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.20773 second user time and 18.6404 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-24 14:34:08
IDJOB=4446872
IDBENCH=158322
IDSOLVER=3079
FILE ID=nodeC014/4446872-1721824448
RUNJOBID= nodeC014-1721817186-182710
SLURM_JOB_ID= 7816864
Free space on /tmp= 890032 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K150.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446872-1721824448/watcher-4446872-1721824448 -o /tmp/evaluation-result-4446872-1721824448/solver-4446872-1721824448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721817186-182710 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4446872-1721824448 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4446872-1721824448.opb

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

MD5SUM BENCH= de861f201885d7430b03c8868c66597b
RANDOM SEED=363426714

nodeC014.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		: 3668.857
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.45
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		: 3648.267
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.48
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.890
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.45
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		: 3653.658
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.48
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		: 3668.976
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.45
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		: 3663.394
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.48
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.060
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.45
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		: 3665.728
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        111146704 kB
MemAvailable:   125832860 kB
Buffers:          246784 kB
Cached:         15254716 kB
SwapCached:          236 kB
Active:          2105280 kB
Inactive:       17631216 kB
Active(anon):       2140 kB
Inactive(anon):  4286176 kB
Active(file):    2103140 kB
Inactive(file): 13345040 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061136 kB
Dirty:            116220 kB
Writeback:             0 kB
AnonPages:       4232504 kB
Mapped:           116488 kB
Shmem:             53232 kB
KReclaimable:     155600 kB
Slab:             276576 kB
SReclaimable:     155600 kB
SUnreclaim:       120976 kB
KernelStack:        5136 kB
PageTables:        18704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7280192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16896 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3946496 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      359124 kB
DirectMap2M:    35065856 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 890032 MiB
End job on nodeC014 at 2024-07-24 15:34:16