Trace number 4446722

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.26 3596.98

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K162.opb
MD5SUM3691972eca5819945d0aaf6ae8165cd0
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 benchmark3001.01
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19278
Total number of constraints19604
Number of constraints which are clauses19442
Number of constraints which are cardinality constraints (but not clauses)162
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint162
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 163
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@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4446722-1721824436.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c using VERIPB proof format
0.14/0.13	c  no objective function found
0.53/0.39	c ... done. Wall clock time 0.264s.
0.53/0.39	c declared #vars     19278
0.53/0.39	c #constraints  19604
0.53/0.39	c constraints type 
0.53/0.40	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2093
0.53/0.40	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 162
0.53/0.40	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17347
0.53/0.40	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.53/0.40	c 19604 constraints processed.
4.77/2.62	c cleaning 2486 clauses out of 4992 with flag 21180/5000
7.46/4.85	c cleaning 4239 clauses out of 8498 with flag 50879/11000
10.34/7.50	c cleaning 5603 clauses out of 11253 with flag 88927/18000
13.49/10.55	c cleaning 6803 clauses out of 13650 with flag 131201/26004
16.91/13.99	c cleaning 7911 clauses out of 15844 with flag 178431/35002
21.13/18.19	c cleaning 8436 clauses out of 17925 with flag 228021/45000
25.68/22.65	c cleaning 8951 clauses out of 20487 with flag 282900/56001
30.58/27.51	c cleaning 9889 clauses out of 23532 with flag 345569/68001
35.89/33.15	c cleaning 10578 clauses out of 26641 with flag 407919/81001
41.68/38.95	c cleaning 11627 clauses out of 30060 with flag 482654/95003
48.10/45.31	c cleaning 12109 clauses out of 33430 with flag 556032/110000
54.83/52.09	c cleaning 13076 clauses out of 37320 with flag 636851/126000
62.63/59.80	c cleaning 13892 clauses out of 41239 with flag 726382/143000
70.60/68.08	c cleaning 14761 clauses out of 45347 with flag 823870/161000
78.87/76.35	c cleaning 15171 clauses out of 49590 with flag 919335/180007
87.85/85.29	c cleaning 16512 clauses out of 54411 with flag 1026352/200001
97.55/95.58	c cleaning 17049 clauses out of 58888 with flag 1136579/221000
108.23/106.17	c cleaning 17895 clauses out of 63835 with flag 1256178/243003
118.85/116.71	c cleaning 18926 clauses out of 68934 with flag 1381776/266000
130.61/128.96	c cleaning 19545 clauses out of 74008 with flag 1513044/290001
143.43/141.53	c cleaning 20593 clauses out of 79462 with flag 1649865/315000
156.53/154.50	c cleaning 21134 clauses out of 84864 with flag 1788213/341000
170.68/168.85	c cleaning 22375 clauses out of 90727 with flag 1937616/368000
184.54/182.61	c cleaning 23165 clauses out of 96346 with flag 2087984/396000
199.99/198.10	c cleaning 23533 clauses out of 102179 with flag 2248659/425000
216.06/214.03	c cleaning 24430 clauses out of 108643 with flag 2409236/455002
232.33/230.35	c cleaning 25560 clauses out of 115209 with flag 2574051/486000
250.65/248.47	c cleaning 26264 clauses out of 121648 with flag 2753944/518000
269.05/266.72	c cleaning 27033 clauses out of 128382 with flag 2935553/551000
287.10/284.98	c cleaning 27835 clauses out of 135348 with flag 3126273/585002
306.56/304.39	c cleaning 28842 clauses out of 142509 with flag 3327219/620001
327.21/324.90	c cleaning 29906 clauses out of 149662 with flag 3533370/656000
348.49/346.20	c cleaning 30367 clauses out of 156754 with flag 3746948/693001
370.65/368.38	c cleaning 31516 clauses out of 164386 with flag 3970244/731000
394.21/391.79	c cleaning 32373 clauses out of 171870 with flag 4193825/770000
418.70/416.23	c cleaning 33209 clauses out of 179496 with flag 4436609/810000
444.30/441.77	c cleaning 34379 clauses out of 187286 with flag 4681950/851000
469.73/467.34	c cleaning 35228 clauses out of 194906 with flag 4924708/893000
497.92/495.39	c cleaning 35638 clauses out of 202678 with flag 5181500/936000
526.50/523.84	c cleaning 36774 clauses out of 211039 with flag 5448224/980001
556.18/553.59	c cleaning 37659 clauses out of 219264 with flag 5726794/1025001
586.98/584.60	c cleaning 38300 clauses out of 227603 with flag 6007325/1071000
618.59/616.26	c cleaning 39389 clauses out of 236306 with flag 6295548/1118005
651.91/649.66	c cleaning 40235 clauses out of 244910 with flag 6601513/1166001
686.82/684.44	c cleaning 41137 clauses out of 253671 with flag 6905849/1215000
721.77/719.37	c cleaning 41919 clauses out of 262537 with flag 7215646/1265003
759.69/757.27	c cleaning 42899 clauses out of 271615 with flag 7534545/1316001
798.47/795.62	c cleaning 44048 clauses out of 280713 with flag 7874531/1368000
838.88/836.26	c cleaning 45034 clauses out of 289663 with flag 8209860/1421000
880.26/877.62	c cleaning 46026 clauses out of 298629 with flag 8574534/1475001
922.12/919.42	c cleaning 46991 clauses out of 307603 with flag 8923892/1530001
966.18/963.38	c cleaning 47307 clauses out of 316612 with flag 9295450/1586004
1012.38/1009.39	c cleaning 48753 clauses out of 326299 with flag 9668065/1643001
1061.68/1058.65	c cleaning 49681 clauses out of 335545 with flag 10053897/1701001
1110.02/1107.07	c cleaning 50580 clauses out of 344862 with flag 10455827/1760000
1160.57/1157.74	c cleaning 51722 clauses out of 354282 with flag 10856089/1820000
1214.06/1210.93	c cleaning 52199 clauses out of 363558 with flag 11278879/1881000
1269.72/1266.63	c cleaning 53128 clauses out of 373359 with flag 11712692/1943003
1326.08/1323.00	c cleaning 54319 clauses out of 383227 with flag 12146775/2006001
1384.21/1381.24	c cleaning 55164 clauses out of 392907 with flag 12594493/2070000
1444.98/1442.09	c cleaning 56350 clauses out of 402744 with flag 13047854/2135001
1506.35/1503.77	c cleaning 56971 clauses out of 412392 with flag 13529338/2201001
1570.43/1568.04	c cleaning 58252 clauses out of 422419 with flag 14006821/2268000
1636.29/1636.88	c cleaning 58966 clauses out of 432166 with flag 14487701/2336000
1704.04/1704.55	c cleaning 60075 clauses out of 442205 with flag 14984109/2405007
1773.94/1774.39	c cleaning 60627 clauses out of 452123 with flag 15491826/2475001
1846.71/1846.52	c cleaning 62028 clauses out of 462497 with flag 16015442/2546002
1919.33/1919.13	c cleaning 62432 clauses out of 472467 with flag 16539282/2618000
1992.48/1992.36	c cleaning 63904 clauses out of 483030 with flag 17081847/2691000
2068.79/2068.14	c cleaning 65011 clauses out of 493125 with flag 17630881/2765000
2148.56/2147.80	c cleaning 65862 clauses out of 503113 with flag 18204077/2840000
2231.05/2229.72	c cleaning 66554 clauses out of 513249 with flag 18789172/2916000
2314.85/2313.66	c cleaning 67785 clauses out of 523694 with flag 19371368/2993000
2403.71/2402.44	c cleaning 68564 clauses out of 533910 with flag 19988496/3071002
2493.85/2492.07	c cleaning 69734 clauses out of 544344 with flag 20598386/3150001
2584.42/2582.87	c cleaning 70475 clauses out of 554610 with flag 21209213/3230002
2676.61/2674.29	c cleaning 71346 clauses out of 565135 with flag 21842138/3311003
2775.41/2772.96	c cleaning 72427 clauses out of 575787 with flag 22531561/3393002
2873.51/2870.66	c cleaning 73698 clauses out of 586359 with flag 23190852/3476002
2973.31/2970.56	c cleaning 74588 clauses out of 596660 with flag 23845044/3560001
3077.51/3074.38	c cleaning 75657 clauses out of 607071 with flag 24519401/3645000
3183.63/3180.85	c cleaning 76491 clauses out of 617414 with flag 25204477/3731000
3289.62/3286.60	c cleaning 77751 clauses out of 627923 with flag 25918436/3818000
3400.19/3397.41	c cleaning 78707 clauses out of 638174 with flag 26628014/3906002
3515.39/3512.36	c cleaning 79314 clauses out of 648465 with flag 27354302/3995000
3600.07/3596.81	c starts		: 26227
3600.07/3596.81	c timeout
3600.07/3596.82	c conflicts		: 4065853
3600.07/3596.82	c decisions		: 130850228
3600.07/3596.82	c propagations		: 3817887946
3600.07/3596.82	c inspects		: 17804912161
3600.07/3596.82	c shortcuts		: 0
3600.07/3596.82	c learnt literals	: 177
3600.07/3596.82	c learnt binary clauses	: 227206
3600.07/3596.82	c learnt ternary clauses	: 211242
3600.07/3596.82	c learnt constraints	: 4065676
3600.07/3596.82	c ignored constraints	: 0
3600.07/3596.82	c root simplifications	: 0
3600.07/3596.82	c removed literals (reason simplification)	: 43013307
3600.07/3596.82	c reason swapping (by a shorter reason)	: 0
3600.07/3596.82	c Calls to reduceDB	: 85
3600.07/3596.82	c Number of update (reduction) of LBD	: 3081589
3600.07/3596.82	c Imported unit clauses	: 0
3600.07/3596.82	c No decision after first conflict	: false
3600.07/3596.82	c number of reductions to clauses (during analyze)	: 0
3600.07/3596.82	c number of learned constraints concerned by reduction	: 0
3600.07/3596.82	c number of learning phase by resolution	: 0
3600.07/3596.82	c number of learning phase by cutting planes	: 0
3600.07/3596.82	c number of rounding to 1 operations	: 0
3600.07/3596.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3596.82	c number of reductions of the coefficients by power 2 	: 0
3600.07/3596.82	c number of right shift for reduction by power 2 	: 0
3600.07/3596.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3596.82	c number of ending skipping 	: 0
3600.07/3596.82	c number of internal skipping 	: 0
3600.07/3596.82	c number of derivation steps 	: 0
3600.07/3596.82	c number of skipped derivation steps 	: 0
3600.07/3596.82	c number of remaining unassigned 	: 0
3600.07/3596.82	c number of remaining assigned 	: 0
3600.07/3596.82	c number of falsified literals weakened from reason	: 0
3600.07/3596.82	c number of falsified literals weakened from conflict	: 0
3600.07/3596.82	c time for arithmetic operations	: 0
3600.07/3596.82	c minimum degree of deleted constraints	: null
3600.07/3596.82	c maximum degree of deleted constraints	: null
3600.07/3596.82	c number of deleted constraints	: 0
3600.07/3596.82	c speed (assignments/second)	: 1061582.7684878062
3600.07/3596.82	c non guided choices	: 36816
3600.23/3596.91	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 412798
3600.23/3596.91	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 227206
3600.23/3596.91	s UNKNOWN
3600.23/3596.91	c Total wall clock time (in seconds): 3596.789

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (21510 MiB free)
  memory of node 1: 64473 MiB (19325 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100173 s]*
/proc/loadavg: 4.19 4.22 4.18 5/317 241556
/proc/meminfo: memFree=41772412/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=18975048 memory=64788 CPUtime=0.14 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 7232 0 0 0 12 2 0 0 20 0 18 0 18966487 19430449152 16197 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4743762 16197 5565 1 0 549356 0
[pid=241538/tid=241540] ppid=241535 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) R 241535 241538 237209 0 -1 4194368 5766 0 0 0 7 1 0 0 20 0 18 0 18966487 19430449152 16197 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18966490 19430449152 16197 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241556] ppid=241535 vsize=18975048 memory=14135545648158663 CPUtime=0 cores=5,7
/proc/241538/task/241556/stat : 241556 (Common-Cleaner) S 241535 241538 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18966490 19430449152 16197 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64788 KiB

[startup+0.213254 s]*
/proc/loadavg: 4.19 4.22 4.18 6/317 241556
/proc/meminfo: memFree=41750828/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=18975048 memory=88280 CPUtime=0.35 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 8809 0 0 0 32 3 0 0 20 0 18 0 18966487 19430449152 22070 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4743762 22070 5842 1 0 550365 0
[pid=241538/tid=241540] ppid=241535 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) R 241535 241538 237209 0 -1 4194368 5950 0 0 0 18 1 0 0 20 0 18 0 18966487 19430449152 22070 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=18975048 memory=826994 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18966490 19430449152 22070 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241556] ppid=241535 vsize=18975048 memory=15823295995971300 CPUtime=0 cores=5,7
/proc/241538/task/241556/stat : 241556 (Common-Cleaner) S 241535 241538 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18966490 19430449152 22070 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 88280 KiB

[startup+0.306409 s]*
/proc/loadavg: 4.19 4.22 4.18 7/317 241556
/proc/meminfo: memFree=41711724/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=18975048 memory=120776 CPUtime=0.53 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 9184 0 0 0 49 4 0 0 20 0 18 0 18966487 19430449152 30194 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4743762 30194 5842 1 0 550600 0
[pid=241538/tid=241540] ppid=241535 vsize=18975048 memory=-8816470732551463612 CPUtime=0.29 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) R 241535 241538 237209 0 -1 4194368 5966 0 0 0 26 3 0 0 20 0 18 0 18966487 19430449152 30194 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18966490 19430449152 30194 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241556] ppid=241535 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/241538/task/241556/stat : 241556 (Common-Cleaner) S 241535 241538 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18966490 19430449152 30194 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 120776 KiB

[startup+0.700219 s]
/proc/loadavg: 4.19 4.22 4.18 7/319 241559
/proc/meminfo: memFree=41654444/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=19108176 memory=172160 CPUtime=1.29 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 11120 0 0 0 124 5 0 0 20 0 20 0 18966487 19566772224 43040 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4777044 43040 5874 1 0 551999 0
[pid=241538/tid=241540] ppid=241535 vsize=19108176 memory=5552 CPUtime=0.62 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) R 241535 241538 237209 0 -1 4194368 6065 0 0 0 59 3 0 0 20 0 20 0 18966487 19566772224 43040 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=19108176 memory=12936 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 43040 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241556] ppid=241535 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/241538/task/241556/stat : 241556 (Common-Cleaner) S 241535 241538 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 43040 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241558] ppid=241535 vsize=19108176 memory=117636 CPUtime=0 cores=5,7
/proc/241538/task/241558/stat : 241558 (Timer-0) S 241535 241538 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966528 19566772224 43040 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 172160 KiB

[startup+1.50041 s]
/proc/loadavg: 4.19 4.22 4.18 6/319 241559
/proc/meminfo: memFree=41605512/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=19108176 memory=178120 CPUtime=2.85 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 17013 0 0 0 279 6 0 0 20 0 20 0 18966487 19566772224 44530 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4777044 44530 5890 1 0 553191 0
[pid=241538/tid=241540] ppid=241535 vsize=19108176 memory=12936 CPUtime=1.4 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) R 241535 241538 237209 0 -1 4194368 6504 0 0 0 136 4 0 0 20 0 20 0 18966487 19566772224 44530 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 44530 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241556] ppid=241535 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/241538/task/241556/stat : 241556 (Common-Cleaner) S 241535 241538 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 44530 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241558] ppid=241535 vsize=19108176 memory=279751621256464 CPUtime=0 cores=5,7
/proc/241538/task/241558/stat : 241558 (Timer-0) S 241535 241538 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966528 19566772224 44530 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178120 KiB

[startup+3.10541 s]
/proc/loadavg: 4.19 4.22 4.18 5/313 241571
/proc/meminfo: memFree=41414176/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=19108176 memory=204016 CPUtime=5.66 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 23951 0 0 0 559 7 0 0 20 0 20 0 18966487 19566772224 51004 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4777044 51004 5890 1 0 555864 0
[pid=241538/tid=241540] ppid=241535 vsize=19108176 memory=0 CPUtime=2.96 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) R 241535 241538 237209 0 -1 4194368 7672 0 0 0 292 4 0 0 20 0 20 0 18966487 19566772224 51004 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=19108176 memory=12936 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 51004 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241556] ppid=241535 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/241538/task/241556/stat : 241556 (Common-Cleaner) S 241535 241538 237209 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 51004 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241558] ppid=241535 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/241538/task/241558/stat : 241558 (Timer-0) S 241535 241538 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966528 19566772224 51004 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
Current children cumulated CPU time: 5.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 204016 KiB

[startup+6.30022 s]
/proc/loadavg: 4.26 4.23 4.18 8/338 241610
/proc/meminfo: memFree=48001892/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=19108176 memory=210400 CPUtime=9.22 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 24271 0 0 0 914 8 0 0 20 0 20 0 18966487 19566772224 52600 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4777044 52600 5890 1 0 555883 0
[pid=241538/tid=241540] ppid=241535 vsize=19108176 memory=12936 CPUtime=6.12 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) R 241535 241538 237209 0 -1 4194368 7880 0 0 0 607 5 0 0 20 0 20 0 18966487 19566772224 52600 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 52600 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241556] ppid=241535 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/241538/task/241556/stat : 241556 (Common-Cleaner) S 241535 241538 237209 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 52600 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241558] ppid=241535 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/241538/task/241558/stat : 241558 (Timer-0) S 241535 241538 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966528 19566772224 52600 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
Current children cumulated CPU time: 9.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 210400 KiB

[startup+12.7002 s]
/proc/loadavg: 4.24 4.23 4.18 6/338 241612
/proc/meminfo: memFree=47781176/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=19108176 memory=365916 CPUtime=15.71 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 29722 0 0 0 1556 15 0 0 20 0 20 0 18966487 19566772224 91479 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4777044 91479 5921 1 0 555883 0
[pid=241538/tid=241540] ppid=241535 vsize=19108176 memory=0 CPUtime=12.38 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) R 241535 241538 237209 0 -1 4194368 9169 0 0 0 1228 10 0 0 20 0 20 0 18966487 19566772224 91479 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=19108176 memory=-8816470732551463612 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 91479 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241556] ppid=241535 vsize=19108176 memory=2284 CPUtime=0 cores=5,7
/proc/241538/task/241556/stat : 241556 (Common-Cleaner) S 241535 241538 237209 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 91479 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241558] ppid=241535 vsize=19108176 memory=343336 CPUtime=0 cores=5,7
/proc/241538/task/241558/stat : 241558 (Timer-0) S 241535 241538 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966528 19566772224 91479 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
Current children cumulated CPU time: 15.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 365916 KiB

[startup+25.5004 s]
/proc/loadavg: 4.18 4.22 4.18 6/338 241613
/proc/meminfo: memFree=46774040/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=19108176 memory=576928 CPUtime=28.56 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 32706 0 0 0 2833 23 0 0 20 0 20 0 18966487 19566772224 144232 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4777044 144232 5921 1 0 555883 0
[pid=241538/tid=241540] ppid=241535 vsize=19108176 memory=343336 CPUtime=24.99 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) R 241535 241538 237209 0 -1 4194368 10527 0 0 0 2484 15 0 0 20 0 20 0 18966487 19566772224 144232 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=19108176 memory=505216 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 144232 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241556] ppid=241535 vsize=19108176 memory=12936 CPUtime=0 cores=5,7
/proc/241538/task/241556/stat : 241556 (Common-Cleaner) S 241535 241538 237209 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 144232 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241558] ppid=241535 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/241538/task/241558/stat : 241558 (Timer-0) S 241535 241538 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966528 19566772224 144232 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
Current children cumulated CPU time: 28.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 576928 KiB

[startup+51.1054 s]
/proc/loadavg: 4.18 4.21 4.18 6/338 241618
/proc/meminfo: memFree=45593564/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=19108176 memory=1056256 CPUtime=53.93 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 37943 0 0 0 5353 40 0 0 20 0 20 0 18966487 19566772224 264064 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4777044 264064 5921 1 0 555883 0
[pid=241538/tid=241540] ppid=241535 vsize=19108176 memory=282504 CPUtime=49.85 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) R 241535 241538 237209 0 -1 4194368 13112 0 0 0 4959 26 0 0 20 0 20 0 18966487 19566772224 264064 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 29 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 264064 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0

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

[startup+3282.3 s]
/proc/loadavg: 4.25 4.17 4.17 5/335 243292
/proc/meminfo: memFree=31670296/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=19108176 memory=2187596 CPUtime=3285.33 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 225679 0 0 0 327681 852 0 0 20 0 20 0 18966487 19566772224 546899 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4777044 546899 5934 1 0 558345 0
[pid=241538/tid=241540] ppid=241535 vsize=19108176 memory=2284 CPUtime=3234.38 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) R 241535 241538 237209 0 -1 4194368 87097 0 0 0 322712 726 0 0 20 0 20 0 18966487 19566772224 546899 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1456 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=19108176 memory=75144 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 546899 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241556] ppid=241535 vsize=19108176 memory=2187596 CPUtime=0 cores=5,7
/proc/241538/task/241556/stat : 241556 (Common-Cleaner) S 241535 241538 237209 0 -1 1077936192 2178 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 546899 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241558] ppid=241535 vsize=19108176 memory=2187596 CPUtime=0 cores=5,7
/proc/241538/task/241558/stat : 241558 (Timer-0) S 241535 241538 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966528 19566772224 546899 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
Current children cumulated CPU time: 3285.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2187596 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/337 243472
/proc/meminfo: memFree=31390372/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=19108176 memory=2187596 CPUtime=3345.2 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 226131 0 0 0 333656 864 0 0 20 0 20 0 18966487 19566772224 546899 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4777044 546899 5934 1 0 558345 0
[pid=241538/tid=241540] ppid=241535 vsize=19108176 memory=1832 CPUtime=3293.76 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) R 241535 241538 237209 0 -1 4194368 87540 0 0 0 328639 737 0 0 20 0 20 0 18966487 19566772224 546899 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1479 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=19108176 memory=2187596 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 546899 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241556] ppid=241535 vsize=19108176 memory=75144 CPUtime=0 cores=5,7
/proc/241538/task/241556/stat : 241556 (Common-Cleaner) S 241535 241538 237209 0 -1 1077936192 2178 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 546899 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241558] ppid=241535 vsize=19108176 memory=20036 CPUtime=0 cores=5,7
/proc/241538/task/241558/stat : 241558 (Timer-0) S 241535 241538 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966528 19566772224 546899 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
Current children cumulated CPU time: 3345.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2187596 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.17 4.17 5/340 243541
/proc/meminfo: memFree=31116240/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=19108176 memory=2187596 CPUtime=3405.07 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 228264 0 0 0 339631 876 0 0 20 0 20 0 18966487 19566772224 546899 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4777044 546899 5934 1 0 558345 0
[pid=241538/tid=241540] ppid=241535 vsize=19108176 memory=2187596 CPUtime=3353 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) R 241535 241538 237209 0 -1 4194368 88824 0 0 0 334552 748 0 0 20 0 20 0 18966487 19566772224 546899 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1507 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=19108176 memory=75144 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 546899 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241556] ppid=241535 vsize=19108176 memory=2187596 CPUtime=0 cores=5,7
/proc/241538/task/241556/stat : 241556 (Common-Cleaner) S 241535 241538 237209 0 -1 1077936192 2203 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 546899 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241558] ppid=241535 vsize=19108176 memory=2187596 CPUtime=0 cores=5,7
/proc/241538/task/241558/stat : 241558 (Timer-0) S 241535 241538 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966528 19566772224 546899 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
Current children cumulated CPU time: 3405.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2187596 KiB

[startup+3462.3 s]
/proc/loadavg: 4.33 4.21 4.18 5/338 243552
/proc/meminfo: memFree=30860356/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=19108176 memory=2187624 CPUtime=3465.3 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 230526 0 0 0 345639 891 0 0 20 0 20 0 18966487 19566772224 546906 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4777044 546906 5934 1 0 558345 0
[pid=241538/tid=241540] ppid=241535 vsize=19108176 memory=2187596 CPUtime=3412.06 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) R 241535 241538 237209 0 -1 4194368 89241 0 0 0 340446 760 0 0 20 0 20 0 18966487 19566772224 546906 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1532 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=19108176 memory=75144 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 546906 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241556] ppid=241535 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/241538/task/241556/stat : 241556 (Common-Cleaner) S 241535 241538 237209 0 -1 1077936192 2237 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 546906 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241558] ppid=241535 vsize=19108176 memory=12936 CPUtime=0 cores=5,7
/proc/241538/task/241558/stat : 241558 (Timer-0) S 241535 241538 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966528 19566772224 546906 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
Current children cumulated CPU time: 3465.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2187624 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.20 4.18 5/338 243565
/proc/meminfo: memFree=30578368/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=19108176 memory=2187628 CPUtime=3525.38 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 231382 0 0 0 351635 903 0 0 20 0 20 0 18966487 19566772224 546907 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4777044 546907 5934 1 0 558345 0
[pid=241538/tid=241540] ppid=241535 vsize=19108176 memory=2187624 CPUtime=3471.46 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) R 241535 241538 237209 0 -1 4194368 89767 0 0 0 346375 771 0 0 20 0 20 0 18966487 19566772224 546907 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1545 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=19108176 memory=2187596 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 546907 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241556] ppid=241535 vsize=19108176 memory=-8816470732551463612 CPUtime=0 cores=5,7
/proc/241538/task/241556/stat : 241556 (Common-Cleaner) S 241535 241538 237209 0 -1 1077936192 2237 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 546907 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241558] ppid=241535 vsize=19108176 memory=2187628 CPUtime=0 cores=5,7
/proc/241538/task/241558/stat : 241558 (Timer-0) S 241535 241538 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966528 19566772224 546907 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
Current children cumulated CPU time: 3525.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2187628 KiB

[startup+3582.3 s]
/proc/loadavg: 3.54 4.01 4.12 4/313 243609
/proc/meminfo: memFree=38419736/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=19108176 memory=2187640 CPUtime=3585.62 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 233545 0 0 0 357646 916 0 0 20 0 20 0 18966487 19566772224 546910 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4777044 546910 5934 1 0 558349 0
[pid=241538/tid=241540] ppid=241535 vsize=19108176 memory=2187636 CPUtime=3530.7 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) R 241535 241538 237209 0 -1 4194368 90819 0 0 0 352288 782 0 0 20 0 20 0 18966487 19566772224 546910 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1552 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=19108176 memory=2187640 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 546910 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241556] ppid=241535 vsize=19108176 memory=2187636 CPUtime=0 cores=5,7
/proc/241538/task/241556/stat : 241556 (Common-Cleaner) S 241535 241538 237209 0 -1 1077936192 2320 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 546910 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241558] ppid=241535 vsize=19108176 memory=2187640 CPUtime=0 cores=5,7
/proc/241538/task/241558/stat : 241558 (Timer-0) S 241535 241538 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966528 19566772224 546910 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
Current children cumulated CPU time: 3585.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2187640 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3596.8 s]
/proc/loadavg: 3.42 3.96 4.10 4/313 243612
/proc/meminfo: memFree=38369728/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=19108176 memory=2187640 CPUtime=3600.07 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 233632 0 0 0 359087 920 0 0 20 0 20 0 18966487 19566772224 546910 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4777044 546910 5934 1 0 558349 0
[pid=241538/tid=241540] ppid=241535 vsize=19108176 memory=2187640 CPUtime=3545.13 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) R 241535 241538 237209 0 -1 4194368 90904 0 0 0 353727 786 0 0 20 0 20 0 18966487 19566772224 546910 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1552 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=19108176 memory=2187640 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 546910 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241556] ppid=241535 vsize=19108176 memory=2187640 CPUtime=0 cores=5,7
/proc/241538/task/241556/stat : 241556 (Common-Cleaner) S 241535 241538 237209 0 -1 1077936192 2320 0 0 0 0 0 0 0 20 0 20 0 18966490 19566772224 546910 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241558] ppid=241535 vsize=19108176 memory=2187640 CPUtime=0 cores=5,7
/proc/241538/task/241558/stat : 241558 (Timer-0) S 241535 241538 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966528 19566772224 546910 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2187640 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.04 s, system=9.22133 s

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

[startup+3596.91 s]
/proc/loadavg: 3.42 3.96 4.10 4/313 243612
/proc/meminfo: memFree=38369728/131524600 swapFree=131057564/131071996
[pid=241538] ppid=241535 vsize=19307868 memory=2188292 CPUtime=3600.23 cores=5,7
/proc/241538/stat : 241538 (java) S 241535 241538 237209 0 -1 1077936128 235866 0 0 0 359102 921 0 0 20 0 21 0 18966487 19771256832 547073 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
/proc/241538/statm: 4826967 547073 5933 1 0 559256 0
[pid=241538/tid=241540] ppid=241535 vsize=19307868 memory=2187624 CPUtime=3545.15 cores=5,7
/proc/241538/task/241540/stat : 241540 (java) D 241535 241538 237209 0 -1 4194368 91156 0 0 0 353729 786 0 0 20 0 21 0 18966487 19771256832 547073 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1558 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241549] ppid=241535 vsize=19307868 memory=-8816470732551463612 CPUtime=0 cores=5,7
/proc/241538/task/241549/stat : 241549 (Finalizer) S 241535 241538 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18966490 19771256832 547073 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
[pid=241538/tid=241556] ppid=241535 vsize=19307868 memory=16120 CPUtime=0 cores=5,7
/proc/241538/task/241556/stat : 241556 (Common-Cleaner) S 241535 241538 237209 0 -1 1077936192 2320 0 0 0 0 0 0 0 20 0 21 0 18966490 19771256832 547073 134679101440 94799229501440 94799229505136 140723102419744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94799229512952 94799229513744 94799233052672 140723102421931 140723102422113 140723102422113 140723102429128 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2188292 KiB

Child status: 143

Real time (s): 3596.98
CPU time (s): 3600.26
CPU user time (s): 3591.04
CPU system time (s): 9.22133
CPU usage (%): 100.091
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2188292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.04
system time used= 9.22133
maximum resident set size= 2189152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236058
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12411624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115918
involuntary context switches= 11922


# summary of solver processes directly reported to runsolver:
#   pid: 241538
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3591.04
#   total CPU system time (s): 9.22133

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.1784 second user time and 16.3346 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-24 14:33:56
IDJOB=4446722
IDBENCH=158293
IDSOLVER=3079
FILE ID=nodeC015/4446722-1721824436
RUNJOBID= nodeC015-1721817186-237222
SLURM_JOB_ID= 7816866
Free space on /tmp= 890028 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K162.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446722-1721824436/watcher-4446722-1721824436 -o /tmp/evaluation-result-4446722-1721824436/solver-4446722-1721824436 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721817186-237222 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4446722-1721824436 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4446722-1721824436.opb

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

MD5SUM BENCH= 3691972eca5819945d0aaf6ae8165cd0
RANDOM SEED=363426714

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        41817468 kB
MemAvailable:   125793244 kB
Buffers:          259676 kB
Cached:         84165124 kB
SwapCached:          792 kB
Active:          2659676 kB
Inactive:       85889888 kB
Active(anon):       1888 kB
Inactive(anon):  4175732 kB
Active(file):    2657788 kB
Inactive(file): 81714156 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057564 kB
Dirty:             60860 kB
Writeback:             0 kB
AnonPages:       4123172 kB
Mapped:           139268 kB
Shmem:             52776 kB
KReclaimable:     665240 kB
Slab:             796132 kB
SReclaimable:     665240 kB
SUnreclaim:       130892 kB
KernelStack:        4848 kB
PageTables:        18188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5576068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16224 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3885056 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:      367316 kB
DirectMap2M:    43446272 kB
DirectMap1G:    92274688 kB

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