Trace number 4446914

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.25 3588.24

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K90.opb
MD5SUMdd58632d9551a3604736dadf6eadc418
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 benchmark113.256
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6120
Total number of constraints6302
Number of constraints which are clauses6212
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint90
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 91
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f 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	No 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@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f 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 No 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-4446914-1721344691.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.33/0.27	c ... done. Wall clock time 0.144s.
0.33/0.27	c declared #vars     6120
0.33/0.27	c #constraints  6302
0.33/0.27	c constraints type 
0.33/0.27	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1157
0.33/0.27	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 90
0.33/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5053
0.33/0.27	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.33/0.27	c 6302 constraints processed.
1.83/1.10	c cleaning 2484 clauses out of 4997 with flag 24472/5003
2.90/1.66	c cleaning 4234 clauses out of 8507 with flag 61914/11001
3.75/2.32	c cleaning 5634 clauses out of 11267 with flag 110692/18000
4.46/3.09	c cleaning 6777 clauses out of 13629 with flag 172747/26001
5.37/3.98	c cleaning 7862 clauses out of 15851 with flag 238223/35000
6.36/4.90	c cleaning 8993 clauses out of 17985 with flag 305941/45000
7.35/5.95	c cleaning 9777 clauses out of 19989 with flag 373727/56000
8.54/7.14	c cleaning 10344 clauses out of 22211 with flag 443105/68001
9.93/8.57	c cleaning 11009 clauses out of 24865 with flag 521188/81001
11.42/10.05	c cleaning 12094 clauses out of 27854 with flag 601370/95000
13.21/11.80	c cleaning 12821 clauses out of 30759 with flag 693968/110000
15.16/13.75	c cleaning 13639 clauses out of 33938 with flag 795723/126001
17.08/15.67	c cleaning 14839 clauses out of 37299 with flag 898723/143001
19.55/18.04	c cleaning 15546 clauses out of 40457 with flag 1009303/161001
22.02/20.53	c cleaning 16245 clauses out of 43910 with flag 1122323/180000
24.86/23.32	c cleaning 17277 clauses out of 47668 with flag 1250086/200003
27.90/26.33	c cleaning 18058 clauses out of 51388 with flag 1386001/221000
31.18/29.65	c cleaning 19126 clauses out of 55330 with flag 1522820/243000
34.71/33.14	c cleaning 19736 clauses out of 59204 with flag 1675619/266000
38.40/36.81	c cleaning 21003 clauses out of 63469 with flag 1830364/290001
42.25/40.65	c cleaning 21799 clauses out of 67465 with flag 1992478/315000
46.40/44.74	c cleaning 22952 clauses out of 71671 with flag 2160493/341005
51.06/49.35	c cleaning 23636 clauses out of 75715 with flag 2354430/368001
55.85/54.11	c cleaning 24657 clauses out of 80078 with flag 2551210/396000
61.09/59.30	c cleaning 25627 clauses out of 84423 with flag 2754951/425002
66.64/64.80	c cleaning 26365 clauses out of 88793 with flag 2960018/455000
72.69/70.84	c cleaning 27541 clauses out of 93428 with flag 3183934/486001
78.84/76.94	c cleaning 28415 clauses out of 97886 with flag 3422110/518000
85.08/83.17	c cleaning 29511 clauses out of 102472 with flag 3671794/551001
92.31/90.31	c cleaning 30379 clauses out of 106962 with flag 3928948/585002
99.93/97.72	c cleaning 31127 clauses out of 111580 with flag 4188047/620000
108.17/105.95	c cleaning 32054 clauses out of 116455 with flag 4483664/656002
116.73/114.48	c cleaning 33030 clauses out of 121399 with flag 4779657/693000
125.70/123.30	c cleaning 34025 clauses out of 126369 with flag 5074422/731000
134.56/132.14	c cleaning 35068 clauses out of 131343 with flag 5373077/770000
144.25/141.73	c cleaning 36229 clauses out of 136275 with flag 5692820/810000
154.19/151.75	c cleaning 37153 clauses out of 141047 with flag 6012425/851001
164.69/162.13	c cleaning 38134 clauses out of 145896 with flag 6362526/893003
176.65/174.06	c cleaning 38838 clauses out of 150760 with flag 6736999/936001
189.43/186.54	c cleaning 39925 clauses out of 155922 with flag 7123501/980001
202.81/199.81	c cleaning 41050 clauses out of 160996 with flag 7555586/1025000
215.88/212.93	c cleaning 41952 clauses out of 165946 with flag 8011457/1071000
230.03/226.93	c cleaning 43190 clauses out of 170994 with flag 8424884/1118000
244.20/241.11	c cleaning 44121 clauses out of 175805 with flag 8864274/1166001
259.29/256.14	c cleaning 45044 clauses out of 180683 with flag 9320120/1215000
274.84/271.79	c cleaning 46157 clauses out of 185640 with flag 9799163/1265001
290.92/287.79	c cleaning 46908 clauses out of 190483 with flag 10245798/1316001
308.45/305.15	c cleaning 48258 clauses out of 195574 with flag 10754376/1368000
325.91/322.62	c cleaning 49203 clauses out of 200316 with flag 11267547/1421000
344.05/340.65	c cleaning 50042 clauses out of 205113 with flag 11768460/1475000
363.71/360.00	c cleaning 51065 clauses out of 210072 with flag 12281260/1530001
385.64/381.97	c cleaning 51955 clauses out of 215006 with flag 12843507/1586000
406.42/402.65	c cleaning 53142 clauses out of 220051 with flag 13411482/1643000
428.25/424.33	c cleaning 54409 clauses out of 224909 with flag 13985654/1701000
451.83/447.63	c cleaning 55037 clauses out of 229500 with flag 14573760/1760000
475.66/471.32	c cleaning 56292 clauses out of 234461 with flag 15207093/1820000
500.90/496.64	c cleaning 56972 clauses out of 239169 with flag 15882688/1881000
525.96/521.50	c cleaning 58250 clauses out of 244196 with flag 16561228/1943000
551.91/547.29	c cleaning 59300 clauses out of 248947 with flag 17192350/2006002
579.42/574.70	c cleaning 60500 clauses out of 253646 with flag 17880651/2070001
606.84/602.02	c cleaning 61407 clauses out of 258145 with flag 18539611/2135001
635.94/631.03	c cleaning 62528 clauses out of 262738 with flag 19258073/2201001
666.57/661.61	c cleaning 63597 clauses out of 267209 with flag 19974030/2268001
698.82/693.80	c cleaning 64466 clauses out of 271610 with flag 20741138/2336000
732.54/727.41	c cleaning 65583 clauses out of 276143 with flag 21570007/2405001
765.05/759.89	c cleaning 66654 clauses out of 280560 with flag 22358841/2475001
801.04/795.93	c cleaning 67700 clauses out of 284906 with flag 23144278/2546001
837.94/832.37	c cleaning 68713 clauses out of 289205 with flag 23994111/2618001
874.75/869.12	c cleaning 69452 clauses out of 293492 with flag 24827557/2691002
915.11/909.53	c cleaning 70564 clauses out of 298038 with flag 25793609/2765000
959.28/953.68	c cleaning 72195 clauses out of 302473 with flag 27014163/2840001
1001.03/995.19	c cleaning 73165 clauses out of 306277 with flag 28033016/2916000
1044.62/1038.94	c cleaning 73889 clauses out of 310112 with flag 28956034/2993000
1087.50/1081.63	c cleaning 74774 clauses out of 314223 with flag 29919426/3071000
1137.85/1131.93	c cleaning 76433 clauses out of 318449 with flag 31135441/3150000
1185.97/1179.99	c cleaning 76802 clauses out of 322018 with flag 32123354/3230002
1234.31/1227.83	c cleaning 78038 clauses out of 326214 with flag 33227473/3311000
1286.73/1280.01	c cleaning 79240 clauses out of 330176 with flag 34409326/3393000
1340.48/1333.79	c cleaning 80188 clauses out of 333937 with flag 35543992/3476001
1395.22/1388.35	c cleaning 81083 clauses out of 337748 with flag 36679282/3560000
1452.58/1445.46	c cleaning 82342 clauses out of 341665 with flag 37983173/3645000
1508.23/1501.03	c cleaning 83166 clauses out of 345323 with flag 39164632/3731000
1571.08/1563.76	c cleaning 83945 clauses out of 349157 with flag 40577091/3818000
1626.82/1619.29	c cleaning 85423 clauses out of 353213 with flag 41879066/3906001
1683.99/1676.27	c cleaning 86339 clauses out of 356789 with flag 43000390/3995000
1745.90/1738.00	c cleaning 87599 clauses out of 360451 with flag 44255061/4085001
1809.51/1801.34	c cleaning 88342 clauses out of 363851 with flag 45521137/4176000
1875.21/1866.37	c cleaning 89437 clauses out of 367509 with flag 46775473/4268001
1940.42/1931.47	c cleaning 90453 clauses out of 371070 with flag 48000416/4361000
2003.53/1994.41	c cleaning 91440 clauses out of 374616 with flag 49242139/4455000
2083.44/2074.13	c cleaning 92639 clauses out of 378177 with flag 50885728/4550002
2159.92/2150.62	c cleaning 93739 clauses out of 381537 with flag 52541815/4646001
2246.44/2236.98	c cleaning 94752 clauses out of 384800 with flag 54428828/4743003
2326.06/2316.36	c cleaning 95829 clauses out of 388045 with flag 56163514/4841000
2400.28/2390.38	c cleaning 96653 clauses out of 391216 with flag 57587564/4940000
2476.08/2465.93	c cleaning 97983 clauses out of 394563 with flag 59263720/5040000
2549.35/2539.00	c cleaning 98708 clauses out of 397582 with flag 60627168/5141002
2638.53/2627.91	c cleaning 99618 clauses out of 400874 with flag 62426013/5243002
2739.54/2728.70	c cleaning 100568 clauses out of 404256 with flag 64614150/5346002
2841.61/2829.94	c cleaning 101989 clauses out of 407686 with flag 66776648/5450000
2937.32/2925.23	c cleaning 103332 clauses out of 410697 with flag 68595059/5555000
3025.00/3012.83	c cleaning 103750 clauses out of 413366 with flag 70223101/5661002
3142.17/3129.97	c cleaning 104499 clauses out of 416614 with flag 72530652/5768000
3246.98/3235.18	c cleaning 106325 clauses out of 420115 with flag 74702020/5876000
3334.08/3322.16	c cleaning 106782 clauses out of 422790 with flag 76180468/5985000
3423.66/3411.98	c cleaning 107733 clauses out of 426008 with flag 77798944/6095001
3514.82/3502.88	c cleaning 108921 clauses out of 429275 with flag 79374678/6206001
3600.06/3588.12	c starts		: 58350
3600.06/3588.12	c timeout
3600.06/3588.12	c conflicts		: 6309501
3600.06/3588.12	c decisions		: 94333883
3600.06/3588.12	c propagations		: 2292896879
3600.06/3588.12	c inspects		: 28732590422
3600.06/3588.12	c shortcuts		: 0
3600.06/3588.12	c learnt literals	: 60
3600.06/3588.12	c learnt binary clauses	: 115167
3600.06/3588.12	c learnt ternary clauses	: 125743
3600.06/3588.12	c learnt constraints	: 6309441
3600.06/3588.12	c ignored constraints	: 0
3600.06/3588.12	c root simplifications	: 0
3600.06/3588.12	c removed literals (reason simplification)	: 0
3600.06/3588.12	c reason swapping (by a shorter reason)	: 0
3600.06/3588.12	c Calls to reduceDB	: 107
3600.06/3588.12	c Number of update (reduction) of LBD	: 5606996
3600.06/3588.12	c Imported unit clauses	: 0
3600.06/3588.12	c No decision after first conflict	: false
3600.06/3588.12	c number of reductions to clauses (during analyze)	: 0
3600.06/3588.12	c number of learned constraints concerned by reduction	: 0
3600.06/3588.12	c number of learning phase by resolution	: 0
3600.06/3588.12	c number of learning phase by cutting planes	: 0
3600.06/3588.12	c number of rounding to 1 operations	: 0
3600.06/3588.12	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3588.12	c number of reductions of the coefficients by power 2 	: 0
3600.06/3588.12	c number of right shift for reduction by power 2 	: 0
3600.06/3588.12	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3588.12	c number of ending skipping 	: 0
3600.06/3588.12	c number of internal skipping 	: 0
3600.06/3588.12	c number of derivation steps 	: 0
3600.06/3588.12	c number of skipped derivation steps 	: 0
3600.06/3588.12	c number of remaining unassigned 	: 0
3600.06/3588.12	c number of remaining assigned 	: 0
3600.06/3588.12	c number of falsified literals weakened from reason	: 0
3600.06/3588.12	c number of falsified literals weakened from conflict	: 0
3600.06/3588.12	c time for arithmetic operations	: 0
3600.06/3588.13	c minimum degree of deleted constraints	: null
3600.06/3588.13	c maximum degree of deleted constraints	: null
3600.06/3588.13	c number of deleted constraints	: 0
3600.06/3588.13	c speed (assignments/second)	: 639072.4918621202
3600.06/3588.13	c non guided choices	: 4368
3600.20/3588.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 308687
3600.20/3588.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 115167
3600.20/3588.21	s UNKNOWN
3600.20/3588.21	c Total wall clock time (in seconds): 3588.087

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

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

solver pid=986302, runsolver pid=986299

[startup+0.100989 s]*
/proc/loadavg: 4.28 4.20 4.14 7/328 986320
/proc/meminfo: memFree=122193440/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=18975048 memory=62632 CPUtime=0.14 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 7214 0 0 0 12 2 0 0 20 0 18 0 186639976 19430449152 15658 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4743762 15658 5541 1 0 549335 0
[pid=986302/tid=986304] ppid=986299 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/986302/task/986304/stat : 986304 (java) R 986299 986302 984125 0 -1 4194368 5739 0 0 0 7 1 0 0 20 0 18 0 186639976 19430449152 15658 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986313] ppid=986299 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/986302/task/986313/stat : 986313 (Finalizer) S 986299 986302 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186639979 19430449152 15658 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986320] ppid=986299 vsize=18975048 memory=14971178779437607 CPUtime=0 cores=1,3
/proc/986302/task/986320/stat : 986320 (Common-Cleaner) S 986299 986302 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186639979 19430449152 15658 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62632 KiB

[startup+0.20653 s]*
/proc/loadavg: 4.28 4.20 4.14 8/328 986320
/proc/meminfo: memFree=122181128/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=18975048 memory=76392 CPUtime=0.33 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 7906 0 0 0 31 2 0 0 20 0 18 0 186639976 19430449152 19098 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4743762 19098 5836 1 0 549772 0
[pid=986302/tid=986304] ppid=986299 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/986302/task/986304/stat : 986304 (java) R 986299 986302 984125 0 -1 4194368 5901 0 0 0 16 2 0 0 20 0 18 0 186639976 19430449152 19098 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986313] ppid=986299 vsize=18975048 memory=15997 CPUtime=0 cores=1,3
/proc/986302/task/986313/stat : 986313 (Finalizer) S 986299 986302 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186639979 19430449152 19098 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986320] ppid=986299 vsize=18975048 memory=14689703802701563 CPUtime=0 cores=1,3
/proc/986302/task/986320/stat : 986320 (Common-Cleaner) S 986299 986302 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186639979 19430449152 19098 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 76392 KiB

[startup+0.308002 s]*
/proc/loadavg: 4.28 4.20 4.14 7/329 986321
/proc/meminfo: memFree=122158160/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=19041612 memory=98336 CPUtime=0.51 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 9212 0 0 0 48 3 0 0 20 0 19 0 186639976 19498610688 24584 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4760403 24584 5836 1 0 550872 0
[pid=986302/tid=986304] ppid=986299 vsize=19041612 memory=-8526554783531967164 CPUtime=0.25 cores=1,3
/proc/986302/task/986304/stat : 986304 (java) R 986299 986302 984125 0 -1 4194368 5960 0 0 0 23 2 0 0 20 0 19 0 186639976 19498610688 24584 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986313] ppid=986299 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/986302/task/986313/stat : 986313 (Finalizer) S 986299 986302 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186639979 19498610688 24584 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986320] ppid=986299 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/986302/task/986320/stat : 986320 (Common-Cleaner) S 986299 986302 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 186639979 19498610688 24584 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986321] ppid=986299 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/986302/task/986321/stat : 986321 (Timer-0) S 986299 986302 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186640004 19498610688 24584 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98336 KiB

[startup+0.700543 s]
/proc/loadavg: 4.28 4.20 4.14 9/329 986321
/proc/meminfo: memFree=122149228/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=19041612 memory=105608 CPUtime=1.28 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 11218 0 0 0 124 4 0 0 20 0 19 0 186639976 19498610688 26402 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4760403 26402 5852 1 0 552107 0
[pid=986302/tid=986304] ppid=986299 vsize=19041612 memory=13184 CPUtime=0.61 cores=1,3
/proc/986302/task/986304/stat : 986304 (java) R 986299 986302 984125 0 -1 4194368 5986 0 0 0 59 2 0 0 20 0 19 0 186639976 19498610688 26402 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986313] ppid=986299 vsize=19041612 memory=13184 CPUtime=0 cores=1,3
/proc/986302/task/986313/stat : 986313 (Finalizer) S 986299 986302 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186639979 19498610688 26402 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986320] ppid=986299 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/986302/task/986320/stat : 986320 (Common-Cleaner) S 986299 986302 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 186639979 19498610688 26402 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986321] ppid=986299 vsize=19041612 memory=32812 CPUtime=0 cores=1,3
/proc/986302/task/986321/stat : 986321 (Timer-0) S 986299 986302 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186640004 19498610688 26402 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 105608 KiB

[startup+1.50054 s]
/proc/loadavg: 4.28 4.20 4.14 5/329 986321
/proc/meminfo: memFree=122140412/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=19041612 memory=142204 CPUtime=2.7 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 20880 0 0 0 264 6 0 0 20 0 19 0 186639976 19498610688 35551 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4760403 35551 5852 1 0 555418 0
[pid=986302/tid=986304] ppid=986299 vsize=19041612 memory=13184 CPUtime=1.4 cores=1,3
/proc/986302/task/986304/stat : 986304 (java) R 986299 986302 984125 0 -1 4194368 6204 0 0 0 137 3 0 0 20 0 19 0 186639976 19498610688 35551 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986313] ppid=986299 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/986302/task/986313/stat : 986313 (Finalizer) S 986299 986302 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186639979 19498610688 35551 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986320] ppid=986299 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/986302/task/986320/stat : 986320 (Common-Cleaner) S 986299 986302 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 186639979 19498610688 35551 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986321] ppid=986299 vsize=19041612 memory=65 CPUtime=0 cores=1,3
/proc/986302/task/986321/stat : 986321 (Timer-0) S 986299 986302 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186640004 19498610688 35551 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 142204 KiB

[startup+3.10553 s]
/proc/loadavg: 4.28 4.20 4.14 5/329 986321
/proc/meminfo: memFree=122084296/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=19041612 memory=177196 CPUtime=4.56 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 21681 0 0 0 450 6 0 0 20 0 19 0 186639976 19498610688 44299 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4760403 44299 5852 1 0 555419 0
[pid=986302/tid=986304] ppid=986299 vsize=19041612 memory=0 CPUtime=2.99 cores=1,3
/proc/986302/task/986304/stat : 986304 (java) R 986299 986302 984125 0 -1 4194368 6737 0 0 0 296 3 0 0 20 0 19 0 186639976 19498610688 44299 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986313] ppid=986299 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/986302/task/986313/stat : 986313 (Finalizer) S 986299 986302 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186639979 19498610688 44299 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986320] ppid=986299 vsize=19041612 memory=148464 CPUtime=0 cores=1,3
/proc/986302/task/986320/stat : 986320 (Common-Cleaner) S 986299 986302 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 186639979 19498610688 44299 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986321] ppid=986299 vsize=19041612 memory=13184 CPUtime=0 cores=1,3
/proc/986302/task/986321/stat : 986321 (Timer-0) S 986299 986302 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186640004 19498610688 44299 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
Current children cumulated CPU time: 4.56 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 177196 KiB

[startup+6.30053 s]
/proc/loadavg: 4.26 4.19 4.14 7/328 986388
/proc/meminfo: memFree=128188332/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=19108176 memory=187560 CPUtime=7.75 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 22968 0 0 0 768 7 0 0 20 0 20 0 186639976 19566772224 46890 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4777044 46890 5900 1 0 555724 0
[pid=986302/tid=986304] ppid=986299 vsize=19108176 memory=13184 CPUtime=6.14 cores=1,3
/proc/986302/task/986304/stat : 986304 (java) R 986299 986302 984125 0 -1 4194368 6818 0 0 0 611 3 0 0 20 0 20 0 186639976 19566772224 46890 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986313] ppid=986299 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/986302/task/986313/stat : 986313 (Finalizer) S 986299 986302 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 46890 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986320] ppid=986299 vsize=19108176 memory=5937263178633271641 CPUtime=0 cores=1,3
/proc/986302/task/986320/stat : 986320 (Common-Cleaner) S 986299 986302 984125 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 46890 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986321] ppid=986299 vsize=19108176 memory=5472 CPUtime=0 cores=1,3
/proc/986302/task/986321/stat : 986321 (Timer-0) S 986299 986302 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186640004 19566772224 46890 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
Current children cumulated CPU time: 7.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187560 KiB

[startup+12.7002 s]
/proc/loadavg: 4.24 4.19 4.14 5/330 986391
/proc/meminfo: memFree=128072728/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=19108176 memory=255768 CPUtime=14.16 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 26887 0 0 0 1407 9 0 0 20 0 20 0 186639976 19566772224 63942 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4777044 63942 5929 1 0 555724 0
[pid=986302/tid=986304] ppid=986299 vsize=19108176 memory=0 CPUtime=12.42 cores=1,3
/proc/986302/task/986304/stat : 986304 (java) R 986299 986302 984125 0 -1 4194368 7909 0 0 0 1239 3 0 0 20 0 20 0 186639976 19566772224 63942 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986313] ppid=986299 vsize=19108176 memory=194160 CPUtime=0 cores=1,3
/proc/986302/task/986313/stat : 986313 (Finalizer) S 986299 986302 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 63942 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986320] ppid=986299 vsize=19108176 memory=187560 CPUtime=0 cores=1,3
/proc/986302/task/986320/stat : 986320 (Common-Cleaner) S 986299 986302 984125 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 63942 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986321] ppid=986299 vsize=19108176 memory=2612 CPUtime=0 cores=1,3
/proc/986302/task/986321/stat : 986321 (Timer-0) S 986299 986302 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186640004 19566772224 63942 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
Current children cumulated CPU time: 14.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 255768 KiB

[startup+25.5005 s]
/proc/loadavg: 4.25 4.20 4.14 5/330 986393
/proc/meminfo: memFree=127632168/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=19108176 memory=395108 CPUtime=27.04 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 30768 0 0 0 2692 12 0 0 20 0 20 0 186639976 19566772224 98777 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4777044 98777 5929 1 0 555724 0
[pid=986302/tid=986304] ppid=986299 vsize=19108176 memory=2612 CPUtime=24.99 cores=1,3
/proc/986302/task/986304/stat : 986304 (java) R 986299 986302 984125 0 -1 4194368 8999 0 0 0 2496 3 0 0 20 0 20 0 186639976 19566772224 98777 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986313] ppid=986299 vsize=19108176 memory=-8526554783531967164 CPUtime=0 cores=1,3
/proc/986302/task/986313/stat : 986313 (Finalizer) S 986299 986302 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 98777 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986320] ppid=986299 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/986302/task/986320/stat : 986320 (Common-Cleaner) S 986299 986302 984125 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 98777 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986321] ppid=986299 vsize=19108176 memory=187560 CPUtime=0 cores=1,3
/proc/986302/task/986321/stat : 986321 (Timer-0) S 986299 986302 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186640004 19566772224 98777 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
Current children cumulated CPU time: 27.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 395108 KiB

[startup+51.1055 s]
/proc/loadavg: 4.17 4.18 4.14 5/330 986397
/proc/meminfo: memFree=126390036/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=19108176 memory=747412 CPUtime=52.86 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 35048 0 0 0 5266 20 0 0 20 0 20 0 186639976 19566772224 186853 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4777044 186853 5929 1 0 555724 0
[pid=986302/tid=986304] ppid=986299 vsize=19108176 memory=747412 CPUtime=50.11 cores=1,3

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

[startup+3282.3 s]
/proc/loadavg: 4.22 4.22 4.19 5/333 988179
/proc/meminfo: memFree=100764460/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=19108176 memory=7862756 CPUtime=3294.26 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 334416 0 0 0 329152 274 0 0 20 0 20 0 186639976 19566772224 1965689 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4777044 1965689 5929 1 0 2658730 0
[pid=986302/tid=986304] ppid=986299 vsize=19108176 memory=13184 CPUtime=3251.24 cores=1,3
/proc/986302/task/986304/stat : 986304 (java) R 986299 986302 984125 0 -1 4194368 138411 0 0 0 325072 52 0 0 20 0 20 0 186639976 19566772224 1965689 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986313] ppid=986299 vsize=19108176 memory=7862756 CPUtime=0 cores=1,3
/proc/986302/task/986313/stat : 986313 (Finalizer) S 986299 986302 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 1965689 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986320] ppid=986299 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/986302/task/986320/stat : 986320 (Common-Cleaner) S 986299 986302 984125 0 -1 1077936192 3552 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 1965689 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986321] ppid=986299 vsize=19108176 memory=7862756 CPUtime=0 cores=1,3
/proc/986302/task/986321/stat : 986321 (Timer-0) S 986299 986302 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186640004 19566772224 1965689 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
Current children cumulated CPU time: 3294.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7862756 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.22 4.19 5/333 988189
/proc/meminfo: memFree=100708236/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=19108176 memory=7862756 CPUtime=3354.08 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 337864 0 0 0 335132 276 0 0 20 0 20 0 186639976 19566772224 1965689 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4777044 1965689 5929 1 0 2658730 0
[pid=986302/tid=986304] ppid=986299 vsize=19108176 memory=11588 CPUtime=3310.32 cores=1,3
/proc/986302/task/986304/stat : 986304 (java) R 986299 986302 984125 0 -1 4194368 140902 0 0 0 330980 52 0 0 20 0 20 0 186639976 19566772224 1965689 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986313] ppid=986299 vsize=19108176 memory=7862756 CPUtime=0 cores=1,3
/proc/986302/task/986313/stat : 986313 (Finalizer) S 986299 986302 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 1965689 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986320] ppid=986299 vsize=19108176 memory=7862756 CPUtime=0 cores=1,3
/proc/986302/task/986320/stat : 986320 (Common-Cleaner) S 986299 986302 984125 0 -1 1077936192 3683 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 1965689 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986321] ppid=986299 vsize=19108176 memory=19660 CPUtime=0 cores=1,3
/proc/986302/task/986321/stat : 986321 (Timer-0) S 986299 986302 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186640004 19566772224 1965689 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
Current children cumulated CPU time: 3354.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7862756 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.21 4.18 5/334 988202
/proc/meminfo: memFree=100616408/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=19108176 memory=7862760 CPUtime=3414.09 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 343429 0 0 0 341131 278 0 0 20 0 20 0 186639976 19566772224 1965690 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4777044 1965690 5929 1 0 2658730 0
[pid=986302/tid=986304] ppid=986299 vsize=19108176 memory=7862756 CPUtime=3369.82 cores=1,3
/proc/986302/task/986304/stat : 986304 (java) R 986299 986302 984125 0 -1 4194368 143060 0 0 0 336930 52 0 0 20 0 20 0 186639976 19566772224 1965690 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986313] ppid=986299 vsize=19108176 memory=7862760 CPUtime=0 cores=1,3
/proc/986302/task/986313/stat : 986313 (Finalizer) S 986299 986302 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 1965690 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986320] ppid=986299 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/986302/task/986320/stat : 986320 (Common-Cleaner) S 986299 986302 984125 0 -1 1077936192 3814 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 1965690 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986321] ppid=986299 vsize=19108176 memory=-8526554783531967164 CPUtime=0 cores=1,3
/proc/986302/task/986321/stat : 986321 (Timer-0) S 986299 986302 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186640004 19566772224 1965690 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
Current children cumulated CPU time: 3414.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7862760 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.21 4.18 5/334 988212
/proc/meminfo: memFree=100615352/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=19108176 memory=7862760 CPUtime=3474.41 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 351196 0 0 0 347160 281 0 0 20 0 20 0 186639976 19566772224 1965690 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4777044 1965690 5929 1 0 2658730 0
[pid=986302/tid=986304] ppid=986299 vsize=19108176 memory=7862756 CPUtime=3429.12 cores=1,3
/proc/986302/task/986304/stat : 986304 (java) R 986299 986302 984125 0 -1 4194368 145722 0 0 0 342859 53 0 0 20 0 20 0 186639976 19566772224 1965690 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986313] ppid=986299 vsize=19108176 memory=13184 CPUtime=0 cores=1,3
/proc/986302/task/986313/stat : 986313 (Finalizer) S 986299 986302 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 1965690 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986320] ppid=986299 vsize=19108176 memory=7862760 CPUtime=0 cores=1,3
/proc/986302/task/986320/stat : 986320 (Common-Cleaner) S 986299 986302 984125 0 -1 1077936192 3948 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 1965690 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986321] ppid=986299 vsize=19108176 memory=7862760 CPUtime=0 cores=1,3
/proc/986302/task/986321/stat : 986321 (Timer-0) S 986299 986302 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186640004 19566772224 1965690 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
Current children cumulated CPU time: 3474.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7862760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/331 988222
/proc/meminfo: memFree=100384820/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=19108176 memory=7862760 CPUtime=3534.26 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 354356 0 0 0 353143 283 0 0 20 0 20 0 186639976 19566772224 1965690 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4777044 1965690 5929 1 0 2658730 0
[pid=986302/tid=986304] ppid=986299 vsize=19108176 memory=7862760 CPUtime=3488.94 cores=1,3
/proc/986302/task/986304/stat : 986304 (java) R 986299 986302 984125 0 -1 4194368 148653 0 0 0 348841 53 0 0 20 0 20 0 186639976 19566772224 1965690 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986313] ppid=986299 vsize=19108176 memory=7862760 CPUtime=0 cores=1,3
/proc/986302/task/986313/stat : 986313 (Finalizer) S 986299 986302 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 1965690 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986320] ppid=986299 vsize=19108176 memory=7862760 CPUtime=0 cores=1,3
/proc/986302/task/986320/stat : 986320 (Common-Cleaner) S 986299 986302 984125 0 -1 1077936192 4080 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 1965690 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986321] ppid=986299 vsize=19108176 memory=7862760 CPUtime=0 cores=1,3
/proc/986302/task/986321/stat : 986321 (Timer-0) S 986299 986302 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186640004 19566772224 1965690 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
Current children cumulated CPU time: 3534.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7862760 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.20 4.18 5/331 988233
/proc/meminfo: memFree=100183152/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=19108176 memory=7864808 CPUtime=3594.27 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 359111 0 0 0 359142 285 0 0 20 0 20 0 186639976 19566772224 1966202 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4777044 1966202 5929 1 0 2658730 0
[pid=986302/tid=986304] ppid=986299 vsize=19108176 memory=7862760 CPUtime=3548.55 cores=1,3
/proc/986302/task/986304/stat : 986304 (java) R 986299 986302 984125 0 -1 4194368 151268 0 0 0 354802 53 0 0 20 0 20 0 186639976 19566772224 1966202 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986313] ppid=986299 vsize=19108176 memory=7864808 CPUtime=0 cores=1,3
/proc/986302/task/986313/stat : 986313 (Finalizer) S 986299 986302 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 1966202 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986320] ppid=986299 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/986302/task/986320/stat : 986320 (Common-Cleaner) S 986299 986302 984125 0 -1 1077936192 4213 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 1966202 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986321] ppid=986299 vsize=19108176 memory=43852 CPUtime=0 cores=1,3
/proc/986302/task/986321/stat : 986321 (Timer-0) S 986299 986302 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186640004 19566772224 1966202 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
Current children cumulated CPU time: 3594.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7864808 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3588.11 s]
/proc/loadavg: 4.17 4.19 4.18 4/309 988252
/proc/meminfo: memFree=106652824/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=19108176 memory=7864808 CPUtime=3600.06 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 359219 0 0 0 359721 285 0 0 20 0 20 0 186639976 19566772224 1966202 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4777044 1966202 5929 1 0 2658730 0
[pid=986302/tid=986304] ppid=986299 vsize=19108176 memory=7864808 CPUtime=3554.34 cores=1,3
/proc/986302/task/986304/stat : 986304 (java) R 986299 986302 984125 0 -1 4194368 151376 0 0 0 355381 53 0 0 20 0 20 0 186639976 19566772224 1966202 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986313] ppid=986299 vsize=19108176 memory=7862760 CPUtime=0 cores=1,3
/proc/986302/task/986313/stat : 986313 (Finalizer) S 986299 986302 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 1966202 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986320] ppid=986299 vsize=19108176 memory=349603 CPUtime=0 cores=1,3
/proc/986302/task/986320/stat : 986320 (Common-Cleaner) S 986299 986302 984125 0 -1 1077936192 4213 0 0 0 0 0 0 0 20 0 20 0 186639979 19566772224 1966202 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986321] ppid=986299 vsize=19108176 memory=43852 CPUtime=0 cores=1,3
/proc/986302/task/986321/stat : 986321 (Timer-0) S 986299 986302 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186640004 19566772224 1966202 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7864808 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.36 s, system=2.88462 s

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

[startup+3588.2 s]
/proc/loadavg: 4.17 4.19 4.18 4/309 988252
/proc/meminfo: memFree=106652824/131524600 swapFree=131071996/131071996
[pid=986302] ppid=986299 vsize=19307868 memory=7865700 CPUtime=3600.2 cores=1,3
/proc/986302/stat : 986302 (java) S 986299 986302 984125 0 -1 1077936128 362375 0 0 0 359735 285 0 0 20 0 21 0 186639976 19771256832 1966425 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
/proc/986302/statm: 4826967 1966425 5928 1 0 2659673 0
[pid=986302/tid=986304] ppid=986299 vsize=19307868 memory=6479268 CPUtime=3554.35 cores=1,3
/proc/986302/task/986304/stat : 986304 (java) S 986299 986302 984125 0 -1 1077936192 151490 0 0 0 355382 53 0 0 20 0 21 0 186639976 19771256832 1966425 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986313] ppid=986299 vsize=19307868 memory=2824 CPUtime=0 cores=1,3
/proc/986302/task/986313/stat : 986313 (Finalizer) S 986299 986302 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 186639979 19771256832 1966425 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
[pid=986302/tid=986320] ppid=986299 vsize=19307868 memory=4956 CPUtime=0 cores=1,3
/proc/986302/task/986320/stat : 986320 (Common-Cleaner) S 986299 986302 984125 0 -1 1077936192 4213 0 0 0 0 0 0 0 20 0 21 0 186639979 19771256832 1966425 134679101440 94875893075968 94875893079664 140720768665040 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94875893087480 94875893088272 94875917615104 140720768668678 140720768668768 140720768668768 140720768675784 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 7865700 KiB

Child status: 143

Real time (s): 3588.24
CPU time (s): 3600.25
CPU user time (s): 3597.36
CPU system time (s): 2.88462
CPU usage (%): 100.335
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 7865700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.36
system time used= 2.88462
maximum resident set size= 7866504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362796
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109526
involuntary context switches= 9453


# summary of solver processes directly reported to runsolver:
#   pid: 986302
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3597.36
#   total CPU system time (s): 2.88462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.35773 second user time and 18.8209 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-19 01:18:24
IDJOB=4446914
IDBENCH=158339
IDSOLVER=3058
FILE ID=nodeC035/4446914-1721344691
RUNJOBID= nodeC035-1721341105-984137
SLURM_JOB_ID= 7542728
Free space on /tmp= 890060 MiB

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

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

MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418
RANDOM SEED=621290476

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.933
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		: 3656.759
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		: 3664.107
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		: 3662.706
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		: 3599.766
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		: 3602.874
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:        122235556 kB
MemAvailable:   123191868 kB
Buffers:          487564 kB
Cached:          1301684 kB
SwapCached:            0 kB
Active:           954756 kB
Inactive:        7703172 kB
Active(anon):       1536 kB
Inactive(anon):  6904872 kB
Active(file):     953220 kB
Inactive(file):   798300 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6796 kB
Writeback:             0 kB
AnonPages:       6868468 kB
Mapped:           126560 kB
Shmem:             37724 kB
KReclaimable:      89232 kB
Slab:             200484 kB
SReclaimable:      89232 kB
SUnreclaim:       111252 kB
KernelStack:        4992 kB
PageTables:        23408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   11681456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            70528 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6541312 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

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