Trace number 4446644

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K135.opb
MD5SUMa9d7c7f4b9c33e38d48644f753677e90
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 variables16065
Total number of constraints16337
Number of constraints which are clauses16202
Number of constraints which are cardinality constraints (but not clauses)135
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint135
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 136
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4446644-1721341092.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
0.55/0.36	c ... done. Wall clock time 0.241s.
0.55/0.38	c declared #vars     16065
0.55/0.38	c #constraints  16337
0.55/0.38	c constraints type 
0.55/0.38	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1742
0.55/0.38	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 135
0.55/0.38	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 14458
0.55/0.38	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.55/0.38	c 16337 constraints processed.
2.76/1.66	c cleaning 2469 clauses out of 4993 with flag 24463/5000
4.12/2.67	c cleaning 4242 clauses out of 8522 with flag 56589/11000
5.54/3.85	c cleaning 5620 clauses out of 11278 with flag 95976/18002
7.03/5.23	c cleaning 6817 clauses out of 13648 with flag 140565/26000
8.62/6.84	c cleaning 7892 clauses out of 15828 with flag 190482/35000
10.41/8.65	c cleaning 8740 clauses out of 17933 with flag 242938/45000
12.29/10.56	c cleaning 9125 clauses out of 20193 with flag 295178/56000
14.47/12.78	c cleaning 9913 clauses out of 23067 with flag 359561/68001
17.19/15.41	c cleaning 10678 clauses out of 26155 with flag 426702/81003
19.88/18.19	c cleaning 11832 clauses out of 29475 with flag 504062/95001
23.11/21.35	c cleaning 12484 clauses out of 32641 with flag 591414/110001
26.31/24.57	c cleaning 13279 clauses out of 36154 with flag 675038/126000
29.91/28.17	c cleaning 14321 clauses out of 39875 with flag 770736/143002
33.63/31.82	c cleaning 15061 clauses out of 43552 with flag 867564/161000
38.17/36.33	c cleaning 15656 clauses out of 47492 with flag 971229/180002
42.26/40.40	c cleaning 16844 clauses out of 51832 with flag 1077400/200000
47.11/45.24	c cleaning 17625 clauses out of 55986 with flag 1195254/221001
52.48/50.57	c cleaning 18273 clauses out of 60360 with flag 1314785/243000
58.07/56.18	c cleaning 18917 clauses out of 65087 with flag 1439341/266000
64.32/62.31	c cleaning 19926 clauses out of 70169 with flag 1572730/290000
70.76/68.70	c cleaning 21084 clauses out of 75243 with flag 1715343/315000
77.32/75.20	c cleaning 21939 clauses out of 80162 with flag 1865372/341003
84.65/82.61	c cleaning 22567 clauses out of 85217 with flag 2026868/368000
91.95/89.95	c cleaning 23629 clauses out of 90650 with flag 2181400/396000
100.34/98.35	c cleaning 24297 clauses out of 96022 with flag 2348463/425002
109.42/107.44	c cleaning 25182 clauses out of 101724 with flag 2523423/455002
118.98/116.73	c cleaning 26339 clauses out of 107540 with flag 2709436/486000
128.62/126.34	c cleaning 27064 clauses out of 113207 with flag 2903501/518006
138.77/136.44	c cleaning 28139 clauses out of 119136 with flag 3100816/551000
149.51/147.19	c cleaning 28576 clauses out of 124996 with flag 3307776/585000
160.87/158.43	c cleaning 29601 clauses out of 131420 with flag 3522666/620000
172.34/169.96	c cleaning 30328 clauses out of 137820 with flag 3750147/656001
184.70/182.29	c cleaning 31319 clauses out of 144491 with flag 3980414/693000
197.87/195.45	c cleaning 32217 clauses out of 151171 with flag 4217945/731000
211.57/208.92	c cleaning 33123 clauses out of 157954 with flag 4460672/770000
226.11/223.48	c cleaning 34193 clauses out of 164829 with flag 4722075/810000
242.12/239.14	c cleaning 35115 clauses out of 171634 with flag 4989275/851000
258.38/255.43	c cleaning 36041 clauses out of 178518 with flag 5257326/893000
274.73/271.86	c cleaning 36791 clauses out of 185477 with flag 5536874/936000
291.49/288.63	c cleaning 37607 clauses out of 192686 with flag 5821836/980000
309.51/306.53	c cleaning 38753 clauses out of 200079 with flag 6118256/1025000
328.87/325.72	c cleaning 39584 clauses out of 207326 with flag 6422172/1071000
348.33/345.23	c cleaning 40413 clauses out of 214744 with flag 6734923/1118003
368.24/365.10	c cleaning 41596 clauses out of 222328 with flag 7053956/1166000
389.55/386.27	c cleaning 42452 clauses out of 229741 with flag 7385417/1215010
410.90/407.65	c cleaning 43363 clauses out of 237283 with flag 7718043/1265004
433.01/429.67	c cleaning 44586 clauses out of 244916 with flag 8071880/1316000
457.23/453.61	c cleaning 45424 clauses out of 252330 with flag 8430143/1368000
481.65/478.02	c cleaning 46938 clauses out of 259906 with flag 8810534/1421000
508.59/504.91	c cleaning 47259 clauses out of 266968 with flag 9184960/1475000
535.75/532.12	c cleaning 48547 clauses out of 274714 with flag 9572122/1530005
563.40/559.80	c cleaning 49678 clauses out of 282163 with flag 9970803/1586001
592.29/588.66	c cleaning 49881 clauses out of 289484 with flag 10387652/1643000
622.51/618.73	c cleaning 51395 clauses out of 297603 with flag 10835227/1701000
653.22/649.35	c cleaning 52036 clauses out of 305207 with flag 11264217/1760000
685.61/681.61	c cleaning 53357 clauses out of 313170 with flag 11693301/1820000
719.01/714.57	c cleaning 54511 clauses out of 320815 with flag 12160736/1881002
752.40/748.25	c cleaning 55098 clauses out of 328302 with flag 12621926/1943000
788.83/784.83	c cleaning 56064 clauses out of 336205 with flag 13115987/2006001
826.36/822.53	c cleaning 57112 clauses out of 344140 with flag 13600586/2070000
864.51/860.80	c cleaning 58232 clauses out of 352032 with flag 14096937/2135004
904.90/901.22	c cleaning 59159 clauses out of 359798 with flag 14654842/2201002
945.22/941.63	c cleaning 60293 clauses out of 367639 with flag 15180765/2268002
985.85/982.38	c cleaning 60922 clauses out of 375346 with flag 15707816/2336002
1031.12/1027.85	c cleaning 61581 clauses out of 383423 with flag 16262425/2405001
1075.17/1071.29	c cleaning 63276 clauses out of 391844 with flag 16807381/2475003
1121.85/1118.26	c cleaning 63952 clauses out of 399568 with flag 17389380/2546003
1169.87/1166.25	c cleaning 65113 clauses out of 407615 with flag 17979780/2618002
1220.40/1217.02	c cleaning 65736 clauses out of 415504 with flag 18580278/2691004
1271.92/1268.39	c cleaning 67138 clauses out of 423764 with flag 19186442/2765001
1326.13/1322.87	c cleaning 68055 clauses out of 431628 with flag 19821662/2840003
1381.21/1378.04	c cleaning 68879 clauses out of 439574 with flag 20513472/2916004
1439.46/1436.11	c cleaning 69805 clauses out of 447691 with flag 21292550/2993000
1495.67/1492.33	c cleaning 70981 clauses out of 455886 with flag 21942068/3071000
1555.50/1551.88	c cleaning 71817 clauses out of 463908 with flag 22602666/3150003
1618.95/1615.43	c cleaning 72907 clauses out of 472088 with flag 23311630/3230001
1680.98/1677.44	c cleaning 73813 clauses out of 480179 with flag 23987148/3311000
1746.17/1742.47	c cleaning 74697 clauses out of 488369 with flag 24709772/3393003
1812.93/1809.42	c cleaning 76168 clauses out of 496669 with flag 25432686/3476000
1879.97/1876.40	c cleaning 77012 clauses out of 504501 with flag 26166214/3560000
1951.08/1948.03	c cleaning 78044 clauses out of 512489 with flag 26917193/3645001
2026.75/2024.06	c cleaning 78506 clauses out of 520444 with flag 27771130/3731000
2100.49/2097.94	c cleaning 80203 clauses out of 528938 with flag 28626988/3818000
2172.69/2170.15	c cleaning 80891 clauses out of 536735 with flag 29396429/3906001
2251.38/2248.24	c cleaning 81776 clauses out of 544843 with flag 30218814/3995000
2333.46/2330.44	c cleaning 82633 clauses out of 553067 with flag 31148392/4085000
2418.08/2415.65	c cleaning 84048 clauses out of 561434 with flag 32186971/4176000
2502.07/2499.86	c cleaning 84797 clauses out of 569386 with flag 33016673/4268001
2586.93/2584.59	c cleaning 86158 clauses out of 577588 with flag 33891338/4361001
2678.30/2675.99	c cleaning 86740 clauses out of 585429 with flag 34830254/4455000
2775.71/2773.80	c cleaning 88067 clauses out of 593689 with flag 35787726/4550000
2868.20/2866.39	c cleaning 88753 clauses out of 601624 with flag 36700911/4646002
2961.56/2959.51	c cleaning 90055 clauses out of 609875 with flag 37611084/4743006
3061.63/3059.53	c cleaning 90875 clauses out of 617817 with flag 38613522/4841003
3168.91/3166.00	c cleaning 92177 clauses out of 625939 with flag 39823913/4940000
3267.94/3265.34	c cleaning 93035 clauses out of 633762 with flag 40780333/5040001
3370.06/3367.36	c cleaning 94096 clauses out of 641727 with flag 41763076/5141001
3479.65/3477.26	c cleaning 94805 clauses out of 649630 with flag 42808160/5243000
3593.51/3591.87	c cleaning 95673 clauses out of 657825 with flag 43913969/5346001
3600.04/3598.43	c starts		: 35352
3600.04/3598.43	c timeout
3600.04/3598.43	c conflicts		: 5356974
3600.04/3598.43	c decisions		: 131478175
3600.04/3598.43	c propagations		: 4366636054
3600.04/3598.43	c inspects		: 25041985985
3600.04/3598.43	c shortcuts		: 0
3600.04/3598.43	c learnt literals	: 69
3600.04/3598.43	c learnt binary clauses	: 202069
3600.04/3598.43	c learnt ternary clauses	: 192830
3600.04/3598.43	c learnt constraints	: 5356905
3600.04/3598.43	c ignored constraints	: 0
3600.04/3598.43	c root simplifications	: 0
3600.04/3598.43	c removed literals (reason simplification)	: 0
3600.04/3598.43	c reason swapping (by a shorter reason)	: 0
3600.04/3598.43	c Calls to reduceDB	: 99
3600.04/3598.43	c Number of update (reduction) of LBD	: 4246218
3600.04/3598.43	c Imported unit clauses	: 0
3600.04/3598.43	c No decision after first conflict	: false
3600.04/3598.43	c number of reductions to clauses (during analyze)	: 0
3600.04/3598.43	c number of learned constraints concerned by reduction	: 0
3600.04/3598.43	c number of learning phase by resolution	: 0
3600.04/3598.43	c number of learning phase by cutting planes	: 0
3600.04/3598.43	c number of rounding to 1 operations	: 0
3600.04/3598.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3598.43	c number of reductions of the coefficients by power 2 	: 0
3600.04/3598.43	c number of right shift for reduction by power 2 	: 0
3600.04/3598.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3598.43	c number of ending skipping 	: 0
3600.04/3598.43	c number of internal skipping 	: 0
3600.04/3598.43	c number of derivation steps 	: 0
3600.04/3598.43	c number of skipped derivation steps 	: 0
3600.04/3598.43	c number of remaining unassigned 	: 0
3600.04/3598.43	c number of remaining assigned 	: 0
3600.04/3598.43	c number of falsified literals weakened from reason	: 0
3600.04/3598.43	c number of falsified literals weakened from conflict	: 0
3600.04/3598.43	c time for arithmetic operations	: 0
3600.04/3598.43	c minimum degree of deleted constraints	: null
3600.04/3598.43	c maximum degree of deleted constraints	: null
3600.04/3598.43	c number of deleted constraints	: 0
3600.04/3598.44	c speed (assignments/second)	: 1213614.868201891
3600.04/3598.44	c non guided choices	: 17738
3600.19/3598.52	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 371056
3600.19/3598.52	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 202069
3600.19/3598.52	s UNKNOWN
3600.19/3598.52	c Total wall clock time (in seconds): 3598.4

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446644-1721341092/watcher-4446644-1721341092 -o /tmp/evaluation-result-4446644-1721341092/solver-4446644-1721341092 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721341105-984137 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4446644-1721341092.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
Current StackSize limit: 8192 KiB

solver pid=984197, runsolver pid=984185

[startup+0.101248 s]*
/proc/loadavg: 1.63 1.50 2.31 10/325 984267
/proc/meminfo: memFree=128644192/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=18975048 memory=63104 CPUtime=0.13 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 7273 0 0 0 11 2 0 0 20 0 18 0 186280088 19430449152 15776 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4743762 15776 5644 1 0 549335 0
[pid=984197/tid=984203] ppid=984185 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) R 984185 984197 984125 0 -1 1078198336 5774 0 0 0 6 2 0 0 20 0 18 0 186280088 19430449152 15776 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=18975048 memory=15997 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186280091 19430449152 15776 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984266] ppid=984185 vsize=18975048 memory=14689703802701563 CPUtime=0 cores=1,3
/proc/984197/task/984266/stat : 984266 (Common-Cleaner) S 984185 984197 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186280092 19430449152 15776 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63104 KiB

[startup+0.205528 s]*
/proc/loadavg: 1.63 1.50 2.31 12/325 984267
/proc/meminfo: memFree=128570344/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=18975048 memory=79172 CPUtime=0.33 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 8305 0 0 0 30 3 0 0 20 0 18 0 186280088 19430449152 19793 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4743762 19793 5782 1 0 550061 0
[pid=984197/tid=984203] ppid=984185 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) R 984185 984197 984125 0 -1 4194368 5929 0 0 0 15 2 0 0 20 0 18 0 186280088 19430449152 19793 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=18975048 memory=15997 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186280091 19430449152 19793 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984266] ppid=984185 vsize=18975048 memory=14689703802701563 CPUtime=0 cores=1,3
/proc/984197/task/984266/stat : 984266 (Common-Cleaner) S 984185 984197 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186280092 19430449152 19793 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79172 KiB

[startup+0.314773 s]*
/proc/loadavg: 1.63 1.50 2.31 11/325 984267
/proc/meminfo: memFree=128423928/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=18975048 memory=112412 CPUtime=0.55 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 9294 0 0 0 51 4 0 0 20 0 18 0 186280088 19430449152 28103 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4743762 28103 5782 1 0 550623 0
[pid=984197/tid=984203] ppid=984185 vsize=18975048 memory=-9105548819215721148 CPUtime=0.26 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) R 984185 984197 984125 0 -1 4194368 5955 0 0 0 23 3 0 0 20 0 18 0 186280088 19430449152 28103 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186280091 19430449152 28103 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984266] ppid=984185 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/984197/task/984266/stat : 984266 (Common-Cleaner) S 984185 984197 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186280092 19430449152 28103 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 112412 KiB

[startup+0.700774 s]
/proc/loadavg: 1.63 1.50 2.31 14/332 984274
/proc/meminfo: memFree=128232380/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=19041612 memory=158440 CPUtime=1.27 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 11296 0 0 0 122 5 0 0 20 0 19 0 186280088 19498610688 39610 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4760403 39610 5798 1 0 551992 0
[pid=984197/tid=984203] ppid=984185 vsize=19041612 memory=5472 CPUtime=0.59 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) R 984185 984197 984125 0 -1 4194368 6030 0 0 0 55 4 0 0 20 0 19 0 186280088 19498610688 39610 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=19041612 memory=13184 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186280091 19498610688 39610 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984266] ppid=984185 vsize=19041612 memory=280806438527656 CPUtime=0 cores=1,3
/proc/984197/task/984266/stat : 984266 (Common-Cleaner) S 984185 984197 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 186280092 19498610688 39610 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984272] ppid=984185 vsize=19041612 memory=752916050243191198 CPUtime=0 cores=1,3
/proc/984197/task/984272/stat : 984272 (Timer-0) S 984185 984197 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186280128 19498610688 39610 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 158440 KiB

[startup+1.50077 s]
/proc/loadavg: 1.63 1.50 2.31 8/332 984274
/proc/meminfo: memFree=128213916/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=19041612 memory=173272 CPUtime=2.56 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 16975 0 0 0 250 6 0 0 20 0 19 0 186280088 19498610688 43318 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4760403 43318 5815 1 0 554043 0
[pid=984197/tid=984203] ppid=984185 vsize=19041612 memory=13184 CPUtime=1.38 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) R 984185 984197 984125 0 -1 4194368 6185 0 0 0 134 4 0 0 20 0 19 0 186280088 19498610688 43318 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186280091 19498610688 43318 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984266] ppid=984185 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/984197/task/984266/stat : 984266 (Common-Cleaner) S 984185 984197 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 186280092 19498610688 43318 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984272] ppid=984185 vsize=19041612 memory=4580 CPUtime=0 cores=1,3
/proc/984197/task/984272/stat : 984272 (Timer-0) S 984185 984197 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186280128 19498610688 43318 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 173272 KiB

[startup+3.10577 s]
/proc/loadavg: 1.98 1.58 2.33 7/333 984275
/proc/meminfo: memFree=128158736/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=19108176 memory=195968 CPUtime=4.85 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 21301 0 0 0 477 8 0 0 20 0 20 0 186280088 19566772224 48992 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4777044 48992 5833 1 0 555718 0
[pid=984197/tid=984203] ppid=984185 vsize=19108176 memory=0 CPUtime=2.95 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) R 984185 984197 984125 0 -1 4194368 7226 0 0 0 291 4 0 0 20 0 20 0 186280088 19566772224 48992 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186280091 19566772224 48992 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984266] ppid=984185 vsize=19108176 memory=13184 CPUtime=0 cores=1,3
/proc/984197/task/984266/stat : 984266 (Common-Cleaner) S 984185 984197 984125 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 186280092 19566772224 48992 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984272] ppid=984185 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/984197/task/984272/stat : 984272 (Timer-0) S 984185 984197 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186280128 19566772224 48992 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
Current children cumulated CPU time: 4.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195968 KiB

[startup+6.30077 s]
/proc/loadavg: 1.98 1.58 2.33 7/333 984275
/proc/meminfo: memFree=128164224/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=19108176 memory=191720 CPUtime=8.12 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 25676 0 0 0 804 8 0 0 20 0 20 0 186280088 19566772224 47930 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4777044 47930 5849 1 0 555721 0
[pid=984197/tid=984203] ppid=984185 vsize=19108176 memory=13184 CPUtime=6.12 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) R 984185 984197 984125 0 -1 4194368 7919 0 0 0 608 4 0 0 20 0 20 0 186280088 19566772224 47930 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186280091 19566772224 47930 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984266] ppid=984185 vsize=19108176 memory=6300082216000117077 CPUtime=0 cores=1,3
/proc/984197/task/984266/stat : 984266 (Common-Cleaner) S 984185 984197 984125 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 186280092 19566772224 47930 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984272] ppid=984185 vsize=19108176 memory=191720 CPUtime=0 cores=1,3
/proc/984197/task/984272/stat : 984272 (Timer-0) S 984185 984197 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186280128 19566772224 47930 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
Current children cumulated CPU time: 8.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191720 KiB

[startup+12.7008 s]
/proc/loadavg: 2.36 1.67 2.35 6/333 984277
/proc/meminfo: memFree=128089952/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=19108176 memory=204276 CPUtime=14.47 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 27942 0 0 0 1439 8 0 0 20 0 20 0 186280088 19566772224 51069 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4777044 51069 5865 1 0 555721 0
[pid=984197/tid=984203] ppid=984185 vsize=19108176 memory=2164 CPUtime=12.42 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) R 984185 984197 984125 0 -1 4194368 8639 0 0 0 1238 4 0 0 20 0 20 0 186280088 19566772224 51069 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=19108176 memory=204276 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186280091 19566772224 51069 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984266] ppid=984185 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/984197/task/984266/stat : 984266 (Common-Cleaner) S 984185 984197 984125 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 20 0 186280092 19566772224 51069 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984272] ppid=984185 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/984197/task/984272/stat : 984272 (Timer-0) S 984185 984197 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186280128 19566772224 51069 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
Current children cumulated CPU time: 14.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 204276 KiB

[startup+25.5008 s]
/proc/loadavg: 2.84 1.80 2.39 6/333 984278
/proc/meminfo: memFree=127589108/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=19108176 memory=350180 CPUtime=27.33 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 33160 0 0 0 2721 12 0 0 20 0 20 0 186280088 19566772224 87545 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4777044 87545 5871 1 0 555723 0
[pid=984197/tid=984203] ppid=984185 vsize=19108176 memory=204276 CPUtime=24.96 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) R 984185 984197 984125 0 -1 4194368 9979 0 0 0 2491 5 0 0 20 0 20 0 186280088 19566772224 87545 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=19108176 memory=350144 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186280091 19566772224 87545 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984266] ppid=984185 vsize=19108176 memory=6943526294502006880 CPUtime=0 cores=1,3
/proc/984197/task/984266/stat : 984266 (Common-Cleaner) S 984185 984197 984125 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 20 0 186280092 19566772224 87545 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984272] ppid=984185 vsize=19108176 memory=280806438380096 CPUtime=0 cores=1,3
/proc/984197/task/984272/stat : 984272 (Timer-0) S 984185 984197 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186280128 19566772224 87545 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
Current children cumulated CPU time: 27.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 350180 KiB

[startup+51.1061 s]
/proc/loadavg: 3.58 2.06 2.46 6/333 984283
/proc/meminfo: memFree=126570324/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=19108176 memory=659908 CPUtime=53.08 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 37568 0 0 0 5289 19 0 0 20 0 20 0 186280088 19566772224 164977 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4777044 164977 5871 1 0 555735 0
[pid=984197/tid=984203] ppid=984185 vsize=19108176 memory=19660 CPUtime=50.09 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) R 984185 984197 984125 0 -1 4194368 11570 0 0 0 5004 5 0 0 20 0 20 0 186280088 19566772224 164977 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=19108176 memory=-9105548819215721148 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186280091 19566772224 164977 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0

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

[startup+3282.3 s]
/proc/loadavg: 4.19 4.17 4.13 6/333 986061
/proc/meminfo: memFree=106866328/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=19108176 memory=5882468 CPUtime=3285 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 282127 0 0 0 328267 233 0 0 20 0 20 0 186280088 19566772224 1470617 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4777044 1470617 5871 1 0 1952922 0
[pid=984197/tid=984203] ppid=984185 vsize=19108176 memory=5882468 CPUtime=3248.53 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) R 984185 984197 984125 0 -1 4194368 109731 0 0 0 324807 46 0 0 20 0 20 0 186280088 19566772224 1470617 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=19108176 memory=5472 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186280091 19566772224 1470617 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984266] ppid=984185 vsize=19108176 memory=5689616 CPUtime=0 cores=1,3
/proc/984197/task/984266/stat : 984266 (Common-Cleaner) S 984185 984197 984125 0 -1 1077936192 3091 0 0 0 0 0 0 0 20 0 20 0 186280092 19566772224 1470617 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984272] ppid=984185 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/984197/task/984272/stat : 984272 (Timer-0) S 984185 984197 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186280128 19566772224 1470617 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
Current children cumulated CPU time: 3285 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5882468 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.15 4.12 6/333 986071
/proc/meminfo: memFree=106641936/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=19108176 memory=5886576 CPUtime=3345.11 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 287707 0 0 0 334276 235 0 0 20 0 20 0 186280088 19566772224 1471644 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4777044 1471644 5871 1 0 1952922 0
[pid=984197/tid=984203] ppid=984185 vsize=19108176 memory=5882468 CPUtime=3308.08 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) R 984185 984197 984125 0 -1 4194368 112187 0 0 0 330761 47 0 0 20 0 20 0 186280088 19566772224 1471644 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=19108176 memory=-8815067742761951932 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186280091 19566772224 1471644 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984266] ppid=984185 vsize=19108176 memory=5886576 CPUtime=0 cores=1,3
/proc/984197/task/984266/stat : 984266 (Common-Cleaner) S 984185 984197 984125 0 -1 1077936192 3222 0 0 0 0 0 0 0 20 0 20 0 186280092 19566772224 1471644 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984272] ppid=984185 vsize=19108176 memory=32812 CPUtime=0 cores=1,3
/proc/984197/task/984272/stat : 984272 (Timer-0) S 984185 984197 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186280128 19566772224 1471644 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
Current children cumulated CPU time: 3345.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5886576 KiB

[startup+3402.3 s]
/proc/loadavg: 4.30 4.18 4.14 6/333 986082
/proc/meminfo: memFree=106476920/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=19108176 memory=5886580 CPUtime=3405.16 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 294320 0 0 0 340280 236 0 0 20 0 20 0 186280088 19566772224 1471645 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4777044 1471645 5871 1 0 1952922 0
[pid=984197/tid=984203] ppid=984185 vsize=19108176 memory=5882468 CPUtime=3367.67 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) R 984185 984197 984125 0 -1 4194368 115098 0 0 0 336720 47 0 0 20 0 20 0 186280088 19566772224 1471645 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=19108176 memory=5886576 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186280091 19566772224 1471645 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984266] ppid=984185 vsize=19108176 memory=5886576 CPUtime=0 cores=1,3
/proc/984197/task/984266/stat : 984266 (Common-Cleaner) S 984185 984197 984125 0 -1 1077936192 3303 0 0 0 0 0 0 0 20 0 20 0 186280092 19566772224 1471645 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984272] ppid=984185 vsize=19108176 memory=5886576 CPUtime=0 cores=1,3
/proc/984197/task/984272/stat : 984272 (Timer-0) S 984185 984197 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186280128 19566772224 1471645 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
Current children cumulated CPU time: 3405.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5886580 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.16 4.13 6/330 986092
/proc/meminfo: memFree=106201388/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=19108176 memory=5886580 CPUtime=3464.64 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 297125 0 0 0 346226 238 0 0 20 0 20 0 186280088 19566772224 1471645 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4777044 1471645 5871 1 0 1952922 0
[pid=984197/tid=984203] ppid=984185 vsize=19108176 memory=5882468 CPUtime=3427.13 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) R 984185 984197 984125 0 -1 4194368 117607 0 0 0 342665 48 0 0 20 0 20 0 186280088 19566772224 1471645 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=19108176 memory=5886576 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186280091 19566772224 1471645 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984266] ppid=984185 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/984197/task/984266/stat : 984266 (Common-Cleaner) S 984185 984197 984125 0 -1 1077936192 3432 0 0 0 0 0 0 0 20 0 20 0 186280092 19566772224 1471645 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984272] ppid=984185 vsize=19108176 memory=5886580 CPUtime=0 cores=1,3
/proc/984197/task/984272/stat : 984272 (Timer-0) S 984185 984197 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186280128 19566772224 1471645 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
Current children cumulated CPU time: 3464.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5886580 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.18 4.14 6/330 986103
/proc/meminfo: memFree=105989060/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=19108176 memory=5886592 CPUtime=3524.36 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 303093 0 0 0 352197 239 0 0 20 0 20 0 186280088 19566772224 1471648 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4777044 1471648 5871 1 0 1952925 0
[pid=984197/tid=984203] ppid=984185 vsize=19108176 memory=5886576 CPUtime=3486.27 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) R 984185 984197 984125 0 -1 4194368 120338 0 0 0 348579 48 0 0 20 0 20 0 186280088 19566772224 1471648 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=19108176 memory=5886592 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186280091 19566772224 1471648 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984266] ppid=984185 vsize=19108176 memory=2612 CPUtime=0 cores=1,3
/proc/984197/task/984266/stat : 984266 (Common-Cleaner) S 984185 984197 984125 0 -1 1077936192 3563 0 0 0 0 0 0 0 20 0 20 0 186280092 19566772224 1471648 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984272] ppid=984185 vsize=19108176 memory=-8815067742761951932 CPUtime=0 cores=1,3
/proc/984197/task/984272/stat : 984272 (Timer-0) S 984185 984197 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186280128 19566772224 1471648 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
Current children cumulated CPU time: 3524.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5886592 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.17 4.14 6/330 986114
/proc/meminfo: memFree=105561480/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=19108176 memory=5886592 CPUtime=3584.09 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 309200 0 0 0 358168 241 0 0 20 0 20 0 186280088 19566772224 1471648 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4777044 1471648 5871 1 0 1952925 0
[pid=984197/tid=984203] ppid=984185 vsize=19108176 memory=5886592 CPUtime=3545.46 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) R 984185 984197 984125 0 -1 4194368 122751 0 0 0 354498 48 0 0 20 0 20 0 186280088 19566772224 1471648 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=19108176 memory=5886592 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186280091 19566772224 1471648 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984266] ppid=984185 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/984197/task/984266/stat : 984266 (Common-Cleaner) S 984185 984197 984125 0 -1 1077936192 3696 0 0 0 0 0 0 0 20 0 20 0 186280092 19566772224 1471648 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984272] ppid=984185 vsize=19108176 memory=5886592 CPUtime=0 cores=1,3
/proc/984197/task/984272/stat : 984272 (Timer-0) S 984185 984197 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186280128 19566772224 1471648 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
Current children cumulated CPU time: 3584.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5886592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598.4 s]
/proc/loadavg: 4.28 4.20 4.14 5/330 986254
/proc/meminfo: memFree=116357316/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=19108176 memory=5886612 CPUtime=3600.04 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 309813 0 0 0 359763 241 0 0 20 0 20 0 186280088 19566772224 1471653 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4777044 1471653 5871 1 0 1952930 0
[pid=984197/tid=984203] ppid=984185 vsize=19108176 memory=19660 CPUtime=3561.41 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) R 984185 984197 984125 0 -1 4194368 123362 0 0 0 356093 48 0 0 20 0 20 0 186280088 19566772224 1471653 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=19108176 memory=5516 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186280091 19566772224 1471653 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984266] ppid=984185 vsize=19108176 memory=5886612 CPUtime=0 cores=1,3
/proc/984197/task/984266/stat : 984266 (Common-Cleaner) S 984185 984197 984125 0 -1 1077936192 3696 0 0 0 0 0 0 0 20 0 20 0 186280092 19566772224 1471653 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984272] ppid=984185 vsize=19108176 memory=28220 CPUtime=0 cores=1,3
/proc/984197/task/984272/stat : 984272 (Timer-0) S 984185 984197 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186280128 19566772224 1471653 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5886612 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.81 s, system=2.43735 s

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

[startup+3598.51 s]
/proc/loadavg: 4.28 4.20 4.14 5/330 986254
/proc/meminfo: memFree=116357316/131524600 swapFree=131071996/131071996
[pid=984197] ppid=984185 vsize=19307868 memory=5887276 CPUtime=3600.19 cores=1,3
/proc/984197/stat : 984197 (java) S 984185 984197 984125 0 -1 1077936128 312732 0 0 0 359778 241 0 0 20 0 21 0 186280088 19771256832 1471819 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
/proc/984197/statm: 4826967 1471819 5870 1 0 1953837 0
[pid=984197/tid=984203] ppid=984185 vsize=19307868 memory=5886592 CPUtime=3561.43 cores=1,3
/proc/984197/task/984203/stat : 984203 (java) S 984185 984197 984125 0 -1 1077936192 123457 0 0 0 356095 48 0 0 20 0 21 0 186280088 19771256832 1471819 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 186280089 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984244] ppid=984185 vsize=19307868 memory=5516 CPUtime=0 cores=1,3
/proc/984197/task/984244/stat : 984244 (Finalizer) S 984185 984197 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 186280091 19771256832 1471819 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
[pid=984197/tid=984266] ppid=984185 vsize=19307868 memory=0 CPUtime=0 cores=1,3
/proc/984197/task/984266/stat : 984266 (Common-Cleaner) S 984185 984197 984125 0 -1 1077936192 3696 0 0 0 0 0 0 0 20 0 21 0 186280092 19771256832 1471819 134679101440 93970236882944 93970236886640 140725112468352 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93970236894456 93970236895248 93970238775296 140725112472582 140725112472672 140725112472672 140725112479688 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 5887276 KiB

Child status: 143

Real time (s): 3598.55
CPU time (s): 3600.24
CPU user time (s): 3597.81
CPU system time (s): 2.43735
CPU usage (%): 100.047
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 5887276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.81
system time used= 2.43735
maximum resident set size= 5888240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313205
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109472
involuntary context switches= 22611


# summary of solver processes directly reported to runsolver:
#   pid: 984197
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3597.81
#   total CPU system time (s): 2.43735

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21112 second user time and 18.4209 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-19 00:18:25
IDJOB=4446644
IDBENCH=158288
IDSOLVER=3058
FILE ID=nodeC035/4446644-1721341092
RUNJOBID= nodeC035-1721341105-984137
SLURM_JOB_ID= 7542728
Free space on /tmp= 890064 MiB

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

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

MD5SUM BENCH= a9d7c7f4b9c33e38d48644f753677e90
RANDOM SEED=68024620

nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3609.960
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.919
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3656.212
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3648.461
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.937
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3653.204
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3655.582
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3658.706
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128808168 kB
MemAvailable:   129716140 kB
Buffers:          484244 kB
Cached:          1256700 kB
SwapCached:            0 kB
Active:           945640 kB
Inactive:        1151980 kB
Active(anon):       1432 kB
Inactive(anon):   392972 kB
Active(file):     944208 kB
Inactive(file):   759008 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6508 kB
Writeback:             0 kB
AnonPages:        356876 kB
Mapped:           105984 kB
Shmem:             37724 kB
KReclaimable:      89156 kB
Slab:             199568 kB
SReclaimable:      89156 kB
SUnreclaim:       110412 kB
KernelStack:        3904 kB
PageTables:         8944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     779856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            70528 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

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