Trace number 4442852

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.24 3573.71

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-65-60.opb
MD5SUMa13dda9504d679e5c6e2bc0e517e2ba2
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark7.03939
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3900
Total number of constraints124865
Number of constraints which are clauses124865
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint60
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 61
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.04/0.49	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.04/0.49	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.49	c See www.sat4j.org for details.
0.10/0.53	c version CUSTOM.v20240707
0.10/0.54	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.54	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.54	c java.vm.version	22.0.1+8-16
0.10/0.54	c java.vm.vendor	Oracle Corporation
0.10/0.54	c sun.arch.data.model	64
0.10/0.54	c java.version		22.0.1
0.10/0.54	c os.name		Linux
0.10/0.54	c os.version		4.18.0-301.1.el8.x86_64
0.10/0.54	c os.arch		amd64
0.10/0.55	c Free memory 		2104792832
0.10/0.55	c Max memory 		16282288128
0.10/0.55	c Total memory 		2113929216
0.10/0.55	c Number of processors 	2
0.16/0.63	--- Begin Solver configuration ---
0.16/0.63	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.16/0.63	Learn all clauses as in MiniSAT
0.16/0.63	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.16/0.63	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.16/0.63	Expensive reason simplification
0.16/0.63	Glucose 2.1 dynamic restart strategy
0.16/0.63	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.63	timeout=2147483s
0.16/0.63	DB Simplification allowed=false
0.16/0.63	Listener: none
0.16/0.63	--- End Solver configuration ---
0.16/0.63	c Pseudo Boolean Optimization by upper bound
0.16/0.63	c --- Begin Solver configuration ---
0.16/0.63	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.16/0.63	c Learn all clauses as in MiniSAT
0.16/0.63	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.16/0.63	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.16/0.63	c Expensive reason simplification
0.16/0.63	c Glucose 2.1 dynamic restart strategy
0.16/0.63	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.63	c timeout=2147483s
0.16/0.63	c DB Simplification allowed=false
0.16/0.63	c Listener: none
0.16/0.63	c --- End Solver configuration ---
0.16/0.63	c solving HOME/instance-4442852-1721817186.opb
0.16/0.63	c reading problem ... 
0.16/0.63	c using VERIPB proof format
0.16/0.63	c  no objective function found
0.91/1.07	c ... done. Wall clock time 0.439s.
0.91/1.07	c declared #vars     3900
0.91/1.07	c #constraints  124865
0.91/1.07	c constraints type 
0.91/1.07	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 124800
0.91/1.07	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 65
0.91/1.07	c 124865 constraints processed.
5.45/3.60	c cleaning 2496 clauses out of 5000 with flag 33701/5000
8.60/6.59	c cleaning 4249 clauses out of 8505 with flag 78276/11001
12.88/10.75	c cleaning 5627 clauses out of 11256 with flag 126542/18001
18.04/15.83	c cleaning 6805 clauses out of 13629 with flag 175704/26001
21.25/18.90	c cleaning 7906 clauses out of 15825 with flag 237171/35002
25.41/22.83	c cleaning 8942 clauses out of 17917 with flag 324744/45000
31.74/29.11	c cleaning 9970 clauses out of 19975 with flag 439296/56000
39.12/36.85	c cleaning 10992 clauses out of 22005 with flag 565811/68000
48.31/45.89	c cleaning 11997 clauses out of 24013 with flag 697677/81000
57.40/54.84	c cleaning 13001 clauses out of 26018 with flag 820773/95002
68.50/66.48	c cleaning 14001 clauses out of 28017 with flag 955780/110002
82.27/80.01	c cleaning 15001 clauses out of 30015 with flag 1108474/126001
96.68/95.05	c cleaning 16001 clauses out of 32016 with flag 1263423/143003
112.17/110.20	c cleaning 17000 clauses out of 34013 with flag 1408226/161001
127.92/126.45	c cleaning 17994 clauses out of 36012 with flag 1571654/180000
135.93/134.37	c cleaning 18976 clauses out of 38018 with flag 1717030/200000
149.65/147.96	c cleaning 19989 clauses out of 40042 with flag 1900496/221000
162.86/161.55	c cleaning 21018 clauses out of 42057 with flag 2088474/243004
173.78/172.44	c cleaning 21996 clauses out of 44035 with flag 2236370/266000
181.43/179.89	c cleaning 22986 clauses out of 46042 with flag 2393391/290003
198.05/197.06	c cleaning 23995 clauses out of 48055 with flag 2573159/315002
215.63/214.42	c cleaning 25002 clauses out of 50058 with flag 2759185/341000
235.47/236.47	c cleaning 25985 clauses out of 52056 with flag 2982974/368000
260.08/261.22	c cleaning 27005 clauses out of 54073 with flag 3228406/396002
285.67/287.36	c cleaning 28004 clauses out of 56066 with flag 3480786/425000
312.13/313.93	c cleaning 28995 clauses out of 58062 with flag 3748503/455000
340.55/341.32	c cleaning 30002 clauses out of 60067 with flag 4011077/486000
377.42/378.95	c cleaning 31025 clauses out of 62065 with flag 4279144/518000
406.92/409.42	c cleaning 32010 clauses out of 64041 with flag 4498744/551001
432.34/434.56	c cleaning 33001 clauses out of 66030 with flag 4776042/585000
455.50/457.65	c cleaning 34002 clauses out of 68029 with flag 5039111/620000
480.66/483.07	c cleaning 35000 clauses out of 70027 with flag 5324903/656000
510.33/516.10	c cleaning 36002 clauses out of 72028 with flag 5616717/693001
545.52/551.55	c cleaning 37008 clauses out of 74026 with flag 5910852/731001
579.40/585.16	c cleaning 37989 clauses out of 76017 with flag 6228084/770000
609.99/620.09	c cleaning 39001 clauses out of 78029 with flag 6485713/810001
638.77/648.59	c cleaning 39995 clauses out of 80028 with flag 6774640/851001
668.77/678.34	c cleaning 40993 clauses out of 82032 with flag 7070915/893000
706.80/715.34	c cleaning 42006 clauses out of 84041 with flag 7403253/936002
745.96/754.14	c cleaning 43000 clauses out of 86035 with flag 7780479/980002
780.85/788.22	c cleaning 44004 clauses out of 88035 with flag 8195492/1025002
813.30/821.87	c cleaning 44997 clauses out of 90029 with flag 8521751/1071000
858.39/866.26	c cleaning 46004 clauses out of 92033 with flag 8869214/1118001
902.08/909.59	c cleaning 46997 clauses out of 94028 with flag 9253924/1166000
950.66/957.92	c cleaning 48003 clauses out of 96032 with flag 9658545/1215001
1004.05/1010.92	c cleaning 49007 clauses out of 98035 with flag 10078013/1265007
1048.62/1055.44	c cleaning 50002 clauses out of 100021 with flag 10426959/1316000
1100.21/1106.58	c cleaning 50987 clauses out of 102019 with flag 10791256/1368000
1125.99/1131.25	c cleaning 52009 clauses out of 104036 with flag 11144006/1421004
1174.89/1179.75	c cleaning 52987 clauses out of 106023 with flag 11554199/1475000
1236.42/1240.62	c cleaning 53993 clauses out of 108036 with flag 11962481/1530000
1276.32/1279.59	c cleaning 55013 clauses out of 110047 with flag 12349964/1586004
1305.18/1308.11	c cleaning 55992 clauses out of 112032 with flag 12740071/1643002
1376.44/1378.38	c cleaning 57001 clauses out of 114039 with flag 13124806/1701001
1441.54/1442.31	c cleaning 58009 clauses out of 116037 with flag 13544542/1760000
1492.25/1493.08	c cleaning 58991 clauses out of 118029 with flag 13989947/1820001
1571.14/1571.10	c cleaning 59999 clauses out of 120038 with flag 14484691/1881001
1646.59/1645.41	c cleaning 61005 clauses out of 122039 with flag 15007196/1943001
1670.95/1669.34	c cleaning 61992 clauses out of 124033 with flag 15453907/2006000
1697.45/1694.57	c cleaning 62997 clauses out of 126041 with flag 15877269/2070000
1730.02/1725.76	c cleaning 63979 clauses out of 128044 with flag 16311885/2135000
1778.06/1773.46	c cleaning 65027 clauses out of 130067 with flag 16771572/2201002
1860.00/1854.13	c cleaning 66010 clauses out of 132038 with flag 17237631/2268000
1957.95/1950.74	c cleaning 66999 clauses out of 134028 with flag 17766089/2336000
2047.81/2039.85	c cleaning 68001 clauses out of 136029 with flag 18325872/2405000
2157.09/2148.02	c cleaning 69002 clauses out of 138031 with flag 18912098/2475003
2248.59/2238.16	c cleaning 69996 clauses out of 140026 with flag 19515165/2546000
2366.87/2355.67	c cleaning 70996 clauses out of 142030 with flag 20109587/2618000
2477.54/2465.68	c cleaning 72003 clauses out of 144034 with flag 20737928/2691000
2589.77/2578.12	c cleaning 73005 clauses out of 146031 with flag 21412143/2765000
2723.82/2711.10	c cleaning 74004 clauses out of 148028 with flag 22054437/2840002
2767.26/2753.22	c cleaning 74966 clauses out of 150025 with flag 22596307/2916003
2835.49/2820.74	c cleaning 75997 clauses out of 152056 with flag 23132633/2993000
2897.02/2880.75	c cleaning 76997 clauses out of 154061 with flag 23651376/3071002
3015.95/2998.30	c cleaning 77996 clauses out of 156063 with flag 24206448/3150001
3135.45/3114.02	c cleaning 78992 clauses out of 158066 with flag 24864157/3230000
3253.97/3229.93	c cleaning 80001 clauses out of 160074 with flag 25509348/3311000
3368.79/3341.35	c cleaning 80997 clauses out of 162075 with flag 26176419/3393002
3486.32/3458.15	c cleaning 82015 clauses out of 164080 with flag 26869166/3476004
3542.77/3513.53	c cleaning 83010 clauses out of 166063 with flag 27416815/3560002
3600.09/3573.62	c starts		: 1173
3600.09/3573.62	c timeout
3600.09/3573.62	c conflicts		: 3610254
3600.09/3573.62	c decisions		: 5970704
3600.09/3573.62	c propagations		: 69511491
3600.09/3573.62	c inspects		: 13170891797
3600.09/3573.62	c shortcuts		: 0
3600.09/3573.62	c learnt literals	: 0
3600.09/3573.62	c learnt binary clauses	: 0
3600.09/3573.62	c learnt ternary clauses	: 0
3600.09/3573.62	c learnt constraints	: 3610254
3600.09/3573.62	c ignored constraints	: 0
3600.09/3573.62	c root simplifications	: 0
3600.09/3573.62	c removed literals (reason simplification)	: 13335616
3600.09/3573.62	c reason swapping (by a shorter reason)	: 0
3600.09/3573.62	c Calls to reduceDB	: 80
3600.09/3573.62	c Number of update (reduction) of LBD	: 2279665
3600.09/3573.62	c Imported unit clauses	: 0
3600.09/3573.63	c No decision after first conflict	: false
3600.09/3573.63	c number of reductions to clauses (during analyze)	: 0
3600.09/3573.63	c number of learned constraints concerned by reduction	: 0
3600.09/3573.63	c number of learning phase by resolution	: 0
3600.09/3573.63	c number of learning phase by cutting planes	: 0
3600.09/3573.63	c number of rounding to 1 operations	: 0
3600.09/3573.63	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3573.63	c number of reductions of the coefficients by power 2 	: 0
3600.09/3573.63	c number of right shift for reduction by power 2 	: 0
3600.09/3573.63	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3573.63	c number of ending skipping 	: 0
3600.09/3573.63	c number of internal skipping 	: 0
3600.09/3573.63	c number of derivation steps 	: 0
3600.09/3573.63	c number of skipped derivation steps 	: 0
3600.09/3573.63	c number of remaining unassigned 	: 0
3600.09/3573.63	c number of remaining assigned 	: 0
3600.09/3573.63	c number of falsified literals weakened from reason	: 0
3600.09/3573.63	c number of falsified literals weakened from conflict	: 0
3600.09/3573.63	c time for arithmetic operations	: 0
3600.09/3573.63	c minimum degree of deleted constraints	: null
3600.09/3573.63	c maximum degree of deleted constraints	: null
3600.09/3573.63	c number of deleted constraints	: 0
3600.09/3573.63	c speed (assignments/second)	: 19457.113394385913
3600.09/3573.63	c non guided choices	: 128829
3600.09/3573.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 133305
3600.09/3573.68	s UNKNOWN
3600.09/3573.68	c Total wall clock time (in seconds): 3573.053

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (60349 MiB free)
  memory of node 1: 64473 MiB (61782 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=193417, runsolver pid=193414

[startup+0.100088 s]*
/proc/loadavg: 0.13 0.10 0.16 1/263 193442
/proc/meminfo: memFree=125054284/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=104392 memory=7684 CPUtime=0 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 571 0 30 0 0 0 0 0 20 0 2 0 18247023 106897408 1921 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 0 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 26098 1921 1550 1 0 582 0
[pid=193417/tid=193441] ppid=193414 vsize=104392 memory=4026531971 CPUtime=0 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) D 193414 193417 193361 0 -1 4194368 8 0 3 0 0 0 0 0 20 0 2 0 18247033 106897408 1921 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 104392 KiB
Current children cumulated memory: 7684 KiB

[startup+0.204593 s]*
/proc/loadavg: 0.13 0.10 0.16 5/265 193444
/proc/meminfo: memFree=125031376/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=299296 memory=20508 CPUtime=0 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 1432 0 51 0 0 0 0 0 20 0 2 0 18247023 306479104 5127 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16784588 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 74824 5127 2996 1 0 2370 0
[pid=193417/tid=193441] ppid=193414 vsize=299296 memory=8737651120394928259 CPUtime=0 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) D 193414 193417 193361 0 -1 4194368 869 0 24 0 0 0 0 0 20 0 2 0 18247033 306479104 5127 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16784588 0 0 0 -1 0 0 0 10 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 299296 KiB
Current children cumulated memory: 20508 KiB

[startup+0.305456 s]*
/proc/loadavg: 0.13 0.10 0.16 1/285 193464
/proc/meminfo: memFree=124985396/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=18194260 memory=32124 CPUtime=0.01 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 3040 0 78 0 0 1 0 0 20 0 7 0 18247023 18630922240 8031 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16784588 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 4548565 8031 3848 1 0 542698 0
[pid=193417/tid=193441] ppid=193414 vsize=18194260 memory=-8960587011465192124 CPUtime=0.01 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) D 193414 193417 193361 0 -1 4194368 2487 0 52 0 0 1 0 0 20 0 7 0 18247033 18630922240 8031 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16784588 0 0 0 -1 0 0 0 21 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18194260 KiB
Current children cumulated memory: 32124 KiB

[startup+0.700338 s]
/proc/loadavg: 0.13 0.10 0.16 1/329 193508
/proc/meminfo: memFree=124874848/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=18993908 memory=79880 CPUtime=0.32 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 7636 0 136 0 27 5 0 0 20 0 18 0 18247023 19449761792 19970 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 4748477 19970 5988 1 0 549617 0
[pid=193417/tid=193441] ppid=193414 vsize=18993908 memory=0 CPUtime=0.17 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) R 193414 193417 193361 0 -1 4194368 6040 0 92 0 14 3 0 0 20 0 18 0 18247033 19449761792 19970 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 42 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193477] ppid=193414 vsize=18993908 memory=5448 CPUtime=0 cores=0,2
/proc/193417/task/193477/stat : 193477 (Finalizer) S 193414 193417 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18247061 19449761792 19970 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193506] ppid=193414 vsize=18993908 memory=140612733116593 CPUtime=0 cores=0,2
/proc/193417/task/193506/stat : 193506 (Common-Cleaner) S 193414 193417 193361 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 18247062 19449761792 19970 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 79880 KiB

[startup+1.50683 s]
/proc/loadavg: 0.13 0.10 0.16 8/312 193524
/proc/meminfo: memFree=124569624/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=19127036 memory=190980 CPUtime=1.91 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 18550 0 136 0 182 9 0 0 20 0 20 0 18247023 19586084864 47745 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 4781759 47745 6037 1 0 556881 0
[pid=193417/tid=193441] ppid=193414 vsize=19127036 memory=0 CPUtime=0.93 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) R 193414 193417 193361 0 -1 4194368 6158 0 92 0 88 5 0 0 20 0 20 0 18247033 19586084864 47745 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 42 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193477] ppid=193414 vsize=19127036 memory=140612733116593 CPUtime=0 cores=0,2
/proc/193417/task/193477/stat : 193477 (Finalizer) S 193414 193417 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 47745 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193506] ppid=193414 vsize=19127036 memory=5448 CPUtime=0 cores=0,2
/proc/193417/task/193506/stat : 193506 (Common-Cleaner) S 193414 193417 193361 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 47745 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 1.91 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 190980 KiB

[startup+3.10586 s]
/proc/loadavg: 0.92 0.26 0.21 6/337 193584
/proc/meminfo: memFree=123672704/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=19127036 memory=285700 CPUtime=4.81 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 25920 0 136 0 469 12 0 0 20 0 20 0 18247023 19586084864 71425 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 4781759 71425 6049 1 0 680109 0
[pid=193417/tid=193441] ppid=193414 vsize=19127036 memory=-8889092367380685500 CPUtime=2.43 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) R 193414 193417 193361 0 -1 4194368 6758 0 92 0 237 6 0 0 20 0 20 0 18247033 19586084864 71425 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 42 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193477] ppid=193414 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/193417/task/193477/stat : 193477 (Finalizer) S 193414 193417 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 71425 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193506] ppid=193414 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/193417/task/193506/stat : 193506 (Common-Cleaner) S 193414 193417 193361 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 71425 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193525] ppid=193414 vsize=19127036 memory=5448 CPUtime=0 cores=0,2
/proc/193417/task/193525/stat : 193525 (Timer-0) S 193414 193417 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247132 19586084864 71425 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 4.81 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 285700 KiB

[startup+6.30028 s]
/proc/loadavg: 0.92 0.26 0.21 5/317 193601
/proc/meminfo: memFree=123362076/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=19127036 memory=594960 CPUtime=8.41 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 28041 0 136 0 820 21 0 0 20 0 20 0 18247023 19586084864 148740 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 4781759 148740 6050 1 0 811742 0
[pid=193417/tid=193441] ppid=193414 vsize=19127036 memory=0 CPUtime=5.48 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) R 193414 193417 193361 0 -1 4194368 7555 0 92 0 536 12 0 0 20 0 20 0 18247033 19586084864 148740 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 42 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193477] ppid=193414 vsize=19127036 memory=483184 CPUtime=0 cores=0,2
/proc/193417/task/193477/stat : 193477 (Finalizer) S 193414 193417 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 148740 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193506] ppid=193414 vsize=19127036 memory=11496 CPUtime=0 cores=0,2
/proc/193417/task/193506/stat : 193506 (Common-Cleaner) S 193414 193417 193361 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 148740 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193525] ppid=193414 vsize=19127036 memory=5448 CPUtime=0 cores=0,2
/proc/193417/task/193525/stat : 193525 (Timer-0) S 193414 193417 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247132 19586084864 148740 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 8.41 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 594960 KiB

[startup+12.7003 s]
/proc/loadavg: 1.55 0.42 0.27 7/338 193652
/proc/meminfo: memFree=121606584/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=19127036 memory=1008928 CPUtime=14.95 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 28491 0 136 0 1465 30 0 0 20 0 20 0 18247023 19586084864 252232 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 4781759 252232 6050 1 0 811753 0
[pid=193417/tid=193441] ppid=193414 vsize=19127036 memory=965744 CPUtime=11.69 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) R 193414 193417 193361 0 -1 4194368 7810 0 92 0 1150 19 0 0 20 0 20 0 18247033 19586084864 252232 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 42 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193477] ppid=193414 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/193417/task/193477/stat : 193477 (Finalizer) S 193414 193417 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 252232 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193506] ppid=193414 vsize=19127036 memory=75480 CPUtime=0 cores=0,2
/proc/193417/task/193506/stat : 193506 (Common-Cleaner) S 193414 193417 193361 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 252232 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193525] ppid=193414 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/193417/task/193525/stat : 193525 (Timer-0) S 193414 193417 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247132 19586084864 252232 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 14.95 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1008928 KiB

[startup+25.5011 s]
/proc/loadavg: 1.93 0.54 0.31 5/336 193790
/proc/meminfo: memFree=119824452/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=19127036 memory=1770368 CPUtime=28.16 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 36283 0 136 0 2761 55 0 0 20 0 20 0 18247023 19586084864 442592 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 4781759 442592 6050 1 0 949626 0
[pid=193417/tid=193441] ppid=193414 vsize=19127036 memory=965744 CPUtime=24.06 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) S 193414 193417 193361 0 -1 1077936192 9535 0 92 0 2366 40 0 0 20 0 20 0 18247033 19586084864 442592 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 42 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193477] ppid=193414 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/193417/task/193477/stat : 193477 (Finalizer) S 193414 193417 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 442592 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193506] ppid=193414 vsize=19127036 memory=613392 CPUtime=0 cores=0,2
/proc/193417/task/193506/stat : 193506 (Common-Cleaner) S 193414 193417 193361 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 442592 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193525] ppid=193414 vsize=19127036 memory=12248 CPUtime=0 cores=0,2
/proc/193417/task/193525/stat : 193525 (Timer-0) S 193414 193417 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247132 19586084864 442592 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 28.16 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1770368 KiB

[startup+51.1058 s]
/proc/loadavg: 2.81 0.86 0.42 6/336 193861
/proc/meminfo: memFree=117620584/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=19127036 memory=2420436 CPUtime=53.7 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 43772 0 136 0 5286 84 0 0 20 0 20 0 18247023 19586084864 605109 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 4781759 605109 6082 1 0 949628 0
[pid=193417/tid=193441] ppid=193414 vsize=19127036 memory=2303672 CPUtime=48.35 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) R 193414 193417 193361 0 -1 4194368 12924 0 92 0 4779 56 0 0 20 0 20 0 18247033 19586084864 605109 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 90 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193477] ppid=193414 vsize=19127036 memory=1973684 CPUtime=0 cores=0,2
/proc/193417/task/193477/stat : 193477 (Finalizer) S 193414 193417 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 605109 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193506] ppid=193414 vsize=19127036 memory=11496 CPUtime=0 cores=0,2
/proc/193417/task/193506/stat : 193506 (Common-Cleaner) S 193414 193417 193361 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 605109 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193525] ppid=193414 vsize=19127036 memory=11496 CPUtime=0 cores=0,2
/proc/193417/task/193525/stat : 193525 (Timer-0) S 193414 193417 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247132 19586084864 605109 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 53.7 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2420436 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 1.42 0.64 5/336 193870
/proc/meminfo: memFree=113018940/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=19127036 memory=3775388 CPUtime=104.12 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 51979 0 136 0 10277 135 0 0 20 0 20 0 18247023 19586084864 943847 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 4781759 943847 6083 1 0 1077046 0
[pid=193417/tid=193441] ppid=193414 vsize=19127036 memory=3297140 CPUtime=96.82 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) R 193414 193417 193361 0 -1 4194368 16356 0 92 0 9592 90 0 0 20 0 20 0 18247033 19586084864 943847 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 252 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0

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

/proc/meminfo: memFree=74002604/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=19127036 memory=3924528 CPUtime=3185.05 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 634442 0 136 0 316931 1574 0 0 20 0 20 0 18247023 19586084864 981132 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 4781759 981132 6099 1 0 993279 0
[pid=193417/tid=193441] ppid=193414 vsize=19127036 memory=3924504 CPUtime=3058.35 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) R 193414 193417 193361 0 -1 4194368 183042 0 92 0 304467 1368 0 0 20 0 20 0 18247033 19586084864 981132 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 3938 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193477] ppid=193414 vsize=19127036 memory=3924504 CPUtime=0 cores=0,2
/proc/193417/task/193477/stat : 193477 (Finalizer) S 193414 193417 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 981132 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193506] ppid=193414 vsize=19127036 memory=3924528 CPUtime=0 cores=0,2
/proc/193417/task/193506/stat : 193506 (Common-Cleaner) S 193414 193417 193361 0 -1 1077936192 3147 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 981132 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193525] ppid=193414 vsize=19127036 memory=3924528 CPUtime=0 cores=0,2
/proc/193417/task/193525/stat : 193525 (Timer-0) S 193414 193417 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247132 19586084864 981132 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 3185.05 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3924528 KiB

[startup+3222.3 s]
/proc/loadavg: 4.25 4.25 4.12 5/332 195396
/proc/meminfo: memFree=70203008/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=19127036 memory=3924528 CPUtime=3246.6 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 647555 0 136 0 323063 1597 0 0 20 0 20 0 18247023 19586084864 981132 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 4781759 981132 6099 1 0 993279 0
[pid=193417/tid=193441] ppid=193414 vsize=19127036 memory=18928 CPUtime=3116.91 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) R 193414 193417 193361 0 -1 4194368 186519 0 92 0 310304 1387 0 0 20 0 20 0 18247033 19586084864 981132 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 3975 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193477] ppid=193414 vsize=19127036 memory=3924528 CPUtime=0 cores=0,2
/proc/193417/task/193477/stat : 193477 (Finalizer) S 193414 193417 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 981132 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193506] ppid=193414 vsize=19127036 memory=3924528 CPUtime=0 cores=0,2
/proc/193417/task/193506/stat : 193506 (Common-Cleaner) S 193414 193417 193361 0 -1 1077936192 3225 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 981132 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193525] ppid=193414 vsize=19127036 memory=3924528 CPUtime=0 cores=0,2
/proc/193417/task/193525/stat : 193525 (Timer-0) S 193414 193417 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247132 19586084864 981132 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 3246.6 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3924528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.25 4.12 5/335 195413
/proc/meminfo: memFree=71069872/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=19127036 memory=3924544 CPUtime=3307.81 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 662079 0 136 0 329152 1629 0 0 20 0 20 0 18247023 19586084864 981136 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 4781759 981136 6099 1 0 993279 0
[pid=193417/tid=193441] ppid=193414 vsize=19127036 memory=3924532 CPUtime=3174.84 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) R 193414 193417 193361 0 -1 4194368 189089 0 92 0 316070 1414 0 0 20 0 20 0 18247033 19586084864 981136 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4027 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193477] ppid=193414 vsize=19127036 memory=11496 CPUtime=0 cores=0,2
/proc/193417/task/193477/stat : 193477 (Finalizer) S 193414 193417 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 981136 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193506] ppid=193414 vsize=19127036 memory=1948 CPUtime=0 cores=0,2
/proc/193417/task/193506/stat : 193506 (Common-Cleaner) S 193414 193417 193361 0 -1 1077936192 3272 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 981136 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193525] ppid=193414 vsize=19127036 memory=3924532 CPUtime=0 cores=0,2
/proc/193417/task/193525/stat : 193525 (Timer-0) S 193414 193417 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247132 19586084864 981136 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 3307.81 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3924544 KiB

[startup+3342.3 s]
/proc/loadavg: 4.30 4.26 4.13 5/335 195591
/proc/meminfo: memFree=70568268/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=19127036 memory=3924544 CPUtime=3369.81 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 663990 0 136 0 335324 1657 0 0 20 0 20 0 18247023 19586084864 981136 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 4781759 981136 6099 1 0 993279 0
[pid=193417/tid=193441] ppid=193414 vsize=19127036 memory=3924544 CPUtime=3233.4 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) R 193414 193417 193361 0 -1 4194368 190324 0 92 0 321903 1437 0 0 20 0 20 0 18247033 19586084864 981136 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4064 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193477] ppid=193414 vsize=19127036 memory=11496 CPUtime=0 cores=0,2
/proc/193417/task/193477/stat : 193477 (Finalizer) S 193414 193417 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 981136 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193506] ppid=193414 vsize=19127036 memory=2756 CPUtime=0 cores=0,2
/proc/193417/task/193506/stat : 193506 (Common-Cleaner) S 193414 193417 193361 0 -1 1077936192 3312 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 981136 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193525] ppid=193414 vsize=19127036 memory=3924544 CPUtime=0 cores=0,2
/proc/193417/task/193525/stat : 193525 (Timer-0) S 193414 193417 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247132 19586084864 981136 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 3369.81 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3924544 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.24 4.13 5/335 195602
/proc/meminfo: memFree=70139712/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=19127036 memory=3924548 CPUtime=3430.59 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 678630 0 136 0 341370 1689 0 0 20 0 20 0 18247023 19586084864 981137 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 4781759 981137 6099 1 0 993279 0
[pid=193417/tid=193441] ppid=193414 vsize=19127036 memory=2164 CPUtime=3291.62 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) R 193414 193417 193361 0 -1 4194368 192961 0 92 0 327697 1465 0 0 20 0 20 0 18247033 19586084864 981137 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4117 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193477] ppid=193414 vsize=19127036 memory=3924548 CPUtime=0 cores=0,2
/proc/193417/task/193477/stat : 193477 (Finalizer) S 193414 193417 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 981137 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193506] ppid=193414 vsize=19127036 memory=3924548 CPUtime=0 cores=0,2
/proc/193417/task/193506/stat : 193506 (Common-Cleaner) S 193414 193417 193361 0 -1 1077936192 3368 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 981137 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193525] ppid=193414 vsize=19127036 memory=3924548 CPUtime=0 cores=0,2
/proc/193417/task/193525/stat : 193525 (Timer-0) S 193414 193417 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247132 19586084864 981137 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 3430.59 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3924548 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.21 4.13 5/333 195668
/proc/meminfo: memFree=69576296/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=19127036 memory=3924556 CPUtime=3490.72 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 686631 0 136 0 347361 1711 0 0 20 0 20 0 18247023 19586084864 981139 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 4781759 981139 6099 1 0 993279 0
[pid=193417/tid=193441] ppid=193414 vsize=19127036 memory=3924552 CPUtime=3350.06 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) R 193414 193417 193361 0 -1 4194368 194664 0 92 0 333522 1484 0 0 20 0 20 0 18247033 19586084864 981139 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4147 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193477] ppid=193414 vsize=19127036 memory=-8889092367380685500 CPUtime=0 cores=0,2
/proc/193417/task/193477/stat : 193477 (Finalizer) S 193414 193417 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 981139 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193506] ppid=193414 vsize=19127036 memory=3924552 CPUtime=0 cores=0,2
/proc/193417/task/193506/stat : 193506 (Common-Cleaner) S 193414 193417 193361 0 -1 1077936192 3368 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 981139 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193525] ppid=193414 vsize=19127036 memory=2808 CPUtime=0 cores=0,2
/proc/193417/task/193525/stat : 193525 (Timer-0) S 193414 193417 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247132 19586084864 981139 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 3490.72 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3924556 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.22 4.13 5/333 195679
/proc/meminfo: memFree=68989028/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=19127036 memory=3924592 CPUtime=3552.75 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 695553 0 136 0 353530 1745 0 0 20 0 20 0 18247023 19586084864 981148 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 4781759 981148 6099 1 0 993284 0
[pid=193417/tid=193441] ppid=193414 vsize=19127036 memory=3924552 CPUtime=3408.31 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) R 193414 193417 193361 0 -1 4194368 196097 0 92 0 339318 1513 0 0 20 0 20 0 18247033 19586084864 981148 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4199 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193477] ppid=193414 vsize=19127036 memory=3924552 CPUtime=0 cores=0,2
/proc/193417/task/193477/stat : 193477 (Finalizer) S 193414 193417 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 981148 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193506] ppid=193414 vsize=19127036 memory=3924592 CPUtime=0 cores=0,2
/proc/193417/task/193506/stat : 193506 (Common-Cleaner) S 193414 193417 193361 0 -1 1077936192 3428 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 981148 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193525] ppid=193414 vsize=19127036 memory=11496 CPUtime=0 cores=0,2
/proc/193417/task/193525/stat : 193525 (Timer-0) S 193414 193417 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247132 19586084864 981148 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 3552.75 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3924592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3573.6 s]
/proc/loadavg: 4.32 4.24 4.15 6/332 195826
/proc/meminfo: memFree=102177188/131524600 swapFree=131070960/131071996
[pid=193417] ppid=193414 vsize=19127036 memory=3924592 CPUtime=3600.09 cores=0,2
/proc/193417/stat : 193417 (java) S 193414 193417 193361 0 -1 1077936128 697211 0 136 0 358246 1763 0 0 20 0 20 0 18247023 19586084864 981148 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 8 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
/proc/193417/statm: 4781759 981148 6099 1 0 993284 0
[pid=193417/tid=193441] ppid=193414 vsize=19127036 memory=-8889092367380685500 CPUtime=3454.57 cores=0,2
/proc/193417/task/193441/stat : 193441 (java) R 193414 193417 193361 0 -1 4194368 197541 0 92 0 343927 1530 0 0 20 0 20 0 18247033 19586084864 981148 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4617 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193477] ppid=193414 vsize=19127036 memory=1948 CPUtime=0 cores=0,2
/proc/193417/task/193477/stat : 193477 (Finalizer) S 193414 193417 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 981148 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193506] ppid=193414 vsize=19127036 memory=11496 CPUtime=0 cores=0,2
/proc/193417/task/193506/stat : 193506 (Common-Cleaner) S 193414 193417 193361 0 -1 1077936192 3429 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 981148 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
[pid=193417/tid=193525] ppid=193414 vsize=19127036 memory=75728 CPUtime=0 cores=0,2
/proc/193417/task/193525/stat : 193525 (Timer-0) S 193414 193417 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247132 19586084864 981148 134679101440 94501969764352 94501969768048 140726657797568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94501969775864 94501969776656 94501979115520 140726657799087 140726657799269 140726657799269 140726657806280 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3924592 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.58 s, system=17.6597 s

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

Child status: 143

Real time (s): 3573.71
CPU time (s): 3600.24
CPU user time (s): 3582.58
CPU system time (s): 17.6597
CPU usage (%): 100.742
Max. virtual memory (cumulated for all children) (KiB): 19127036
Max. memory (cumulated for all children) (KiB): 4261740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.58
system time used= 17.6597
maximum resident set size= 4261744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 701042
page faults= 136
swaps= 0
block input operations= 22984
block output operations= 25034088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123285
involuntary context switches= 38706


# summary of solver processes directly reported to runsolver:
#   pid: 193417
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3582.58
#   total CPU system time (s): 17.6597

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.41848 second user time and 17.7919 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-24 12:33:07
IDJOB=4442852
IDBENCH=147852
IDSOLVER=3079
FILE ID=nodeC020/4442852-1721817186
RUNJOBID= nodeC020-1721817186-193371
SLURM_JOB_ID= 7816874
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-65-60.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-4442852-1721817186/watcher-4442852-1721817186 -o /tmp/evaluation-result-4442852-1721817186/solver-4442852-1721817186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721817186-193371 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4442852-1721817186 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4442852-1721817186.opb

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

MD5SUM BENCH= a13dda9504d679e5c6e2bc0e517e2ba2
RANDOM SEED=990321049

nodeC020.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		: 3630.006
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.31
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		: 3688.714
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.25
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		: 3615.539
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.31
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		: 3509.897
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.25
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		: 3622.945
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.31
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		: 3624.332
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.25
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		: 3631.979
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.31
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		: 3601.684
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125077044 kB
MemAvailable:   129775044 kB
Buffers:          238196 kB
Cached:          5247284 kB
SwapCached:           68 kB
Active:          2544592 kB
Inactive:        3216468 kB
Active(anon):       1472 kB
Inactive(anon):   328084 kB
Active(file):    2543120 kB
Inactive(file):  2888384 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070960 kB
Dirty:              6384 kB
Writeback:             0 kB
AnonPages:        274992 kB
Mapped:           110780 kB
Shmem:             53952 kB
KReclaimable:     212636 kB
Slab:             328712 kB
SReclaimable:     212636 kB
SUnreclaim:       116076 kB
KernelStack:        3904 kB
PageTables:         9348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     609184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            22592 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 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:      363220 kB
DirectMap2M:    44498944 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC020 at 2024-07-24 13:32:40