Trace number 4446464

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.26 3587.35

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K134.opb
MD5SUM963edb3c79c326322e0bda3e585d3232
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15946
Total number of constraints16216
Number of constraints which are clauses16082
Number of constraints which are cardinality constraints (but not clauses)134
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint134
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 135
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.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-4446464-1721326477.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c  no objective function found
0.52/0.36	c ... done. Wall clock time 0.239s.
0.52/0.38	c declared #vars     15946
0.52/0.38	c #constraints  16216
0.52/0.38	c constraints type 
0.52/0.38	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1729
0.52/0.38	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 134
0.52/0.38	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 14351
0.52/0.38	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.52/0.38	c 16216 constraints processed.
2.91/1.82	c cleaning 2480 clauses out of 4988 with flag 23342/5001
4.15/2.92	c cleaning 4248 clauses out of 8502 with flag 57400/11000
5.80/4.28	c cleaning 5617 clauses out of 11250 with flag 100471/18000
7.41/5.87	c cleaning 6758 clauses out of 13632 with flag 146036/26002
9.10/7.58	c cleaning 7899 clauses out of 15872 with flag 193567/35001
11.21/9.61	c cleaning 8602 clauses out of 17971 with flag 245487/45000
13.50/11.97	c cleaning 9183 clauses out of 20369 with flag 300911/56001
15.89/14.34	c cleaning 9948 clauses out of 23190 with flag 361383/68006
18.60/17.07	c cleaning 10770 clauses out of 26237 with flag 434479/81001
21.62/20.07	c cleaning 11587 clauses out of 29462 with flag 514290/95001
25.11/23.51	c cleaning 12476 clauses out of 32873 with flag 595053/110000
28.99/27.38	c cleaning 13298 clauses out of 36396 with flag 675234/126000
32.92/31.25	c cleaning 14087 clauses out of 40097 with flag 769405/143001
37.67/35.91	c cleaning 14823 clauses out of 44009 with flag 869576/161000
42.16/40.45	c cleaning 15977 clauses out of 48186 with flag 972472/180000
47.01/45.29	c cleaning 16759 clauses out of 52207 with flag 1081980/200000
52.88/51.04	c cleaning 17644 clauses out of 56448 with flag 1199215/221001
59.03/57.13	c cleaning 18463 clauses out of 60801 with flag 1323527/243000
65.51/63.63	c cleaning 19239 clauses out of 65335 with flag 1450816/266000
72.36/70.40	c cleaning 20091 clauses out of 70097 with flag 1593506/290002
80.02/78.04	c cleaning 20916 clauses out of 75003 with flag 1736951/315000
87.78/85.75	c cleaning 21871 clauses out of 80086 with flag 1886504/341000
95.64/93.59	c cleaning 22758 clauses out of 85213 with flag 2042822/368000
103.82/101.75	c cleaning 23684 clauses out of 90457 with flag 2204549/396002
112.76/110.67	c cleaning 24214 clauses out of 95769 with flag 2378580/425000
122.68/120.51	c cleaning 25115 clauses out of 101553 with flag 2560014/455001
132.74/130.52	c cleaning 26315 clauses out of 107439 with flag 2750841/486002
144.21/141.77	c cleaning 27125 clauses out of 113122 with flag 2939625/518000
155.76/153.27	c cleaning 27930 clauses out of 118999 with flag 3133747/551004
168.11/165.58	c cleaning 28847 clauses out of 125065 with flag 3344807/585000
180.66/178.05	c cleaning 29753 clauses out of 131219 with flag 3560410/620001
194.23/191.68	c cleaning 30415 clauses out of 137465 with flag 3776985/656000
207.81/205.17	c cleaning 31606 clauses out of 144049 with flag 4003765/693000
222.58/219.91	c cleaning 32453 clauses out of 150444 with flag 4243585/731001
237.85/235.01	c cleaning 33377 clauses out of 156990 with flag 4486005/770000
254.19/251.30	c cleaning 34067 clauses out of 163615 with flag 4752540/810002
271.52/268.37	c cleaning 35031 clauses out of 170549 with flag 5016107/851003
289.69/286.47	c cleaning 36169 clauses out of 177515 with flag 5296372/893000
307.76/304.59	c cleaning 37249 clauses out of 184346 with flag 5583559/936000
327.12/323.78	c cleaning 38148 clauses out of 191097 with flag 5874014/980000
346.48/343.16	c cleaning 38733 clauses out of 197950 with flag 6179992/1025001
367.66/364.25	c cleaning 40160 clauses out of 205216 with flag 6492639/1071000
389.06/385.53	c cleaning 40844 clauses out of 212058 with flag 6809765/1118003
410.92/407.45	c cleaning 41911 clauses out of 219211 with flag 7143532/1166001
433.71/430.15	c cleaning 42742 clauses out of 226299 with flag 7488019/1215000
457.72/454.05	c cleaning 43934 clauses out of 233557 with flag 7856077/1265000
482.77/478.70	c cleaning 44576 clauses out of 240622 with flag 8211511/1316000
509.23/505.19	c cleaning 45758 clauses out of 248046 with flag 8584473/1368000
535.94/531.78	c cleaning 46397 clauses out of 255288 with flag 8973208/1421000
563.58/559.46	c cleaning 47217 clauses out of 262891 with flag 9355001/1475000
592.47/588.24	c cleaning 48407 clauses out of 270675 with flag 9756877/1530001
621.99/617.61	c cleaning 49359 clauses out of 278270 with flag 10153955/1586003
653.02/648.59	c cleaning 50487 clauses out of 285909 with flag 10569069/1643001
684.86/680.43	c cleaning 51085 clauses out of 293421 with flag 10988034/1701000
717.14/712.66	c cleaning 52445 clauses out of 301336 with flag 11421976/1760000
751.16/746.59	c cleaning 53129 clauses out of 308892 with flag 11881853/1820001
787.11/781.81	c cleaning 54412 clauses out of 316763 with flag 12342717/1881001
824.01/818.71	c cleaning 55336 clauses out of 324352 with flag 12816228/1943002
862.83/857.46	c cleaning 56110 clauses out of 332014 with flag 13293611/2006000
901.41/896.00	c cleaning 56754 clauses out of 339904 with flag 13779428/2070000
941.83/936.29	c cleaning 58684 clauses out of 348149 with flag 14272442/2135000
984.94/979.22	c cleaning 59097 clauses out of 355466 with flag 14804576/2201001
1027.04/1021.27	c cleaning 60009 clauses out of 363369 with flag 15324185/2268001
1072.21/1066.30	c cleaning 61207 clauses out of 371361 with flag 15853152/2336003
1117.44/1111.54	c cleaning 62162 clauses out of 379151 with flag 16397122/2405000
1165.83/1159.70	c cleaning 62857 clauses out of 386993 with flag 16973757/2475004
1213.60/1207.44	c cleaning 63945 clauses out of 395135 with flag 17544434/2546003
1264.60/1257.87	c cleaning 65210 clauses out of 403187 with flag 18106916/2618000
1316.49/1309.62	c cleaning 65932 clauses out of 410976 with flag 18697492/2691000
1369.85/1362.91	c cleaning 66859 clauses out of 419045 with flag 19301630/2765001
1425.09/1418.14	c cleaning 67523 clauses out of 427185 with flag 19949109/2840000
1481.25/1474.08	c cleaning 69509 clauses out of 435662 with flag 20600413/2916000
1536.80/1529.54	c cleaning 70000 clauses out of 443154 with flag 21225275/2993001
1595.02/1587.50	c cleaning 71049 clauses out of 451153 with flag 21869312/3071000
1655.56/1648.07	c cleaning 72114 clauses out of 459104 with flag 22562004/3150000
1720.98/1713.45	c cleaning 72502 clauses out of 466990 with flag 23294173/3230000
1787.00/1779.27	c cleaning 74063 clauses out of 475488 with flag 24012613/3311001
1850.05/1842.22	c cleaning 75291 clauses out of 483425 with flag 24724922/3393001
1920.42/1912.45	c cleaning 75807 clauses out of 491133 with flag 25464227/3476000
1990.53/1982.33	c cleaning 77352 clauses out of 499328 with flag 26279141/3560002
2065.64/2056.95	c cleaning 78037 clauses out of 506975 with flag 27055222/3645001
2136.88/2127.96	c cleaning 79187 clauses out of 514939 with flag 27807559/3731002
2213.20/2204.32	c cleaning 79909 clauses out of 522750 with flag 28597319/3818000
2278.00/2268.98	c cleaning 81083 clauses out of 530842 with flag 29393747/3906001
2341.68/2332.59	c cleaning 82185 clauses out of 538759 with flag 30218096/3995001
2409.22/2399.87	c cleaning 83073 clauses out of 546573 with flag 31101410/4085000
2477.19/2467.70	c cleaning 83549 clauses out of 554502 with flag 31958959/4176002
2551.99/2542.30	c cleaning 84515 clauses out of 562951 with flag 32863993/4268000
2626.55/2616.67	c cleaning 86088 clauses out of 571436 with flag 33799891/4361000
2700.13/2690.16	c cleaning 87314 clauses out of 579351 with flag 34737540/4455003
2774.84/2764.68	c cleaning 87858 clauses out of 587034 with flag 35670459/4550000
2851.83/2841.41	c cleaning 88852 clauses out of 595176 with flag 36588847/4646001
2932.30/2921.84	c cleaning 89457 clauses out of 603323 with flag 37637919/4743000
3012.12/3001.46	c cleaning 90491 clauses out of 611865 with flag 38605936/4841000
3098.95/3087.12	c cleaning 91541 clauses out of 620374 with flag 39605544/4940000
3184.97/3173.02	c cleaning 92386 clauses out of 628833 with flag 40579321/5040000
3271.38/3259.38	c cleaning 94180 clauses out of 637447 with flag 41584136/5141000
3365.15/3353.05	c cleaning 94626 clauses out of 645267 with flag 42613915/5243000
3456.86/3444.34	c cleaning 95832 clauses out of 653641 with flag 43597392/5346000
3551.89/3539.29	c cleaning 96843 clauses out of 661808 with flag 44693199/5450000
3600.06/3587.21	c starts		: 36996
3600.06/3587.21	c timeout
3600.06/3587.22	c conflicts		: 5513903
3600.06/3587.22	c decisions		: 131987405
3600.06/3587.22	c propagations		: 4487534697
3600.06/3587.22	c inspects		: 26137320395
3600.06/3587.22	c shortcuts		: 0
3600.06/3587.22	c learnt literals	: 70
3600.06/3587.22	c learnt binary clauses	: 201186
3600.06/3587.22	c learnt ternary clauses	: 191696
3600.06/3587.22	c learnt constraints	: 5513833
3600.06/3587.22	c ignored constraints	: 0
3600.06/3587.22	c root simplifications	: 0
3600.06/3587.22	c removed literals (reason simplification)	: 0
3600.06/3587.22	c reason swapping (by a shorter reason)	: 0
3600.06/3587.22	c Calls to reduceDB	: 100
3600.06/3587.22	c Number of update (reduction) of LBD	: 4413451
3600.06/3587.22	c Imported unit clauses	: 0
3600.06/3587.22	c No decision after first conflict	: false
3600.06/3587.22	c number of reductions to clauses (during analyze)	: 0
3600.06/3587.22	c number of learned constraints concerned by reduction	: 0
3600.06/3587.22	c number of learning phase by resolution	: 0
3600.06/3587.22	c number of learning phase by cutting planes	: 0
3600.06/3587.22	c number of rounding to 1 operations	: 0
3600.06/3587.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3587.22	c number of reductions of the coefficients by power 2 	: 0
3600.06/3587.22	c number of right shift for reduction by power 2 	: 0
3600.06/3587.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3587.22	c number of ending skipping 	: 0
3600.06/3587.22	c number of internal skipping 	: 0
3600.06/3587.22	c number of derivation steps 	: 0
3600.06/3587.22	c number of skipped derivation steps 	: 0
3600.06/3587.22	c number of remaining unassigned 	: 0
3600.06/3587.22	c number of remaining assigned 	: 0
3600.06/3587.22	c number of falsified literals weakened from reason	: 0
3600.06/3587.23	c number of falsified literals weakened from conflict	: 0
3600.06/3587.23	c time for arithmetic operations	: 0
3600.06/3587.23	c minimum degree of deleted constraints	: null
3600.06/3587.23	c maximum degree of deleted constraints	: null
3600.06/3587.23	c number of deleted constraints	: 0
3600.06/3587.23	c speed (assignments/second)	: 1251112.665344238
3600.06/3587.23	c non guided choices	: 14539
3600.22/3587.31	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 427681
3600.22/3587.31	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 201186
3600.22/3587.31	s UNKNOWN
3600.22/3587.31	c Total wall clock time (in seconds): 3587.183

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446464-1721326477/watcher-4446464-1721326477 -o /tmp/evaluation-result-4446464-1721326477/solver-4446464-1721326477 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721317800-980851 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4446464-1721326477.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=989775, runsolver pid=989772
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.28 4.15 4.15 6/331 989793
/proc/meminfo: memFree=110812512/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=18975048 memory=67452 CPUtime=0.14 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 7186 0 0 0 12 2 0 0 20 0 18 0 184815951 19430449152 16863 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4743762 16863 5733 1 0 549335 0
[pid=989775/tid=989777] ppid=989772 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) R 989772 989775 980838 0 -1 4194368 5749 0 0 0 7 1 0 0 20 0 18 0 184815952 19430449152 16863 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184815954 19430449152 16863 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989793] ppid=989772 vsize=18975048 memory=14408220236082459 CPUtime=0 cores=5,7
/proc/989775/task/989793/stat : 989793 (Common-Cleaner) S 989772 989775 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184815955 19430449152 16863 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67452 KiB

[startup+0.205733 s]*
/proc/loadavg: 4.28 4.15 4.15 7/331 989793
/proc/meminfo: memFree=110794084/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=18975048 memory=84436 CPUtime=0.33 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 8862 0 0 0 31 2 0 0 20 0 18 0 184815951 19430449152 21109 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4743762 21109 5822 1 0 550537 0
[pid=989775/tid=989777] ppid=989772 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) R 989772 989775 980838 0 -1 4194368 5909 0 0 0 16 1 0 0 20 0 18 0 184815952 19430449152 21109 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=18975048 memory=15945 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184815954 19430449152 21109 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989793] ppid=989772 vsize=18975048 memory=14418111545738801 CPUtime=0 cores=5,7
/proc/989775/task/989793/stat : 989793 (Common-Cleaner) S 989772 989775 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184815955 19430449152 21109 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 84436 KiB

[startup+0.305873 s]*
/proc/loadavg: 4.28 4.15 4.15 7/331 989793
/proc/meminfo: memFree=110763004/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=18975048 memory=114428 CPUtime=0.52 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 9183 0 0 0 49 3 0 0 20 0 18 0 184815951 19430449152 28607 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4743762 28607 5822 1 0 550737 0
[pid=989775/tid=989777] ppid=989772 vsize=18975048 memory=-9031515381307843260 CPUtime=0.25 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) R 989772 989775 980838 0 -1 4194368 5927 0 0 0 23 2 0 0 20 0 18 0 184815952 19430449152 28607 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184815954 19430449152 28607 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989793] ppid=989772 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/989775/task/989793/stat : 989793 (Common-Cleaner) S 989772 989775 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184815955 19430449152 28607 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 114428 KiB

[startup+0.700252 s]
/proc/loadavg: 4.28 4.15 4.15 7/332 989794
/proc/meminfo: memFree=110723004/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=19041612 memory=159228 CPUtime=1.27 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 10708 0 0 0 123 4 0 0 20 0 19 0 184815951 19498610688 39807 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4760403 39807 5822 1 0 551869 0
[pid=989775/tid=989777] ppid=989772 vsize=19041612 memory=5428 CPUtime=0.6 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) R 989772 989775 980838 0 -1 4194368 6004 0 0 0 57 3 0 0 20 0 19 0 184815952 19498610688 39807 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=19041612 memory=13120 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184815954 19498610688 39807 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989793] ppid=989772 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/989775/task/989793/stat : 989793 (Common-Cleaner) S 989772 989775 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184815955 19498610688 39807 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989794] ppid=989772 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/989775/task/989794/stat : 989794 (Timer-0) S 989772 989775 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 184815990 19498610688 39807 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 159228 KiB

[startup+1.50119 s]
/proc/loadavg: 4.28 4.15 4.15 7/332 989794
/proc/meminfo: memFree=110715292/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=19041612 memory=167288 CPUtime=2.53 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 14573 0 0 0 248 5 0 0 20 0 19 0 184815951 19498610688 41822 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4760403 41822 5822 1 0 552291 0
[pid=989775/tid=989777] ppid=989772 vsize=19041612 memory=13120 CPUtime=1.39 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) R 989772 989775 980838 0 -1 4194368 6156 0 0 0 136 3 0 0 20 0 19 0 184815952 19498610688 41822 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184815954 19498610688 41822 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989793] ppid=989772 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/989775/task/989793/stat : 989793 (Common-Cleaner) S 989772 989775 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184815955 19498610688 41822 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989794] ppid=989772 vsize=19041612 memory=279915098449168 CPUtime=0 cores=5,7
/proc/989775/task/989794/stat : 989794 (Timer-0) S 989772 989775 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 184815990 19498610688 41822 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 167288 KiB

[startup+3.10617 s]
/proc/loadavg: 4.28 4.15 4.15 6/333 989795
/proc/meminfo: memFree=110686848/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=19108176 memory=196200 CPUtime=4.54 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 20946 0 0 0 448 6 0 0 20 0 20 0 184815951 19566772224 49050 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4777044 49050 5853 1 0 555751 0
[pid=989775/tid=989777] ppid=989772 vsize=19108176 memory=0 CPUtime=2.96 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) R 989772 989775 980838 0 -1 4194368 7156 0 0 0 293 3 0 0 20 0 20 0 184815952 19566772224 49050 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=19108176 memory=13120 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184815954 19566772224 49050 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989793] ppid=989772 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/989775/task/989793/stat : 989793 (Common-Cleaner) S 989772 989775 980838 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 184815955 19566772224 49050 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989794] ppid=989772 vsize=19108176 memory=11392 CPUtime=0 cores=5,7
/proc/989775/task/989794/stat : 989794 (Timer-0) S 989772 989775 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184815990 19566772224 49050 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
Current children cumulated CPU time: 4.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196200 KiB

[startup+6.3002 s]
/proc/loadavg: 4.26 4.15 4.15 5/333 989795
/proc/meminfo: memFree=110690096/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=19108176 memory=187032 CPUtime=7.91 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 21212 0 0 0 785 6 0 0 20 0 20 0 184815951 19566772224 46758 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4777044 46758 5853 1 0 555751 0
[pid=989775/tid=989777] ppid=989772 vsize=19108176 memory=13120 CPUtime=6.14 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) R 989772 989775 980838 0 -1 4194368 7250 0 0 0 611 3 0 0 20 0 20 0 184815952 19566772224 46758 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184815954 19566772224 46758 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989793] ppid=989772 vsize=19108176 memory=167288 CPUtime=0 cores=5,7
/proc/989775/task/989793/stat : 989793 (Common-Cleaner) S 989772 989775 980838 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 184815955 19566772224 46758 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989794] ppid=989772 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/989775/task/989794/stat : 989794 (Timer-0) S 989772 989775 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184815990 19566772224 46758 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
Current children cumulated CPU time: 7.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187032 KiB

[startup+12.7002 s]
/proc/loadavg: 4.24 4.14 4.15 5/333 989796
/proc/meminfo: memFree=110673516/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=19108176 memory=204016 CPUtime=14.3 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 23806 0 0 0 1423 7 0 0 20 0 20 0 184815951 19566772224 51004 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4777044 51004 5885 1 0 555751 0
[pid=989775/tid=989777] ppid=989772 vsize=19108176 memory=0 CPUtime=12.48 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) R 989772 989775 980838 0 -1 4194368 8241 0 0 0 1245 3 0 0 20 0 20 0 184815952 19566772224 51004 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=19108176 memory=-9031515381307843260 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184815954 19566772224 51004 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989793] ppid=989772 vsize=19108176 memory=2228 CPUtime=0 cores=5,7
/proc/989775/task/989793/stat : 989793 (Common-Cleaner) S 989772 989775 980838 0 -1 1077936192 88 0 0 0 0 0 0 0 20 0 20 0 184815955 19566772224 51004 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989794] ppid=989772 vsize=19108176 memory=11392 CPUtime=0 cores=5,7
/proc/989775/task/989794/stat : 989794 (Timer-0) S 989772 989775 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184815990 19566772224 51004 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
Current children cumulated CPU time: 14.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 204016 KiB

[startup+25.5003 s]
/proc/loadavg: 4.20 4.14 4.15 5/333 989798
/proc/meminfo: memFree=110623780/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=19108176 memory=327340 CPUtime=27.2 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 28657 0 0 0 2710 10 0 0 20 0 20 0 184815951 19566772224 81835 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4777044 81835 5895 1 0 555751 0
[pid=989775/tid=989777] ppid=989772 vsize=19108176 memory=11392 CPUtime=25.11 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) R 989772 989775 980838 0 -1 4194368 9133 0 0 0 2508 3 0 0 20 0 20 0 184815952 19566772224 81835 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=19108176 memory=11392 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184815954 19566772224 81835 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989793] ppid=989772 vsize=19108176 memory=187032 CPUtime=0 cores=5,7
/proc/989775/task/989793/stat : 989793 (Common-Cleaner) S 989772 989775 980838 0 -1 1077936192 88 0 0 0 0 0 0 0 20 0 20 0 184815955 19566772224 81835 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989794] ppid=989772 vsize=19108176 memory=279915098395952 CPUtime=0 cores=5,7
/proc/989775/task/989794/stat : 989794 (Timer-0) S 989772 989775 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184815990 19566772224 81835 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
Current children cumulated CPU time: 27.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 327340 KiB

[startup+51.1058 s]
/proc/loadavg: 4.18 4.14 4.15 5/331 989802
/proc/meminfo: memFree=110325036/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=19108176 memory=551020 CPUtime=52.98 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 34852 0 0 0 5283 15 0 0 20 0 20 0 184815951 19566772224 137755 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4777044 137755 5895 1 0 555751 0
[pid=989775/tid=989777] ppid=989772 vsize=19108176 memory=473024 CPUtime=50.43 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) R 989772 989775 980838 0 -1 4194368 11203 0 0 0 5040 3 0 0 20 0 20 0 184815952 19566772224 137755 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=19108176 memory=44172 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184815954 19566772224 137755 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0

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

[startup+3282.3 s]
/proc/loadavg: 1.10 1.19 2.05 2/254 991695
/proc/meminfo: memFree=121614152/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=19108176 memory=7056912 CPUtime=3294.5 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 268872 0 0 0 329177 273 0 0 20 0 20 0 184815951 19566772224 1764228 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4777044 1764228 5895 1 0 2368291 0
[pid=989775/tid=989777] ppid=989772 vsize=19108176 memory=7056912 CPUtime=3258.43 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) S 989772 989775 980838 0 -1 1077936192 103069 0 0 0 325800 43 0 0 20 0 20 0 184815952 19566772224 1764228 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=19108176 memory=11392 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184815954 19566772224 1764228 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989793] ppid=989772 vsize=19108176 memory=44172 CPUtime=0 cores=5,7
/proc/989775/task/989793/stat : 989793 (Common-Cleaner) S 989772 989775 980838 0 -1 1077936192 2793 0 0 0 0 0 0 0 20 0 20 0 184815955 19566772224 1764228 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989794] ppid=989772 vsize=19108176 memory=7056912 CPUtime=0 cores=5,7
/proc/989775/task/989794/stat : 989794 (Timer-0) S 989772 989775 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184815990 19566772224 1764228 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
Current children cumulated CPU time: 3294.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7056912 KiB

[startup+3342.3 s]
/proc/loadavg: 1.08 1.17 1.99 2/256 991711
/proc/meminfo: memFree=121613288/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=19108176 memory=7056916 CPUtime=3354.46 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 272220 0 0 0 335171 275 0 0 20 0 20 0 184815951 19566772224 1764229 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4777044 1764229 5895 1 0 2368291 0
[pid=989775/tid=989777] ppid=989772 vsize=19108176 memory=7056916 CPUtime=3318.22 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) R 989772 989775 980838 0 -1 4194368 105213 0 0 0 331779 43 0 0 20 0 20 0 184815952 19566772224 1764229 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=19108176 memory=7056916 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184815954 19566772224 1764229 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989793] ppid=989772 vsize=19108176 memory=7056916 CPUtime=0 cores=5,7
/proc/989775/task/989793/stat : 989793 (Common-Cleaner) S 989772 989775 980838 0 -1 1077936192 2864 0 0 0 0 0 0 0 20 0 20 0 184815955 19566772224 1764229 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989794] ppid=989772 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/989775/task/989794/stat : 989794 (Timer-0) S 989772 989775 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184815990 19566772224 1764229 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
Current children cumulated CPU time: 3354.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7056916 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.15 1.93 2/256 991722
/proc/meminfo: memFree=121612708/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=19108176 memory=7056952 CPUtime=3414.61 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 279403 0 0 0 341183 278 0 0 20 0 20 0 184815951 19566772224 1764238 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4777044 1764238 5895 1 0 2368299 0
[pid=989775/tid=989777] ppid=989772 vsize=19108176 memory=7056916 CPUtime=3377.83 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) R 989772 989775 980838 0 -1 4194368 108047 0 0 0 337740 43 0 0 20 0 20 0 184815952 19566772224 1764238 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=19108176 memory=1848 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184815954 19566772224 1764238 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989793] ppid=989772 vsize=19108176 memory=7056948 CPUtime=0 cores=5,7
/proc/989775/task/989793/stat : 989793 (Common-Cleaner) S 989772 989775 980838 0 -1 1077936192 2910 0 0 0 0 0 0 0 20 0 20 0 184815955 19566772224 1764238 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989794] ppid=989772 vsize=19108176 memory=7056952 CPUtime=0 cores=5,7
/proc/989775/task/989794/stat : 989794 (Timer-0) S 989772 989775 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184815990 19566772224 1764238 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
Current children cumulated CPU time: 3414.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7056952 KiB

[startup+3462.3 s]
/proc/loadavg: 1.08 1.14 1.87 2/256 991732
/proc/meminfo: memFree=121611896/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=19108176 memory=7056972 CPUtime=3474.82 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 286462 0 0 0 347202 280 0 0 20 0 20 0 184815951 19566772224 1764243 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4777044 1764243 5895 1 0 2368299 0
[pid=989775/tid=989777] ppid=989772 vsize=19108176 memory=7056916 CPUtime=3437.38 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) R 989772 989775 980838 0 -1 4194368 110641 0 0 0 343695 43 0 0 20 0 20 0 184815952 19566772224 1764243 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=19108176 memory=1848 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184815954 19566772224 1764243 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989793] ppid=989772 vsize=19108176 memory=7056972 CPUtime=0 cores=5,7
/proc/989775/task/989793/stat : 989793 (Common-Cleaner) S 989772 989775 980838 0 -1 1077936192 2981 0 0 0 0 0 0 0 20 0 20 0 184815955 19566772224 1764243 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989794] ppid=989772 vsize=19108176 memory=5428 CPUtime=0 cores=5,7
/proc/989775/task/989794/stat : 989794 (Timer-0) S 989772 989775 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184815990 19566772224 1764243 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
Current children cumulated CPU time: 3474.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7056972 KiB

[startup+3522.3 s]
/proc/loadavg: 1.15 1.14 1.83 2/256 991743
/proc/meminfo: memFree=121611236/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=19108176 memory=7057004 CPUtime=3535.02 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 293554 0 0 0 353219 283 0 0 20 0 20 0 184815951 19566772224 1764251 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4777044 1764251 5895 1 0 2368300 0
[pid=989775/tid=989777] ppid=989772 vsize=19108176 memory=7056972 CPUtime=3496.93 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) R 989772 989775 980838 0 -1 4194368 113112 0 0 0 349650 43 0 0 20 0 20 0 184815952 19566772224 1764251 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=19108176 memory=1848 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184815954 19566772224 1764251 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989793] ppid=989772 vsize=19108176 memory=13120 CPUtime=0 cores=5,7
/proc/989775/task/989793/stat : 989793 (Common-Cleaner) S 989772 989775 980838 0 -1 1077936192 3101 0 0 0 0 0 0 0 20 0 20 0 184815955 19566772224 1764251 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989794] ppid=989772 vsize=19108176 memory=7057004 CPUtime=0 cores=5,7
/proc/989775/task/989794/stat : 989794 (Timer-0) S 989772 989775 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184815990 19566772224 1764251 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
Current children cumulated CPU time: 3535.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7057004 KiB

[startup+3582.3 s]
/proc/loadavg: 1.05 1.11 1.77 2/256 991756
/proc/meminfo: memFree=121610408/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=19108176 memory=7057140 CPUtime=3595.17 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 299239 0 0 0 359231 286 0 0 20 0 20 0 184815951 19566772224 1764285 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4777044 1764285 5895 1 0 2368302 0
[pid=989775/tid=989777] ppid=989772 vsize=19108176 memory=11392 CPUtime=3556.53 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) R 989772 989775 980838 0 -1 4194368 115673 0 0 0 355609 44 0 0 20 0 20 0 184815952 19566772224 1764285 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=19108176 memory=13120 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184815954 19566772224 1764285 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989793] ppid=989772 vsize=19108176 memory=44172 CPUtime=0 cores=5,7
/proc/989775/task/989793/stat : 989793 (Common-Cleaner) S 989772 989775 980838 0 -1 1077936192 3101 0 0 0 0 0 0 0 20 0 20 0 184815955 19566772224 1764285 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989794] ppid=989772 vsize=19108176 memory=11392 CPUtime=0 cores=5,7
/proc/989775/task/989794/stat : 989794 (Timer-0) S 989772 989775 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184815990 19566772224 1764285 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
Current children cumulated CPU time: 3595.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7057140 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3587.2 s]
/proc/loadavg: 1.05 1.11 1.77 2/256 991756
/proc/meminfo: memFree=121610408/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=19108176 memory=7057140 CPUtime=3600.06 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 299446 0 0 0 359720 286 0 0 20 0 20 0 184815951 19566772224 1764285 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4777044 1764285 5895 1 0 2368302 0
[pid=989775/tid=989777] ppid=989772 vsize=19108176 memory=2228 CPUtime=3561.42 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) R 989772 989775 980838 0 -1 4194368 115880 0 0 0 356098 44 0 0 20 0 20 0 184815952 19566772224 1764285 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=19108176 memory=1848 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184815954 19566772224 1764285 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989793] ppid=989772 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/989775/task/989793/stat : 989793 (Common-Cleaner) S 989772 989775 980838 0 -1 1077936192 3101 0 0 0 0 0 0 0 20 0 20 0 184815955 19566772224 1764285 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989794] ppid=989772 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/989775/task/989794/stat : 989794 (Timer-0) S 989772 989775 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184815990 19566772224 1764285 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7057140 KiB

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

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

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

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

[startup+3587.3 s]
/proc/loadavg: 1.05 1.11 1.77 2/256 991756
/proc/meminfo: memFree=121610408/131524600 swapFree=131071996/131071996
[pid=989775] ppid=989772 vsize=19307868 memory=7057908 CPUtime=3600.22 cores=5,7
/proc/989775/stat : 989775 (java) S 989772 989775 980838 0 -1 1077936128 302652 0 0 0 359735 287 0 0 20 0 21 0 184815951 19771256832 1764477 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
/proc/989775/statm: 4826967 1764477 5894 1 0 2369226 0
[pid=989775/tid=989777] ppid=989772 vsize=19307868 memory=2273 CPUtime=3561.44 cores=5,7
/proc/989775/task/989777/stat : 989777 (java) S 989772 989775 980838 0 -1 1077936192 115998 0 0 0 356100 44 0 0 20 0 21 0 184815952 19771256832 1764477 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989786] ppid=989772 vsize=19307868 memory=7057004 CPUtime=0 cores=5,7
/proc/989775/task/989786/stat : 989786 (Finalizer) S 989772 989775 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 184815954 19771256832 1764477 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
[pid=989775/tid=989793] ppid=989772 vsize=19307868 memory=7057004 CPUtime=0 cores=5,7
/proc/989775/task/989793/stat : 989793 (Common-Cleaner) S 989772 989775 980838 0 -1 1077936192 3101 0 0 0 0 0 0 0 20 0 21 0 184815955 19771256832 1764477 134679101440 94650225876992 94650225880688 140726785953216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94650225888504 94650225889296 94650235912192 140726785958918 140726785959008 140726785959008 140726785966024 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 7057908 KiB

Child status: 143

Real time (s): 3587.35
CPU time (s): 3600.26
CPU user time (s): 3597.36
CPU system time (s): 2.89401
CPU usage (%): 100.36
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 7057908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.36
system time used= 2.89401
maximum resident set size= 7058772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302896
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108846
involuntary context switches= 3565


# summary of solver processes directly reported to runsolver:
#   pid: 989775
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3597.36
#   total CPU system time (s): 2.89401

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.47861 second user time and 17.5279 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-18 20:14:50
IDJOB=4446464
IDBENCH=158262
IDSOLVER=3058
FILE ID=nodeC031/4446464-1721326477
RUNJOBID= nodeC031-1721317800-980851
SLURM_JOB_ID= 7542669
Free space on /tmp= 889724 MiB

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

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

MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232
RANDOM SEED=1411068006

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        110856516 kB
MemAvailable:   112317400 kB
Buffers:          478476 kB
Cached:          1811136 kB
SwapCached:            0 kB
Active:          1307840 kB
Inactive:       18699632 kB
Active(anon):       1552 kB
Inactive(anon): 17754020 kB
Active(file):    1306288 kB
Inactive(file):   945612 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2060 kB
Writeback:             0 kB
AnonPages:      17715856 kB
Mapped:           126464 kB
Shmem:             37720 kB
KReclaimable:      97264 kB
Slab:             209340 kB
SReclaimable:      97264 kB
SUnreclaim:       112076 kB
KernelStack:        5040 kB
PageTables:        44720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   27477760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69632 kB
HardwareCorrupted:     0 kB
AnonHugePages:  17385472 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:      185044 kB
DirectMap2M:    16365568 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC031 at 2024-07-18 21:14:37