Trace number 4443122

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.14 3600.99

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin16.opb
MD5SUMc646e12ccfd746fe0694a48782eaf83d
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark80.654
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14400
Total number of constraints1088
Number of constraints which are clauses480
Number of constraints which are cardinality constraints (but not clauses)608
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint120
Maximum length of a constraint225
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 227
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.06/0.33	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.06/0.33	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.33	c See www.sat4j.org for details.
0.06/0.33	c version CUSTOM.v20240707
0.06/0.34	c java.runtime.name	OpenJDK Runtime Environment
0.06/0.34	c java.vm.name		OpenJDK 64-Bit Server VM
0.06/0.34	c java.vm.version	22.0.1+8-16
0.06/0.34	c java.vm.vendor	Oracle Corporation
0.06/0.34	c sun.arch.data.model	64
0.06/0.34	c java.version		22.0.1
0.06/0.34	c os.name		Linux
0.06/0.34	c os.version		4.18.0-301.1.el8.x86_64
0.06/0.34	c os.arch		amd64
0.06/0.35	c Free memory 		2104792832
0.06/0.35	c Max memory 		16282288128
0.06/0.35	c Total memory 		2113929216
0.06/0.35	c Number of processors 	2
0.06/0.39	--- Begin Solver configuration ---
0.06/0.39	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.06/0.39	Learn all clauses as in MiniSAT
0.06/0.39	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.39	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.39	Expensive reason simplification
0.06/0.39	Glucose 2.1 dynamic restart strategy
0.06/0.39	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.06/0.39	timeout=2147483s
0.06/0.39	DB Simplification allowed=false
0.06/0.39	Listener: none
0.06/0.39	--- End Solver configuration ---
0.06/0.39	c Pseudo Boolean Optimization by upper bound
0.06/0.39	c --- Begin Solver configuration ---
0.06/0.39	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.06/0.39	c Learn all clauses as in MiniSAT
0.06/0.39	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.39	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.39	c Expensive reason simplification
0.06/0.39	c Glucose 2.1 dynamic restart strategy
0.06/0.39	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.06/0.39	c timeout=2147483s
0.06/0.39	c DB Simplification allowed=false
0.06/0.39	c Listener: none
0.06/0.39	c --- End Solver configuration ---
0.06/0.39	c solving HOME/instance-4443122-1721817187.opb
0.06/0.39	c reading problem ... 
0.06/0.39	c using VERIPB proof format
0.06/0.39	c  no objective function found
0.60/0.65	c ... done. Wall clock time 0.26s.
0.60/0.65	c declared #vars     14400
0.60/0.65	c #constraints  1088
0.60/0.65	c constraints type 
0.60/0.65	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 608
0.60/0.65	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 480
0.60/0.65	c 1088 constraints processed.
6.54/4.85	c cleaning 2492 clauses out of 5000 with flag 16823/5000
11.01/9.08	c cleaning 4249 clauses out of 8508 with flag 37469/11000
16.68/14.58	c cleaning 5611 clauses out of 11259 with flag 62802/18000
22.97/20.74	c cleaning 6803 clauses out of 13649 with flag 91973/26001
29.90/27.55	c cleaning 7906 clauses out of 15845 with flag 126227/35000
38.22/36.26	c cleaning 8955 clauses out of 17939 with flag 165873/45000
46.80/44.75	c cleaning 9956 clauses out of 19984 with flag 208907/56000
56.55/54.36	c cleaning 10994 clauses out of 22034 with flag 257944/68006
67.63/66.02	c cleaning 12002 clauses out of 24034 with flag 311258/81000
78.94/77.28	c cleaning 12998 clauses out of 26032 with flag 369643/95000
91.88/89.92	c cleaning 13979 clauses out of 28035 with flag 431662/110001
105.04/103.65	c cleaning 15015 clauses out of 30055 with flag 497842/126000
119.03/117.56	c cleaning 15986 clauses out of 32041 with flag 570078/143001
134.67/133.55	c cleaning 17007 clauses out of 34055 with flag 645795/161001
151.22/149.85	c cleaning 17995 clauses out of 36047 with flag 728513/180000
168.93/167.71	c cleaning 19009 clauses out of 38052 with flag 814128/200000
187.19/186.71	c cleaning 20000 clauses out of 40043 with flag 904945/221000
205.98/205.12	c cleaning 21005 clauses out of 42043 with flag 1001994/243000
226.29/228.03	c cleaning 22002 clauses out of 44038 with flag 1103203/266000
247.65/249.24	c cleaning 22999 clauses out of 46036 with flag 1211793/290000
270.45/272.37	c cleaning 24001 clauses out of 48037 with flag 1326052/315000
294.30/297.05	c cleaning 25003 clauses out of 50039 with flag 1446260/341003
319.85/322.68	c cleaning 25988 clauses out of 52035 with flag 1571933/368002
346.34/349.21	c cleaning 26996 clauses out of 54045 with flag 1702680/396000
373.55/377.03	c cleaning 28003 clauses out of 56049 with flag 1841030/425000
400.83/403.97	c cleaning 29022 clauses out of 58046 with flag 1983801/455000
430.24/434.38	c cleaning 29981 clauses out of 60026 with flag 2132523/486002
460.41/465.00	c cleaning 31017 clauses out of 62043 with flag 2286917/518000
491.68/500.30	c cleaning 32001 clauses out of 64027 with flag 2450237/551001
523.64/535.32	c cleaning 32995 clauses out of 66025 with flag 2617317/585000
557.91/568.88	c cleaning 33991 clauses out of 68031 with flag 2789851/620001
592.52/603.42	c cleaning 35009 clauses out of 70039 with flag 2971360/656000
628.40/639.25	c cleaning 35984 clauses out of 72030 with flag 3156272/693000
665.87/676.33	c cleaning 36996 clauses out of 74046 with flag 3350380/731000
704.17/714.75	c cleaning 37993 clauses out of 76050 with flag 3547808/770000
744.40/754.52	c cleaning 39010 clauses out of 78057 with flag 3754985/810000
786.19/796.55	c cleaning 39997 clauses out of 80047 with flag 3968809/851000
829.61/839.62	c cleaning 41015 clauses out of 82050 with flag 4186023/893000
873.69/883.85	c cleaning 41989 clauses out of 84036 with flag 4410371/936001
918.13/927.75	c cleaning 42986 clauses out of 86046 with flag 4641184/980000
965.04/976.28	c cleaning 44000 clauses out of 88060 with flag 4877894/1025000
1013.11/1023.85	c cleaning 45011 clauses out of 90062 with flag 5122402/1071002
1063.43/1074.31	c cleaning 46003 clauses out of 92049 with flag 5373458/1118000
1113.80/1124.49	c cleaning 47002 clauses out of 94047 with flag 5627565/1166001
1166.56/1176.10	c cleaning 47994 clauses out of 96045 with flag 5892152/1215001
1218.96/1228.23	c cleaning 48997 clauses out of 98052 with flag 6164517/1265002
1273.64/1282.47	c cleaning 49986 clauses out of 100053 with flag 6446975/1316000
1330.64/1338.37	c cleaning 50999 clauses out of 102067 with flag 6732484/1368000
1389.30/1397.84	c cleaning 52024 clauses out of 104068 with flag 7027341/1421000
1447.50/1456.37	c cleaning 53001 clauses out of 106044 with flag 7328852/1475000
1508.55/1516.91	c cleaning 53986 clauses out of 108044 with flag 7634739/1530001
1571.77/1579.47	c cleaning 55011 clauses out of 110057 with flag 7948126/1586000
1636.44/1643.57	c cleaning 55990 clauses out of 112046 with flag 8268452/1643000
1702.89/1709.15	c cleaning 57009 clauses out of 114057 with flag 8601522/1701001
1771.70/1777.45	c cleaning 57987 clauses out of 116047 with flag 8946413/1760000
1840.72/1845.64	c cleaning 59009 clauses out of 118060 with flag 9293944/1820000
1910.91/1915.10	c cleaning 60027 clauses out of 120053 with flag 9649260/1881002
1983.22/1986.51	c cleaning 60966 clauses out of 122024 with flag 10004126/1943000
2056.63/2059.95	c cleaning 61979 clauses out of 124058 with flag 10369933/2006000
2132.18/2136.97	c cleaning 63002 clauses out of 126082 with flag 10748824/2070003
2209.87/2213.75	c cleaning 64031 clauses out of 128078 with flag 11133234/2135001
2288.46/2291.12	c cleaning 65001 clauses out of 130046 with flag 11519138/2201000
2367.86/2370.72	c cleaning 66002 clauses out of 132045 with flag 11914861/2268000
2450.55/2453.07	c cleaning 66995 clauses out of 134043 with flag 12321303/2336000
2534.28/2538.01	c cleaning 67997 clauses out of 136048 with flag 12735433/2405000
2621.09/2623.36	c cleaning 68990 clauses out of 138051 with flag 13153912/2475000
2707.90/2709.64	c cleaning 70012 clauses out of 140061 with flag 13581817/2546000
2796.70/2799.14	c cleaning 71002 clauses out of 142049 with flag 14019675/2618000
2888.52/2890.07	c cleaning 71997 clauses out of 144048 with flag 14469373/2691001
2982.07/2982.74	c cleaning 72998 clauses out of 146050 with flag 14926817/2765000
3075.94/3075.38	c cleaning 74004 clauses out of 148052 with flag 15389320/2840000
3171.03/3170.02	c cleaning 74992 clauses out of 150049 with flag 15860476/2916001
3267.08/3265.64	c cleaning 76014 clauses out of 152058 with flag 16332262/2993002
3365.32/3363.82	c cleaning 76991 clauses out of 154042 with flag 16816109/3071000
3466.56/3464.50	c cleaning 77990 clauses out of 156051 with flag 17306455/3150000
3568.07/3569.37	c cleaning 79013 clauses out of 158062 with flag 17803481/3230001
3600.00/3600.92	c starts		: 20630
3600.00/3600.92	c conflicts		: 3256329
3600.00/3600.92	c decisions		: 74219161
3600.00/3600.92	c propagations		: 813417478
3600.00/3600.92	c inspects		: 8117760222
3600.00/3600.92	c shortcuts		: 0
3600.00/3600.92	c learnt literals	: 0
3600.00/3600.92	c learnt binary clauses	: 0
3600.00/3600.92	c learnt ternary clauses	: 0
3600.00/3600.92	c learnt constraints	: 3256329
3600.00/3600.92	c ignored constraints	: 0
3600.00/3600.92	c root simplifications	: 0
3600.00/3600.92	c removed literals (reason simplification)	: 109800549
3600.00/3600.92	c reason swapping (by a shorter reason)	: 0
3600.00/3600.92	c Calls to reduceDB	: 76
3600.00/3600.92	c Number of update (reduction) of LBD	: 1110388
3600.00/3600.92	c Imported unit clauses	: 0
3600.00/3600.92	c timeout
3600.00/3600.92	c No decision after first conflict	: false
3600.00/3600.92	c number of reductions to clauses (during analyze)	: 0
3600.00/3600.92	c number of learned constraints concerned by reduction	: 0
3600.00/3600.92	c number of learning phase by resolution	: 0
3600.00/3600.92	c number of learning phase by cutting planes	: 0
3600.00/3600.92	c number of rounding to 1 operations	: 0
3600.00/3600.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3600.92	c number of reductions of the coefficients by power 2 	: 0
3600.00/3600.92	c number of right shift for reduction by power 2 	: 0
3600.00/3600.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3600.92	c number of ending skipping 	: 0
3600.00/3600.92	c number of internal skipping 	: 0
3600.00/3600.92	c number of derivation steps 	: 0
3600.00/3600.92	c number of skipped derivation steps 	: 0
3600.00/3600.92	c number of remaining unassigned 	: 0
3600.00/3600.92	c number of remaining assigned 	: 0
3600.00/3600.92	c number of falsified literals weakened from reason	: 0
3600.00/3600.92	c number of falsified literals weakened from conflict	: 0
3600.00/3600.92	c time for arithmetic operations	: 0
3600.00/3600.92	c minimum degree of deleted constraints	: null
3600.00/3600.92	c maximum degree of deleted constraints	: null
3600.00/3600.92	c number of deleted constraints	: 0
3600.00/3600.92	c speed (assignments/second)	: 225933.23308120313
3600.00/3600.92	c non guided choices	: 18726
3600.00/3600.97	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 105377
3600.00/3600.97	s UNKNOWN
3600.00/3600.97	c Total wall clock time (in seconds): 3600.581

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: 63931 MiB (60091 MiB free)
  memory of node 1: 64510 MiB (53971 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100105 s]*
/proc/loadavg: 0.13 0.09 0.16 4/286 181800
/proc/meminfo: memFree=116736812/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=18175400 memory=31716 CPUtime=0.01 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 2513 0 1 0 0 1 0 0 20 0 7 0 18241575 18611609600 7929 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16784588 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4543850 7929 3779 1 0 542675 0
[pid=181771/tid=181779] ppid=181756 vsize=18175400 memory=4026561586 CPUtime=0 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) D 181756 181771 181698 0 -1 4194368 1943 0 0 0 0 0 0 0 20 0 7 0 18241576 18611609600 7929 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 8 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 31716 KiB

[startup+0.207109 s]*
/proc/loadavg: 0.13 0.09 0.16 7/286 181800
/proc/meminfo: memFree=116689648/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=18175400 memory=41276 CPUtime=0.01 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 4859 0 3 0 0 1 0 0 20 0 7 0 18241575 18611609600 10319 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16784588 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4543850 10319 3817 1 0 542675 0
[pid=181771/tid=181779] ppid=181756 vsize=18175400 memory=3461362060219711619 CPUtime=0.01 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) D 181756 181771 181698 0 -1 4194368 4289 0 2 0 0 1 0 0 20 0 7 0 18241576 18611609600 10319 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 20 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 41276 KiB

[startup+0.307091 s]*
/proc/loadavg: 0.13 0.09 0.16 11/330 181844
/proc/meminfo: memFree=116645636/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=18975048 memory=56744 CPUtime=0.06 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 6316 0 3 0 4 2 0 0 20 0 18 0 18241575 19430449152 14186 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4743762 14186 5510 1 0 548712 0
[pid=181771/tid=181779] ppid=181756 vsize=18975048 memory=-8743847989469815484 CPUtime=0.03 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) R 181756 181771 181698 0 -1 4194368 5236 0 2 0 2 1 0 0 20 0 18 0 18241576 19430449152 14186 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181813] ppid=181756 vsize=18975048 memory=1468799592775647577 CPUtime=0 cores=5,7
/proc/181771/task/181813/stat : 181813 (Finalizer) S 181756 181771 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18241598 19430449152 14186 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181843] ppid=181756 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/181771/task/181843/stat : 181843 (Common-Cleaner) S 181756 181771 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18241600 19430449152 14186 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56744 KiB

[startup+0.700986 s]
/proc/loadavg: 0.13 0.09 0.16 12/332 181846
/proc/meminfo: memFree=116509572/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=19108176 memory=168044 CPUtime=0.77 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 9307 0 3 0 72 5 0 0 20 0 20 0 18241575 19566772224 42011 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4777044 42011 5822 1 0 551224 0
[pid=181771/tid=181779] ppid=181756 vsize=19108176 memory=0 CPUtime=0.38 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) R 181756 181771 181698 0 -1 4194368 5933 0 2 0 34 4 0 0 20 0 20 0 18241576 19566772224 42011 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181813] ppid=181756 vsize=19108176 memory=16100 CPUtime=0 cores=5,7
/proc/181771/task/181813/stat : 181813 (Finalizer) S 181756 181771 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241598 19566772224 42011 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181843] ppid=181756 vsize=19108176 memory=6081 CPUtime=0 cores=5,7
/proc/181771/task/181843/stat : 181843 (Common-Cleaner) S 181756 181771 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241600 19566772224 42011 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 168044 KiB

[startup+1.50025 s]
/proc/loadavg: 1.08 0.29 0.22 17/337 181851
/proc/meminfo: memFree=116166280/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=19108176 memory=175916 CPUtime=2.33 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 15531 0 3 0 226 7 0 0 20 0 20 0 18241575 19566772224 43979 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4777044 43979 5841 1 0 552934 0
[pid=181771/tid=181779] ppid=181756 vsize=19108176 memory=0 CPUtime=1.12 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) R 181756 181771 181698 0 -1 4194368 6338 0 2 0 108 4 0 0 20 0 20 0 18241576 19566772224 43979 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 26 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181813] ppid=181756 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/181771/task/181813/stat : 181813 (Finalizer) S 181756 181771 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241598 19566772224 43979 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181843] ppid=181756 vsize=19108176 memory=16100 CPUtime=0 cores=5,7
/proc/181771/task/181843/stat : 181843 (Common-Cleaner) S 181756 181771 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241600 19566772224 43979 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181849] ppid=181756 vsize=19108176 memory=12156 CPUtime=0 cores=5,7
/proc/181771/task/181849/stat : 181849 (Timer-0) S 181756 181771 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241641 19566772224 43979 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175916 KiB

[startup+3.10599 s]
/proc/loadavg: 1.08 0.29 0.22 8/316 181894
/proc/meminfo: memFree=116218872/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=19108176 memory=199224 CPUtime=4.67 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 17305 0 3 0 459 8 0 0 20 0 20 0 18241575 19566772224 49806 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4777044 49806 5859 1 0 552941 0
[pid=181771/tid=181779] ppid=181756 vsize=19108176 memory=0 CPUtime=2.66 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) R 181756 181771 181698 0 -1 4194368 6720 0 2 0 261 5 0 0 20 0 20 0 18241576 19566772224 49806 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 26 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181813] ppid=181756 vsize=19108176 memory=16100 CPUtime=0 cores=5,7
/proc/181771/task/181813/stat : 181813 (Finalizer) S 181756 181771 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241598 19566772224 49806 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181843] ppid=181756 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/181771/task/181843/stat : 181843 (Common-Cleaner) S 181756 181771 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241600 19566772224 49806 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181849] ppid=181756 vsize=19108176 memory=170224 CPUtime=0 cores=5,7
/proc/181771/task/181849/stat : 181849 (Timer-0) S 181756 181771 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241641 19566772224 49806 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 4.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 199224 KiB

[startup+6.30098 s]
/proc/loadavg: 1.64 0.42 0.26 7/338 181921
/proc/meminfo: memFree=115026264/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=19108176 memory=432428 CPUtime=8.19 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 19374 0 3 0 804 15 0 0 20 0 20 0 18241575 19566772224 108107 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4777044 108107 5859 1 0 659625 0
[pid=181771/tid=181779] ppid=181756 vsize=19108176 memory=0 CPUtime=5.75 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) R 181756 181771 181698 0 -1 4194368 7544 0 2 0 565 10 0 0 20 0 20 0 18241576 19566772224 108107 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 26 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181813] ppid=181756 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/181771/task/181813/stat : 181813 (Finalizer) S 181756 181771 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241598 19566772224 108107 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181843] ppid=181756 vsize=19108176 memory=192644 CPUtime=0 cores=5,7
/proc/181771/task/181843/stat : 181843 (Common-Cleaner) S 181756 181771 181698 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 18241600 19566772224 108107 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181849] ppid=181756 vsize=19108176 memory=66704 CPUtime=0 cores=5,7
/proc/181771/task/181849/stat : 181849 (Timer-0) S 181756 181771 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241641 19566772224 108107 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 8.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 432428 KiB

[startup+12.701 s]
/proc/loadavg: 1.83 0.48 0.28 9/338 181921
/proc/meminfo: memFree=112167928/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=19108176 memory=1083112 CPUtime=14.83 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 21821 0 4 0 1451 32 0 0 20 0 20 0 18241575 19566772224 270778 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4777044 270778 5859 1 0 787685 0
[pid=181771/tid=181779] ppid=181756 vsize=19108176 memory=943848 CPUtime=11.93 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) R 181756 181771 181698 0 -1 4194368 7854 0 2 0 1170 23 0 0 20 0 20 0 18241576 19566772224 270778 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 26 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181813] ppid=181756 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/181771/task/181813/stat : 181813 (Finalizer) S 181756 181771 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241598 19566772224 270778 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181843] ppid=181756 vsize=19108176 memory=12156 CPUtime=0 cores=5,7
/proc/181771/task/181843/stat : 181843 (Common-Cleaner) S 181756 181771 181698 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 18241600 19566772224 270778 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181849] ppid=181756 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/181771/task/181849/stat : 181849 (Timer-0) S 181756 181771 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241641 19566772224 270778 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 14.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1083112 KiB

[startup+25.5003 s]
/proc/loadavg: 2.24 0.61 0.33 6/339 181992
/proc/meminfo: memFree=112476060/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=19108176 memory=1212888 CPUtime=27.83 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 26060 0 4 0 2743 40 0 0 20 0 20 0 18241575 19566772224 303222 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4777044 303222 5890 1 0 787687 0
[pid=181771/tid=181779] ppid=181756 vsize=19108176 memory=12156 CPUtime=24.39 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) R 181756 181771 181698 0 -1 4194368 9982 0 2 0 2410 29 0 0 20 0 20 0 18241576 19566772224 303222 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181813] ppid=181756 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/181771/task/181813/stat : 181813 (Finalizer) S 181756 181771 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241598 19566772224 303222 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181843] ppid=181756 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/181771/task/181843/stat : 181843 (Common-Cleaner) S 181756 181771 181698 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 18241600 19566772224 303222 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181849] ppid=181756 vsize=19108176 memory=12156 CPUtime=0 cores=5,7
/proc/181771/task/181849/stat : 181849 (Timer-0) S 181756 181771 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241641 19566772224 303222 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 27.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1212888 KiB

[startup+51.107 s]
/proc/loadavg: 2.94 0.94 0.45 7/339 181995
/proc/meminfo: memFree=109755304/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=19108176 memory=1780368 CPUtime=53.24 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 31589 0 4 0 5261 63 0 0 20 0 20 0 18241575 19566772224 445092 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4777044 445092 5890 1 0 787691 0
[pid=181771/tid=181779] ppid=181756 vsize=19108176 memory=1780368 CPUtime=48.81 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) R 181756 181771 181698 0 -1 4194368 13034 0 2 0 4838 43 0 0 20 0 20 0 18241576 19566772224 445092 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 83 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181813] ppid=181756 vsize=19108176 memory=1550992 CPUtime=0 cores=5,7
/proc/181771/task/181813/stat : 181813 (Finalizer) S 181756 181771 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241598 19566772224 445092 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181843] ppid=181756 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/181771/task/181843/stat : 181843 (Common-Cleaner) S 181756 181771 181698 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 18241600 19566772224 445092 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181849] ppid=181756 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/181771/task/181849/stat : 181849 (Timer-0) S 181756 181771 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241641 19566772224 445092 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 53.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1780368 KiB

[startup+102.301 s]
/proc/loadavg: 3.64 1.44 0.65 6/339 182005

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

/proc/meminfo: memFree=69762684/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=19108176 memory=3118828 CPUtime=3283.75 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 557760 0 4 0 327112 1263 0 0 20 0 20 0 18241575 19566772224 779707 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4777044 779707 5903 1 0 789712 0
[pid=181771/tid=181779] ppid=181756 vsize=19108176 memory=3116236 CPUtime=3176.28 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) R 181756 181771 181698 0 -1 4194368 185115 0 2 0 316535 1093 0 0 20 0 20 0 18241576 19566772224 779707 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4782 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181813] ppid=181756 vsize=19108176 memory=13524 CPUtime=0 cores=5,7
/proc/181771/task/181813/stat : 181813 (Finalizer) S 181756 181771 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241598 19566772224 779707 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181843] ppid=181756 vsize=19108176 memory=5516 CPUtime=0 cores=5,7
/proc/181771/task/181843/stat : 181843 (Common-Cleaner) S 181756 181771 181698 0 -1 1077936192 2906 0 0 0 0 0 0 0 20 0 20 0 18241600 19566772224 779707 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181849] ppid=181756 vsize=19108176 memory=16100 CPUtime=0 cores=5,7
/proc/181771/task/181849/stat : 181849 (Timer-0) S 181756 181771 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241641 19566772224 779707 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 3283.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3118828 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.25 4.11 6/338 183645
/proc/meminfo: memFree=69153704/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=19108176 memory=3119172 CPUtime=3343.92 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 570051 0 4 0 333109 1283 0 0 20 0 20 0 18241575 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4777044 779793 5903 1 0 789712 0
[pid=181771/tid=181779] ppid=181756 vsize=19108176 memory=25872 CPUtime=3234.51 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) S 181756 181771 181698 0 -1 1077936192 188595 0 2 0 322341 1110 0 0 20 0 20 0 18241576 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4868 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181813] ppid=181756 vsize=19108176 memory=3119076 CPUtime=0 cores=5,7
/proc/181771/task/181813/stat : 181813 (Finalizer) S 181756 181771 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241598 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181843] ppid=181756 vsize=19108176 memory=3119172 CPUtime=0 cores=5,7
/proc/181771/task/181843/stat : 181843 (Common-Cleaner) S 181756 181771 181698 0 -1 1077936192 2937 0 0 0 0 0 0 0 20 0 20 0 18241600 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181849] ppid=181756 vsize=19108176 memory=1470771008567869785 CPUtime=0 cores=5,7
/proc/181771/task/181849/stat : 181849 (Timer-0) S 181756 181771 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241641 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 3343.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3119172 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.22 4.10 6/340 183827
/proc/meminfo: memFree=68584988/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=19108176 memory=3119172 CPUtime=3404.47 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 575168 0 4 0 339144 1303 0 0 20 0 20 0 18241575 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4777044 779793 5903 1 0 789712 0
[pid=181771/tid=181779] ppid=181756 vsize=19108176 memory=3119076 CPUtime=3293.09 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) R 181756 181771 181698 0 -1 4194368 190537 0 2 0 328181 1128 0 0 20 0 20 0 18241576 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4914 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181813] ppid=181756 vsize=19108176 memory=66704 CPUtime=0 cores=5,7
/proc/181771/task/181813/stat : 181813 (Finalizer) S 181756 181771 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241598 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181843] ppid=181756 vsize=19108176 memory=3119172 CPUtime=0 cores=5,7
/proc/181771/task/181843/stat : 181843 (Common-Cleaner) S 181756 181771 181698 0 -1 1077936192 3019 0 0 0 0 0 0 0 20 0 20 0 18241600 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181849] ppid=181756 vsize=19108176 memory=3119172 CPUtime=0 cores=5,7
/proc/181771/task/181849/stat : 181849 (Timer-0) S 181756 181771 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241641 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 3404.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3119172 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.24 4.11 6/341 183894
/proc/meminfo: memFree=68003700/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=19108176 memory=3119172 CPUtime=3464.37 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 578332 0 4 0 345114 1323 0 0 20 0 20 0 18241575 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4777044 779793 5903 1 0 789712 0
[pid=181771/tid=181779] ppid=181756 vsize=19108176 memory=3119076 CPUtime=3351.33 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) R 181756 181771 181698 0 -1 4194368 192673 0 2 0 333987 1146 0 0 20 0 20 0 18241576 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4971 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181813] ppid=181756 vsize=19108176 memory=3119172 CPUtime=0 cores=5,7
/proc/181771/task/181813/stat : 181813 (Finalizer) S 181756 181771 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241598 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181843] ppid=181756 vsize=19108176 memory=16100 CPUtime=0 cores=5,7
/proc/181771/task/181843/stat : 181843 (Common-Cleaner) S 181756 181771 181698 0 -1 1077936192 3020 0 0 0 0 0 0 0 20 0 20 0 18241600 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181849] ppid=181756 vsize=19108176 memory=3119172 CPUtime=0 cores=5,7
/proc/181771/task/181849/stat : 181849 (Timer-0) S 181756 181771 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241641 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 3464.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3119172 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.22 4.11 6/338 183905
/proc/meminfo: memFree=67411200/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=19108176 memory=3119172 CPUtime=3524.76 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 583634 0 4 0 351133 1343 0 0 20 0 20 0 18241575 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4777044 779793 5903 1 0 789712 0
[pid=181771/tid=181779] ppid=181756 vsize=19108176 memory=3119172 CPUtime=3410.16 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) R 181756 181771 181698 0 -1 4194368 194660 0 2 0 339852 1164 0 0 20 0 20 0 18241576 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5012 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181813] ppid=181756 vsize=19108176 memory=3119172 CPUtime=0 cores=5,7
/proc/181771/task/181813/stat : 181813 (Finalizer) S 181756 181771 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241598 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181843] ppid=181756 vsize=19108176 memory=3119172 CPUtime=0 cores=5,7
/proc/181771/task/181843/stat : 181843 (Common-Cleaner) S 181756 181771 181698 0 -1 1077936192 3046 0 0 0 0 0 0 0 20 0 20 0 18241600 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181849] ppid=181756 vsize=19108176 memory=3119172 CPUtime=0 cores=5,7
/proc/181771/task/181849/stat : 181849 (Timer-0) S 181756 181771 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241641 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 3524.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3119172 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.19 4.11 6/339 183918
/proc/meminfo: memFree=66846784/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=19108176 memory=3119172 CPUtime=3581.05 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 585213 0 4 0 356744 1361 0 0 20 0 20 0 18241575 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4777044 779793 5903 1 0 789712 0
[pid=181771/tid=181779] ppid=181756 vsize=19108176 memory=3119172 CPUtime=3465.01 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) R 181756 181771 181698 0 -1 4194368 195614 0 2 0 345322 1179 0 0 20 0 20 0 18241576 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5434 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181813] ppid=181756 vsize=19108176 memory=67084 CPUtime=0 cores=5,7
/proc/181771/task/181813/stat : 181813 (Finalizer) S 181756 181771 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241598 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181843] ppid=181756 vsize=19108176 memory=27796 CPUtime=0 cores=5,7
/proc/181771/task/181843/stat : 181843 (Common-Cleaner) S 181756 181771 181698 0 -1 1077936192 3108 0 0 0 0 0 0 0 20 0 20 0 18241600 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181849] ppid=181756 vsize=19108176 memory=3119172 CPUtime=0 cores=5,7
/proc/181771/task/181849/stat : 181849 (Timer-0) S 181756 181771 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241641 19566772224 779793 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 3581.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3119172 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.9 s]
/proc/loadavg: 4.09 4.18 4.10 4/339 183921
/proc/meminfo: memFree=66644972/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=19108176 memory=3119252 CPUtime=3600 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 589436 0 4 0 358633 1367 0 0 20 0 20 0 18241575 19566772224 779813 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4777044 779813 5903 1 0 789729 0
[pid=181771/tid=181779] ppid=181756 vsize=19108176 memory=3119172 CPUtime=3483.03 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) R 181756 181771 181698 0 -1 4194368 196611 0 2 0 347119 1184 0 0 20 0 20 0 18241576 19566772224 779813 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5457 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181813] ppid=181756 vsize=19108176 memory=3119172 CPUtime=0 cores=5,7
/proc/181771/task/181813/stat : 181813 (Finalizer) S 181756 181771 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241598 19566772224 779813 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181843] ppid=181756 vsize=19108176 memory=3119252 CPUtime=0 cores=5,7
/proc/181771/task/181843/stat : 181843 (Common-Cleaner) S 181756 181771 181698 0 -1 1077936192 3108 0 0 0 0 0 0 0 20 0 20 0 18241600 19566772224 779813 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181849] ppid=181756 vsize=19108176 memory=67084 CPUtime=0 cores=5,7
/proc/181771/task/181849/stat : 181849 (Timer-0) S 181756 181771 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241641 19566772224 779813 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3119252 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.45 s, system=13.6895 s

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

[startup+3600.9 s]
/proc/loadavg: 4.09 4.18 4.10 4/339 183921
/proc/meminfo: memFree=66644972/131524600 swapFree=131070704/131071996
[pid=181771] ppid=181756 vsize=19108176 memory=3119252 CPUtime=3600 cores=5,7
/proc/181771/stat : 181771 (java) S 181756 181771 181698 0 -1 1077936128 589436 0 4 0 358633 1367 0 0 20 0 20 0 18241575 19566772224 779813 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
/proc/181771/statm: 4777044 779813 5903 1 0 789729 0
[pid=181771/tid=181779] ppid=181756 vsize=19108176 memory=3119172 CPUtime=3483.03 cores=5,7
/proc/181771/task/181779/stat : 181779 (java) R 181756 181771 181698 0 -1 4194368 196611 0 2 0 347119 1184 0 0 20 0 20 0 18241576 19566772224 779813 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5457 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181813] ppid=181756 vsize=19108176 memory=3119172 CPUtime=0 cores=5,7
/proc/181771/task/181813/stat : 181813 (Finalizer) S 181756 181771 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241598 19566772224 779813 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181843] ppid=181756 vsize=19108176 memory=3119252 CPUtime=0 cores=5,7
/proc/181771/task/181843/stat : 181843 (Common-Cleaner) S 181756 181771 181698 0 -1 1077936192 3108 0 0 0 0 0 0 0 20 0 20 0 18241600 19566772224 779813 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
[pid=181771/tid=181849] ppid=181756 vsize=19108176 memory=67084 CPUtime=0 cores=5,7
/proc/181771/task/181849/stat : 181849 (Timer-0) S 181756 181771 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241641 19566772224 779813 134679101440 94058586632192 94058586635888 140724946731648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94058586643704 94058586644496 94058611765248 140724946740139 140724946740321 140724946740321 140724946747336 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3119252 KiB

Child status: 143

Real time (s): 3600.99
CPU time (s): 3600.14
CPU user time (s): 3586.45
CPU system time (s): 13.6895
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 19109424
Max. memory (cumulated for all children) (KiB): 3119252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.45
system time used= 13.6895
maximum resident set size= 3120796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 591890
page faults= 4
swaps= 0
block input operations= 3552
block output operations= 25502152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122848
involuntary context switches= 17284


# summary of solver processes directly reported to runsolver:
#   pid: 181771
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3586.45
#   total CPU system time (s): 13.6895

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.88488 second user time and 20.2932 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-24 12:33:07
IDJOB=4443122
IDBENCH=147863
IDSOLVER=3079
FILE ID=nodeC022/4443122-1721817187
RUNJOBID= nodeC022-1721817186-181711
SLURM_JOB_ID= 7816878
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin16.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-4443122-1721817187/watcher-4443122-1721817187 -o /tmp/evaluation-result-4443122-1721817187/solver-4443122-1721817187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721817186-181711 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4443122-1721817187 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4443122-1721817187.opb

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

MD5SUM BENCH= c646e12ccfd746fe0694a48782eaf83d
RANDOM SEED=688180842

nodeC022.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		: 3324.023
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.87
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		: 3391.500
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	: 7006.75
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		: 3387.304
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.87
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		: 3544.213
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	: 7006.75
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		: 3443.588
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.87
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		: 3234.553
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	: 7006.75
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		: 3245.178
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.87
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		: 3546.624
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	: 7006.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        116802128 kB
MemAvailable:   129598384 kB
Buffers:          246608 kB
Cached:         13273832 kB
SwapCached:          296 kB
Active:          2523536 kB
Inactive:       11377108 kB
Active(anon):       3808 kB
Inactive(anon):   430276 kB
Active(file):    2519728 kB
Inactive(file): 10946832 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:              4324 kB
Writeback:             0 kB
AnonPages:        378892 kB
Mapped:           113916 kB
Shmem:             53884 kB
KReclaimable:     338688 kB
Slab:             462112 kB
SReclaimable:     338688 kB
SUnreclaim:       123424 kB
KernelStack:        3936 kB
PageTables:        10312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     733960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21344 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 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:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC022 at 2024-07-24 13:33:08