Trace number 4446572

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.19 3606.26

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K197.opb
MD5SUMcd0a69270cffb0a3df5915a64d0aa68c
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 benchmark34.2303
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23443
Total number of constraints23839
Number of constraints which are clauses23642
Number of constraints which are cardinality constraints (but not clauses)197
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint197
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 198
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.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	Expensive reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- 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-4446572-1721824355.opb
0.13/0.13	c reading problem ... 
0.13/0.15	c using VERIPB proof format
0.13/0.15	c  no objective function found
0.67/0.45	c ... done. Wall clock time 0.32s.
0.67/0.45	c declared #vars     23443
0.67/0.45	c #constraints  23839
0.67/0.45	c constraints type 
0.67/0.45	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2548
0.67/0.45	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 197
0.67/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 21092
0.67/0.45	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.67/0.45	c 23839 constraints processed.
5.57/3.25	c cleaning 2494 clauses out of 4994 with flag 20438/5000
8.60/6.08	c cleaning 4227 clauses out of 8491 with flag 52119/11000
13.05/10.18	c cleaning 5611 clauses out of 11259 with flag 87960/18002
17.17/14.01	c cleaning 6790 clauses out of 13643 with flag 127560/26000
21.83/18.49	c cleaning 7662 clauses out of 15852 with flag 171677/35002
26.83/23.46	c cleaning 7884 clauses out of 18186 with flag 219063/45000
32.54/29.11	c cleaning 8576 clauses out of 21296 with flag 273261/56000
38.88/35.53	c cleaning 9651 clauses out of 24718 with flag 332561/68000
45.78/42.43	c cleaning 10461 clauses out of 28059 with flag 398189/81000
54.54/51.17	c cleaning 11228 clauses out of 31594 with flag 467716/95001
62.38/58.90	c cleaning 12008 clauses out of 35364 with flag 545036/110002
71.16/67.66	c cleaning 12772 clauses out of 39354 with flag 624487/126000
80.09/76.40	c cleaning 13628 clauses out of 43581 with flag 712630/143000
88.96/85.22	c cleaning 14459 clauses out of 47946 with flag 804666/161001
100.77/97.10	c cleaning 15269 clauses out of 52486 with flag 900974/180003
112.02/108.34	c cleaning 15937 clauses out of 57212 with flag 1000524/200000
124.20/120.42	c cleaning 16945 clauses out of 62270 with flag 1110561/221000
136.91/133.10	c cleaning 17553 clauses out of 67319 with flag 1223117/243000
150.35/146.57	c cleaning 18345 clauses out of 72764 with flag 1339942/266000
164.28/160.93	c cleaning 19209 clauses out of 78416 with flag 1462900/290000
179.36/175.93	c cleaning 20082 clauses out of 84204 with flag 1595899/315000
195.70/192.39	c cleaning 20572 clauses out of 90115 with flag 1734769/341000
212.35/209.02	c cleaning 21681 clauses out of 96542 with flag 1877639/368000
230.24/227.47	c cleaning 22490 clauses out of 102856 with flag 2025219/396000
248.67/245.93	c cleaning 23380 clauses out of 109364 with flag 2178622/425000
268.29/265.33	c cleaning 24081 clauses out of 115985 with flag 2340912/455001
288.34/285.81	c cleaning 25183 clauses out of 122900 with flag 2506861/486000
309.68/307.10	c cleaning 26113 clauses out of 129713 with flag 2678095/518000
332.48/330.24	c cleaning 26413 clauses out of 136601 with flag 2857097/551004
356.17/353.92	c cleaning 27349 clauses out of 144183 with flag 3043144/585001
380.63/378.81	c cleaning 28558 clauses out of 151831 with flag 3243718/620000
405.91/404.58	c cleaning 29088 clauses out of 159269 with flag 3444769/656001
432.07/430.55	c cleaning 30476 clauses out of 167178 with flag 3648416/693000
460.20/459.00	c cleaning 30740 clauses out of 174696 with flag 3865376/731000
489.35/488.27	c cleaning 31647 clauses out of 182954 with flag 4087767/770000
520.21/518.80	c cleaning 32606 clauses out of 191301 with flag 4314568/810000
551.25/549.99	c cleaning 33745 clauses out of 199694 with flag 4546541/851002
582.74/581.42	c cleaning 34503 clauses out of 207945 with flag 4789777/893000
614.96/613.61	c cleaning 35399 clauses out of 216441 with flag 5040455/936000
648.69/647.70	c cleaning 35951 clauses out of 225042 with flag 5304855/980001
684.81/684.00	c cleaning 37114 clauses out of 234088 with flag 5572251/1025000
721.77/721.11	c cleaning 38209 clauses out of 242970 with flag 5844772/1071000
759.95/759.42	c cleaning 38754 clauses out of 251761 with flag 6121848/1118002
799.19/798.49	c cleaning 39493 clauses out of 261003 with flag 6406664/1166001
839.82/839.03	c cleaning 40613 clauses out of 270508 with flag 6704732/1215000
881.24/880.54	c cleaning 41799 clauses out of 279893 with flag 6998199/1265000
925.75/925.48	c cleaning 42145 clauses out of 289094 with flag 7314647/1316003
971.58/970.93	c cleaning 43433 clauses out of 298948 with flag 7631303/1368003
1018.75/1018.65	c cleaning 43789 clauses out of 308511 with flag 7959001/1421002
1065.98/1066.32	c cleaning 44880 clauses out of 318723 with flag 8289155/1475003
1113.94/1114.73	c cleaning 45879 clauses out of 328839 with flag 8640945/1530000
1164.34/1167.59	c cleaning 46858 clauses out of 338960 with flag 8985338/1586001
1217.21/1220.27	c cleaning 47824 clauses out of 349100 with flag 9337758/1643001
1269.38/1272.66	c cleaning 48607 clauses out of 359275 with flag 9702926/1701001
1325.55/1328.83	c cleaning 49118 clauses out of 369666 with flag 10077792/1760000
1382.74/1386.05	c cleaning 50445 clauses out of 380546 with flag 10461084/1820000
1442.64/1445.71	c cleaning 51352 clauses out of 391099 with flag 10849557/1881000
1504.26/1507.32	c cleaning 51961 clauses out of 401745 with flag 11265923/1943000
1566.92/1570.48	c cleaning 53537 clauses out of 412784 with flag 11686600/2006001
1633.08/1636.63	c cleaning 54176 clauses out of 423249 with flag 12108477/2070003
1696.87/1700.84	c cleaning 55065 clauses out of 434067 with flag 12522003/2135000
1764.92/1769.00	c cleaning 55918 clauses out of 445002 with flag 12959793/2201000
1835.05/1839.09	c cleaning 56956 clauses out of 456083 with flag 13402047/2268000
1904.70/1908.42	c cleaning 58031 clauses out of 467127 with flag 13848049/2336000
1977.44/1982.71	c cleaning 58845 clauses out of 478094 with flag 14303408/2405000
2052.94/2057.94	c cleaning 60251 clauses out of 489248 with flag 14773900/2475000
2128.93/2134.49	c cleaning 60522 clauses out of 500001 with flag 15251887/2546004
2208.58/2213.75	c cleaning 61667 clauses out of 511476 with flag 15736527/2618001
2289.79/2295.16	c cleaning 62568 clauses out of 522807 with flag 16241347/2691000
2371.34/2377.09	c cleaning 63617 clauses out of 534240 with flag 16756132/2765001
2457.20/2462.56	c cleaning 64054 clauses out of 545619 with flag 17268171/2840000
2543.84/2549.22	c cleaning 65650 clauses out of 557565 with flag 17778128/2916002
2634.57/2639.55	c cleaning 66142 clauses out of 568912 with flag 18309444/2993000
2727.15/2732.74	c cleaning 66758 clauses out of 580770 with flag 18853072/3071000
2823.40/2829.19	c cleaning 68158 clauses out of 593010 with flag 19405321/3150000
2920.56/2926.91	c cleaning 69196 clauses out of 604851 with flag 19961417/3230000
3022.06/3028.03	c cleaning 70169 clauses out of 616657 with flag 20532612/3311003
3123.92/3130.06	c cleaning 70824 clauses out of 628485 with flag 21116980/3393000
3226.51/3232.78	c cleaning 72277 clauses out of 640662 with flag 21707658/3476002
3331.47/3338.05	c cleaning 73080 clauses out of 652380 with flag 22306191/3560001
3440.19/3446.61	c cleaning 74044 clauses out of 664297 with flag 22927154/3645000
3552.65/3559.27	c cleaning 74897 clauses out of 676255 with flag 23556213/3731002
3600.01/3606.11	c starts		: 22473
3600.01/3606.12	c timeout
3600.01/3606.13	c conflicts		: 3771541
3600.01/3606.13	c decisions		: 174018778
3600.01/3606.13	c propagations		: 4303751435
3600.01/3606.13	c inspects		: 17038581825
3600.01/3606.13	c shortcuts		: 0
3600.01/3606.13	c learnt literals	: 203
3600.01/3606.13	c learnt binary clauses	: 270455
3600.01/3606.13	c learnt ternary clauses	: 228878
3600.01/3606.13	c learnt constraints	: 3771338
3600.01/3606.13	c ignored constraints	: 0
3600.01/3606.13	c root simplifications	: 0
3600.01/3606.13	c removed literals (reason simplification)	: 34222169
3600.01/3606.13	c reason swapping (by a shorter reason)	: 0
3600.01/3606.13	c Calls to reduceDB	: 82
3600.01/3606.13	c Number of update (reduction) of LBD	: 2586252
3600.01/3606.13	c Imported unit clauses	: 0
3600.01/3606.13	c No decision after first conflict	: false
3600.01/3606.13	c number of reductions to clauses (during analyze)	: 0
3600.01/3606.13	c number of learned constraints concerned by reduction	: 0
3600.01/3606.13	c number of learning phase by resolution	: 0
3600.01/3606.13	c number of learning phase by cutting planes	: 0
3600.01/3606.13	c number of rounding to 1 operations	: 0
3600.01/3606.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3606.13	c number of reductions of the coefficients by power 2 	: 0
3600.01/3606.13	c number of right shift for reduction by power 2 	: 0
3600.01/3606.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3606.13	c number of ending skipping 	: 0
3600.01/3606.13	c number of internal skipping 	: 0
3600.01/3606.13	c number of derivation steps 	: 0
3600.01/3606.13	c number of skipped derivation steps 	: 0
3600.01/3606.13	c number of remaining unassigned 	: 0
3600.01/3606.13	c number of remaining assigned 	: 0
3600.01/3606.13	c number of falsified literals weakened from reason	: 0
3600.01/3606.13	c number of falsified literals weakened from conflict	: 0
3600.01/3606.13	c time for arithmetic operations	: 0
3600.01/3606.13	c minimum degree of deleted constraints	: null
3600.01/3606.13	c maximum degree of deleted constraints	: null
3600.01/3606.13	c number of deleted constraints	: 0
3600.01/3606.13	c speed (assignments/second)	: 1193608.2345420332
3600.01/3606.13	c non guided choices	: 65873
3600.15/3606.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 371442
3600.15/3606.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 270455
3600.15/3606.22	s UNKNOWN
3600.15/3606.22	c Total wall clock time (in seconds): 3606.09

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=241438, runsolver pid=241435

[startup+0.101127 s]*
/proc/loadavg: 4.26 4.23 4.18 7/338 241456
/proc/meminfo: memFree=35792140/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=18975048 memory=65232 CPUtime=0.13 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 7230 0 0 0 12 1 0 0 20 0 18 0 18958364 19430449152 16308 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4743762 16308 5670 1 0 549322 0
[pid=241438/tid=241440] ppid=241435 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) R 241435 241438 237209 0 -1 4194368 5758 0 0 0 7 1 0 0 20 0 18 0 18958364 19430449152 16308 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18958367 19430449152 16308 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241456] ppid=241435 vsize=18975048 memory=14135545648158663 CPUtime=0 cores=0,2
/proc/241438/task/241456/stat : 241456 (Common-Cleaner) S 241435 241438 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18958367 19430449152 16308 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65232 KiB

[startup+0.205931 s]*
/proc/loadavg: 4.26 4.23 4.18 7/338 241456
/proc/meminfo: memFree=35779920/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=18975048 memory=79368 CPUtime=0.28 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 7592 0 0 0 26 2 0 0 20 0 18 0 18958364 19430449152 19842 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4743762 19842 5808 1 0 549582 0
[pid=241438/tid=241440] ppid=241435 vsize=18975048 memory=4782652875487838339 CPUtime=0.15 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) R 241435 241438 237209 0 -1 4194368 5925 0 0 0 14 1 0 0 20 0 18 0 18958364 19430449152 19842 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=18975048 memory=826994 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18958367 19430449152 19842 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241456] ppid=241435 vsize=18975048 memory=15823295995971300 CPUtime=0 cores=0,2
/proc/241438/task/241456/stat : 241456 (Common-Cleaner) S 241435 241438 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18958367 19430449152 19842 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79368 KiB

[startup+0.31133 s]*
/proc/loadavg: 4.26 4.23 4.18 6/338 241456
/proc/meminfo: memFree=35742056/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=18975048 memory=116776 CPUtime=0.48 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 9194 0 0 0 45 3 0 0 20 0 18 0 18958364 19430449152 29194 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4743762 29194 5808 1 0 550592 0
[pid=241438/tid=241440] ppid=241435 vsize=18975048 memory=-8816471832063091388 CPUtime=0.26 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) R 241435 241438 237209 0 -1 4194368 5966 0 0 0 24 2 0 0 20 0 18 0 18958364 19430449152 29194 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18958367 19430449152 29194 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241456] ppid=241435 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/241438/task/241456/stat : 241456 (Common-Cleaner) S 241435 241438 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18958367 19430449152 29194 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 116776 KiB

[startup+0.70113 s]
/proc/loadavg: 4.26 4.23 4.18 6/340 241458
/proc/meminfo: memFree=35682868/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=19108176 memory=180620 CPUtime=1.23 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 13004 0 0 0 118 5 0 0 20 0 20 0 18958364 19566772224 45155 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4777044 45155 5856 1 0 553747 0
[pid=241438/tid=241440] ppid=241435 vsize=19108176 memory=5552 CPUtime=0.61 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) R 241435 241438 237209 0 -1 4194368 6064 0 0 0 58 3 0 0 20 0 20 0 18958364 19566772224 45155 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 45155 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241456] ppid=241435 vsize=19108176 memory=280479215706792 CPUtime=0 cores=0,2
/proc/241438/task/241456/stat : 241456 (Common-Cleaner) S 241435 241438 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 45155 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241458] ppid=241435 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/241438/task/241458/stat : 241458 (Timer-0) S 241435 241438 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18958411 19566772224 45155 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180620 KiB

[startup+1.50038 s]
/proc/loadavg: 4.26 4.23 4.18 7/340 241458
/proc/meminfo: memFree=35670688/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=19108176 memory=192816 CPUtime=2.81 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 18311 0 0 0 275 6 0 0 20 0 20 0 18958364 19566772224 48204 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4777044 48204 5877 1 0 553794 0
[pid=241438/tid=241440] ppid=241435 vsize=19108176 memory=12936 CPUtime=1.39 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) S 241435 241438 237209 0 -1 1077936192 6321 0 0 0 135 4 0 0 20 0 20 0 18958364 19566772224 48204 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 48204 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241456] ppid=241435 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/241438/task/241456/stat : 241456 (Common-Cleaner) S 241435 241438 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 48204 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241458] ppid=241435 vsize=19108176 memory=280479215559952 CPUtime=0 cores=0,2
/proc/241438/task/241458/stat : 241458 (Timer-0) S 241435 241438 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18958411 19566772224 48204 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192816 KiB

[startup+3.10582 s]
/proc/loadavg: 4.26 4.23 4.18 6/340 241459
/proc/meminfo: memFree=35642376/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=19108176 memory=193684 CPUtime=5.47 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 20076 0 0 0 540 7 0 0 20 0 20 0 18958364 19566772224 48421 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4777044 48421 5877 1 0 553807 0
[pid=241438/tid=241440] ppid=241435 vsize=19108176 memory=0 CPUtime=2.96 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) R 241435 241438 237209 0 -1 4194368 6778 0 0 0 292 4 0 0 20 0 20 0 18958364 19566772224 48421 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 48421 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241456] ppid=241435 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/241438/task/241456/stat : 241456 (Common-Cleaner) S 241435 241438 237209 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 48421 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241458] ppid=241435 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/241438/task/241458/stat : 241458 (Timer-0) S 241435 241438 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18958411 19566772224 48421 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
Current children cumulated CPU time: 5.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193684 KiB

[startup+6.30028 s]
/proc/loadavg: 4.24 4.23 4.18 5/340 241459
/proc/meminfo: memFree=35609336/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=19108176 memory=209072 CPUtime=9.08 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 24298 0 0 0 899 9 0 0 20 0 20 0 18958364 19566772224 52268 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4777044 52268 5892 1 0 555022 0
[pid=241438/tid=241440] ppid=241435 vsize=19108176 memory=12936 CPUtime=6.11 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) R 241435 241438 237209 0 -1 4194368 7471 0 0 0 606 5 0 0 20 0 20 0 18958364 19566772224 52268 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 52268 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241456] ppid=241435 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=0,2
/proc/241438/task/241456/stat : 241456 (Common-Cleaner) S 241435 241438 237209 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 52268 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241458] ppid=241435 vsize=19108176 memory=192816 CPUtime=0 cores=0,2
/proc/241438/task/241458/stat : 241458 (Timer-0) S 241435 241438 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18958411 19566772224 52268 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
Current children cumulated CPU time: 9.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 209072 KiB

[startup+12.7003 s]
/proc/loadavg: 4.22 4.22 4.18 5/340 241461
/proc/meminfo: memFree=35449308/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=19108176 memory=331840 CPUtime=15.87 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 32494 0 0 0 1574 13 0 0 20 0 20 0 18958364 19566772224 82960 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4777044 82960 5892 1 0 555926 0
[pid=241438/tid=241440] ppid=241435 vsize=19108176 memory=0 CPUtime=12.41 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) R 241435 241438 237209 0 -1 4194368 8466 0 0 0 1233 8 0 0 20 0 20 0 18958364 19566772224 82960 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 82960 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241456] ppid=241435 vsize=19108176 memory=311344 CPUtime=0 cores=0,2
/proc/241438/task/241456/stat : 241456 (Common-Cleaner) S 241435 241438 237209 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 82960 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241458] ppid=241435 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/241438/task/241458/stat : 241458 (Timer-0) S 241435 241438 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18958411 19566772224 82960 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
Current children cumulated CPU time: 15.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 331840 KiB

[startup+25.5011 s]
/proc/loadavg: 4.33 4.25 4.19 5/340 241464
/proc/meminfo: memFree=35141164/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=19108176 memory=538392 CPUtime=28.96 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 43550 0 0 0 2873 23 0 0 20 0 20 0 18958364 19566772224 134598 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4777044 134598 5892 1 0 556735 0
[pid=241438/tid=241440] ppid=241435 vsize=19108176 memory=311344 CPUtime=24.93 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) R 241435 241438 237209 0 -1 4194368 10254 0 0 0 2480 13 0 0 20 0 20 0 18958364 19566772224 134598 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=19108176 memory=-8816471832063091388 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 134598 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241456] ppid=241435 vsize=19108176 memory=75144 CPUtime=0 cores=0,2
/proc/241438/task/241456/stat : 241456 (Common-Cleaner) S 241435 241438 237209 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 134598 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241458] ppid=241435 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/241438/task/241458/stat : 241458 (Timer-0) S 241435 241438 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18958411 19566772224 134598 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
Current children cumulated CPU time: 28.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 538392 KiB

[startup+51.1059 s]
/proc/loadavg: 4.21 4.22 4.18 5/340 241467
/proc/meminfo: memFree=34497616/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=19108176 memory=964688 CPUtime=54.54 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 49491 0 0 0 5415 39 0 0 20 0 20 0 18958364 19566772224 241172 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4777044 241172 5892 1 0 556735 0
[pid=241438/tid=241440] ppid=241435 vsize=19108176 memory=819148 CPUtime=50.13 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) R 241435 241438 237209 0 -1 4194368 12574 0 0 0 4988 25 0 0 20 0 20 0 18958364 19566772224 241172 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=19108176 memory=75144 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 241172 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/336 243277
/proc/meminfo: memFree=32039872/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=19108176 memory=2187548 CPUtime=3276.02 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 249144 0 0 0 326765 837 0 0 20 0 20 0 18958364 19566772224 546887 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4777044 546887 5904 1 0 559244 0
[pid=241438/tid=241440] ppid=241435 vsize=19108176 memory=2187548 CPUtime=3224.49 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) R 241435 241438 237209 0 -1 4194368 105854 0 0 0 321754 695 0 0 20 0 20 0 18958364 19566772224 546887 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1694 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=19108176 memory=2187548 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 546887 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241456] ppid=241435 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/241438/task/241456/stat : 241456 (Common-Cleaner) S 241435 241438 237209 0 -1 1077936192 3161 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 546887 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241458] ppid=241435 vsize=19108176 memory=108 CPUtime=0 cores=0,2
/proc/241438/task/241458/stat : 241458 (Timer-0) S 241435 241438 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18958411 19566772224 546887 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
Current children cumulated CPU time: 3276.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2187548 KiB

[startup+3342.3 s]
/proc/loadavg: 4.34 4.19 4.17 5/335 243289
/proc/meminfo: memFree=31765704/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=19108176 memory=2187548 CPUtime=3335.75 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 250667 0 0 0 332724 851 0 0 20 0 20 0 18958364 19566772224 546887 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4777044 546887 5904 1 0 559244 0
[pid=241438/tid=241440] ppid=241435 vsize=19108176 memory=13520 CPUtime=3283.57 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) R 241435 241438 237209 0 -1 4194368 107151 0 0 0 327650 707 0 0 20 0 20 0 18958364 19566772224 546887 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1706 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=19108176 memory=2187548 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 546887 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241456] ppid=241435 vsize=19108176 memory=2187548 CPUtime=0 cores=0,2
/proc/241438/task/241456/stat : 241456 (Common-Cleaner) S 241435 241438 237209 0 -1 1077936192 3229 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 546887 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241458] ppid=241435 vsize=19108176 memory=2187548 CPUtime=0 cores=0,2
/proc/241438/task/241458/stat : 241458 (Timer-0) S 241435 241438 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18958411 19566772224 546887 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
Current children cumulated CPU time: 3335.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2187548 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.17 4.17 5/337 243469
/proc/meminfo: memFree=31481112/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=19108176 memory=2187552 CPUtime=3395.95 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 254499 0 0 0 338732 863 0 0 20 0 20 0 18958364 19566772224 546888 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4777044 546888 5904 1 0 559244 0
[pid=241438/tid=241440] ppid=241435 vsize=19108176 memory=2273 CPUtime=3342.63 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) R 241435 241438 237209 0 -1 4194368 108483 0 0 0 333545 718 0 0 20 0 20 0 18958364 19566772224 546888 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1715 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=19108176 memory=2187548 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 546888 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241456] ppid=241435 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/241438/task/241456/stat : 241456 (Common-Cleaner) S 241435 241438 237209 0 -1 1077936192 3270 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 546888 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241458] ppid=241435 vsize=19108176 memory=2187552 CPUtime=0 cores=0,2
/proc/241438/task/241458/stat : 241458 (Timer-0) S 241435 241438 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18958411 19566772224 546888 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
Current children cumulated CPU time: 3395.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2187552 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.17 4.17 5/337 243479
/proc/meminfo: memFree=31217560/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=19108176 memory=2187552 CPUtime=3455.92 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 257035 0 0 0 344717 875 0 0 20 0 20 0 18958364 19566772224 546888 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4777044 546888 5904 1 0 559244 0
[pid=241438/tid=241440] ppid=241435 vsize=19108176 memory=2273 CPUtime=3401.98 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) R 241435 241438 237209 0 -1 4194368 110332 0 0 0 339470 728 0 0 20 0 20 0 18958364 19566772224 546888 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1729 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=19108176 memory=2187548 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 546888 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241456] ppid=241435 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/241438/task/241456/stat : 241456 (Common-Cleaner) S 241435 241438 237209 0 -1 1077936192 3368 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 546888 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241458] ppid=241435 vsize=19108176 memory=2187552 CPUtime=0 cores=0,2
/proc/241438/task/241458/stat : 241458 (Timer-0) S 241435 241438 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18958411 19566772224 546888 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
Current children cumulated CPU time: 3455.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2187552 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.20 4.18 5/338 243549
/proc/meminfo: memFree=30942612/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=19108176 memory=2187552 CPUtime=3515.77 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 259199 0 0 0 350691 886 0 0 20 0 20 0 18958364 19566772224 546888 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4777044 546888 5904 1 0 559244 0
[pid=241438/tid=241440] ppid=241435 vsize=19108176 memory=12936 CPUtime=3461.28 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) R 241435 241438 237209 0 -1 4194368 112160 0 0 0 345391 737 0 0 20 0 20 0 18958364 19566772224 546888 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1735 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=19108176 memory=2187552 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 546888 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241456] ppid=241435 vsize=19108176 memory=16120 CPUtime=0 cores=0,2
/proc/241438/task/241456/stat : 241456 (Common-Cleaner) S 241435 241438 237209 0 -1 1077936192 3369 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 546888 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241458] ppid=241435 vsize=19108176 memory=7968 CPUtime=0 cores=0,2
/proc/241438/task/241458/stat : 241458 (Timer-0) S 241435 241438 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18958411 19566772224 546888 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
Current children cumulated CPU time: 3515.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2187552 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/338 243559
/proc/meminfo: memFree=30680016/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=19108176 memory=2187612 CPUtime=3576.24 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 263429 0 0 0 356724 900 0 0 20 0 20 0 18958364 19566772224 546903 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4777044 546903 5904 1 0 559244 0
[pid=241438/tid=241440] ppid=241435 vsize=19108176 memory=25588 CPUtime=3520.36 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) R 241435 241438 237209 0 -1 4194368 114049 0 0 0 351288 748 0 0 20 0 20 0 18958364 19566772224 546903 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1744 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=19108176 memory=20336 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 546903 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241456] ppid=241435 vsize=19108176 memory=2284 CPUtime=0 cores=0,2
/proc/241438/task/241456/stat : 241456 (Common-Cleaner) S 241435 241438 237209 0 -1 1077936192 3437 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 546903 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241458] ppid=241435 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/241438/task/241458/stat : 241458 (Timer-0) S 241435 241438 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18958411 19566772224 546903 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
Current children cumulated CPU time: 3576.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2187612 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.11 s]
/proc/loadavg: 4.21 4.20 4.18 5/338 243565
/proc/meminfo: memFree=30565040/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=19108176 memory=2187612 CPUtime=3600.01 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 264563 0 0 0 359096 905 0 0 20 0 20 0 18958364 19566772224 546903 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4777044 546903 5904 1 0 559244 0
[pid=241438/tid=241440] ppid=241435 vsize=19108176 memory=25588 CPUtime=3543.94 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) R 241435 241438 237209 0 -1 4194368 114544 0 0 0 353642 752 0 0 20 0 20 0 18958364 19566772224 546903 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1747 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=19108176 memory=2187612 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 546903 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241456] ppid=241435 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/241438/task/241456/stat : 241456 (Common-Cleaner) S 241435 241438 237209 0 -1 1077936192 3507 0 0 0 0 0 0 0 20 0 20 0 18958367 19566772224 546903 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241458] ppid=241435 vsize=19108176 memory=5552 CPUtime=0 cores=0,2
/proc/241438/task/241458/stat : 241458 (Timer-0) S 241435 241438 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18958411 19566772224 546903 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2187612 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.13 s, system=9.06418 s

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

[startup+3606.2 s]
/proc/loadavg: 4.21 4.20 4.18 5/338 243565
/proc/meminfo: memFree=30565040/131524600 swapFree=131057564/131071996
[pid=241438] ppid=241435 vsize=19307868 memory=2188268 CPUtime=3600.15 cores=0,2
/proc/241438/stat : 241438 (java) S 241435 241438 237209 0 -1 1077936128 266499 0 0 0 359110 905 0 0 20 0 21 0 18958364 19771256832 547067 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
/proc/241438/statm: 4826967 547067 5903 1 0 560169 0
[pid=241438/tid=241440] ppid=241435 vsize=19307868 memory=830988 CPUtime=3543.95 cores=0,2
/proc/241438/task/241440/stat : 241440 (java) S 241435 241438 237209 0 -1 1077936192 114751 0 0 0 353643 752 0 0 20 0 21 0 18958364 19771256832 547067 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1747 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241449] ppid=241435 vsize=19307868 memory=824826 CPUtime=0 cores=0,2
/proc/241438/task/241449/stat : 241449 (Finalizer) S 241435 241438 237209 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18958367 19771256832 547067 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
[pid=241438/tid=241456] ppid=241435 vsize=19307868 memory=-7161143952526737322 CPUtime=0 cores=0,2
/proc/241438/task/241456/stat : 241456 (Common-Cleaner) S 241435 241438 237209 0 -1 1077936192 3507 0 0 0 0 0 0 0 20 0 21 0 18958367 19771256832 547067 134679101440 94713668452352 94713668456048 140730633057808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94713668463864 94713668464656 94713677643776 140730633065387 140730633065569 140730633065569 140730633072584 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2188268 KiB

Child status: 143

Real time (s): 3606.26
CPU time (s): 3600.19
CPU user time (s): 3591.13
CPU system time (s): 9.06418
CPU usage (%): 99.8316
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2188268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.13
system time used= 9.06418
maximum resident set size= 2189216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266678
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11752848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115355
involuntary context switches= 34907


# summary of solver processes directly reported to runsolver:
#   pid: 241438
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3591.13
#   total CPU system time (s): 9.06418

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.78441 second user time and 18.5006 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-24 14:32:35
IDJOB=4446572
IDBENCH=158277
IDSOLVER=3079
FILE ID=nodeC015/4446572-1721824355
RUNJOBID= nodeC015-1721817186-237219
SLURM_JOB_ID= 7816866
Free space on /tmp= 890032 MiB

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

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

MD5SUM BENCH= cd0a69270cffb0a3df5915a64d0aa68c
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		: 3658.135
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		: 3678.122
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		: 3636.981
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.090
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		: 3602.602
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		: 3678.204
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		: 3669.944
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.810
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:        35837184 kB
MemAvailable:   121179508 kB
Buffers:          259512 kB
Cached:         85528940 kB
SwapCached:          792 kB
Active:          2657724 kB
Inactive:       91857872 kB
Active(anon):       1872 kB
Inactive(anon):  8778144 kB
Active(file):    2655852 kB
Inactive(file): 83079728 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057564 kB
Dirty:            115948 kB
Writeback:             0 kB
AnonPages:       8725892 kB
Mapped:           139212 kB
Shmem:             52776 kB
KReclaimable:     668152 kB
Slab:             800540 kB
SReclaimable:     668152 kB
SUnreclaim:       132388 kB
KernelStack:        5168 kB
PageTables:        27440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9372448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16224 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8394752 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= 890072 MiB
End job on nodeC015 at 2024-07-24 15:32:41