Trace number 4446782

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.2 3602.23

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K193.opb
MD5SUMa57909b893e448cbfc1c45d11e8afcf3
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 benchmark62.0014
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22967
Total number of constraints23355
Number of constraints which are clauses23162
Number of constraints which are cardinality constraints (but not clauses)193
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint193
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 194
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.08	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	Expensive reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4446782-1721824440.opb
0.13/0.13	c reading problem ... 
0.19/0.26	c using VERIPB proof format
0.19/0.27	c  no objective function found
0.67/0.58	c ... done. Wall clock time 0.448s.
0.67/0.58	c declared #vars     22967
0.67/0.58	c #constraints  23355
0.67/0.58	c constraints type 
0.67/0.58	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2496
0.67/0.58	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 193
0.67/0.58	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 20664
0.67/0.58	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.67/0.58	c 23355 constraints processed.
6.25/3.51	c cleaning 2479 clauses out of 4994 with flag 20591/5003
9.91/6.47	c cleaning 4244 clauses out of 8505 with flag 50291/11000
13.39/9.71	c cleaning 5620 clauses out of 11257 with flag 87889/18000
17.41/13.77	c cleaning 6786 clauses out of 13628 with flag 127760/26000
21.84/18.19	c cleaning 7902 clauses out of 15841 with flag 171382/35003
26.84/23.11	c cleaning 8199 clauses out of 17935 with flag 220372/45000
32.34/28.69	c cleaning 8785 clauses out of 20736 with flag 273650/56000
38.20/34.50	c cleaning 9794 clauses out of 23950 with flag 330633/68000
44.64/40.98	c cleaning 10449 clauses out of 27156 with flag 392875/81000
51.99/48.20	c cleaning 11188 clauses out of 30705 with flag 462768/95001
59.61/55.88	c cleaning 11959 clauses out of 34515 with flag 537414/110000
68.17/65.18	c cleaning 12873 clauses out of 38556 with flag 615989/126001
77.54/74.46	c cleaning 13556 clauses out of 42679 with flag 699773/143000
87.06/83.98	c cleaning 14373 clauses out of 47116 with flag 791880/161000
97.17/94.19	c cleaning 15232 clauses out of 51742 with flag 884196/180002
108.32/105.49	c cleaning 15901 clauses out of 56505 with flag 984880/200003
120.47/117.52	c cleaning 17177 clauses out of 61595 with flag 1095082/221000
132.60/129.61	c cleaning 17784 clauses out of 66415 with flag 1206934/243000
145.91/142.85	c cleaning 18264 clauses out of 71626 with flag 1326899/266000
159.44/157.40	c cleaning 19197 clauses out of 77355 with flag 1451439/290000
174.63/172.59	c cleaning 19749 clauses out of 83155 with flag 1586177/315000
190.65/188.41	c cleaning 20899 clauses out of 89407 with flag 1723843/341001
207.26/205.44	c cleaning 21767 clauses out of 95502 with flag 1865511/368000
224.48/222.52	c cleaning 22684 clauses out of 101732 with flag 2010684/396000
243.41/241.66	c cleaning 23244 clauses out of 108047 with flag 2169525/425000
262.06/260.49	c cleaning 24357 clauses out of 114798 with flag 2328331/455000
281.76/280.03	c cleaning 25187 clauses out of 121440 with flag 2493740/486000
302.83/301.42	c cleaning 25827 clauses out of 128249 with flag 2668958/518000
324.80/323.76	c cleaning 26808 clauses out of 135415 with flag 2849439/551000
348.29/347.24	c cleaning 27463 clauses out of 142608 with flag 3037869/585006
371.61/370.54	c cleaning 28419 clauses out of 150134 with flag 3226741/620000
396.87/395.78	c cleaning 29308 clauses out of 157714 with flag 3425941/656000
422.84/421.63	c cleaning 29942 clauses out of 165409 with flag 3629503/693004
449.62/448.48	c cleaning 30957 clauses out of 173461 with flag 3845276/731000
477.21/476.18	c cleaning 31833 clauses out of 181502 with flag 4069770/770002
505.70/504.87	c cleaning 32943 clauses out of 189668 with flag 4298836/810001
537.11/536.14	c cleaning 33699 clauses out of 197722 with flag 4535115/851000
567.99/567.19	c cleaning 34635 clauses out of 206027 with flag 4780469/893004
599.92/598.99	c cleaning 35476 clauses out of 214387 with flag 5029789/936000
633.14/632.15	c cleaning 36219 clauses out of 222909 with flag 5286739/980000
668.93/667.53	c cleaning 36918 clauses out of 231688 with flag 5555997/1025000
704.94/703.59	c cleaning 37916 clauses out of 240765 with flag 5831580/1071000
741.32/740.07	c cleaning 38662 clauses out of 249846 with flag 6119535/1118000
779.00/777.63	c cleaning 40025 clauses out of 259180 with flag 6401237/1166000
818.83/817.82	c cleaning 40679 clauses out of 268154 with flag 6691964/1215000
860.40/859.69	c cleaning 41197 clauses out of 277475 with flag 6992610/1265000
902.58/901.75	c cleaning 42251 clauses out of 287274 with flag 7303466/1316000
945.66/944.94	c cleaning 43359 clauses out of 297022 with flag 7616184/1368002
991.25/990.67	c cleaning 44207 clauses out of 306662 with flag 7940008/1421001
1039.13/1038.43	c cleaning 44941 clauses out of 316453 with flag 8278583/1475000
1087.79/1088.88	c cleaning 46186 clauses out of 326514 with flag 8612259/1530003
1137.31/1138.31	c cleaning 47215 clauses out of 336323 with flag 8959542/1586000
1188.00/1189.10	c cleaning 47846 clauses out of 346109 with flag 9308564/1643001
1238.90/1240.32	c cleaning 48706 clauses out of 356258 with flag 9671011/1701000
1292.15/1293.32	c cleaning 49454 clauses out of 366551 with flag 10039518/1760000
1347.69/1348.81	c cleaning 50591 clauses out of 377094 with flag 10424931/1820000
1405.41/1406.37	c cleaning 51031 clauses out of 387502 with flag 10817739/1881000
1463.38/1464.21	c cleaning 52438 clauses out of 398471 with flag 11218099/1943000
1524.32/1525.29	c cleaning 53306 clauses out of 409031 with flag 11622212/2006000
1586.46/1587.24	c cleaning 54548 clauses out of 419724 with flag 12037861/2070000
1651.13/1651.93	c cleaning 55361 clauses out of 430176 with flag 12466171/2135000
1716.01/1717.24	c cleaning 56057 clauses out of 440815 with flag 12895149/2201002
1782.92/1784.15	c cleaning 57045 clauses out of 451756 with flag 13341204/2268000
1852.91/1853.97	c cleaning 57701 clauses out of 462709 with flag 13808574/2336000
1923.99/1925.65	c cleaning 58866 clauses out of 474006 with flag 14273921/2405000
1997.48/1999.15	c cleaning 59788 clauses out of 485139 with flag 14751614/2475000
2073.01/2075.30	c cleaning 60763 clauses out of 496351 with flag 15238822/2546000
2150.90/2152.72	c cleaning 61593 clauses out of 507587 with flag 15740005/2618000
2229.77/2231.81	c cleaning 62425 clauses out of 518992 with flag 16246915/2691000
2310.99/2314.69	c cleaning 63277 clauses out of 530564 with flag 16762017/2765000
2395.09/2398.66	c cleaning 64354 clauses out of 542286 with flag 17276008/2840001
2480.20/2483.60	c cleaning 65476 clauses out of 553930 with flag 17800332/2916000
2569.60/2573.21	c cleaning 66056 clauses out of 565453 with flag 18360419/2993000
2659.70/2662.68	c cleaning 67527 clauses out of 577395 with flag 18898082/3071000
2751.77/2754.65	c cleaning 68228 clauses out of 588864 with flag 19454205/3150000
2845.84/2848.75	c cleaning 69171 clauses out of 600635 with flag 20023108/3230000
2946.65/2948.92	c cleaning 70100 clauses out of 612460 with flag 20615334/3311000
3044.80/3047.51	c cleaning 71337 clauses out of 624361 with flag 21194067/3393001
3147.05/3150.29	c cleaning 72160 clauses out of 636023 with flag 21799781/3476000
3251.07/3253.51	c cleaning 73076 clauses out of 647863 with flag 22420479/3560000
3356.51/3359.11	c cleaning 74209 clauses out of 659785 with flag 23030141/3645000
3465.52/3467.81	c cleaning 75118 clauses out of 671577 with flag 23662368/3731001
3567.46/3569.56	c cleaning 76055 clauses out of 683458 with flag 24303138/3818000
3600.03/3602.12	c starts		: 23039
3600.03/3602.12	c timeout
3600.03/3602.12	c conflicts		: 3852123
3600.03/3602.12	c decisions		: 170160421
3600.03/3602.12	c propagations		: 4285543097
3600.03/3602.12	c inspects		: 17339984903
3600.03/3602.12	c shortcuts		: 0
3600.03/3602.12	c learnt literals	: 200
3600.03/3602.12	c learnt binary clauses	: 268090
3600.03/3602.12	c learnt ternary clauses	: 228182
3600.03/3602.12	c learnt constraints	: 3851923
3600.03/3602.12	c ignored constraints	: 0
3600.03/3602.12	c root simplifications	: 0
3600.03/3602.12	c removed literals (reason simplification)	: 35078435
3600.03/3602.12	c reason swapping (by a shorter reason)	: 0
3600.03/3602.12	c Calls to reduceDB	: 83
3600.03/3602.12	c Number of update (reduction) of LBD	: 2672500
3600.03/3602.12	c Imported unit clauses	: 0
3600.03/3602.12	c No decision after first conflict	: false
3600.03/3602.12	c number of reductions to clauses (during analyze)	: 0
3600.03/3602.12	c number of learned constraints concerned by reduction	: 0
3600.03/3602.12	c number of learning phase by resolution	: 0
3600.03/3602.12	c number of learning phase by cutting planes	: 0
3600.03/3602.12	c number of rounding to 1 operations	: 0
3600.03/3602.12	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3602.12	c number of reductions of the coefficients by power 2 	: 0
3600.03/3602.12	c number of right shift for reduction by power 2 	: 0
3600.03/3602.12	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3602.12	c number of ending skipping 	: 0
3600.03/3602.12	c number of internal skipping 	: 0
3600.03/3602.12	c number of derivation steps 	: 0
3600.03/3602.12	c number of skipped derivation steps 	: 0
3600.03/3602.12	c number of remaining unassigned 	: 0
3600.03/3602.12	c number of remaining assigned 	: 0
3600.03/3602.12	c number of falsified literals weakened from reason	: 0
3600.03/3602.12	c number of falsified literals weakened from conflict	: 0
3600.03/3602.12	c time for arithmetic operations	: 0
3600.03/3602.12	c minimum degree of deleted constraints	: null
3600.03/3602.12	c maximum degree of deleted constraints	: null
3600.03/3602.12	c number of deleted constraints	: 0
3600.03/3602.12	c speed (assignments/second)	: 1189923.2512080285
3600.03/3602.12	c non guided choices	: 84559
3600.16/3602.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 373436
3600.16/3602.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 268090
3600.16/3602.21	s UNKNOWN
3600.16/3602.21	c Total wall clock time (in seconds): 3602.086

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446782-1721824440/watcher-4446782-1721824440 -o /tmp/evaluation-result-4446782-1721824440/solver-4446782-1721824440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721817186-237220 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4446782-1721824440 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4446782-1721824440.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=241590, runsolver pid=241587

[startup+0.100378 s]*
/proc/loadavg: 4.26 4.23 4.18 7/336 241608
/proc/meminfo: memFree=48164788/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=18975048 memory=64520 CPUtime=0.13 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 7213 0 0 0 11 2 0 0 20 0 18 0 18966915 19430449152 16130 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4743762 16130 5527 1 0 549328 0
[pid=241590/tid=241592] ppid=241587 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) R 241587 241590 237209 0 -1 4194368 5749 0 0 0 7 1 0 0 20 0 18 0 18966915 19430449152 16130 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18966918 19430449152 16130 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=18975048 memory=14135545648158663 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18966918 19430449152 16130 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64520 KiB

[startup+0.205968 s]*
/proc/loadavg: 4.26 4.23 4.18 4/336 241608
/proc/meminfo: memFree=48162632/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=18975048 memory=66464 CPUtime=0.19 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 7454 0 0 0 17 2 0 0 20 0 18 0 18966915 19430449152 16616 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4743762 16616 5785 1 0 549484 0
[pid=241590/tid=241592] ppid=241587 vsize=18975048 memory=4782652875487838339 CPUtime=0.1 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) D 241587 241590 237209 0 -1 1078198336 5876 0 0 0 9 1 0 0 20 0 18 0 18966915 19430449152 16616 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=18975048 memory=826994 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18966918 19430449152 16616 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=18975048 memory=15823295995971300 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18966918 19430449152 16616 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66464 KiB

[startup+0.306373 s]*
/proc/loadavg: 4.26 4.23 4.18 7/336 241608
/proc/meminfo: memFree=48154472/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=18975048 memory=73432 CPUtime=0.26 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 7610 0 0 0 24 2 0 0 20 0 18 0 18966915 19430449152 18358 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4743762 18358 5824 1 0 549589 0
[pid=241590/tid=241592] ppid=241587 vsize=18975048 memory=-8670948169592054460 CPUtime=0.15 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) R 241587 241590 237209 0 -1 4194368 5924 0 0 0 13 2 0 0 20 0 18 0 18966915 19430449152 18358 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18966918 19430449152 18358 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18966918 19430449152 18358 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 73432 KiB

[startup+0.700222 s]
/proc/loadavg: 4.26 4.23 4.18 7/336 241608
/proc/meminfo: memFree=48076640/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=19108176 memory=178516 CPUtime=1 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 12767 0 0 0 95 5 0 0 20 0 20 0 18966915 19566772224 44629 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4777044 44629 5840 1 0 553133 0
[pid=241590/tid=241592] ppid=241587 vsize=19108176 memory=5552 CPUtime=0.48 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) R 241587 241590 237209 0 -1 4194368 6058 0 0 0 44 4 0 0 20 0 20 0 18966915 19566772224 44629 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=19108176 memory=12936 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 44629 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 44629 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178516 KiB

[startup+1.50037 s]
/proc/loadavg: 4.26 4.23 4.18 6/338 241610
/proc/meminfo: memFree=48028204/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=19108176 memory=195356 CPUtime=2.6 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 26589 0 0 0 253 7 0 0 20 0 20 0 18966915 19566772224 48839 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4777044 48839 5877 1 0 557065 0
[pid=241590/tid=241592] ppid=241587 vsize=19108176 memory=12936 CPUtime=1.24 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) R 241587 241590 237209 0 -1 4194368 6391 0 0 0 120 4 0 0 20 0 20 0 18966915 19566772224 48839 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 48839 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 48839 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241610] ppid=241587 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/241590/task/241610/stat : 241610 (Timer-0) S 241587 241590 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966975 19566772224 48839 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195356 KiB

[startup+3.10637 s]
/proc/loadavg: 4.26 4.23 4.18 6/338 241610
/proc/meminfo: memFree=47937180/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=19108176 memory=207008 CPUtime=5.75 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 28936 0 0 0 567 8 0 0 20 0 20 0 18966915 19566772224 51752 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4777044 51752 5893 1 0 557090 0
[pid=241590/tid=241592] ppid=241587 vsize=19108176 memory=0 CPUtime=2.78 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) R 241587 241590 237209 0 -1 4194368 6869 0 0 0 274 4 0 0 20 0 20 0 18966915 19566772224 51752 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=19108176 memory=13520 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 51752 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 51752 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241610] ppid=241587 vsize=19108176 memory=12936 CPUtime=0 cores=4,6
/proc/241590/task/241610/stat : 241610 (Timer-0) S 241587 241590 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966975 19566772224 51752 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
Current children cumulated CPU time: 5.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 207008 KiB

[startup+6.30037 s]
/proc/loadavg: 4.24 4.23 4.18 5/338 241610
/proc/meminfo: memFree=47874040/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=19108176 memory=221788 CPUtime=9.8 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 29871 0 0 0 971 9 0 0 20 0 20 0 18966915 19566772224 55447 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4777044 55447 5893 1 0 557123 0
[pid=241590/tid=241592] ppid=241587 vsize=19108176 memory=0 CPUtime=5.88 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) R 241587 241590 237209 0 -1 4194368 7541 0 0 0 583 5 0 0 20 0 20 0 18966915 19566772224 55447 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=19108176 memory=12936 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 55447 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=19108176 memory=13520 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 55447 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241610] ppid=241587 vsize=19108176 memory=75144 CPUtime=0 cores=4,6
/proc/241590/task/241610/stat : 241610 (Timer-0) S 241587 241590 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966975 19566772224 55447 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
Current children cumulated CPU time: 9.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 221788 KiB

[startup+12.7003 s]
/proc/loadavg: 4.22 4.22 4.18 5/338 241612
/proc/meminfo: memFree=47431796/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=19108176 memory=332912 CPUtime=16.41 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 36736 0 0 0 1628 13 0 0 20 0 20 0 18966915 19566772224 83228 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4777044 83228 5908 1 0 557123 0
[pid=241590/tid=241592] ppid=241587 vsize=19108176 memory=188880 CPUtime=12.14 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) R 241587 241590 237209 0 -1 4194368 8824 0 0 0 1206 8 0 0 20 0 20 0 18966915 19566772224 83228 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=19108176 memory=310384 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 83228 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=19108176 memory=207008 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 83228 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241610] ppid=241587 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/241590/task/241610/stat : 241610 (Timer-0) S 241587 241590 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966975 19566772224 83228 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
Current children cumulated CPU time: 16.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 332912 KiB

[startup+25.5003 s]
/proc/loadavg: 4.25 4.23 4.18 4/338 241613
/proc/meminfo: memFree=46574556/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=19108176 memory=860360 CPUtime=29.25 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 40902 0 0 0 2898 27 0 0 20 0 20 0 18966915 19566772224 215090 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4777044 215090 5908 1 0 663644 0
[pid=241590/tid=241592] ppid=241587 vsize=19108176 memory=310384 CPUtime=24.68 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) R 241587 241590 237209 0 -1 4194368 10350 0 0 0 2449 19 0 0 20 0 20 0 18966915 19566772224 215090 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=19108176 memory=739252 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 215090 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 215090 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241610] ppid=241587 vsize=19108176 memory=6656426216303648864 CPUtime=0 cores=4,6
/proc/241590/task/241610/stat : 241610 (Timer-0) S 241587 241590 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966975 19566772224 215090 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
Current children cumulated CPU time: 29.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 860360 KiB

[startup+51.1059 s]
/proc/loadavg: 4.24 4.23 4.18 5/338 241618
/proc/meminfo: memFree=45547724/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=19108176 memory=932144 CPUtime=54.89 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 45759 0 0 0 5453 36 0 0 20 0 20 0 18966915 19566772224 233036 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4777044 233036 5908 1 0 663644 0
[pid=241590/tid=241592] ppid=241587 vsize=19108176 memory=901340 CPUtime=49.97 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) R 241587 241590 237209 0 -1 4194368 12949 0 0 0 4971 26 0 0 20 0 20 0 18966915 19566772224 233036 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=19108176 memory=901340 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 233036 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=19108176 memory=13520 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 233036 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0

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

[startup+3282.3 s]
/proc/loadavg: 4.23 4.17 4.17 5/335 243292
/proc/meminfo: memFree=31649904/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=19108176 memory=2619272 CPUtime=3279.91 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 240407 0 0 0 327190 801 0 0 20 0 20 0 18966915 19566772224 654818 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4777044 654818 5923 1 0 666399 0
[pid=241590/tid=241592] ppid=241587 vsize=19108176 memory=2619268 CPUtime=3231.07 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) R 241587 241590 237209 0 -1 4194368 90563 0 0 0 322449 658 0 0 20 0 20 0 18966915 19566772224 654818 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1651 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=19108176 memory=13520 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 654818 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=19108176 memory=2284 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 1999 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 654818 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241610] ppid=241587 vsize=19108176 memory=2619272 CPUtime=0 cores=4,6
/proc/241590/task/241610/stat : 241610 (Timer-0) S 241587 241590 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966975 19566772224 654818 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
Current children cumulated CPU time: 3279.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2619272 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.17 4.17 5/337 243472
/proc/meminfo: memFree=31373560/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=19108176 memory=2619276 CPUtime=3339.87 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 241524 0 0 0 333175 812 0 0 20 0 20 0 18966915 19566772224 654819 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4777044 654819 5923 1 0 666399 0
[pid=241590/tid=241592] ppid=241587 vsize=19108176 memory=12936 CPUtime=3290.32 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) R 241587 241590 237209 0 -1 4194368 91538 0 0 0 328365 667 0 0 20 0 20 0 18966915 19566772224 654819 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1661 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=19108176 memory=13520 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 654819 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=19108176 memory=2619276 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 1999 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 654819 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241610] ppid=241587 vsize=19108176 memory=4648 CPUtime=0 cores=4,6
/proc/241590/task/241610/stat : 241610 (Timer-0) S 241587 241590 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966975 19566772224 654819 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
Current children cumulated CPU time: 3339.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2619276 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.17 4.17 5/340 243541
/proc/meminfo: memFree=31094632/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=19108176 memory=2619276 CPUtime=3399.52 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 243400 0 0 0 339127 825 0 0 20 0 20 0 18966915 19566772224 654819 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4777044 654819 5923 1 0 666399 0
[pid=241590/tid=241592] ppid=241587 vsize=19108176 memory=2619276 CPUtime=3349.39 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) R 241587 241590 237209 0 -1 4194368 92485 0 0 0 334261 678 0 0 20 0 20 0 18966915 19566772224 654819 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1665 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=19108176 memory=2619276 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 654819 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=19108176 memory=2619276 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 2060 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 654819 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241610] ppid=241587 vsize=19108176 memory=2619272 CPUtime=0 cores=4,6
/proc/241590/task/241610/stat : 241610 (Timer-0) S 241587 241590 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966975 19566772224 654819 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
Current children cumulated CPU time: 3399.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2619276 KiB

[startup+3462.3 s]
/proc/loadavg: 4.31 4.21 4.18 5/338 243552
/proc/meminfo: memFree=30843788/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=19108176 memory=2619504 CPUtime=3460.04 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 253177 0 0 0 345166 838 0 0 20 0 20 0 18966915 19566772224 654876 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4777044 654876 5923 1 0 666487 0
[pid=241590/tid=241592] ppid=241587 vsize=19108176 memory=2619276 CPUtime=3408.58 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) R 241587 241590 237209 0 -1 4194368 96225 0 0 0 340170 688 0 0 20 0 20 0 18966915 19566772224 654876 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1680 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=19108176 memory=2619272 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 654876 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=19108176 memory=2619276 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 2060 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 654876 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241610] ppid=241587 vsize=19108176 memory=2619504 CPUtime=0 cores=4,6
/proc/241590/task/241610/stat : 241610 (Timer-0) S 241587 241590 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966975 19566772224 654876 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
Current children cumulated CPU time: 3460.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2619504 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.20 4.18 4/312 243599
/proc/meminfo: memFree=38619800/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=19108176 memory=2619860 CPUtime=3519.85 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 253830 0 0 0 351136 849 0 0 20 0 20 0 18966915 19566772224 654965 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4777044 654965 5923 1 0 666557 0
[pid=241590/tid=241592] ppid=241587 vsize=19108176 memory=2619504 CPUtime=3467.83 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) R 241587 241590 237209 0 -1 4194368 96782 0 0 0 346085 698 0 0 20 0 20 0 18966915 19566772224 654965 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1704 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=19108176 memory=2619504 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 654965 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=19108176 memory=13520 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 2060 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 654965 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241610] ppid=241587 vsize=19108176 memory=1832 CPUtime=0 cores=4,6
/proc/241590/task/241610/stat : 241610 (Timer-0) S 241587 241590 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966975 19566772224 654965 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
Current children cumulated CPU time: 3519.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2619860 KiB

[startup+3582.3 s]
/proc/loadavg: 3.50 4.00 4.11 4/313 243610
/proc/meminfo: memFree=38404884/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=19108176 memory=2627456 CPUtime=3580.18 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 257268 0 0 0 357158 860 0 0 20 0 20 0 18966915 19566772224 656864 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4777044 656864 5920 1 0 666652 0
[pid=241590/tid=241592] ppid=241587 vsize=19108176 memory=2627448 CPUtime=3527.14 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) R 241587 241590 237209 0 -1 4194368 98725 0 0 0 352006 708 0 0 20 0 20 0 18966915 19566772224 656864 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1712 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=19108176 memory=5552 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 656864 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=19108176 memory=2627456 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 2173 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 656864 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241610] ppid=241587 vsize=19108176 memory=32540 CPUtime=0 cores=4,6
/proc/241590/task/241610/stat : 241610 (Timer-0) S 241587 241590 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966975 19566772224 656864 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
Current children cumulated CPU time: 3580.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2627456 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.11 s]
/proc/loadavg: 3.43 3.95 4.09 3/286 243647
/proc/meminfo: memFree=46738344/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=19108176 memory=2627456 CPUtime=3600.03 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 257418 0 0 0 359138 865 0 0 20 0 20 0 18966915 19566772224 656864 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4777044 656864 5920 1 0 666652 0
[pid=241590/tid=241592] ppid=241587 vsize=19108176 memory=25588 CPUtime=3546.69 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) R 241587 241590 237209 0 -1 4194368 98853 0 0 0 353958 711 0 0 20 0 20 0 18966915 19566772224 656864 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1712 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=19108176 memory=75144 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 656864 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=19108176 memory=2627456 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 2173 0 0 0 0 0 0 0 20 0 20 0 18966918 19566772224 656864 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241610] ppid=241587 vsize=19108176 memory=-8670948169592054460 CPUtime=0 cores=4,6
/proc/241590/task/241610/stat : 241610 (Timer-0) S 241587 241590 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18966975 19566772224 656864 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2627456 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.53 s, system=8.66939 s

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

[startup+3602.2 s]
/proc/loadavg: 3.43 3.95 4.09 3/286 243647
/proc/meminfo: memFree=46738344/131524600 swapFree=131057564/131071996
[pid=241590] ppid=241587 vsize=19307868 memory=2628116 CPUtime=3600.16 cores=4,6
/proc/241590/stat : 241590 (java) S 241587 241590 237209 0 -1 1077936128 260531 0 0 0 359151 865 0 0 20 0 21 0 18966915 19771256832 657029 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
/proc/241590/statm: 4826967 657029 5919 1 0 667577 0
[pid=241590/tid=241592] ppid=241587 vsize=19307868 memory=3164 CPUtime=3546.72 cores=4,6
/proc/241590/task/241592/stat : 241592 (java) S 241587 241590 237209 0 -1 1077936192 99148 0 0 0 353960 712 0 0 20 0 21 0 18966915 19771256832 657029 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1718 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241601] ppid=241587 vsize=19307868 memory=2200 CPUtime=0 cores=4,6
/proc/241590/task/241601/stat : 241601 (Finalizer) S 241587 241590 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18966918 19771256832 657029 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
[pid=241590/tid=241608] ppid=241587 vsize=19307868 memory=1608 CPUtime=0 cores=4,6
/proc/241590/task/241608/stat : 241608 (Common-Cleaner) S 241587 241590 237209 0 -1 1077936192 2173 0 0 0 0 0 0 0 20 0 21 0 18966918 19771256832 657029 134679101440 94159033552896 94159033556592 140720575880000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159033564408 94159033565200 94159057281024 140720575886251 140720575886433 140720575886433 140720575893448 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2628116 KiB

Child status: 143

Real time (s): 3602.23
CPU time (s): 3600.2
CPU user time (s): 3591.53
CPU system time (s): 8.66939
CPU usage (%): 99.9437
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2628116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.53
system time used= 8.66939
maximum resident set size= 2629036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260836
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11908840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113685
involuntary context switches= 17043


# summary of solver processes directly reported to runsolver:
#   pid: 241590
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3591.53
#   total CPU system time (s): 8.66939

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.14432 second user time and 17.1674 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-24 14:34:00
IDJOB=4446782
IDBENCH=158306
IDSOLVER=3079
FILE ID=nodeC015/4446782-1721824440
RUNJOBID= nodeC015-1721817186-237220
SLURM_JOB_ID= 7816866
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K193.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-4446782-1721824440/watcher-4446782-1721824440 -o /tmp/evaluation-result-4446782-1721824440/solver-4446782-1721824440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721817186-237220 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4446782-1721824440 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4446782-1721824440.opb

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

MD5SUM BENCH= a57909b893e448cbfc1c45d11e8afcf3
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		: 3666.270
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		: 3689.557
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		: 3612.727
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		: 3600.072
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		: 3660.461
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		: 3689.620
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		: 3634.143
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		: 3599.860
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:        48210076 kB
MemAvailable:   125411872 kB
Buffers:          259688 kB
Cached:         77405196 kB
SwapCached:          792 kB
Active:          2612932 kB
Inactive:       79556096 kB
Active(anon):       1864 kB
Inactive(anon):  4555104 kB
Active(file):    2611068 kB
Inactive(file): 75000992 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057564 kB
Dirty:             95584 kB
Writeback:             4 kB
AnonPages:       4502884 kB
Mapped:           139108 kB
Shmem:             52776 kB
KReclaimable:     651144 kB
Slab:             782960 kB
SReclaimable:     651144 kB
SUnreclaim:       131816 kB
KernelStack:        5156 kB
PageTables:        18892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7845384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16224 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4210688 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= 890080 MiB
End job on nodeC015 at 2024-07-24 15:34:03