Trace number 4452262

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.41 3547.21

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-tanglegram6.0.u.opb
MD5SUMb4833b4bfdaca602656a4e797e1582c4
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark31.0437
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9182
Total number of constraints17713
Number of constraints which are clauses17712
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint8856
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 1223
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 10079
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.02/0.28	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.02/0.28	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.28	c See www.sat4j.org for details.
0.02/0.29	c version CUSTOM.v20240707
0.02/0.30	c java.runtime.name	OpenJDK Runtime Environment
0.02/0.30	c java.vm.name		OpenJDK 64-Bit Server VM
0.02/0.30	c java.vm.version	22.0.1+8-16
0.02/0.30	c java.vm.vendor	Oracle Corporation
0.02/0.30	c sun.arch.data.model	64
0.02/0.30	c java.version		22.0.1
0.02/0.30	c os.name		Linux
0.02/0.30	c os.version		4.18.0-301.1.el8.x86_64
0.02/0.30	c os.arch		amd64
0.02/0.30	c Free memory 		2104792832
0.02/0.30	c Max memory 		16282288128
0.02/0.30	c Total memory 		2113929216
0.12/0.31	c Number of processors 	2
0.12/0.35	--- Begin Solver configuration ---
0.12/0.35	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.12/0.35	Learn all clauses as in MiniSAT
0.12/0.35	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.35	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.35	Expensive reason simplification
0.12/0.35	Glucose 2.1 dynamic restart strategy
0.12/0.35	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.12/0.35	timeout=2147483s
0.12/0.35	DB Simplification allowed=false
0.12/0.35	Listener: none
0.12/0.35	--- End Solver configuration ---
0.12/0.35	c Pseudo Boolean Optimization by upper bound
0.12/0.35	c --- Begin Solver configuration ---
0.12/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.12/0.35	c Learn all clauses as in MiniSAT
0.12/0.35	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.35	c Expensive reason simplification
0.12/0.35	c Glucose 2.1 dynamic restart strategy
0.12/0.35	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.12/0.35	c timeout=2147483s
0.12/0.35	c DB Simplification allowed=false
0.12/0.35	c Listener: none
0.12/0.35	c --- End Solver configuration ---
0.12/0.35	c solving HOME/instance-4452262-1721841276.opb
0.12/0.35	c reading problem ... 
0.12/0.35	c using VERIPB proof format
0.12/0.35	c  no objective function found
0.49/0.54	c ... done. Wall clock time 0.185s.
0.49/0.54	c declared #vars     9182
0.49/0.54	c #constraints  17713
0.49/0.54	c constraints type 
0.49/0.54	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.49/0.54	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17712
0.49/0.54	c 17713 constraints processed.
6.47/4.32	c cleaning 2500 clauses out of 5000 with flag 10268/5000
9.95/7.34	c cleaning 4234 clauses out of 8500 with flag 22559/11000
15.28/12.19	c cleaning 5633 clauses out of 11266 with flag 36624/18000
20.39/16.96	c cleaning 6816 clauses out of 13633 with flag 52716/26000
26.33/22.57	c cleaning 7909 clauses out of 15818 with flag 70780/35001
32.75/28.27	c cleaning 8954 clauses out of 17908 with flag 91457/45000
40.35/36.12	c cleaning 9976 clauses out of 19954 with flag 113605/56000
47.74/43.21	c cleaning 10988 clauses out of 21978 with flag 138266/68000
55.50/50.70	c cleaning 11995 clauses out of 23991 with flag 164837/81001
64.61/59.47	c cleaning 12999 clauses out of 25997 with flag 193376/95002
76.00/71.39	c cleaning 14000 clauses out of 28000 with flag 223453/110004
87.98/82.62	c cleaning 14993 clauses out of 29997 with flag 256314/126001
100.40/95.74	c cleaning 15997 clauses out of 32003 with flag 290894/143000
115.37/110.04	c cleaning 17004 clauses out of 34007 with flag 327077/161001
131.49/126.78	c cleaning 17997 clauses out of 36002 with flag 365587/180000
149.94/144.51	c cleaning 18995 clauses out of 38005 with flag 406503/200000
170.66/166.13	c cleaning 20000 clauses out of 40011 with flag 449812/221001
191.99/186.85	c cleaning 21000 clauses out of 42012 with flag 494803/243002
213.76/209.19	c cleaning 22002 clauses out of 44010 with flag 542020/266000
233.00/229.65	c cleaning 23003 clauses out of 46008 with flag 591246/290000
250.33/246.32	c cleaning 24001 clauses out of 48005 with flag 641546/315000
267.36/263.75	c cleaning 24998 clauses out of 50004 with flag 695559/341000
284.21/279.91	c cleaning 26004 clauses out of 52007 with flag 753163/368001
300.45/296.69	c cleaning 27002 clauses out of 54011 with flag 812712/396009
322.37/319.04	c cleaning 27990 clauses out of 56000 with flag 874315/425000
345.87/341.95	c cleaning 29003 clauses out of 58013 with flag 935974/455003
372.07/368.36	c cleaning 30000 clauses out of 60007 with flag 998427/486000
401.14/397.85	c cleaning 30989 clauses out of 62007 with flag 1062977/518000
435.71/432.27	c cleaning 32004 clauses out of 64018 with flag 1129780/551000
474.30/469.16	c cleaning 33003 clauses out of 66014 with flag 1198647/585000
513.56/508.26	c cleaning 33998 clauses out of 68011 with flag 1269724/620000
552.14/546.41	c cleaning 35006 clauses out of 70013 with flag 1342735/656000
593.72/588.07	c cleaning 35999 clauses out of 72011 with flag 1417767/693004
635.28/629.69	c cleaning 36999 clauses out of 74008 with flag 1494858/731000
678.14/671.61	c cleaning 38005 clauses out of 76009 with flag 1573923/770000
721.90/714.83	c cleaning 38998 clauses out of 78005 with flag 1655194/810001
768.47/758.48	c cleaning 39998 clauses out of 80006 with flag 1738319/851000
815.01/804.79	c cleaning 41001 clauses out of 82008 with flag 1823890/893000
865.04/854.29	c cleaning 41992 clauses out of 84007 with flag 1911340/936000
918.45/906.90	c cleaning 43007 clauses out of 86015 with flag 2001005/980000
968.99/956.99	c cleaning 43999 clauses out of 88012 with flag 2092472/1025004
1020.76/1008.14	c cleaning 44999 clauses out of 90010 with flag 2185653/1071001
1075.03/1061.65	c cleaning 46003 clauses out of 92010 with flag 2281241/1118000
1132.00/1118.09	c cleaning 46997 clauses out of 94007 with flag 2379168/1166000
1188.70/1173.74	c cleaning 48005 clauses out of 96010 with flag 2479229/1215000
1244.67/1227.06	c cleaning 49001 clauses out of 98005 with flag 2580511/1265000
1301.90/1287.00	c cleaning 50001 clauses out of 100004 with flag 2683859/1316000
1363.84/1348.51	c cleaning 50999 clauses out of 102003 with flag 2789369/1368000
1425.30/1409.25	c cleaning 51993 clauses out of 104004 with flag 2897072/1421000
1483.62/1467.01	c cleaning 53006 clauses out of 106013 with flag 3006244/1475002
1537.45/1520.81	c cleaning 54003 clauses out of 108006 with flag 3117561/1530001
1578.18/1562.25	c cleaning 55001 clauses out of 110003 with flag 3231940/1586001
1625.33/1605.07	c cleaning 56001 clauses out of 112002 with flag 3346851/1643001
1663.04/1641.61	c cleaning 56998 clauses out of 114000 with flag 3465860/1701000
1699.78/1677.92	c cleaning 58000 clauses out of 116003 with flag 3588491/1760001
1741.68/1718.58	c cleaning 58996 clauses out of 118002 with flag 3711920/1820000
1781.70/1757.52	c cleaning 59989 clauses out of 120006 with flag 3839521/1881000
1824.62/1799.80	c cleaning 61009 clauses out of 122017 with flag 3966407/1943000
1867.25/1841.62	c cleaning 61993 clauses out of 124008 with flag 4094711/2006000
1917.73/1891.03	c cleaning 63008 clauses out of 126015 with flag 4224069/2070000
1964.68/1937.04	c cleaning 64003 clauses out of 128009 with flag 4357243/2135002
2006.88/1979.06	c cleaning 64994 clauses out of 130004 with flag 4495815/2201000
2059.06/2030.58	c cleaning 66001 clauses out of 132010 with flag 4633416/2268000
2112.57/2083.90	c cleaning 67000 clauses out of 134009 with flag 4773334/2336000
2166.40/2137.41	c cleaning 68001 clauses out of 136009 with flag 4915376/2405000
2228.01/2195.46	c cleaning 68996 clauses out of 138008 with flag 5061094/2475000
2286.99/2253.23	c cleaning 69996 clauses out of 140012 with flag 5207620/2546000
2346.91/2312.41	c cleaning 71005 clauses out of 142018 with flag 5358191/2618002
2413.09/2377.47	c cleaning 71998 clauses out of 144011 with flag 5510216/2691000
2482.51/2445.77	c cleaning 73005 clauses out of 146014 with flag 5666289/2765001
2548.98/2507.09	c cleaning 74005 clauses out of 148011 with flag 5820952/2840003
2602.67/2560.66	c cleaning 74997 clauses out of 150003 with flag 5977505/2916000
2655.27/2613.20	c cleaning 75989 clauses out of 152006 with flag 6135723/2993000
2716.49/2674.34	c cleaning 77005 clauses out of 154018 with flag 6295839/3071001
2777.68/2735.26	c cleaning 78000 clauses out of 156012 with flag 6459058/3150000
2834.86/2792.29	c cleaning 79004 clauses out of 158013 with flag 6623720/3230001
2895.33/2849.43	c cleaning 80005 clauses out of 160009 with flag 6787747/3311001
2959.44/2913.05	c cleaning 80999 clauses out of 162003 with flag 6954414/3393000
3028.77/2981.93	c cleaning 81999 clauses out of 164004 with flag 7124429/3476000
3096.52/3049.28	c cleaning 82999 clauses out of 166005 with flag 7296831/3560000
3164.21/3116.79	c cleaning 84000 clauses out of 168007 with flag 7471809/3645001
3233.94/3186.66	c cleaning 84994 clauses out of 170006 with flag 7647648/3731000
3306.41/3256.08	c cleaning 86002 clauses out of 172013 with flag 7825750/3818001
3376.17/3325.40	c cleaning 87003 clauses out of 174010 with flag 8005305/3906000
3441.89/3391.23	c cleaning 87995 clauses out of 176007 with flag 8188151/3995000
3506.79/3454.91	c cleaning 88993 clauses out of 178012 with flag 8372690/4085000
3582.43/3530.10	c cleaning 90006 clauses out of 180020 with flag 8560003/4176001
3600.01/3546.98	c starts		: 634
3600.01/3546.98	c timeout
3600.01/3546.98	c conflicts		: 4201188
3600.01/3546.98	c decisions		: 10239310
3600.01/3546.98	c propagations		: 3601015991
3600.01/3546.98	c inspects		: 7937445233
3600.01/3546.98	c shortcuts		: 0
3600.01/3546.98	c learnt literals	: 0
3600.01/3546.98	c learnt binary clauses	: 30
3600.01/3546.98	c learnt ternary clauses	: 114
3600.01/3546.98	c learnt constraints	: 4201188
3600.01/3546.98	c ignored constraints	: 0
3600.01/3546.98	c root simplifications	: 0
3600.01/3546.98	c removed literals (reason simplification)	: 1440995336
3600.01/3546.98	c reason swapping (by a shorter reason)	: 0
3600.01/3546.98	c Calls to reduceDB	: 87
3600.01/3546.98	c Number of update (reduction) of LBD	: 31392
3600.01/3546.98	c Imported unit clauses	: 0
3600.01/3546.98	c No decision after first conflict	: false
3600.01/3546.98	c number of reductions to clauses (during analyze)	: 0
3600.01/3546.98	c number of learned constraints concerned by reduction	: 0
3600.01/3546.98	c number of learning phase by resolution	: 0
3600.01/3546.98	c number of learning phase by cutting planes	: 0
3600.01/3546.98	c number of rounding to 1 operations	: 0
3600.01/3546.98	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3546.98	c number of reductions of the coefficients by power 2 	: 0
3600.01/3546.98	c number of right shift for reduction by power 2 	: 0
3600.01/3546.98	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3546.98	c number of ending skipping 	: 0
3600.01/3546.98	c number of internal skipping 	: 0
3600.01/3546.98	c number of derivation steps 	: 0
3600.01/3546.98	c number of skipped derivation steps 	: 0
3600.01/3546.98	c number of remaining unassigned 	: 0
3600.01/3546.98	c number of remaining assigned 	: 0
3600.01/3546.98	c number of falsified literals weakened from reason	: 0
3600.01/3546.98	c number of falsified literals weakened from conflict	: 0
3600.01/3546.98	c time for arithmetic operations	: 0
3600.01/3546.98	c minimum degree of deleted constraints	: null
3600.01/3546.98	c maximum degree of deleted constraints	: null
3600.01/3546.98	c number of deleted constraints	: 0
3600.01/3546.98	c speed (assignments/second)	: 1015389.5235162718
3600.01/3546.98	c non guided choices	: 334
3600.22/3547.06	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 115171
3600.22/3547.06	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 30
3600.22/3547.07	s UNKNOWN
3600.22/3547.07	c Total wall clock time (in seconds): 3546.722

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100097 s]*
/proc/loadavg: 1.09 1.10 1.46 1/288 251770
/proc/meminfo: memFree=127839828/131524600 swapFree=131057052/131071996
[pid=251718] ppid=251714 vsize=18175400 memory=32708 CPUtime=0.01 cores=1,3
/proc/251718/stat : 251718 (java) S 251714 251718 251672 0 -1 1077936128 3382 0 4 0 0 1 0 0 20 0 7 0 20650499 18611609600 8177 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 0 0 16784588 0 0 0 17 1 0 0 3 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
/proc/251718/statm: 4543850 8177 3680 1 0 542675 0
[pid=251718/tid=251741] ppid=251714 vsize=18175400 memory=4026531971 CPUtime=0.01 cores=1,3
/proc/251718/task/251741/stat : 251741 (java) D 251714 251718 251672 0 -1 4194368 2819 0 2 0 0 1 0 0 20 0 7 0 20650504 18611609600 8177 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16784588 0 0 0 -1 1 0 0 5 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 32708 KiB

[startup+0.205825 s]*
/proc/loadavg: 1.09 1.10 1.46 5/292 251774
/proc/meminfo: memFree=127794008/131524600 swapFree=131057052/131071996
[pid=251718] ppid=251714 vsize=18242856 memory=44028 CPUtime=0.02 cores=1,3
/proc/251718/stat : 251718 (java) S 251714 251718 251672 0 -1 1077936128 5495 0 5 0 1 1 0 0 20 0 8 0 20650499 18680684544 11007 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 0 0 16784588 0 0 0 17 1 0 0 3 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
/proc/251718/statm: 4560714 11007 3941 1 0 545372 0
[pid=251718/tid=251741] ppid=251714 vsize=18242856 memory=8737651120394928259 CPUtime=0.01 cores=1,3
/proc/251718/task/251741/stat : 251741 (java) D 251714 251718 251672 0 -1 4194368 4931 0 3 0 0 1 0 0 20 0 8 0 20650504 18680684544 11007 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16784588 0 0 0 -1 1 0 0 14 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 18242856 KiB
Current children cumulated memory: 44028 KiB

[startup+0.305993 s]*
/proc/loadavg: 1.09 1.10 1.46 13/332 251814
/proc/meminfo: memFree=127744080/131524600 swapFree=131057052/131071996
[pid=251718] ppid=251714 vsize=18975048 memory=61448 CPUtime=0.12 cores=1,3
/proc/251718/stat : 251718 (java) S 251714 251718 251672 0 -1 1077936128 7037 0 9 0 10 2 0 0 20 0 18 0 20650499 19430449152 15362 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 3 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
/proc/251718/statm: 4743762 15362 5482 1 0 549251 0
[pid=251718/tid=251741] ppid=251714 vsize=18975048 memory=-8888244652572648124 CPUtime=0.07 cores=1,3
/proc/251718/task/251741/stat : 251741 (java) R 251714 251718 251672 0 -1 1077936192 5619 0 7 0 6 1 0 0 20 0 18 0 20650504 19430449152 15362 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251786] ppid=251714 vsize=18975048 memory=1468807285061878361 CPUtime=0 cores=1,3
/proc/251718/task/251786/stat : 251786 (Finalizer) S 251714 251718 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20650522 19430449152 15362 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251814] ppid=251714 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/251718/task/251814/stat : 251814 (Common-Cleaner) S 251714 251718 251672 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20650523 19430449152 15362 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 61448 KiB

[startup+0.700726 s]
/proc/loadavg: 1.09 1.10 1.46 13/333 251817
/proc/meminfo: memFree=127571512/131524600 swapFree=131057052/131071996
[pid=251718] ppid=251714 vsize=19041612 memory=136384 CPUtime=0.85 cores=1,3
/proc/251718/stat : 251718 (java) S 251714 251718 251672 0 -1 1077936128 13378 0 9 0 81 4 0 0 20 0 19 0 20650499 19498610688 34096 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 3 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
/proc/251718/statm: 4760403 34096 5790 1 0 554145 0
[pid=251718/tid=251741] ppid=251714 vsize=19041612 memory=0 CPUtime=0.41 cores=1,3
/proc/251718/task/251741/stat : 251741 (java) R 251714 251718 251672 0 -1 4194368 6060 0 7 0 39 2 0 0 20 0 19 0 20650504 19498610688 34096 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251786] ppid=251714 vsize=19041612 memory=16120 CPUtime=0 cores=1,3
/proc/251718/task/251786/stat : 251786 (Finalizer) S 251714 251718 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20650522 19498610688 34096 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251814] ppid=251714 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/251718/task/251814/stat : 251814 (Common-Cleaner) S 251714 251718 251672 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20650523 19498610688 34096 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 0.85 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 136384 KiB

[startup+1.50086 s]
/proc/loadavg: 1.09 1.10 1.46 11/339 251823
/proc/meminfo: memFree=127246396/131524600 swapFree=131057052/131071996
[pid=251718] ppid=251714 vsize=19108176 memory=191180 CPUtime=2.42 cores=1,3
/proc/251718/stat : 251718 (java) S 251714 251718 251672 0 -1 1077936128 17902 0 9 0 236 6 0 0 20 0 20 0 20650499 19566772224 47795 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 3 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
/proc/251718/statm: 4777044 47795 5860 1 0 554657 0
[pid=251718/tid=251741] ppid=251714 vsize=19108176 memory=0 CPUtime=1.17 cores=1,3
/proc/251718/task/251741/stat : 251741 (java) R 251714 251718 251672 0 -1 4194368 6338 0 7 0 113 4 0 0 20 0 20 0 20650504 19566772224 47795 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251786] ppid=251714 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/251718/task/251786/stat : 251786 (Finalizer) S 251714 251718 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20650522 19566772224 47795 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251814] ppid=251714 vsize=19108176 memory=16120 CPUtime=0 cores=1,3
/proc/251718/task/251814/stat : 251814 (Common-Cleaner) S 251714 251718 251672 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20650523 19566772224 47795 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251818] ppid=251714 vsize=19108176 memory=13520 CPUtime=0 cores=1,3
/proc/251718/task/251818/stat : 251818 (Timer-0) S 251714 251718 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20650554 19566772224 47795 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191180 KiB

[startup+3.10593 s]
/proc/loadavg: 2.05 1.29 1.52 6/340 251824
/proc/meminfo: memFree=125875116/131524600 swapFree=131057052/131071996
[pid=251718] ppid=251714 vsize=19108176 memory=389312 CPUtime=5.07 cores=1,3
/proc/251718/stat : 251718 (java) S 251714 251718 251672 0 -1 1077936128 20754 0 9 0 496 11 0 0 20 0 20 0 20650499 19566772224 97328 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 3 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
/proc/251718/statm: 4777044 97328 5860 1 0 857555 0
[pid=251718/tid=251741] ppid=251714 vsize=19108176 memory=0 CPUtime=2.6 cores=1,3
/proc/251718/task/251741/stat : 251741 (java) R 251714 251718 251672 0 -1 4194368 6743 0 7 0 252 8 0 0 20 0 20 0 20650504 19566772224 97328 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251786] ppid=251714 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/251718/task/251786/stat : 251786 (Finalizer) S 251714 251718 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20650522 19566772224 97328 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251814] ppid=251714 vsize=19108176 memory=16120 CPUtime=0 cores=1,3
/proc/251718/task/251814/stat : 251814 (Common-Cleaner) S 251714 251718 251672 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20650523 19566772224 97328 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251818] ppid=251714 vsize=19108176 memory=155820 CPUtime=0 cores=1,3
/proc/251718/task/251818/stat : 251818 (Timer-0) S 251714 251718 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20650554 19566772224 97328 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 5.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 389312 KiB

[startup+6.30073 s]
/proc/loadavg: 2.05 1.29 1.52 6/340 251824
/proc/meminfo: memFree=122180272/131524600 swapFree=131057052/131071996
[pid=251718] ppid=251714 vsize=19108176 memory=1456736 CPUtime=8.87 cores=1,3
/proc/251718/stat : 251718 (java) S 251714 251718 251672 0 -1 1077936128 24295 0 9 0 847 40 0 0 20 0 20 0 20650499 19566772224 364184 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 3 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
/proc/251718/statm: 4777044 364184 5860 1 0 1714053 0
[pid=251718/tid=251741] ppid=251714 vsize=19108176 memory=0 CPUtime=5.39 cores=1,3
/proc/251718/task/251741/stat : 251741 (java) R 251714 251718 251672 0 -1 4194368 7824 0 7 0 510 29 0 0 20 0 20 0 20650504 19566772224 364184 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251786] ppid=251714 vsize=19108176 memory=2244 CPUtime=0 cores=1,3
/proc/251718/task/251786/stat : 251786 (Finalizer) S 251714 251718 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20650522 19566772224 364184 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251814] ppid=251714 vsize=19108176 memory=214128 CPUtime=0 cores=1,3
/proc/251718/task/251814/stat : 251814 (Common-Cleaner) S 251714 251718 251672 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 20650523 19566772224 364184 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251818] ppid=251714 vsize=19108176 memory=25588 CPUtime=0 cores=1,3
/proc/251718/task/251818/stat : 251818 (Timer-0) S 251714 251718 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20650554 19566772224 364184 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 8.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1456736 KiB

[startup+12.7007 s]
/proc/loadavg: 2.35 1.38 1.55 5/340 251825
/proc/meminfo: memFree=116897080/131524600 swapFree=131057052/131071996
[pid=251718] ppid=251714 vsize=19108176 memory=2872608 CPUtime=15.91 cores=1,3
/proc/251718/stat : 251718 (java) S 251714 251718 251672 0 -1 1077936128 30486 0 9 0 1511 80 0 0 20 0 20 0 20650499 19566772224 718152 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 3 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
/proc/251718/statm: 4777044 718152 5860 1 0 1925411 0
[pid=251718/tid=251741] ppid=251714 vsize=19108176 memory=2872608 CPUtime=11.36 cores=1,3
/proc/251718/task/251741/stat : 251741 (java) R 251714 251718 251672 0 -1 4194368 8595 0 7 0 1077 59 0 0 20 0 20 0 20650504 19566772224 718152 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251786] ppid=251714 vsize=19108176 memory=75456 CPUtime=0 cores=1,3
/proc/251718/task/251786/stat : 251786 (Finalizer) S 251714 251718 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20650522 19566772224 718152 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251814] ppid=251714 vsize=19108176 memory=2341728 CPUtime=0 cores=1,3
/proc/251718/task/251814/stat : 251814 (Common-Cleaner) S 251714 251718 251672 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 20650523 19566772224 718152 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251818] ppid=251714 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/251718/task/251818/stat : 251818 (Timer-0) S 251714 251718 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20650554 19566772224 718152 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 15.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2872608 KiB

[startup+25.5003 s]
/proc/loadavg: 2.75 1.50 1.59 5/340 251827
/proc/meminfo: memFree=112621700/131524600 swapFree=131057052/131071996
[pid=251718] ppid=251714 vsize=19108176 memory=3382632 CPUtime=29.66 cores=1,3
/proc/251718/stat : 251718 (java) S 251714 251718 251672 0 -1 1077936128 35191 0 9 0 2857 109 0 0 20 0 20 0 20650499 19566772224 845658 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 3 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
/proc/251718/statm: 4777044 845658 5876 1 0 1925687 0
[pid=251718/tid=251741] ppid=251714 vsize=19108176 memory=13520 CPUtime=23.36 cores=1,3
/proc/251718/task/251741/stat : 251741 (java) R 251714 251718 251672 0 -1 4194368 9267 0 7 0 2257 79 0 0 20 0 20 0 20650504 19566772224 845658 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251786] ppid=251714 vsize=19108176 memory=3270232 CPUtime=0 cores=1,3
/proc/251718/task/251786/stat : 251786 (Finalizer) S 251714 251718 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20650522 19566772224 845658 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251814] ppid=251714 vsize=19108176 memory=75456 CPUtime=0 cores=1,3
/proc/251718/task/251814/stat : 251814 (Common-Cleaner) S 251714 251718 251672 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 20650523 19566772224 845658 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251818] ppid=251714 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/251718/task/251818/stat : 251818 (Timer-0) S 251714 251718 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20650554 19566772224 845658 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 29.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3382632 KiB

[startup+51.1067 s]
/proc/loadavg: 3.36 1.75 1.67 5/342 251833
/proc/meminfo: memFree=104727504/131524600 swapFree=131057052/131071996
[pid=251718] ppid=251714 vsize=19108176 memory=5443056 CPUtime=55.9 cores=1,3
/proc/251718/stat : 251718 (java) S 251714 251718 251672 0 -1 1077936128 50295 0 9 0 5404 186 0 0 20 0 20 0 20650499 19566772224 1360764 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 3 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
/proc/251718/statm: 4777044 1360764 5876 1 0 2131107 0
[pid=251718/tid=251741] ppid=251714 vsize=19108176 memory=-8889089077502780092 CPUtime=46.5 cores=1,3
/proc/251718/task/251741/stat : 251741 (java) R 251714 251718 251672 0 -1 4194368 12534 0 7 0 4516 134 0 0 20 0 20 0 20650504 19566772224 1360764 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 118 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251786] ppid=251714 vsize=19108176 memory=5264744 CPUtime=0 cores=1,3
/proc/251718/task/251786/stat : 251786 (Finalizer) S 251714 251718 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20650522 19566772224 1360764 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251814] ppid=251714 vsize=19108176 memory=5082472 CPUtime=0 cores=1,3
/proc/251718/task/251814/stat : 251814 (Common-Cleaner) S 251714 251718 251672 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 20650523 19566772224 1360764 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251818] ppid=251714 vsize=19108176 memory=13520 CPUtime=0 cores=1,3
/proc/251718/task/251818/stat : 251818 (Timer-0) S 251714 251718 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20650554 19566772224 1360764 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 55.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5443056 KiB

[startup+102.301 s]
/proc/loadavg: 4.07 2.22 1.84 5/342 251844

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

/proc/251718/task/251786/stat : 251786 (Finalizer) S 251714 251718 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20650522 19566772224 4071093 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251814] ppid=251714 vsize=19108176 memory=13520 CPUtime=0 cores=1,3
/proc/251718/task/251814/stat : 251814 (Common-Cleaner) S 251714 251718 251672 0 -1 1077936192 2205 0 0 0 0 0 0 0 20 0 20 0 20650523 19566772224 4071093 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251818] ppid=251714 vsize=19108176 memory=16284372 CPUtime=0 cores=1,3
/proc/251718/task/251818/stat : 251818 (Timer-0) S 251714 251718 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20650554 19566772224 4071093 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 3209.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16284372 KiB

[startup+3222.3 s]
/proc/loadavg: 3.59 4.25 4.58 4/312 253888
/proc/meminfo: memFree=52525996/131524600 swapFree=131056028/131071996
[pid=251718] ppid=251714 vsize=19108176 memory=16285928 CPUtime=3272.77 cores=1,3
/proc/251718/stat : 251718 (java) S 251714 251718 251672 0 -1 1077936128 1290479 0 9 0 324177 3100 0 0 20 0 20 0 20650499 19566772224 4071482 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 3 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
/proc/251718/statm: 4777044 4071482 5873 1 0 4089492 0
[pid=251718/tid=251741] ppid=251714 vsize=19108176 memory=16284372 CPUtime=3038.44 cores=1,3
/proc/251718/task/251741/stat : 251741 (java) R 251714 251718 251672 0 -1 4194368 772654 0 7 0 301000 2844 0 0 20 0 20 0 20650504 19566772224 4071482 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 6234 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251786] ppid=251714 vsize=19108176 memory=16284400 CPUtime=0 cores=1,3
/proc/251718/task/251786/stat : 251786 (Finalizer) S 251714 251718 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20650522 19566772224 4071482 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251814] ppid=251714 vsize=19108176 memory=16284408 CPUtime=0 cores=1,3
/proc/251718/task/251814/stat : 251814 (Common-Cleaner) S 251714 251718 251672 0 -1 1077936192 2298 0 0 0 0 0 0 0 20 0 20 0 20650523 19566772224 4071482 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251818] ppid=251714 vsize=19108176 memory=-8889089077502780092 CPUtime=0 cores=1,3
/proc/251718/task/251818/stat : 251818 (Timer-0) S 251714 251718 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20650554 19566772224 4071482 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 3272.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16285928 KiB

[startup+3282.3 s]
/proc/loadavg: 3.34 4.07 4.50 4/311 253899
/proc/meminfo: memFree=51492012/131524600 swapFree=131056028/131071996
[pid=251718] ppid=251714 vsize=19108176 memory=16285980 CPUtime=3332.44 cores=1,3
/proc/251718/stat : 251718 (java) S 251714 251718 251672 0 -1 1077936128 1292640 0 9 0 330091 3153 0 0 20 0 20 0 20650499 19566772224 4071495 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 3 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
/proc/251718/statm: 4777044 4071495 5873 1 0 4089492 0
[pid=251718/tid=251741] ppid=251714 vsize=19108176 memory=13520 CPUtime=3095.45 cores=1,3
/proc/251718/task/251741/stat : 251741 (java) R 251714 251718 251672 0 -1 4194368 773116 0 7 0 306649 2896 0 0 20 0 20 0 20650504 19566772224 4071495 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6348 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251786] ppid=251714 vsize=19108176 memory=16285976 CPUtime=0 cores=1,3
/proc/251718/task/251786/stat : 251786 (Finalizer) S 251714 251718 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20650522 19566772224 4071495 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251814] ppid=251714 vsize=19108176 memory=16285980 CPUtime=0 cores=1,3
/proc/251718/task/251814/stat : 251814 (Common-Cleaner) S 251714 251718 251672 0 -1 1077936192 2298 0 0 0 0 0 0 0 20 0 20 0 20650523 19566772224 4071495 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251818] ppid=251714 vsize=19108176 memory=16285980 CPUtime=0 cores=1,3
/proc/251718/task/251818/stat : 251818 (Timer-0) S 251714 251718 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20650554 19566772224 4071495 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 3332.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16285980 KiB

[startup+3342.3 s]
/proc/loadavg: 3.16 3.88 4.41 4/312 253911
/proc/meminfo: memFree=50200272/131524600 swapFree=131056028/131071996
[pid=251718] ppid=251714 vsize=19108176 memory=16286036 CPUtime=3392.69 cores=1,3
/proc/251718/stat : 251718 (java) S 251714 251718 251672 0 -1 1077936128 1370838 0 9 0 336056 3213 0 0 20 0 20 0 20650499 19566772224 4071509 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 3 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
/proc/251718/statm: 4777044 4071509 5873 1 0 4089492 0
[pid=251718/tid=251741] ppid=251714 vsize=19108176 memory=16286036 CPUtime=3151.78 cores=1,3
/proc/251718/task/251741/stat : 251741 (java) R 251714 251718 251672 0 -1 4194368 844775 0 7 0 312225 2953 0 0 20 0 20 0 20650504 19566772224 4071509 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6473 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251786] ppid=251714 vsize=19108176 memory=16286036 CPUtime=0 cores=1,3
/proc/251718/task/251786/stat : 251786 (Finalizer) S 251714 251718 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20650522 19566772224 4071509 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251814] ppid=251714 vsize=19108176 memory=16286036 CPUtime=0 cores=1,3
/proc/251718/task/251814/stat : 251814 (Common-Cleaner) S 251714 251718 251672 0 -1 1077936192 2298 0 0 0 0 0 0 0 20 0 20 0 20650523 19566772224 4071509 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251818] ppid=251714 vsize=19108176 memory=13520 CPUtime=0 cores=1,3
/proc/251718/task/251818/stat : 251818 (Timer-0) S 251714 251718 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20650554 19566772224 4071509 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 3392.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16286036 KiB

[startup+3402.3 s]
/proc/loadavg: 3.19 3.77 4.33 4/313 253925
/proc/meminfo: memFree=49030420/131524600 swapFree=131056028/131071996
[pid=251718] ppid=251714 vsize=19108176 memory=16286084 CPUtime=3453.13 cores=1,3
/proc/251718/stat : 251718 (java) S 251714 251718 251672 0 -1 1077936128 1373793 0 9 0 342049 3264 0 0 20 0 20 0 20650499 19566772224 4071521 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 3 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
/proc/251718/statm: 4777044 4071521 5873 1 0 4089492 0
[pid=251718/tid=251741] ppid=251714 vsize=19108176 memory=16286036 CPUtime=3208.5 cores=1,3
/proc/251718/task/251741/stat : 251741 (java) S 251714 251718 251672 0 -1 1077936192 846706 0 7 0 317848 3002 0 0 20 0 20 0 20650504 19566772224 4071521 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6584 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251786] ppid=251714 vsize=19108176 memory=16286084 CPUtime=0 cores=1,3
/proc/251718/task/251786/stat : 251786 (Finalizer) S 251714 251718 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20650522 19566772224 4071521 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251814] ppid=251714 vsize=19108176 memory=16286084 CPUtime=0 cores=1,3
/proc/251718/task/251814/stat : 251814 (Common-Cleaner) S 251714 251718 251672 0 -1 1077936192 2385 0 0 0 0 0 0 0 20 0 20 0 20650523 19566772224 4071521 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251818] ppid=251714 vsize=19108176 memory=16286084 CPUtime=0 cores=1,3
/proc/251718/task/251818/stat : 251818 (Timer-0) S 251714 251718 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20650554 19566772224 4071521 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 3453.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16286084 KiB

[startup+3462.3 s]
/proc/loadavg: 3.30 3.69 4.27 4/316 253939
/proc/meminfo: memFree=47820828/131524600 swapFree=131056028/131071996
[pid=251718] ppid=251714 vsize=19108176 memory=16286088 CPUtime=3514.12 cores=1,3
/proc/251718/stat : 251718 (java) S 251714 251718 251672 0 -1 1077936128 1375211 0 9 0 348091 3321 0 0 20 0 20 0 20650499 19566772224 4071522 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 3 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
/proc/251718/statm: 4777044 4071522 5873 1 0 4089492 0
[pid=251718/tid=251741] ppid=251714 vsize=19108176 memory=16286036 CPUtime=3265.86 cores=1,3
/proc/251718/task/251741/stat : 251741 (java) R 251714 251718 251672 0 -1 4194368 847302 0 7 0 323528 3058 0 0 20 0 20 0 20650504 19566772224 4071522 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 6634 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251786] ppid=251714 vsize=19108176 memory=16286088 CPUtime=0 cores=1,3
/proc/251718/task/251786/stat : 251786 (Finalizer) S 251714 251718 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20650522 19566772224 4071522 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251814] ppid=251714 vsize=19108176 memory=16286088 CPUtime=0 cores=1,3
/proc/251718/task/251814/stat : 251814 (Common-Cleaner) S 251714 251718 251672 0 -1 1077936192 2385 0 0 0 0 0 0 0 20 0 20 0 20650523 19566772224 4071522 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251818] ppid=251714 vsize=19108176 memory=16286088 CPUtime=0 cores=1,3
/proc/251718/task/251818/stat : 251818 (Timer-0) S 251714 251718 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20650554 19566772224 4071522 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 3514.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16286088 KiB

[startup+3522.3 s]
/proc/loadavg: 3.18 3.59 4.20 4/317 253951
/proc/meminfo: memFree=46783704/131524600 swapFree=131056028/131071996
[pid=251718] ppid=251714 vsize=19108176 memory=16286088 CPUtime=3574.74 cores=1,3
/proc/251718/stat : 251718 (java) S 251714 251718 251672 0 -1 1077936128 1452990 0 9 0 354098 3376 0 0 20 0 20 0 20650499 19566772224 4071522 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 3 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
/proc/251718/statm: 4777044 4071522 5873 1 0 4089492 0
[pid=251718/tid=251741] ppid=251714 vsize=19108176 memory=16286088 CPUtime=3323.27 cores=1,3
/proc/251718/task/251741/stat : 251741 (java) R 251714 251718 251672 0 -1 4194368 916445 0 7 0 329217 3110 0 0 20 0 20 0 20650504 19566772224 4071522 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 6674 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251786] ppid=251714 vsize=19108176 memory=16286088 CPUtime=0 cores=1,3
/proc/251718/task/251786/stat : 251786 (Finalizer) S 251714 251718 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20650522 19566772224 4071522 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251814] ppid=251714 vsize=19108176 memory=13520 CPUtime=0 cores=1,3
/proc/251718/task/251814/stat : 251814 (Common-Cleaner) S 251714 251718 251672 0 -1 1077936192 2386 0 0 0 0 0 0 0 20 0 20 0 20650523 19566772224 4071522 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251818] ppid=251714 vsize=19108176 memory=13520 CPUtime=0 cores=1,3
/proc/251718/task/251818/stat : 251818 (Timer-0) S 251714 251718 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20650554 19566772224 4071522 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 3574.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16286088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3546.9 s]
/proc/loadavg: 2.99 3.51 4.15 3/291 253988
/proc/meminfo: memFree=84438484/131524600 swapFree=131056028/131071996
[pid=251718] ppid=251714 vsize=19108176 memory=16288624 CPUtime=3600.01 cores=1,3
/proc/251718/stat : 251718 (java) S 251714 251718 251672 0 -1 1077936128 1464646 0 9 0 356605 3396 0 0 20 0 20 0 20650499 19566772224 4072156 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 3 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
/proc/251718/statm: 4777044 4072156 5889 1 0 4090103 0
[pid=251718/tid=251741] ppid=251714 vsize=19108176 memory=13520 CPUtime=3346.85 cores=1,3
/proc/251718/task/251741/stat : 251741 (java) R 251714 251718 251672 0 -1 4194368 921914 0 7 0 331556 3129 0 0 20 0 20 0 20650504 19566772224 4072156 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 6691 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251786] ppid=251714 vsize=19108176 memory=16286088 CPUtime=0 cores=1,3
/proc/251718/task/251786/stat : 251786 (Finalizer) S 251714 251718 251672 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20650522 19566772224 4072156 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251814] ppid=251714 vsize=19108176 memory=-8889089077502780092 CPUtime=0 cores=1,3
/proc/251718/task/251814/stat : 251814 (Common-Cleaner) S 251714 251718 251672 0 -1 1077936192 2433 0 0 0 0 0 0 0 20 0 20 0 20650523 19566772224 4072156 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
[pid=251718/tid=251818] ppid=251714 vsize=19108176 memory=16286104 CPUtime=0 cores=1,3
/proc/251718/task/251818/stat : 251818 (Timer-0) S 251714 251718 251672 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20650554 19566772224 4072156 134679101440 94712677953536 94712677957232 140724979259776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94712677965048 94712677965840 94712695377920 140724979262379 140724979262561 140724979262561 140724979269576 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16288624 KiB

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

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

# cumulated CPU time of all completed processes:  user=3566.36 s, system=34.0492 s

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

[startup+3547.2 s]*
/proc/loadavg: 3.31 3.56 4.17 3/272 253991
/proc/meminfo: memFree=100729228/131524600 swapFree=131056028/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3547.21
CPU time (s): 3600.41
CPU user time (s): 3566.36
CPU system time (s): 34.0492
CPU usage (%): 101.5
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 16289316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.36
system time used= 34.0492
maximum resident set size= 16290120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1468614
page faults= 9
swaps= 0
block input operations= 3952
block output operations= 63612224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133114
involuntary context switches= 24516


# summary of solver processes directly reported to runsolver:
#   pid: 251718
#   total CPU time (s): 3600.41
#   total CPU user time (s): 3566.36
#   total CPU system time (s): 34.0492

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.86629 second user time and 18.2533 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-24 19:14:36
IDJOB=4452262
IDBENCH=164182
IDSOLVER=3079
FILE ID=nodeC015/4452262-1721841276
RUNJOBID= nodeC015-1721841276-251684
SLURM_JOB_ID= 7891558
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-tanglegram6.0.u.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-4452262-1721841276/watcher-4452262-1721841276 -o /tmp/evaluation-result-4452262-1721841276/solver-4452262-1721841276 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721841276-251684 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4452262-1721841276 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4452262-1721841276.opb

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

MD5SUM BENCH= b4833b4bfdaca602656a4e797e1582c4
RANDOM SEED=1771454284

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		: 3521.010
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		: 3497.417
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		: 3215.279
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		: 3608.826
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		: 2805.068
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		: 2995.696
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		: 3450.687
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		: 3563.991
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:        127933432 kB
MemAvailable:   129613896 kB
Buffers:          264544 kB
Cached:          2074712 kB
SwapCached:          308 kB
Active:          1298724 kB
Inactive:        1362348 kB
Active(anon):       3840 kB
Inactive(anon):   370628 kB
Active(file):    1294884 kB
Inactive(file):   991720 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057052 kB
Dirty:              1332 kB
Writeback:             0 kB
AnonPages:        320432 kB
Mapped:            94956 kB
Shmem:             52652 kB
KReclaimable:     455268 kB
Slab:             579920 kB
SReclaimable:     455268 kB
SUnreclaim:       124652 kB
KernelStack:        3984 kB
PageTables:         9844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     761280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16224 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 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 20:13:44