Trace number 4446812

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.27 3596.82

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K172.opb
MD5SUM44b1adf4a7e5c26b78f2dbc134a2606f
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark605.744
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20468
Total number of constraints20814
Number of constraints which are clauses20642
Number of constraints which are cardinality constraints (but not clauses)172
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint172
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 173
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 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4446812-1721824441.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.14	c  no objective function found
0.69/0.43	c ... done. Wall clock time 0.312s.
0.69/0.43	c declared #vars     20468
0.69/0.44	c #constraints  20814
0.69/0.44	c constraints type 
0.69/0.44	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2223
0.69/0.44	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 172
0.69/0.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 18417
0.69/0.44	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.69/0.44	c 20814 constraints processed.
5.43/3.14	c cleaning 2473 clauses out of 4994 with flag 22204/5000
8.31/5.67	c cleaning 4228 clauses out of 8517 with flag 53935/11001
11.63/8.67	c cleaning 5623 clauses out of 11284 with flag 90321/18000
15.31/12.09	c cleaning 6799 clauses out of 13657 with flag 132298/26000
19.73/16.20	c cleaning 7871 clauses out of 15856 with flag 177949/35000
24.15/20.66	c cleaning 8058 clauses out of 17981 with flag 226078/45003
29.10/25.55	c cleaning 8789 clauses out of 20917 with flag 279285/56000
34.73/31.18	c cleaning 9685 clauses out of 24127 with flag 339620/68001
40.79/37.25	c cleaning 10508 clauses out of 27440 with flag 401909/81000
47.75/44.15	c cleaning 11186 clauses out of 30927 with flag 473617/95000
54.49/50.88	c cleaning 12195 clauses out of 34740 with flag 550342/110000
62.18/58.45	c cleaning 13115 clauses out of 38544 with flag 630352/126000
69.85/66.55	c cleaning 13804 clauses out of 42429 with flag 710282/143000
78.46/75.13	c cleaning 14358 clauses out of 46618 with flag 802628/161000
87.57/84.39	c cleaning 15330 clauses out of 51259 with flag 900386/180000
97.56/94.39	c cleaning 16231 clauses out of 55923 with flag 1006372/200001
109.01/105.85	c cleaning 17033 clauses out of 60682 with flag 1117284/221000
120.31/117.00	c cleaning 17788 clauses out of 65645 with flag 1234982/243001
132.64/129.30	c cleaning 18413 clauses out of 70849 with flag 1359336/266002
145.33/141.97	c cleaning 19364 clauses out of 76429 with flag 1482793/290001
158.32/155.09	c cleaning 20156 clauses out of 82062 with flag 1613589/315000
172.27/169.09	c cleaning 21199 clauses out of 87903 with flag 1750768/341001
186.95/183.62	c cleaning 22118 clauses out of 93700 with flag 1894311/368003
202.86/199.66	c cleaning 23049 clauses out of 99573 with flag 2042337/396000
218.97/215.58	c cleaning 23896 clauses out of 105525 with flag 2199951/425003
236.43/233.00	c cleaning 24330 clauses out of 111619 with flag 2364128/455000
253.98/250.69	c cleaning 25304 clauses out of 118285 with flag 2530447/486000
273.41/269.72	c cleaning 26212 clauses out of 124980 with flag 2711680/518000
293.72/290.09	c cleaning 27210 clauses out of 131761 with flag 2900440/551001
313.97/310.27	c cleaning 28122 clauses out of 138549 with flag 3092848/585002
335.89/332.19	c cleaning 28753 clauses out of 145420 with flag 3293374/620000
357.99/354.18	c cleaning 29669 clauses out of 152665 with flag 3499112/656000
381.01/377.85	c cleaning 30605 clauses out of 159996 with flag 3715245/693000
406.49/403.16	c cleaning 31230 clauses out of 167388 with flag 3932068/731000
432.53/429.10	c cleaning 32219 clauses out of 175156 with flag 4160732/770000
459.40/455.99	c cleaning 32993 clauses out of 182935 with flag 4390485/810000
487.06/483.51	c cleaning 34036 clauses out of 190942 with flag 4629060/851000
516.23/512.86	c cleaning 34904 clauses out of 198905 with flag 4882971/893002
547.06/543.46	c cleaning 35919 clauses out of 206999 with flag 5132559/936000
577.11/573.41	c cleaning 36729 clauses out of 215076 with flag 5395882/980000
608.73/605.04	c cleaning 37711 clauses out of 223347 with flag 5660331/1025002
642.45/638.90	c cleaning 38608 clauses out of 231632 with flag 5929795/1071001
678.26/674.76	c cleaning 39665 clauses out of 240021 with flag 6221396/1118000
714.29/710.83	c cleaning 40271 clauses out of 248355 with flag 6515597/1166000
750.86/747.37	c cleaning 40973 clauses out of 257085 with flag 6820006/1215001
789.54/785.82	c cleaning 42196 clauses out of 266111 with flag 7131884/1265000
829.35/825.47	c cleaning 42611 clauses out of 274913 with flag 7450532/1316003
868.67/864.96	c cleaning 43913 clauses out of 284301 with flag 7775172/1368002
911.40/907.72	c cleaning 44926 clauses out of 293384 with flag 8118244/1421000
956.52/952.86	c cleaning 45607 clauses out of 302457 with flag 8461825/1475000
1004.46/1002.27	c cleaning 46614 clauses out of 311849 with flag 8817290/1530000
1051.75/1049.59	c cleaning 47651 clauses out of 321233 with flag 9177002/1586000
1102.86/1101.04	c cleaning 48322 clauses out of 330582 with flag 9556015/1643000
1155.36/1153.75	c cleaning 49241 clauses out of 340258 with flag 9923753/1701001
1209.29/1207.91	c cleaning 50122 clauses out of 350014 with flag 10301870/1760000
1265.60/1263.91	c cleaning 51335 clauses out of 359889 with flag 10691272/1820000
1323.11/1321.38	c cleaning 51960 clauses out of 369554 with flag 11102312/1881001
1381.05/1379.28	c cleaning 52891 clauses out of 379593 with flag 11510813/1943000
1441.27/1439.56	c cleaning 53800 clauses out of 389702 with flag 11931150/2006000
1502.36/1500.62	c cleaning 55191 clauses out of 399902 with flag 12370471/2070001
1568.96/1567.09	c cleaning 55858 clauses out of 409711 with flag 12817565/2135002
1635.09/1633.45	c cleaning 56895 clauses out of 419850 with flag 13280689/2201000
1703.86/1701.98	c cleaning 57751 clauses out of 429954 with flag 13752788/2268000
1772.92/1772.21	c cleaning 58602 clauses out of 440202 with flag 14224252/2336000
1843.97/1843.57	c cleaning 59545 clauses out of 450599 with flag 14704115/2405000
1919.01/1918.15	c cleaning 60697 clauses out of 461053 with flag 15201332/2475000
1995.70/1994.76	c cleaning 61340 clauses out of 471355 with flag 15713916/2546000
2072.82/2072.39	c cleaning 62422 clauses out of 482016 with flag 16226559/2618001
2155.60/2154.61	c cleaning 63358 clauses out of 492593 with flag 16754277/2691002
2236.18/2235.48	c cleaning 64404 clauses out of 503233 with flag 17290401/2765000
2320.82/2319.75	c cleaning 65669 clauses out of 513827 with flag 17827512/2840002
2407.67/2406.76	c cleaning 65953 clauses out of 524152 with flag 18383255/2916000
2496.59/2495.62	c cleaning 67125 clauses out of 535200 with flag 18941463/2993002
2586.54/2585.05	c cleaning 67992 clauses out of 546073 with flag 19523485/3071000
2679.75/2678.18	c cleaning 69213 clauses out of 557084 with flag 20124499/3150003
2779.89/2777.70	c cleaning 70141 clauses out of 567868 with flag 20738835/3230000
2871.26/2870.25	c cleaning 70860 clauses out of 578726 with flag 21377739/3311000
2955.57/2953.90	c cleaning 71846 clauses out of 589865 with flag 21991569/3393000
3039.91/3038.04	c cleaning 73072 clauses out of 601023 with flag 22619739/3476004
3127.33/3124.98	c cleaning 73917 clauses out of 611946 with flag 23245857/3560000
3215.97/3214.26	c cleaning 75225 clauses out of 623030 with flag 23899444/3645001
3304.98/3302.91	c cleaning 76158 clauses out of 633803 with flag 24552007/3731000
3397.88/3395.99	c cleaning 77127 clauses out of 644646 with flag 25230491/3818001
3495.85/3493.24	c cleaning 77594 clauses out of 655520 with flag 25913968/3906002
3594.30/3591.47	c cleaning 78797 clauses out of 666924 with flag 26636412/3995000
3600.09/3596.71	c starts		: 24805
3600.09/3596.72	c conflicts		: 4001274
3600.09/3596.72	c decisions		: 143791313
3600.09/3596.72	c propagations		: 3960868688
3600.09/3596.72	c timeout
3600.09/3596.72	c inspects		: 17533600099
3600.09/3596.72	c shortcuts		: 0
3600.09/3596.72	c learnt literals	: 200
3600.09/3596.72	c learnt binary clauses	: 241327
3600.09/3596.72	c learnt ternary clauses	: 219747
3600.09/3596.72	c learnt constraints	: 4001074
3600.09/3596.72	c ignored constraints	: 0
3600.09/3596.72	c root simplifications	: 0
3600.09/3596.72	c removed literals (reason simplification)	: 40183061
3600.09/3596.72	c reason swapping (by a shorter reason)	: 0
3600.09/3596.72	c Calls to reduceDB	: 85
3600.09/3596.72	c Number of update (reduction) of LBD	: 2937877
3600.09/3596.72	c Imported unit clauses	: 0
3600.09/3596.72	c No decision after first conflict	: false
3600.09/3596.72	c number of reductions to clauses (during analyze)	: 0
3600.09/3596.72	c number of learned constraints concerned by reduction	: 0
3600.09/3596.72	c number of learning phase by resolution	: 0
3600.09/3596.72	c number of learning phase by cutting planes	: 0
3600.09/3596.72	c number of rounding to 1 operations	: 0
3600.09/3596.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3596.72	c number of reductions of the coefficients by power 2 	: 0
3600.09/3596.72	c number of right shift for reduction by power 2 	: 0
3600.09/3596.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3596.72	c number of ending skipping 	: 0
3600.09/3596.72	c number of internal skipping 	: 0
3600.09/3596.72	c number of derivation steps 	: 0
3600.09/3596.72	c number of skipped derivation steps 	: 0
3600.09/3596.72	c number of remaining unassigned 	: 0
3600.09/3596.72	c number of remaining assigned 	: 0
3600.09/3596.72	c number of falsified literals weakened from reason	: 0
3600.09/3596.72	c number of falsified literals weakened from conflict	: 0
3600.09/3596.72	c time for arithmetic operations	: 0
3600.09/3596.72	c minimum degree of deleted constraints	: null
3600.09/3596.72	c maximum degree of deleted constraints	: null
3600.09/3596.72	c number of deleted constraints	: 0
3600.09/3596.72	c speed (assignments/second)	: 1101380.9255410112
3600.09/3596.72	c non guided choices	: 50943
3600.09/3596.80	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 353074
3600.09/3596.80	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 241327
3600.25/3596.80	s UNKNOWN
3600.25/3596.80	c Total wall clock time (in seconds): 3596.682

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (44800 MiB free)
  memory of node 1: 64510 MiB (42979 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446812-1721824441/watcher-4446812-1721824441 -o /tmp/evaluation-result-4446812-1721824441/solver-4446812-1721824441 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721817186-181711 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4446812-1721824441 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4446812-1721824441.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=186110, runsolver pid=186107
Current StackSize limit: 8192 KiB


[startup+0.101805 s]*
/proc/loadavg: 4.40 4.22 4.15 5/336 186128
/proc/meminfo: memFree=89839696/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=18975048 memory=66516 CPUtime=0.14 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 7110 0 0 0 12 2 0 0 20 0 18 0 18967027 19430449152 16629 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4743762 16629 5601 1 0 549376 0
[pid=186110/tid=186112] ppid=186107 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) R 186107 186110 181698 0 -1 4194368 5683 0 0 0 8 1 0 0 20 0 18 0 18967027 19430449152 16629 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18967030 19430449152 16629 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186128] ppid=186107 vsize=18975048 memory=13855165888293772 CPUtime=0 cores=5,7
/proc/186110/task/186128/stat : 186128 (Common-Cleaner) S 186107 186110 181698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18967030 19430449152 16629 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66516 KiB

[startup+0.216574 s]*
/proc/loadavg: 4.40 4.22 4.15 6/336 186128
/proc/meminfo: memFree=89818476/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=18975048 memory=87156 CPUtime=0.33 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 8504 0 0 0 31 2 0 0 20 0 18 0 18967027 19430449152 21789 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4743762 21789 5816 1 0 550230 0
[pid=186110/tid=186112] ppid=186107 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) R 186107 186110 181698 0 -1 4194368 5838 0 0 0 17 1 0 0 20 0 18 0 18967027 19430449152 21789 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=18975048 memory=1010558 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18967030 19430449152 21789 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186128] ppid=186107 vsize=18975048 memory=14415916817450633 CPUtime=0 cores=5,7
/proc/186110/task/186128/stat : 186128 (Common-Cleaner) S 186107 186110 181698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18967030 19430449152 21789 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 87156 KiB

[startup+0.306284 s]*
/proc/loadavg: 4.40 4.22 4.15 6/336 186128
/proc/meminfo: memFree=89790756/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=18975048 memory=115884 CPUtime=0.5 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 9053 0 0 0 47 3 0 0 20 0 18 0 18967027 19430449152 28971 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4743762 28971 5816 1 0 550617 0
[pid=186110/tid=186112] ppid=186107 vsize=18975048 memory=-8673204345910371004 CPUtime=0.28 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) R 186107 186110 181698 0 -1 4194368 5862 0 0 0 26 2 0 0 20 0 18 0 18967027 19430449152 28971 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18967030 19430449152 28971 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186128] ppid=186107 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/186110/task/186128/stat : 186128 (Common-Cleaner) S 186107 186110 181698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18967030 19430449152 28971 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 115884 KiB

[startup+0.700943 s]
/proc/loadavg: 4.40 4.22 4.15 6/338 186130
/proc/meminfo: memFree=89732412/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=19108176 memory=174536 CPUtime=1.22 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 11490 0 0 0 118 4 0 0 20 0 20 0 18967027 19566772224 43634 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4777044 43634 5848 1 0 552264 0
[pid=186110/tid=186112] ppid=186107 vsize=19108176 memory=5516 CPUtime=0.61 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) R 186107 186110 181698 0 -1 4194368 5968 0 0 0 59 2 0 0 20 0 20 0 18967027 19566772224 43634 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=19108176 memory=13524 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 43634 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186128] ppid=186107 vsize=19108176 memory=279457281925800 CPUtime=0 cores=5,7
/proc/186110/task/186128/stat : 186128 (Common-Cleaner) S 186107 186110 181698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 43634 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186130] ppid=186107 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/186110/task/186130/stat : 186130 (Timer-0) S 186107 186110 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18967072 19566772224 43634 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 174536 KiB

[startup+1.50093 s]
/proc/loadavg: 4.40 4.22 4.15 7/338 186130
/proc/meminfo: memFree=89725596/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=19108176 memory=179220 CPUtime=2.81 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 16990 0 0 0 276 5 0 0 20 0 20 0 18967027 19566772224 44805 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4777044 44805 5880 1 0 553129 0
[pid=186110/tid=186112] ppid=186107 vsize=19108176 memory=13524 CPUtime=1.38 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) R 186107 186110 181698 0 -1 4194368 6340 0 0 0 135 3 0 0 20 0 20 0 18967027 19566772224 44805 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 44805 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186128] ppid=186107 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/186110/task/186128/stat : 186128 (Common-Cleaner) S 186107 186110 181698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 44805 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186130] ppid=186107 vsize=19108176 memory=279457281778960 CPUtime=0 cores=5,7
/proc/186110/task/186130/stat : 186130 (Timer-0) S 186107 186110 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18967072 19566772224 44805 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179220 KiB

[startup+3.10608 s]
/proc/loadavg: 4.45 4.23 4.16 5/338 186130
/proc/meminfo: memFree=89687536/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=19108176 memory=201344 CPUtime=5.43 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 21962 0 0 0 536 7 0 0 20 0 20 0 18967027 19566772224 50336 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4777044 50336 5880 1 0 555442 0
[pid=186110/tid=186112] ppid=186107 vsize=19108176 memory=0 CPUtime=2.93 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) R 186107 186110 181698 0 -1 4194368 6733 0 0 0 290 3 0 0 20 0 20 0 18967027 19566772224 50336 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=19108176 memory=13524 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 50336 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186128] ppid=186107 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/186110/task/186128/stat : 186128 (Common-Cleaner) S 186107 186110 181698 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 50336 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186130] ppid=186107 vsize=19108176 memory=12156 CPUtime=0 cores=5,7
/proc/186110/task/186130/stat : 186130 (Timer-0) S 186107 186110 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18967072 19566772224 50336 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
Current children cumulated CPU time: 5.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 201344 KiB

[startup+6.30095 s]
/proc/loadavg: 4.45 4.23 4.16 5/338 186130
/proc/meminfo: memFree=89668068/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=19108176 memory=211800 CPUtime=9.31 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 28802 0 0 0 922 9 0 0 20 0 20 0 18967027 19566772224 52950 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4777044 52950 5880 1 0 555915 0
[pid=186110/tid=186112] ppid=186107 vsize=19108176 memory=13524 CPUtime=6.07 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) R 186107 186110 181698 0 -1 4194368 7438 0 0 0 603 4 0 0 20 0 20 0 18967027 19566772224 52950 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 52950 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186128] ppid=186107 vsize=19108176 memory=5450909891216438826 CPUtime=0 cores=5,7
/proc/186110/task/186128/stat : 186128 (Common-Cleaner) S 186107 186110 181698 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 52950 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186130] ppid=186107 vsize=19108176 memory=179484 CPUtime=0 cores=5,7
/proc/186110/task/186130/stat : 186130 (Timer-0) S 186107 186110 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18967072 19566772224 52950 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
Current children cumulated CPU time: 9.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 211800 KiB

[startup+12.7003 s]
/proc/loadavg: 4.41 4.23 4.16 5/338 186131
/proc/meminfo: memFree=89523224/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=19108176 memory=358748 CPUtime=16.21 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 41776 0 0 0 1606 15 0 0 20 0 20 0 18967027 19566772224 89687 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4777044 89687 5896 1 0 556650 0
[pid=186110/tid=186112] ppid=186107 vsize=19108176 memory=0 CPUtime=12.34 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) R 186107 186110 181698 0 -1 4194368 8815 0 0 0 1227 7 0 0 20 0 20 0 18967027 19566772224 89687 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 89687 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186128] ppid=186107 vsize=19108176 memory=320136 CPUtime=0 cores=5,7
/proc/186110/task/186128/stat : 186128 (Common-Cleaner) S 186107 186110 181698 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 89687 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186130] ppid=186107 vsize=19108176 memory=13524 CPUtime=0 cores=5,7
/proc/186110/task/186130/stat : 186130 (Timer-0) S 186107 186110 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18967072 19566772224 89687 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
Current children cumulated CPU time: 16.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 358748 KiB

[startup+25.5003 s]
/proc/loadavg: 4.32 4.22 4.15 5/338 186133
/proc/meminfo: memFree=89261524/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=19108176 memory=510572 CPUtime=29.1 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 46576 0 0 0 2887 23 0 0 20 0 20 0 18967027 19566772224 127643 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4777044 127643 5896 1 0 556650 0
[pid=186110/tid=186112] ppid=186107 vsize=19108176 memory=320136 CPUtime=25 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) R 186107 186110 181698 0 -1 4194368 10039 0 0 0 2487 13 0 0 20 0 20 0 18967027 19566772224 127643 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=19108176 memory=-8673204345910371004 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 127643 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186128] ppid=186107 vsize=19108176 memory=67084 CPUtime=0 cores=5,7
/proc/186110/task/186128/stat : 186128 (Common-Cleaner) S 186107 186110 181698 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 127643 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186130] ppid=186107 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/186110/task/186130/stat : 186130 (Timer-0) S 186107 186110 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18967072 19566772224 127643 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
Current children cumulated CPU time: 29.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 510572 KiB

[startup+51.106 s]
/proc/loadavg: 4.77 4.33 4.19 5/338 186275
/proc/meminfo: memFree=109504356/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=19108176 memory=957208 CPUtime=54.86 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 54440 0 0 0 5449 37 0 0 20 0 20 0 18967027 19566772224 239302 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4777044 239302 5896 1 0 556650 0
[pid=186110/tid=186112] ppid=186107 vsize=19108176 memory=957180 CPUtime=50.24 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) R 186107 186110 181698 0 -1 4194368 12488 0 0 0 5003 21 0 0 20 0 20 0 18967027 19566772224 239302 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=19108176 memory=793244 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 239302 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0

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

[startup+3282.3 s]
/proc/loadavg: 3.26 3.66 4.35 4/310 188478
/proc/meminfo: memFree=68040432/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=19108176 memory=2189840 CPUtime=3284.45 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 211135 0 0 0 327563 882 0 0 20 0 20 0 18967027 19566772224 547460 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4777044 547460 5909 1 0 558792 0
[pid=186110/tid=186112] ppid=186107 vsize=19108176 memory=2189840 CPUtime=3233.67 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) R 186107 186110 181698 0 -1 4194368 83816 0 0 0 322635 732 0 0 20 0 20 0 18967027 19566772224 547460 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1521 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=19108176 memory=67084 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 547460 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186128] ppid=186107 vsize=19108176 memory=12156 CPUtime=0 cores=5,7
/proc/186110/task/186128/stat : 186128 (Common-Cleaner) S 186107 186110 181698 0 -1 1077936192 1521 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 547460 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186130] ppid=186107 vsize=19108176 memory=2189840 CPUtime=0 cores=5,7
/proc/186110/task/186130/stat : 186130 (Timer-0) S 186107 186110 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18967072 19566772224 547460 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
Current children cumulated CPU time: 3284.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189840 KiB

[startup+3342.3 s]
/proc/loadavg: 3.27 3.60 4.29 4/312 188660
/proc/meminfo: memFree=67257576/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=19108176 memory=2189848 CPUtime=3344.15 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 211567 0 0 0 333520 895 0 0 20 0 20 0 18967027 19566772224 547462 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4777044 547462 5909 1 0 558792 0
[pid=186110/tid=186112] ppid=186107 vsize=19108176 memory=1896 CPUtime=3292.57 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) R 186107 186110 181698 0 -1 4194368 84130 0 0 0 328513 744 0 0 20 0 20 0 18967027 19566772224 547462 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1561 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=19108176 memory=19048 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 547462 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186128] ppid=186107 vsize=19108176 memory=2189848 CPUtime=0 cores=5,7
/proc/186110/task/186128/stat : 186128 (Common-Cleaner) S 186107 186110 181698 0 -1 1077936192 1521 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 547462 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186130] ppid=186107 vsize=19108176 memory=12156 CPUtime=0 cores=5,7
/proc/186110/task/186130/stat : 186130 (Timer-0) S 186107 186110 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18967072 19566772224 547462 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
Current children cumulated CPU time: 3344.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189848 KiB

[startup+3402.3 s]
/proc/loadavg: 3.32 3.55 4.23 4/315 188729
/proc/meminfo: memFree=66497236/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=19108176 memory=2189848 CPUtime=3404.27 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 214962 0 0 0 339518 909 0 0 20 0 20 0 18967027 19566772224 547462 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4777044 547462 5909 1 0 558792 0
[pid=186110/tid=186112] ppid=186107 vsize=19108176 memory=2189848 CPUtime=3352.06 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) R 186107 186110 181698 0 -1 4194368 87199 0 0 0 334451 755 0 0 20 0 20 0 18967027 19566772224 547462 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1569 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=19108176 memory=67084 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 547462 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186128] ppid=186107 vsize=19108176 memory=2189848 CPUtime=0 cores=5,7
/proc/186110/task/186128/stat : 186128 (Common-Cleaner) S 186107 186110 181698 0 -1 1077936192 1521 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 547462 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186130] ppid=186107 vsize=19108176 memory=5516 CPUtime=0 cores=5,7
/proc/186110/task/186130/stat : 186130 (Timer-0) S 186107 186110 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18967072 19566772224 547462 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
Current children cumulated CPU time: 3404.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2189848 KiB

[startup+3462.3 s]
/proc/loadavg: 3.23 3.48 4.16 4/315 188740
/proc/meminfo: memFree=65780044/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=19108176 memory=2190304 CPUtime=3464.75 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 217991 0 0 0 345551 924 0 0 20 0 20 0 18967027 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4777044 547576 5909 1 0 558907 0
[pid=186110/tid=186112] ppid=186107 vsize=19108176 memory=2189848 CPUtime=3411.4 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) R 186107 186110 181698 0 -1 4194368 88353 0 0 0 340373 767 0 0 20 0 20 0 18967027 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1575 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=19108176 memory=5516 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186128] ppid=186107 vsize=19108176 memory=12156 CPUtime=0 cores=5,7
/proc/186110/task/186128/stat : 186128 (Common-Cleaner) S 186107 186110 181698 0 -1 1077936192 1547 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186130] ppid=186107 vsize=19108176 memory=2190304 CPUtime=0 cores=5,7
/proc/186110/task/186130/stat : 186130 (Timer-0) S 186107 186110 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18967072 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
Current children cumulated CPU time: 3464.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2190304 KiB

[startup+3522.3 s]
/proc/loadavg: 3.13 3.40 4.09 4/314 188754
/proc/meminfo: memFree=65034340/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=19108176 memory=2190304 CPUtime=3524.96 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 218859 0 0 0 351558 938 0 0 20 0 20 0 18967027 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4777044 547576 5909 1 0 558907 0
[pid=186110/tid=186112] ppid=186107 vsize=19108176 memory=2190304 CPUtime=3470.78 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) R 186107 186110 181698 0 -1 4194368 89071 0 0 0 346298 780 0 0 20 0 20 0 18967027 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1582 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=19108176 memory=2190304 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186128] ppid=186107 vsize=19108176 memory=2190304 CPUtime=0 cores=5,7
/proc/186110/task/186128/stat : 186128 (Common-Cleaner) S 186107 186110 181698 0 -1 1077936192 1548 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186130] ppid=186107 vsize=19108176 memory=12156 CPUtime=0 cores=5,7
/proc/186110/task/186130/stat : 186130 (Timer-0) S 186107 186110 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18967072 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
Current children cumulated CPU time: 3524.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2190304 KiB

[startup+3582.3 s]
/proc/loadavg: 3.21 3.37 4.03 4/314 188764
/proc/meminfo: memFree=64326736/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=19108176 memory=2190304 CPUtime=3585.22 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 222128 0 0 0 357572 950 0 0 20 0 20 0 18967027 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4777044 547576 5909 1 0 558907 0
[pid=186110/tid=186112] ppid=186107 vsize=19108176 memory=-8673204345910371004 CPUtime=3530.16 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) R 186107 186110 181698 0 -1 4194368 91710 0 0 0 352227 789 0 0 20 0 20 0 18967027 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1587 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=19108176 memory=2190304 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186128] ppid=186107 vsize=19108176 memory=67084 CPUtime=0 cores=5,7
/proc/186110/task/186128/stat : 186128 (Common-Cleaner) S 186107 186110 181698 0 -1 1077936192 1640 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186130] ppid=186107 vsize=19108176 memory=12156 CPUtime=0 cores=5,7
/proc/186110/task/186130/stat : 186130 (Timer-0) S 186107 186110 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18967072 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
Current children cumulated CPU time: 3585.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2190304 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3596.7 s]
/proc/loadavg: 3.24 3.37 4.02 5/314 188765
/proc/meminfo: memFree=64169764/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=19108176 memory=2190304 CPUtime=3600.09 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 224343 0 0 0 359056 953 0 0 20 0 20 0 18967027 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4777044 547576 5909 1 0 558907 0
[pid=186110/tid=186112] ppid=186107 vsize=19108176 memory=-8673204345910371004 CPUtime=3544.43 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) R 186107 186110 181698 0 -1 4194368 92337 0 0 0 353651 792 0 0 20 0 20 0 18967027 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1587 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=19108176 memory=2190304 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186128] ppid=186107 vsize=19108176 memory=67084 CPUtime=0 cores=5,7
/proc/186110/task/186128/stat : 186128 (Common-Cleaner) S 186107 186110 181698 0 -1 1077936192 1640 0 0 0 0 0 0 0 20 0 20 0 18967030 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186130] ppid=186107 vsize=19108176 memory=2190304 CPUtime=0 cores=5,7
/proc/186110/task/186130/stat : 186130 (Timer-0) S 186107 186110 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18967072 19566772224 547576 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2190304 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.72 s, system=9.55354 s

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

[startup+3596.8 s]
/proc/loadavg: 3.24 3.37 4.02 5/314 188765
/proc/meminfo: memFree=64169764/131524600 swapFree=131070704/131071996
[pid=186110] ppid=186107 vsize=19307868 memory=2190992 CPUtime=3600.25 cores=5,7
/proc/186110/stat : 186110 (java) S 186107 186110 181698 0 -1 1077936128 225695 0 0 0 359071 954 0 0 20 0 21 0 18967027 19771256832 547748 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
/proc/186110/statm: 4826967 547748 5908 1 0 559838 0
[pid=186110/tid=186112] ppid=186107 vsize=19307868 memory=0 CPUtime=3544.45 cores=5,7
/proc/186110/task/186112/stat : 186112 (java) S 186107 186110 181698 0 -1 1077936192 92481 0 0 0 353653 792 0 0 20 0 21 0 18967027 19771256832 547748 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1591 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186121] ppid=186107 vsize=19307868 memory=2190304 CPUtime=0 cores=5,7
/proc/186110/task/186121/stat : 186121 (Finalizer) S 186107 186110 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18967030 19771256832 547748 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
[pid=186110/tid=186128] ppid=186107 vsize=19307868 memory=2190304 CPUtime=0 cores=5,7
/proc/186110/task/186128/stat : 186128 (Common-Cleaner) S 186107 186110 181698 0 -1 1077936192 1640 0 0 0 0 0 0 0 20 0 21 0 18967030 19771256832 547748 134679101440 93849431379968 93849431383664 140724594800496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93849431391480 93849431392272 93849432731648 140724594803627 140724594803809 140724594803809 140724594810824 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2190992 KiB

Child status: 143

Real time (s): 3596.82
CPU time (s): 3600.27
CPU user time (s): 3590.72
CPU system time (s): 9.55354
CPU usage (%): 100.096
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2190992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.72
system time used= 9.55354
maximum resident set size= 2191844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225796
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12230832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115700
involuntary context switches= 13396


# summary of solver processes directly reported to runsolver:
#   pid: 186110
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3590.72
#   total CPU system time (s): 9.55354

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.15292 second user time and 18.8428 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-24 14:34:01
IDJOB=4446812
IDBENCH=158312
IDSOLVER=3079
FILE ID=nodeC022/4446812-1721824441
RUNJOBID= nodeC022-1721817186-181711
SLURM_JOB_ID= 7816878
Free space on /tmp= 889976 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K172.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-4446812-1721824441/watcher-4446812-1721824441 -o /tmp/evaluation-result-4446812-1721824441/solver-4446812-1721824441 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721817186-181711 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4446812-1721824441 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4446812-1721824441.opb

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

MD5SUM BENCH= 44b1adf4a7e5c26b78f2dbc134a2606f
RANDOM SEED=1019234138

nodeC022.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		: 3662.831
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.87
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		: 3666.866
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
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		: 3600.151
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.87
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		: 3606.766
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
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		: 3662.809
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.87
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		: 3654.475
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
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.276
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.87
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.992
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        89886140 kB
MemAvailable:   113359648 kB
Buffers:          257752 kB
Cached:         23929792 kB
SwapCached:          296 kB
Active:          2641628 kB
Inactive:       38124540 kB
Active(anon):       3880 kB
Inactive(anon): 16628376 kB
Active(file):    2637748 kB
Inactive(file): 21496164 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:             33252 kB
Writeback:             8 kB
AnonPages:      16576920 kB
Mapped:           134488 kB
Shmem:             53884 kB
KReclaimable:     358484 kB
Slab:             483632 kB
SReclaimable:     358484 kB
SUnreclaim:       125148 kB
KernelStack:        5200 kB
PageTables:        42840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   21528492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21344 kB
HardwareCorrupted:     0 kB
AnonHugePages:  14004224 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:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC022 at 2024-07-24 15:33:58