Trace number 4446494

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.32 3581.4

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K185.opb
MD5SUM8e923d8a993edfc65d984f909d6bfa9e
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 benchmark43.2702
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22015
Total number of constraints22387
Number of constraints which are clauses22202
Number of constraints which are cardinality constraints (but not clauses)185
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint185
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 186
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.10/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.13	c See www.sat4j.org for details.
0.10/0.14	c version CUSTOM.v20240707
0.10/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.14	c java.vm.version	22.0.1+8-16
0.10/0.14	c java.vm.vendor	Oracle Corporation
0.10/0.14	c sun.arch.data.model	64
0.10/0.14	c java.version		22.0.1
0.10/0.14	c os.name		Linux
0.10/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.10/0.14	c os.arch		amd64
0.10/0.15	c Free memory 		2115194816
0.10/0.15	c Max memory 		16282288128
0.10/0.15	c Total memory 		2122317824
0.10/0.15	c Number of processors 	2
0.10/0.19	--- Begin Solver configuration ---
0.10/0.19	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.10/0.19	Learn all clauses as in MiniSAT
0.10/0.19	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.19	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.19	No reason simplification
0.10/0.19	Glucose 2.1 dynamic restart strategy
0.10/0.19	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.10/0.19	timeout=2147483s
0.10/0.19	DB Simplification allowed=false
0.10/0.19	Listener: none
0.10/0.19	--- End Solver configuration ---
0.10/0.20	c Pseudo Boolean Optimization by upper bound
0.10/0.20	c --- Begin Solver configuration ---
0.10/0.20	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.10/0.20	c Learn all clauses as in MiniSAT
0.10/0.20	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.20	c No reason simplification
0.10/0.20	c Glucose 2.1 dynamic restart strategy
0.10/0.20	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.10/0.20	c timeout=2147483s
0.10/0.20	c DB Simplification allowed=false
0.10/0.20	c Listener: none
0.10/0.20	c --- End Solver configuration ---
0.10/0.20	c solving HOME/instance-4446494-1721339946.opb
0.10/0.20	c reading problem ... 
0.10/0.20	c  no objective function found
1.17/0.78	c ... done. Wall clock time 0.577s.
1.17/0.79	c declared #vars     22015
1.17/0.79	c #constraints  22387
1.17/0.79	c constraints type 
1.17/0.79	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2392
1.17/0.79	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 185
1.17/0.79	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 19808
1.17/0.79	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
1.17/0.79	c 22387 constraints processed.
4.80/2.96	c cleaning 2487 clauses out of 4999 with flag 22706/5001
7.46/5.14	c cleaning 4230 clauses out of 8501 with flag 55167/11000
10.48/7.97	c cleaning 5584 clauses out of 11265 with flag 94656/18000
12.80/10.28	c cleaning 6793 clauses out of 13675 with flag 137254/26000
15.49/12.92	c cleaning 7810 clauses out of 15880 with flag 182790/35000
18.29/15.75	c cleaning 8003 clauses out of 18063 with flag 234405/45000
21.61/19.09	c cleaning 8895 clauses out of 21058 with flag 287952/56000
24.99/22.47	c cleaning 9700 clauses out of 24161 with flag 349046/68000
28.70/26.20	c cleaning 10429 clauses out of 27462 with flag 411613/81001
33.46/30.86	c cleaning 11125 clauses out of 31032 with flag 482798/95000
38.15/35.59	c cleaning 12170 clauses out of 34906 with flag 558049/110003
43.44/40.76	c cleaning 12727 clauses out of 38733 with flag 637523/126000
48.60/45.89	c cleaning 13889 clauses out of 43005 with flag 727781/143000
54.81/51.92	c cleaning 14643 clauses out of 47115 with flag 821985/161000
61.30/58.32	c cleaning 15258 clauses out of 51469 with flag 919450/180000
67.79/64.89	c cleaning 16240 clauses out of 56210 with flag 1023230/200000
75.57/72.51	c cleaning 16820 clauses out of 60970 with flag 1134932/221000
84.16/81.01	c cleaning 17581 clauses out of 66149 with flag 1254177/243000
93.15/89.92	c cleaning 18379 clauses out of 71567 with flag 1378162/266000
102.43/99.14	c cleaning 19655 clauses out of 77187 with flag 1507859/290000
111.61/108.35	c cleaning 20316 clauses out of 82536 with flag 1645840/315004
122.18/118.86	c cleaning 21149 clauses out of 88215 with flag 1791572/341000
133.36/129.90	c cleaning 21706 clauses out of 94066 with flag 1943222/368001
144.92/141.45	c cleaning 22579 clauses out of 100358 with flag 2096448/396000
157.79/154.26	c cleaning 23145 clauses out of 106780 with flag 2256130/425001
171.66/167.53	c cleaning 24293 clauses out of 113634 with flag 2416602/455001
185.24/181.02	c cleaning 25368 clauses out of 120341 with flag 2596689/486001
200.31/196.08	c cleaning 25972 clauses out of 126977 with flag 2780784/518005
215.53/211.29	c cleaning 26918 clauses out of 134002 with flag 2968159/551002
231.63/227.25	c cleaning 27782 clauses out of 141082 with flag 3162615/585000
247.71/243.23	c cleaning 28686 clauses out of 148298 with flag 3364888/620001
264.87/260.31	c cleaning 29647 clauses out of 155611 with flag 3571876/656000
283.48/278.82	c cleaning 30553 clauses out of 162962 with flag 3784473/693000
303.63/298.60	c cleaning 31455 clauses out of 170411 with flag 4000762/731002
322.58/317.43	c cleaning 32083 clauses out of 177954 with flag 4221987/770000
342.37/337.18	c cleaning 33264 clauses out of 185871 with flag 4451724/810000
362.69/357.24	c cleaning 33947 clauses out of 193604 with flag 4687632/851001
384.98/379.42	c cleaning 34796 clauses out of 201657 with flag 4937531/893001
408.17/402.59	c cleaning 35598 clauses out of 209857 with flag 5197192/936001
432.39/426.65	c cleaning 36654 clauses out of 218263 with flag 5454852/980006
458.19/451.89	c cleaning 37399 clauses out of 226602 with flag 5726147/1025002
483.41/477.05	c cleaning 38777 clauses out of 235199 with flag 5999324/1071000
509.32/502.72	c cleaning 39562 clauses out of 243422 with flag 6281959/1118001
537.10/530.37	c cleaning 40581 clauses out of 251859 with flag 6574847/1166000
566.08/559.17	c cleaning 41361 clauses out of 260276 with flag 6877624/1215002
594.72/587.64	c cleaning 42003 clauses out of 268914 with flag 7179662/1265004
625.37/618.25	c cleaning 42776 clauses out of 277907 with flag 7487153/1316001
657.42/650.23	c cleaning 43683 clauses out of 287129 with flag 7812539/1368000
691.37/684.08	c cleaning 44914 clauses out of 296445 with flag 8145838/1421000
726.99/718.74	c cleaning 45945 clauses out of 305531 with flag 8484622/1475000
762.33/754.22	c cleaning 46789 clauses out of 314586 with flag 8830996/1530001
801.85/793.71	c cleaning 47179 clauses out of 323793 with flag 9188763/1586000
841.68/833.39	c cleaning 48173 clauses out of 333615 with flag 9551989/1643001
880.76/872.36	c cleaning 49238 clauses out of 343440 with flag 9918660/1701000
920.82/912.13	c cleaning 50390 clauses out of 353202 with flag 10289746/1760000
963.24/954.33	c cleaning 51215 clauses out of 362812 with flag 10675543/1820001
1006.69/997.71	c cleaning 51972 clauses out of 372598 with flag 11083468/1881002
1052.00/1042.82	c cleaning 52947 clauses out of 382623 with flag 11490490/1943000
1098.63/1089.46	c cleaning 54106 clauses out of 392682 with flag 11911812/2006009
1147.43/1137.91	c cleaning 54695 clauses out of 402564 with flag 12332004/2070000
1197.24/1187.56	c cleaning 55797 clauses out of 412867 with flag 12763874/2135000
1248.69/1238.57	c cleaning 56974 clauses out of 423066 with flag 13211073/2201000
1302.57/1292.05	c cleaning 57699 clauses out of 433088 with flag 13662765/2268000
1358.37/1347.76	c cleaning 58526 clauses out of 443388 with flag 14111165/2336001
1414.52/1403.50	c cleaning 59757 clauses out of 453859 with flag 14581770/2405000
1473.10/1461.63	c cleaning 60466 clauses out of 464101 with flag 15054577/2475001
1532.16/1520.59	c cleaning 61245 clauses out of 474634 with flag 15555314/2546002
1593.77/1581.87	c cleaning 62396 clauses out of 485389 with flag 16057151/2618002
1655.43/1643.46	c cleaning 63449 clauses out of 495992 with flag 16554265/2691001
1720.16/1707.97	c cleaning 64031 clauses out of 506542 with flag 17060302/2765001
1786.72/1774.27	c cleaning 65369 clauses out of 517510 with flag 17590729/2840000
1854.91/1842.14	c cleaning 65972 clauses out of 528141 with flag 18116792/2916000
1922.56/1909.73	c cleaning 67377 clauses out of 539170 with flag 18647391/2993001
1993.01/1979.93	c cleaning 67927 clauses out of 549790 with flag 19179470/3071000
2065.50/2052.13	c cleaning 69308 clauses out of 560862 with flag 19742747/3150001
2141.61/2127.75	c cleaning 69944 clauses out of 571553 with flag 20310418/3230000
2220.00/2205.69	c cleaning 70799 clauses out of 582606 with flag 20887067/3311000
2300.89/2286.38	c cleaning 71857 clauses out of 593808 with flag 21472672/3393002
2381.05/2365.97	c cleaning 72845 clauses out of 604948 with flag 22077907/3476000
2464.46/2449.16	c cleaning 73934 clauses out of 616104 with flag 22691585/3560002
2549.91/2534.03	c cleaning 74733 clauses out of 627167 with flag 23319567/3645000
2640.14/2624.22	c cleaning 75640 clauses out of 638429 with flag 23932939/3731001
2731.91/2715.61	c cleaning 76457 clauses out of 649786 with flag 24578645/3818000
2825.47/2809.13	c cleaning 77477 clauses out of 661327 with flag 25226922/3906000
2917.82/2901.14	c cleaning 79073 clauses out of 672850 with flag 25894398/3995000
3015.38/2998.39	c cleaning 79954 clauses out of 683777 with flag 26571165/4085000
3114.13/3097.08	c cleaning 80507 clauses out of 694824 with flag 27254377/4176002
3216.33/3198.90	c cleaning 81479 clauses out of 706314 with flag 27952826/4268000
3321.33/3303.55	c cleaning 82385 clauses out of 717835 with flag 28657609/4361000
3424.65/3406.74	c cleaning 83651 clauses out of 729450 with flag 29371460/4455001
3534.09/3515.93	c cleaning 84721 clauses out of 740797 with flag 30098671/4550000
3600.01/3581.22	c starts		: 26469
3600.01/3581.24	c conflicts		: 4612400
3600.01/3581.24	c decisions		: 200024566
3600.01/3581.24	c propagations		: 4899889608
3600.01/3581.24	c inspects		: 21929449164
3600.01/3581.24	c shortcuts		: 0
3600.01/3581.24	c learnt literals	: 141
3600.01/3581.24	c learnt binary clauses	: 287329
3600.01/3581.24	c learnt ternary clauses	: 242769
3600.01/3581.24	c timeout
3600.01/3581.24	c learnt constraints	: 4612259
3600.01/3581.24	c ignored constraints	: 0
3600.01/3581.24	c root simplifications	: 0
3600.01/3581.24	c removed literals (reason simplification)	: 0
3600.01/3581.24	c reason swapping (by a shorter reason)	: 0
3600.01/3581.24	c Calls to reduceDB	: 91
3600.01/3581.24	c Number of update (reduction) of LBD	: 3118026
3600.01/3581.24	c Imported unit clauses	: 0
3600.01/3581.24	c No decision after first conflict	: false
3600.01/3581.24	c number of reductions to clauses (during analyze)	: 0
3600.01/3581.24	c number of learned constraints concerned by reduction	: 0
3600.01/3581.24	c number of learning phase by resolution	: 0
3600.01/3581.24	c number of learning phase by cutting planes	: 0
3600.01/3581.24	c number of rounding to 1 operations	: 0
3600.01/3581.24	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3581.24	c number of reductions of the coefficients by power 2 	: 0
3600.01/3581.24	c number of right shift for reduction by power 2 	: 0
3600.01/3581.24	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3581.24	c number of ending skipping 	: 0
3600.01/3581.24	c number of internal skipping 	: 0
3600.01/3581.24	c number of derivation steps 	: 0
3600.01/3581.24	c number of skipped derivation steps 	: 0
3600.01/3581.24	c number of remaining unassigned 	: 0
3600.01/3581.24	c number of remaining assigned 	: 0
3600.01/3581.24	c number of falsified literals weakened from reason	: 0
3600.01/3581.24	c number of falsified literals weakened from conflict	: 0
3600.01/3581.24	c time for arithmetic operations	: 0
3600.01/3581.25	c minimum degree of deleted constraints	: null
3600.01/3581.25	c maximum degree of deleted constraints	: null
3600.01/3581.25	c number of deleted constraints	: 0
3600.01/3581.25	c speed (assignments/second)	: 1368514.5216626765
3600.01/3581.25	c non guided choices	: 96358
3600.19/3581.35	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 431147
3600.19/3581.35	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 287329
3600.19/3581.35	s UNKNOWN
3600.19/3581.35	c Total wall clock time (in seconds): 3581.156

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446494-1721339946/watcher-4446494-1721339946 -o /tmp/evaluation-result-4446494-1721339946/solver-4446494-1721339946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721339958-973411 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4446494-1721339946.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=973472, runsolver pid=973466
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.105123 s]*
/proc/loadavg: 3.64 4.05 4.13 9/313 973542
/proc/meminfo: memFree=123939720/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=18975048 memory=55604 CPUtime=0.1 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 6457 0 0 0 7 3 0 0 20 0 18 0 186150398 19430449152 13901 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4743762 13901 5609 1 0 550802 0
[pid=973472/tid=973491] ppid=973466 vsize=18975048 memory=4026531971 CPUtime=0.07 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) R 973466 973472 973401 0 -1 4194368 5403 0 0 0 5 2 0 0 20 0 18 0 186150399 19430449152 13901 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=18975048 memory=3718 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186150405 19430449152 13901 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=18975048 memory=15815599515246110 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186150407 19430449152 13936 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55604 KiB

[startup+0.223113 s]*
/proc/loadavg: 3.64 4.05 4.13 13/313 973542
/proc/meminfo: memFree=123911880/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=18975048 memory=66380 CPUtime=0.28 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 7448 0 0 0 24 4 0 0 20 0 18 0 186150398 19430449152 16595 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4743762 16595 5753 1 0 551610 0
[pid=973472/tid=973491] ppid=973466 vsize=18975048 memory=4782652875487838339 CPUtime=0.16 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) R 973466 973472 973401 0 -1 4194368 5921 0 0 0 13 3 0 0 20 0 18 0 186150399 19430449152 16595 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=18975048 memory=3718 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186150405 19430449152 16595 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=18975048 memory=15815599515246110 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186150407 19430449152 16595 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66380 KiB

[startup+0.314108 s]*
/proc/loadavg: 3.64 4.05 4.13 15/313 973542
/proc/meminfo: memFree=123893100/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=18975048 memory=77916 CPUtime=0.45 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 9259 0 0 0 40 5 0 0 20 0 18 0 186150398 19430449152 19479 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4743762 19479 5837 1 0 552883 0
[pid=973472/tid=973491] ppid=973466 vsize=18975048 memory=-8599173141401739964 CPUtime=0.24 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) R 973466 973472 973401 0 -1 4194368 5932 0 0 0 21 3 0 0 20 0 18 0 186150399 19430449152 19479 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186150405 19430449152 19479 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186150407 19430449152 19479 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 77916 KiB

[startup+0.70611 s]
/proc/loadavg: 3.64 4.05 4.13 13/313 973542
/proc/meminfo: memFree=123818812/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=18975048 memory=150740 CPUtime=1.17 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 10655 0 0 0 109 8 0 0 20 0 18 0 186150398 19430449152 37685 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4743762 37685 5837 1 0 553519 0
[pid=973472/tid=973491] ppid=973466 vsize=18975048 memory=5476 CPUtime=0.57 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) R 973466 973472 973401 0 -1 4194368 6000 0 0 0 51 6 0 0 20 0 18 0 186150399 19430449152 37685 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=18975048 memory=12320 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186150405 19430449152 37685 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186150407 19430449152 37685 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 150740 KiB

[startup+1.50111 s]
/proc/loadavg: 3.64 4.05 4.13 14/319 973548
/proc/meminfo: memFree=123479824/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=19108176 memory=192944 CPUtime=2.74 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 24664 0 0 0 263 11 0 0 20 0 20 0 186150398 19566772224 48236 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4777044 48236 5901 1 0 558909 0
[pid=973472/tid=973491] ppid=973466 vsize=19108176 memory=12320 CPUtime=1.26 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) R 973466 973472 973401 0 -1 4194368 6082 0 0 0 120 6 0 0 20 0 20 0 186150399 19566772224 48236 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 48236 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186150407 19566772224 48236 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973545] ppid=973466 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/973472/task/973545/stat : 973545 (Timer-0) S 973466 973472 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150479 19566772224 48236 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192944 KiB

[startup+3.10611 s]
/proc/loadavg: 3.64 4.05 4.13 7/322 973557
/proc/meminfo: memFree=124298636/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=19108176 memory=189340 CPUtime=5.2 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 27427 0 0 0 509 11 0 0 20 0 20 0 186150398 19566772224 47335 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4777044 47335 5901 1 0 558959 0
[pid=973472/tid=973491] ppid=973466 vsize=19108176 memory=0 CPUtime=2.84 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) R 973466 973472 973401 0 -1 4194368 7591 0 0 0 278 6 0 0 20 0 20 0 186150399 19566772224 47335 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=19108176 memory=12720 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 47335 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186150407 19566772224 47335 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973545] ppid=973466 vsize=19108176 memory=12320 CPUtime=0 cores=0,2
/proc/973472/task/973545/stat : 973545 (Timer-0) S 973466 973472 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150479 19566772224 47335 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
Current children cumulated CPU time: 5.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189340 KiB

[startup+6.3004 s]
/proc/loadavg: 3.67 4.05 4.13 7/322 973559
/proc/meminfo: memFree=124262776/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=19108176 memory=195772 CPUtime=8.87 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 29259 0 0 0 875 12 0 0 20 0 20 0 186150398 19566772224 48943 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4777044 48943 5917 1 0 559205 0
[pid=973472/tid=973491] ppid=973466 vsize=19108176 memory=0 CPUtime=6.01 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) R 973466 973472 973401 0 -1 4194368 7659 0 0 0 595 6 0 0 20 0 20 0 186150399 19566772224 48943 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=19108176 memory=12320 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 48943 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=19108176 memory=12720 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186150407 19566772224 48943 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973545] ppid=973466 vsize=19108176 memory=45680 CPUtime=0 cores=0,2
/proc/973472/task/973545/stat : 973545 (Timer-0) S 973466 973472 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150479 19566772224 48943 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
Current children cumulated CPU time: 8.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195772 KiB

[startup+12.7004 s]
/proc/loadavg: 3.78 4.07 4.13 6/322 973559
/proc/meminfo: memFree=124245832/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=19108176 memory=195256 CPUtime=15.29 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 32963 0 0 0 1516 13 0 0 20 0 20 0 186150398 19566772224 48814 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4777044 48814 5933 1 0 559205 0
[pid=973472/tid=973491] ppid=973466 vsize=19108176 memory=195248 CPUtime=12.31 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) R 973466 973472 973401 0 -1 4194368 8606 0 0 0 1225 6 0 0 20 0 20 0 186150399 19566772224 48814 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=19108176 memory=195248 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 48814 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=19108176 memory=12320 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 186150407 19566772224 48814 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973545] ppid=973466 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/973472/task/973545/stat : 973545 (Timer-0) S 973466 973472 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150479 19566772224 48814 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
Current children cumulated CPU time: 15.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195256 KiB

[startup+25.5005 s]
/proc/loadavg: 3.91 4.08 4.14 6/321 973562
/proc/meminfo: memFree=123967788/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=19108176 memory=234276 CPUtime=28.09 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 35244 0 0 0 2795 14 0 0 20 0 20 0 186150398 19566772224 58569 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4777044 58569 5933 1 0 559205 0
[pid=973472/tid=973491] ppid=973466 vsize=19108176 memory=195264 CPUtime=24.92 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) R 973466 973472 973401 0 -1 4194368 9670 0 0 0 2486 6 0 0 20 0 20 0 186150399 19566772224 58569 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=19108176 memory=234276 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 58569 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=19108176 memory=12720 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 186150407 19566772224 58569 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973545] ppid=973466 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/973472/task/973545/stat : 973545 (Timer-0) S 973466 973472 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150479 19566772224 58569 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
Current children cumulated CPU time: 28.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 234276 KiB

[startup+51.1141 s]
/proc/loadavg: 4.14 4.12 4.15 6/321 973565
/proc/meminfo: memFree=122972528/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=19108176 memory=458084 CPUtime=54.03 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 43172 0 0 0 5381 22 0 0 20 0 20 0 186150398 19566772224 114521 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4777044 114521 5936 1 0 559221 0
[pid=973472/tid=973491] ppid=973466 vsize=19108176 memory=384276 CPUtime=49.92 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) R 973466 973472 973401 0 -1 4194368 11793 0 0 0 4986 6 0 0 20 0 20 0 186150399 19566772224 114521 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=19108176 memory=306312 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 114521 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=19108176 memory=12720 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 186150407 19566772224 114521 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0

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

[startup+3222.3 s]
/proc/loadavg: 4.18 4.16 4.15 6/320 975295
/proc/meminfo: memFree=103958752/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=19108176 memory=4917128 CPUtime=3239.95 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 200886 0 0 0 323701 294 0 0 20 0 20 0 186150398 19566772224 1229282 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4777044 1229282 5936 1 0 1496497 0
[pid=973472/tid=973491] ppid=973466 vsize=19108176 memory=4613012 CPUtime=3189.02 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) R 973466 973472 973401 0 -1 4194368 76856 0 0 0 318876 26 0 0 20 0 20 0 186150399 19566772224 1229282 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=19108176 memory=4746780 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 1229282 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=19108176 memory=4746780 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 1751 0 0 0 0 0 0 0 20 0 20 0 186150407 19566772224 1229282 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973545] ppid=973466 vsize=19108176 memory=4746780 CPUtime=0 cores=0,2
/proc/973472/task/973545/stat : 973545 (Timer-0) S 973466 973472 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150479 19566772224 1229282 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
Current children cumulated CPU time: 3239.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4917128 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.18 4.15 6/320 975305
/proc/meminfo: memFree=103496532/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=19108176 memory=4917128 CPUtime=3299.81 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 201731 0 0 0 329684 297 0 0 20 0 20 0 186150398 19566772224 1229282 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4777044 1229282 5936 1 0 1496497 0
[pid=973472/tid=973491] ppid=973466 vsize=19108176 memory=4917128 CPUtime=3248.83 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) R 973466 973472 973401 0 -1 4194368 77597 0 0 0 324857 26 0 0 20 0 20 0 186150399 19566772224 1229282 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=19108176 memory=4917128 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 1229282 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=19108176 memory=5496 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 1751 0 0 0 0 0 0 0 20 0 20 0 186150407 19566772224 1229282 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973545] ppid=973466 vsize=19108176 memory=4917128 CPUtime=0 cores=0,2
/proc/973472/task/973545/stat : 973545 (Timer-0) S 973466 973472 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150479 19566772224 1229282 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
Current children cumulated CPU time: 3299.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4917128 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.16 4.15 7/323 975406
/proc/meminfo: memFree=102731892/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=19108176 memory=5156832 CPUtime=3360.08 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 204660 0 0 0 335702 306 0 0 20 0 20 0 186150398 19566772224 1289208 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4777044 1289208 5936 1 0 1496497 0
[pid=973472/tid=973491] ppid=973466 vsize=19108176 memory=5156832 CPUtime=3308.3 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) R 973466 973472 973401 0 -1 4194368 78821 0 0 0 330804 26 0 0 20 0 20 0 186150399 19566772224 1289208 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=19108176 memory=12720 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 1289208 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=19108176 memory=5156832 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 1797 0 0 0 0 0 0 0 20 0 20 0 186150407 19566772224 1289208 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973545] ppid=973466 vsize=19108176 memory=-8743569804454306492 CPUtime=0 cores=0,2
/proc/973472/task/973545/stat : 973545 (Timer-0) S 973466 973472 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150479 19566772224 1289208 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
Current children cumulated CPU time: 3360.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5156832 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.19 4.16 6/317 975710
/proc/meminfo: memFree=101863504/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=19108176 memory=5345272 CPUtime=3420.2 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 205570 0 0 0 341706 314 0 0 20 0 20 0 186150398 19566772224 1336318 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4777044 1336318 5936 1 0 1496497 0
[pid=973472/tid=973491] ppid=973466 vsize=19108176 memory=12720 CPUtime=3367.82 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) R 973466 973472 973401 0 -1 4194368 79627 0 0 0 336756 26 0 0 20 0 20 0 186150399 19566772224 1336318 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=19108176 memory=5345272 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 1336318 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=19108176 memory=5345272 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 1797 0 0 0 0 0 0 0 20 0 20 0 186150407 19566772224 1336318 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973545] ppid=973466 vsize=19108176 memory=5345272 CPUtime=0 cores=0,2
/proc/973472/task/973545/stat : 973545 (Timer-0) S 973466 973472 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150479 19566772224 1336318 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
Current children cumulated CPU time: 3420.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5345272 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.18 4.16 6/317 975720
/proc/meminfo: memFree=101449356/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=19108176 memory=5445624 CPUtime=3480.28 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 206928 0 0 0 347708 320 0 0 20 0 20 0 186150398 19566772224 1361406 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4777044 1361406 5936 1 0 1496497 0
[pid=973472/tid=973491] ppid=973466 vsize=19108176 memory=12720 CPUtime=3427.47 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) R 973466 973472 973401 0 -1 4194368 80811 0 0 0 342720 27 0 0 20 0 20 0 186150399 19566772224 1361406 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=19108176 memory=5445624 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 1361406 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=19108176 memory=45680 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 1797 0 0 0 0 0 0 0 20 0 20 0 186150407 19566772224 1361406 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973545] ppid=973466 vsize=19108176 memory=5445624 CPUtime=0 cores=0,2
/proc/973472/task/973545/stat : 973545 (Timer-0) S 973466 973472 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150479 19566772224 1361406 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
Current children cumulated CPU time: 3480.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5445624 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.17 4.16 7/320 975819
/proc/meminfo: memFree=100664636/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=19108176 memory=5685244 CPUtime=3540.47 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 210332 0 0 0 353719 328 0 0 20 0 20 0 186150398 19566772224 1421311 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4777044 1421311 5936 1 0 1496497 0
[pid=973472/tid=973491] ppid=973466 vsize=19108176 memory=5445624 CPUtime=3486.93 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) R 973466 973472 973401 0 -1 4194368 82613 0 0 0 348666 27 0 0 20 0 20 0 186150399 19566772224 1421311 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=19108176 memory=5685244 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 1421311 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=19108176 memory=45680 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 1877 0 0 0 0 0 0 0 20 0 20 0 186150407 19566772224 1421311 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973545] ppid=973466 vsize=19108176 memory=12720 CPUtime=0 cores=0,2
/proc/973472/task/973545/stat : 973545 (Timer-0) S 973466 973472 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150479 19566772224 1421311 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
Current children cumulated CPU time: 3540.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5685244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3581.2 s]
/proc/loadavg: 4.58 4.27 4.19 6/320 976117
/proc/meminfo: memFree=118452900/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=19108176 memory=6071008 CPUtime=3600.01 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 225484 0 0 0 359660 341 0 0 20 0 20 0 186150398 19566772224 1517752 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4777044 1517752 5936 1 0 2133806 0
[pid=973472/tid=973491] ppid=973466 vsize=19108176 memory=7412 CPUtime=3545.25 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) R 973466 973472 973401 0 -1 4194368 86961 0 0 0 354494 31 0 0 20 0 20 0 186150399 19566772224 1517752 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=19108176 memory=-8743569804454306492 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 1517752 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=19108176 memory=2164 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 1879 0 0 0 0 0 0 0 20 0 20 0 186150407 19566772224 1517752 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973545] ppid=973466 vsize=19108176 memory=5496 CPUtime=0 cores=0,2
/proc/973472/task/973545/stat : 973545 (Timer-0) S 973466 973472 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150479 19566772224 1517752 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6071008 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.85 s, system=3.46235 s

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

[startup+3581.31 s]
/proc/loadavg: 4.58 4.27 4.19 6/320 976117
/proc/meminfo: memFree=118452900/131655788 swapFree=131071996/131071996
[pid=973472] ppid=973466 vsize=19307868 memory=6079896 CPUtime=3600.19 cores=0,2
/proc/973472/stat : 973472 (java) S 973466 973472 973401 0 -1 1077936128 228890 0 0 0 359677 342 0 0 20 0 21 0 186150398 19771256832 1519974 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
/proc/973472/statm: 4826967 1519974 5935 1 0 2134709 0
[pid=973472/tid=973491] ppid=973466 vsize=19307868 memory=5476 CPUtime=3545.27 cores=0,2
/proc/973472/task/973491/stat : 973491 (java) S 973466 973472 973401 0 -1 1077936192 87210 0 0 0 354496 31 0 0 20 0 21 0 186150399 19771256832 1519974 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973525] ppid=973466 vsize=19307868 memory=5476 CPUtime=0 cores=0,2
/proc/973472/task/973525/stat : 973525 (Finalizer) S 973466 973472 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 186150405 19771256832 1519974 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
[pid=973472/tid=973542] ppid=973466 vsize=19307868 memory=12720 CPUtime=0 cores=0,2
/proc/973472/task/973542/stat : 973542 (Common-Cleaner) S 973466 973472 973401 0 -1 1077936192 1879 0 0 0 0 0 0 0 20 0 21 0 186150407 19771256832 1519974 134679101440 94730122006528 94730122010224 140721575065088 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730122018040 94730122018832 94730145890304 140721575072774 140721575072864 140721575072864 140721575079880 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 6079896 KiB

Child status: 143

Real time (s): 3581.4
CPU time (s): 3600.32
CPU user time (s): 3596.85
CPU system time (s): 3.46235
CPU usage (%): 100.528
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6079896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.85
system time used= 3.46235
maximum resident set size= 6080964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229263
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109962
involuntary context switches= 27665


# summary of solver processes directly reported to runsolver:
#   pid: 973472
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3596.85
#   total CPU system time (s): 3.46235

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2949 second user time and 39.3753 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-18 23:59:18
IDJOB=4446494
IDBENCH=158267
IDSOLVER=3058
FILE ID=nodeC004/4446494-1721339946
RUNJOBID= nodeC004-1721339958-973411
SLURM_JOB_ID= 7542718
Free space on /tmp= 723776 MiB

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

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

MD5SUM BENCH= 8e923d8a993edfc65d984f909d6bfa9e
RANDOM SEED=703462606

nodeC004.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	: 0xb00001f
cpu MHz		: 3492.148
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 2095.289
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.307
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 1197.346
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.320
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 1197.324
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.310
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 1197.308
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124094392 kB
MemAvailable:   129832168 kB
Buffers:          518264 kB
Cached:          5991728 kB
SwapCached:            0 kB
Active:          1057844 kB
Inactive:        5804476 kB
Active(anon):       3256 kB
Inactive(anon):   386788 kB
Active(file):    1054588 kB
Inactive(file):  5417688 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            992640 kB
Writeback:             0 kB
AnonPages:        345364 kB
Mapped:           863684 kB
Shmem:             37704 kB
KReclaimable:     211396 kB
Slab:             326984 kB
SReclaimable:     211396 kB
SUnreclaim:       115588 kB
KernelStack:        3696 kB
PageTables:        11852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     689544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58688 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 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:      242504 kB
DirectMap2M:    29022208 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC004 at 2024-07-19 00:58:59