Trace number 4440535

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.25 3615.53

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_1_mh_ic.opb
MD5SUM5c43d7dab24b2d6eb632f3b262990bf9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2838011
Best CPU time to get the best result obtained on this benchmark3600.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables126385
Total number of constraints286973
Number of constraints which are clauses201180
Number of constraints which are cardinality constraints (but not clauses)43
Number of constraints which are nor clauses,nor cardinality constraints85750
Minimum length of a constraint2
Maximum length of a constraint1820
Number of terms in the objective function 46445
Biggest coefficient in the objective function 126506008
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 32130212021
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 126506008
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 32130212021
Number of bits of the biggest sum of numbers35
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.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.12	c See www.sat4j.org for details.
0.16/0.14	c version CUSTOM.v20240707
0.16/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.16/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.16/0.16	c java.vm.version	22.0.1+8-16
0.16/0.16	c java.vm.vendor	Oracle Corporation
0.16/0.16	c sun.arch.data.model	64
0.16/0.16	c java.version		22.0.1
0.16/0.16	c os.name		Linux
0.16/0.16	c os.version		4.18.0-301.1.el8.x86_64
0.16/0.16	c os.arch		amd64
0.16/0.16	c Free memory 		2113181440
0.16/0.16	c Max memory 		16282288128
0.16/0.16	c Total memory 		2122317824
0.16/0.17	c Number of processors 	2
0.16/0.22	--- Begin Solver configuration ---
0.16/0.22	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.16/0.22	Learn all clauses as in MiniSAT
0.16/0.22	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.16/0.22	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.16/0.22	Expensive reason simplification
0.16/0.22	Glucose 2.1 dynamic restart strategy
0.16/0.22	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.16/0.22	timeout=2147483s
0.16/0.22	DB Simplification allowed=false
0.16/0.22	Listener: none
0.16/0.22	--- End Solver configuration ---
0.16/0.22	c Pseudo Boolean Optimization by upper bound
0.16/0.22	c --- Begin Solver configuration ---
0.16/0.22	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.16/0.22	c Learn all clauses as in MiniSAT
0.16/0.22	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.16/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.16/0.22	c Expensive reason simplification
0.16/0.22	c Glucose 2.1 dynamic restart strategy
0.16/0.22	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.16/0.22	c timeout=2147483s
0.16/0.22	c DB Simplification allowed=false
0.16/0.22	c Listener: none
0.16/0.22	c --- End Solver configuration ---
0.16/0.22	c solving HOME/instance-4440535-1721821832.opb
0.16/0.22	c reading problem ... 
0.16/0.23	c using VERIPB proof format
0.35/0.24	c  objective function found
3.89/2.11	c ... done. Wall clock time 1.89s.
3.89/2.11	c declared #vars     126385
3.89/2.11	c #constraints  290551
3.89/2.11	c constraints type 
3.89/2.12	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 127365
3.89/2.12	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 42
3.89/2.12	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 81585
3.89/2.12	c org.sat4j.specs.Constr$1 => 4
3.89/2.12	c org.sat4j.pb.constraints.pb.UnitClausesPB => 4
3.89/2.12	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 81551
3.89/2.12	c 290551 constraints processed.
3.89/2.12	c objective function length is 46445 literals
21.62/16.41	c cleaning 2501 clauses out of 5001 with flag 27327/5001
29.99/24.45	c cleaning 4249 clauses out of 8500 with flag 58326/11001
39.62/33.56	c cleaning 5621 clauses out of 11250 with flag 86585/18000
49.97/43.73	c cleaning 6802 clauses out of 13629 with flag 144913/26000
61.16/54.89	c cleaning 7912 clauses out of 15831 with flag 198732/35004
71.54/65.24	c cleaning 8951 clauses out of 17915 with flag 257733/45000
82.94/76.79	c cleaning 9982 clauses out of 19964 with flag 327046/56000
96.60/90.41	c cleaning 10978 clauses out of 21982 with flag 397376/68000
114.02/107.85	c cleaning 11995 clauses out of 24008 with flag 468617/81004
134.52/128.30	c cleaning 13000 clauses out of 26009 with flag 543499/95000
158.06/151.86	c cleaning 14007 clauses out of 28013 with flag 632175/110004
180.77/174.64	c cleaning 14993 clauses out of 30004 with flag 717918/126002
199.57/193.38	c cleaning 15991 clauses out of 32013 with flag 813895/143004
225.11/218.74	c cleaning 16987 clauses out of 34018 with flag 898995/161000
252.43/246.18	c cleaning 18002 clauses out of 36034 with flag 1013154/180003
286.50/280.34	c cleaning 18996 clauses out of 38031 with flag 1132729/200002
313.14/307.02	c cleaning 19995 clauses out of 40033 with flag 1250440/221000
338.53/332.56	c cleaning 21004 clauses out of 42038 with flag 1383591/243000
367.41/361.56	c cleaning 21991 clauses out of 44034 with flag 1500695/266000
404.28/398.51	c cleaning 23013 clauses out of 46043 with flag 1643307/290000
451.77/446.06	c cleaning 24005 clauses out of 48031 with flag 1787679/315001
485.31/479.51	c cleaning 25011 clauses out of 50027 with flag 1933454/341002
519.70/514.10	c cleaning 25985 clauses out of 52014 with flag 2092505/368000
555.84/550.34	c cleaning 27001 clauses out of 54029 with flag 2275436/396000
600.19/594.89	c cleaning 28001 clauses out of 56031 with flag 2497867/425003
637.77/632.58	c cleaning 29006 clauses out of 58027 with flag 2757439/455000
670.38/665.37	c cleaning 30001 clauses out of 60025 with flag 3037488/486004
711.46/706.48	c cleaning 30999 clauses out of 62021 with flag 3331390/518001
751.77/746.98	c cleaning 31997 clauses out of 64021 with flag 3517290/551000
792.32/787.66	c cleaning 32988 clauses out of 66024 with flag 3762727/585000
840.95/836.41	c cleaning 33998 clauses out of 68037 with flag 3972855/620001
885.41/881.11	c cleaning 34986 clauses out of 70038 with flag 4282806/656000
928.70/924.58	c cleaning 36001 clauses out of 72053 with flag 4664773/693001
972.40/968.47	c cleaning 37014 clauses out of 74055 with flag 5057046/731004
1018.20/1014.31	c cleaning 37991 clauses out of 76038 with flag 5433832/770001
1067.81/1064.01	c cleaning 39013 clauses out of 78048 with flag 5865896/810002
1114.66/1110.78	c cleaning 39990 clauses out of 80033 with flag 6353260/851000
1158.21/1154.31	c cleaning 41003 clauses out of 82044 with flag 6855586/893001
1203.49/1199.71	c cleaning 42014 clauses out of 84040 with flag 7345089/936000
1249.87/1246.28	c cleaning 42996 clauses out of 86026 with flag 7848166/980000
1294.10/1290.61	c cleaning 44010 clauses out of 88030 with flag 8440011/1025000
1342.62/1339.24	c cleaning 44999 clauses out of 90023 with flag 8926492/1071003
1393.30/1390.10	c cleaning 46003 clauses out of 92021 with flag 9485213/1118000
1454.07/1451.18	c cleaning 46995 clauses out of 94018 with flag 10114731/1166000
1514.28/1511.41	c cleaning 48002 clauses out of 96023 with flag 10733665/1215000
1575.14/1572.42	c cleaning 49001 clauses out of 98021 with flag 11358227/1265000
1645.05/1642.58	c cleaning 50010 clauses out of 100021 with flag 12010707/1316001
1713.41/1711.02	c cleaning 50992 clauses out of 102011 with flag 12544993/1368001
1782.54/1780.55	c cleaning 51991 clauses out of 104019 with flag 13027770/1421001
1859.07/1857.28	c cleaning 53004 clauses out of 106027 with flag 13562191/1475000
1934.30/1932.64	c cleaning 54004 clauses out of 108023 with flag 14142463/1530000
2015.84/2014.30	c cleaning 54995 clauses out of 110020 with flag 14682085/1586001
2062.70/2061.35	c cleaning 56006 clauses out of 112025 with flag 14959199/1643001
2113.23/2112.11	c cleaning 57006 clauses out of 114021 with flag 15219037/1701003
2165.61/2164.80	c cleaning 57998 clauses out of 116012 with flag 15478809/1760000
2230.34/2230.75	c cleaning 58999 clauses out of 118015 with flag 15688318/1820001
2295.21/2295.87	c cleaning 59996 clauses out of 120015 with flag 15912094/1881000
2360.70/2361.50	c cleaning 61001 clauses out of 122020 with flag 16130321/1943001
2429.22/2431.88	c cleaning 61996 clauses out of 124018 with flag 16334508/2006000
2496.14/2499.31	c cleaning 63003 clauses out of 126024 with flag 16558921/2070002
2564.95/2568.50	c cleaning 64006 clauses out of 128022 with flag 16767150/2135003
2640.83/2652.94	c cleaning 65007 clauses out of 130013 with flag 16970141/2201000
2719.33/2731.60	c cleaning 65992 clauses out of 132006 with flag 17173677/2268000
2799.76/2812.28	c cleaning 67001 clauses out of 134014 with flag 17372812/2336000
2880.31/2893.01	c cleaning 68002 clauses out of 136015 with flag 17573635/2405002
2964.89/2977.77	c cleaning 68999 clauses out of 138011 with flag 17777434/2475000
3071.97/3085.08	c cleaning 69987 clauses out of 140013 with flag 18079689/2546001
3194.45/3208.10	c cleaning 70993 clauses out of 142025 with flag 18541129/2618000
3275.82/3289.74	c cleaning 72017 clauses out of 144034 with flag 19212674/2691002
3389.34/3404.20	c cleaning 73003 clauses out of 146018 with flag 19920183/2765003
3487.27/3502.37	c cleaning 73996 clauses out of 148013 with flag 20774740/2840001
3600.07/3615.42	c starts		: 2821
3600.07/3615.42	c timeout
3600.07/3615.44	c conflicts		: 2905682
3600.07/3615.44	c decisions		: 9414119
3600.07/3615.44	c propagations		: 1765123242
3600.07/3615.44	c inspects		: 25000538827
3600.07/3615.44	c shortcuts		: 0
3600.07/3615.44	c learnt literals	: 0
3600.07/3615.44	c learnt binary clauses	: 46
3600.07/3615.44	c learnt ternary clauses	: 1
3600.07/3615.44	c learnt constraints	: 2905682
3600.07/3615.44	c ignored constraints	: 0
3600.07/3615.44	c root simplifications	: 0
3600.07/3615.44	c removed literals (reason simplification)	: 250069822
3600.07/3615.44	c reason swapping (by a shorter reason)	: 0
3600.07/3615.44	c Calls to reduceDB	: 71
3600.07/3615.44	c Number of update (reduction) of LBD	: 1485884
3600.07/3615.44	c Imported unit clauses	: 0
3600.07/3615.44	c No decision after first conflict	: false
3600.07/3615.44	c number of reductions to clauses (during analyze)	: 0
3600.07/3615.44	c number of learned constraints concerned by reduction	: 0
3600.07/3615.44	c number of learning phase by resolution	: 0
3600.07/3615.44	c number of learning phase by cutting planes	: 0
3600.07/3615.44	c number of rounding to 1 operations	: 0
3600.07/3615.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3615.44	c number of reductions of the coefficients by power 2 	: 0
3600.07/3615.44	c number of right shift for reduction by power 2 	: 0
3600.07/3615.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3615.44	c number of ending skipping 	: 0
3600.07/3615.44	c number of internal skipping 	: 0
3600.07/3615.44	c number of derivation steps 	: 0
3600.07/3615.44	c number of skipped derivation steps 	: 0
3600.07/3615.44	c number of remaining unassigned 	: 0
3600.07/3615.44	c number of remaining assigned 	: 0
3600.07/3615.44	c number of falsified literals weakened from reason	: 0
3600.07/3615.44	c number of falsified literals weakened from conflict	: 0
3600.07/3615.44	c time for arithmetic operations	: 0
3600.07/3615.44	c minimum degree of deleted constraints	: null
3600.07/3615.44	c maximum degree of deleted constraints	: null
3600.07/3615.44	c number of deleted constraints	: 0
3600.07/3615.44	c speed (assignments/second)	: 488511.1695192527
3600.07/3615.44	c non guided choices	: 1185
3600.07/3615.49	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 139652
3600.07/3615.49	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 46
3600.07/3615.49	s UNKNOWN
3600.07/3615.49	c Total wall clock time (in seconds): 3615.269

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100118 s]*
/proc/loadavg: 4.21 4.20 3.49 7/320 179554
/proc/meminfo: memFree=110816324/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=18975048 memory=58736 CPUtime=0.16 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 6635 0 0 0 13 3 0 0 20 0 18 0 18172179 19430449152 14684 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4743762 14684 5667 1 0 550924 0
[pid=179536/tid=179538] ppid=179533 vsize=18975048 memory=4026561586 CPUtime=0.1 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) R 179533 179536 176776 0 -1 1077936192 5551 0 0 0 8 2 0 0 20 0 18 0 18172180 19430449152 14684 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18172185 19430449152 14684 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=18975048 memory=3905244537068716064 CPUtime=0 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18172186 19430449152 14684 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58736 KiB

[startup+0.231612 s]*
/proc/loadavg: 4.21 4.20 3.49 7/320 179554
/proc/meminfo: memFree=110803792/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=18975048 memory=69912 CPUtime=0.35 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 7428 0 0 0 31 4 0 0 20 0 18 0 18172179 19430449152 17478 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4743762 17478 5672 1 0 551582 0
[pid=179536/tid=179538] ppid=179533 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) S 179533 179536 176776 0 -1 1077936192 5917 0 0 0 17 3 0 0 20 0 18 0 18172180 19430449152 17478 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=18975048 memory=880909 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18172185 19430449152 17478 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=18975048 memory=15260341797930584 CPUtime=0 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18172186 19430449152 17478 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69912 KiB

[startup+0.322098 s]*
/proc/loadavg: 4.21 4.20 3.49 8/320 179554
/proc/meminfo: memFree=110788252/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=18975048 memory=75148 CPUtime=0.5 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 7514 0 0 0 46 4 0 0 20 0 18 0 18172179 19430449152 18787 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4743762 18787 5821 1 0 551627 0
[pid=179536/tid=179538] ppid=179533 vsize=18975048 memory=-8960585886217315004 CPUtime=0.28 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) R 179533 179536 176776 0 -1 4194368 5928 0 0 0 25 3 0 0 20 0 18 0 18172180 19430449152 18787 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18172185 19430449152 18787 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18172186 19430449152 18787 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75148 KiB

[startup+0.701099 s]
/proc/loadavg: 4.21 4.20 3.49 6/320 179554
/proc/meminfo: memFree=110714208/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=19041612 memory=179992 CPUtime=1.21 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 10394 0 0 0 114 7 0 0 20 0 19 0 18172179 19498610688 44998 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4760403 44998 5821 1 0 553461 0
[pid=179536/tid=179538] ppid=179533 vsize=19041612 memory=5572 CPUtime=0.62 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) R 179533 179536 176776 0 -1 4194368 6005 0 0 0 57 5 0 0 20 0 19 0 18172180 19498610688 44998 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=19041612 memory=11652 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18172185 19498610688 44998 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18172186 19498610688 44998 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 179992 KiB

[startup+1.50111 s]
/proc/loadavg: 4.21 4.20 3.49 6/321 179555
/proc/meminfo: memFree=110623308/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=19041612 memory=222008 CPUtime=2.72 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 15558 0 0 0 262 10 0 0 20 0 19 0 18172179 19498610688 55502 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4760403 55502 5844 1 0 556461 0
[pid=179536/tid=179538] ppid=179533 vsize=19041612 memory=11652 CPUtime=1.26 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) R 179533 179536 176776 0 -1 4194368 6054 0 0 0 120 6 0 0 20 0 19 0 18172180 19498610688 55502 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18172185 19498610688 55502 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18172186 19498610688 55502 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 222008 KiB

[startup+3.10611 s]
/proc/loadavg: 4.21 4.20 3.49 6/322 179556
/proc/meminfo: memFree=110331528/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=19108176 memory=462760 CPUtime=5.87 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 20636 0 0 0 572 15 0 0 20 0 20 0 18172179 19566772224 115690 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4777044 115690 5882 1 0 1077706 0
[pid=179536/tid=179538] ppid=179533 vsize=19108176 memory=0 CPUtime=2.71 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) R 179533 179536 176776 0 -1 4194368 6287 0 0 0 262 9 0 0 20 0 20 0 18172180 19566772224 115690 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18172185 19566772224 115690 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=19108176 memory=360852 CPUtime=0 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18172186 19566772224 115690 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179556] ppid=179533 vsize=19108176 memory=33 CPUtime=0 cores=5,7
/proc/179536/task/179556/stat : 179556 (Timer-0) S 179533 179536 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18172397 19566772224 115690 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
Current children cumulated CPU time: 5.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 462760 KiB

[startup+6.30043 s]
/proc/loadavg: 4.27 4.22 3.49 5/322 179558
/proc/meminfo: memFree=110317392/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=19108176 memory=459612 CPUtime=10.71 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 26685 0 0 0 1054 17 0 0 20 0 20 0 18172179 19566772224 114903 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4777044 114903 5891 1 0 1077723 0
[pid=179536/tid=179538] ppid=179533 vsize=19108176 memory=0 CPUtime=5.89 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) R 179533 179536 176776 0 -1 4194368 7039 0 0 0 579 10 0 0 20 0 20 0 18172180 19566772224 114903 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18172185 19566772224 114903 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=19108176 memory=463948 CPUtime=0 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18172186 19566772224 114903 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179556] ppid=179533 vsize=19108176 memory=13560 CPUtime=0 cores=5,7
/proc/179536/task/179556/stat : 179556 (Timer-0) S 179533 179536 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18172397 19566772224 114903 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
Current children cumulated CPU time: 10.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 459612 KiB

[startup+12.7004 s]
/proc/loadavg: 4.25 4.21 3.50 5/322 179558
/proc/meminfo: memFree=110285824/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=19108176 memory=459896 CPUtime=17.17 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 28107 0 0 0 1699 18 0 0 20 0 20 0 18172179 19566772224 114974 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4777044 114974 5891 1 0 1077723 0
[pid=179536/tid=179538] ppid=179533 vsize=19108176 memory=-8960585886217315004 CPUtime=12.28 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) R 179533 179536 176776 0 -1 4194368 7775 0 0 0 1217 11 0 0 20 0 20 0 18172180 19566772224 114974 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=19108176 memory=459648 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18172185 19566772224 114974 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18172186 19566772224 114974 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179556] ppid=179533 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/179536/task/179556/stat : 179556 (Timer-0) S 179533 179536 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18172397 19566772224 114974 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
Current children cumulated CPU time: 17.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 459896 KiB

[startup+25.5005 s]
/proc/loadavg: 4.42 4.25 3.52 5/323 179562
/proc/meminfo: memFree=110176684/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=19108176 memory=498260 CPUtime=31.57 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 42987 0 0 0 3134 23 0 0 20 0 20 0 18172179 19566772224 124565 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4777044 124565 5907 1 0 1077977 0
[pid=179536/tid=179538] ppid=179533 vsize=19108176 memory=13560 CPUtime=24.87 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) R 179533 179536 176776 0 -1 4194368 9530 0 0 0 2475 12 0 0 20 0 20 0 18172180 19566772224 124565 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=19108176 memory=498252 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18172185 19566772224 124565 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=19108176 memory=498112 CPUtime=0 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 20 0 18172186 19566772224 124565 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179556] ppid=179533 vsize=19108176 memory=4689 CPUtime=0 cores=5,7
/proc/179536/task/179556/stat : 179556 (Timer-0) S 179533 179536 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18172397 19566772224 124565 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
Current children cumulated CPU time: 31.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 498260 KiB

[startup+51.1139 s]
/proc/loadavg: 4.35 4.25 3.54 5/323 179567
/proc/meminfo: memFree=109965240/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=19108176 memory=513852 CPUtime=57.48 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 57260 0 0 0 5720 28 0 0 20 0 20 0 18172179 19566772224 128463 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4777044 128463 5923 1 0 1077977 0
[pid=179536/tid=179538] ppid=179533 vsize=19108176 memory=68272 CPUtime=49.8 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) R 179533 179536 176776 0 -1 4194368 11574 0 0 0 4967 13 0 0 20 0 20 0 18172180 19566772224 128463 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 53 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=19108176 memory=513852 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18172185 19566772224 128463 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 103 0 0 0 0 0 0 0 20 0 20 0 18172186 19566772224 128463 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179556] ppid=179533 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/179536/task/179556/stat : 179556 (Timer-0) S 179533 179536 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18172397 19566772224 128463 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.18 4.18 5/325 181542
/proc/meminfo: memFree=105751332/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=19108176 memory=2738608 CPUtime=3268.54 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 200515 0 0 0 326414 440 0 0 20 0 20 0 18172179 19566772224 684652 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4777044 684652 5938 1 0 1077988 0
[pid=179536/tid=179538] ppid=179533 vsize=19108176 memory=2722100 CPUtime=3255.02 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) R 179533 179536 176776 0 -1 4194368 94924 0 0 0 325226 276 0 0 20 0 20 0 18172180 19566772224 684652 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1621 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=19108176 memory=2722100 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18172185 19566772224 684652 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=19108176 memory=2722100 CPUtime=0.01 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 5440 0 0 0 0 1 0 0 20 0 20 0 18172186 19566772224 684652 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179556] ppid=179533 vsize=19108176 memory=2738608 CPUtime=0 cores=5,7
/proc/179536/task/179556/stat : 179556 (Timer-0) S 179533 179536 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18172397 19566772224 684652 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
Current children cumulated CPU time: 3268.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2738608 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.19 4.18 5/321 181554
/proc/meminfo: memFree=105629604/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=19108176 memory=2738608 CPUtime=3328.2 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 201567 0 0 0 332374 446 0 0 20 0 20 0 18172179 19566772224 684652 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4777044 684652 5938 1 0 1077988 0
[pid=179536/tid=179538] ppid=179533 vsize=19108176 memory=5572 CPUtime=3314.63 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) R 179533 179536 176776 0 -1 4194368 95868 0 0 0 331183 280 0 0 20 0 20 0 18172180 19566772224 684652 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1645 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=19108176 memory=2738608 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18172185 19566772224 684652 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=19108176 memory=2738608 CPUtime=0.01 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 5538 0 0 0 0 1 0 0 20 0 20 0 18172186 19566772224 684652 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179556] ppid=179533 vsize=19108176 memory=7727173749111347524 CPUtime=0 cores=5,7
/proc/179536/task/179556/stat : 179556 (Timer-0) S 179533 179536 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18172397 19566772224 684652 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
Current children cumulated CPU time: 3328.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2738608 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.17 4.18 5/321 181565
/proc/meminfo: memFree=105483548/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=19108176 memory=2738612 CPUtime=3387.45 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 203340 0 0 0 338293 452 0 0 20 0 20 0 18172179 19566772224 684653 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4777044 684653 5938 1 0 1077988 0
[pid=179536/tid=179538] ppid=179533 vsize=19108176 memory=2738608 CPUtime=3373.85 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) R 179533 179536 176776 0 -1 4194368 97351 0 0 0 337100 285 0 0 20 0 20 0 18172180 19566772224 684653 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1710 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=19108176 memory=68272 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18172185 19566772224 684653 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=19108176 memory=11652 CPUtime=0.01 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 5661 0 0 0 0 1 0 0 20 0 20 0 18172186 19566772224 684653 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179556] ppid=179533 vsize=19108176 memory=2738612 CPUtime=0 cores=5,7
/proc/179536/task/179556/stat : 179556 (Timer-0) S 179533 179536 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18172397 19566772224 684653 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
Current children cumulated CPU time: 3387.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2738612 KiB

[startup+3462.3 s]
/proc/loadavg: 5.22 4.43 4.26 5/322 181576
/proc/meminfo: memFree=105304772/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=19108176 memory=2738612 CPUtime=3447.29 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 205512 0 0 0 344270 459 0 0 20 0 20 0 18172179 19566772224 684653 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4777044 684653 5938 1 0 1077988 0
[pid=179536/tid=179538] ppid=179533 vsize=19108176 memory=68272 CPUtime=3433.65 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) R 179533 179536 176776 0 -1 4194368 99189 0 0 0 343075 290 0 0 20 0 20 0 18172180 19566772224 684653 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1714 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=19108176 memory=68272 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18172185 19566772224 684653 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=19108176 memory=2738612 CPUtime=0.01 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 5755 0 0 0 0 1 0 0 20 0 20 0 18172186 19566772224 684653 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179556] ppid=179533 vsize=19108176 memory=2738612 CPUtime=0 cores=5,7
/proc/179536/task/179556/stat : 179556 (Timer-0) S 179533 179536 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18172397 19566772224 684653 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
Current children cumulated CPU time: 3447.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2738612 KiB

[startup+3522.3 s]
/proc/loadavg: 5.28 4.63 4.35 5/325 181591
/proc/meminfo: memFree=105181124/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=19108176 memory=2754996 CPUtime=3507.2 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 208381 0 0 0 350253 467 0 0 20 0 20 0 18172179 19566772224 688749 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4777044 688749 5938 1 0 1077988 0
[pid=179536/tid=179538] ppid=179533 vsize=19108176 memory=2738612 CPUtime=3493.29 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) R 179533 179536 176776 0 -1 4194368 100567 0 0 0 349034 295 0 0 20 0 20 0 18172180 19566772224 688749 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1718 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=19108176 memory=13560 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18172185 19566772224 688749 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=19108176 memory=68272 CPUtime=0.01 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 5855 0 0 0 0 1 0 0 20 0 20 0 18172186 19566772224 688749 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179556] ppid=179533 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/179536/task/179556/stat : 179556 (Timer-0) S 179533 179536 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18172397 19566772224 688749 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
Current children cumulated CPU time: 3507.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2754996 KiB

[startup+3582.3 s]
/proc/loadavg: 5.15 4.72 4.40 5/324 181602
/proc/meminfo: memFree=105040648/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=19108176 memory=2754996 CPUtime=3566.94 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 209698 0 0 0 356221 473 0 0 20 0 20 0 18172179 19566772224 688749 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4777044 688749 5938 1 0 1077988 0
[pid=179536/tid=179538] ppid=179533 vsize=19108176 memory=13560 CPUtime=3552.99 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) R 179533 179536 176776 0 -1 4194368 101674 0 0 0 355000 299 0 0 20 0 20 0 18172180 19566772224 688749 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1733 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=19108176 memory=1848 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18172185 19566772224 688749 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=19108176 memory=2754996 CPUtime=0.01 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 5855 0 0 0 0 1 0 0 20 0 20 0 18172186 19566772224 688749 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179556] ppid=179533 vsize=19108176 memory=19672 CPUtime=0 cores=5,7
/proc/179536/task/179556/stat : 179556 (Timer-0) S 179533 179536 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18172397 19566772224 688749 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
Current children cumulated CPU time: 3566.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2754996 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.4 s]
/proc/loadavg: 4.75 4.67 4.39 9/324 181608
/proc/meminfo: memFree=104946708/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=19108176 memory=2775476 CPUtime=3600.07 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 211163 0 0 0 359531 476 0 0 20 0 20 0 18172179 19566772224 693869 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4777044 693869 5938 1 0 1077988 0
[pid=179536/tid=179538] ppid=179533 vsize=19108176 memory=-8960585886217315004 CPUtime=3585.92 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) R 179533 179536 176776 0 -1 4194368 101734 0 0 0 358292 300 0 0 20 0 20 0 18172180 19566772224 693869 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1734 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18172185 19566772224 693869 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=19108176 memory=5572 CPUtime=0.01 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 5855 0 0 0 0 1 0 0 20 0 20 0 18172186 19566772224 693869 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179556] ppid=179533 vsize=19108176 memory=16072 CPUtime=0 cores=5,7
/proc/179536/task/179556/stat : 179556 (Timer-0) S 179533 179536 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18172397 19566772224 693869 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2775476 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.47 s, system=4.7849 s

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

[startup+3615.5 s]
/proc/loadavg: 4.75 4.67 4.39 9/324 181608
/proc/meminfo: memFree=104946708/131655788 swapFree=131071472/131071996
[pid=179536] ppid=179533 vsize=19307868 memory=2776172 CPUtime=3600.22 cores=5,7
/proc/179536/stat : 179536 (java) S 179533 179536 176776 0 -1 1077936128 214225 0 0 0 359546 476 0 0 20 0 15 0 18172179 19771256832 694043 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
/proc/179536/statm: 4826967 694043 5937 1 0 1078923 0
[pid=179536/tid=179538] ppid=179533 vsize=19307868 memory=7727173749111347524 CPUtime=3585.95 cores=5,7
/proc/179536/task/179538/stat : 179538 (java) S 179533 179536 176776 0 -1 1077936192 102063 0 0 0 358295 300 0 0 20 0 15 0 18172180 19771256832 694043 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1735 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179547] ppid=179533 vsize=19307868 memory=68272 CPUtime=0 cores=5,7
/proc/179536/task/179547/stat : 179547 (Finalizer) S 179533 179536 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 18172185 19771256832 694043 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
[pid=179536/tid=179554] ppid=179533 vsize=19307868 memory=2754996 CPUtime=0.01 cores=5,7
/proc/179536/task/179554/stat : 179554 (Common-Cleaner) S 179533 179536 176776 0 -1 1077936192 5855 0 0 0 0 1 0 0 20 0 15 0 18172186 19771256832 694043 134679101440 94556968263680 94556968267376 140721968210096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94556968275192 94556968275984 94556987338752 140721968219051 140721968219233 140721968219233 140721968226248 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2776172 KiB

Child status: 143

Real time (s): 3615.53
CPU time (s): 3600.25
CPU user time (s): 3595.47
CPU system time (s): 4.7849
CPU usage (%): 99.5775
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2776172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.47
system time used= 4.78491
maximum resident set size= 2776848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214275
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3027744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107209
involuntary context switches= 5988


# summary of solver processes directly reported to runsolver:
#   pid: 179536
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3595.47
#   total CPU system time (s): 4.7849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8418 second user time and 38.6088 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-24 13:50:32
IDJOB=4440535
IDBENCH=155703
IDSOLVER=3079
FILE ID=nodeC004/4440535-1721821832
RUNJOBID= nodeC004-1721820325-176945
SLURM_JOB_ID= 7891447
Free space on /tmp= 723756 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_1_mh_ic.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-4440535-1721821832/watcher-4440535-1721821832 -o /tmp/evaluation-result-4440535-1721821832/solver-4440535-1721821832 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721820325-176945 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440535-1721821832 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440535-1721821832.opb

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

MD5SUM BENCH= 5c43d7dab24b2d6eb632f3b262990bf9
RANDOM SEED=661698601

nodeC004.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	: 0xb00001f
cpu MHz		: 3671.431
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.13
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	: 0xb00001f
cpu MHz		: 3655.394
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.36
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	: 0xb00001f
cpu MHz		: 1197.321
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.13
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	: 0xb00001f
cpu MHz		: 1197.379
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.36
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	: 0xb00001f
cpu MHz		: 3671.749
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.13
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	: 0xb00001f
cpu MHz		: 2205.071
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.36
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	: 0xb00001f
cpu MHz		: 1197.452
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.13
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	: 0xb00001f
cpu MHz		: 1197.280
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        110851992 kB
MemAvailable:   122694684 kB
Buffers:          244972 kB
Cached:         12388104 kB
SwapCached:           60 kB
Active:          2557496 kB
Inactive:       17585876 kB
Active(anon):       1436 kB
Inactive(anon):  7562828 kB
Active(file):    2556060 kB
Inactive(file): 10023048 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            101124 kB
Writeback:             0 kB
AnonPages:       7508016 kB
Mapped:           134504 kB
Shmem:             53860 kB
KReclaimable:     207568 kB
Slab:             323608 kB
SReclaimable:     207568 kB
SUnreclaim:       116040 kB
KernelStack:        4864 kB
PageTables:        24804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   11349920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20128 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7202816 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:      392008 kB
DirectMap2M:    50892800 kB
DirectMap1G:    84934656 kB

Free space on /tmp at the end= 723628 MiB
End job on nodeC004 at 2024-07-24 14:50:48