Trace number 4442624

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 Default 2024-07-07? (TO) 3600.2 3580.32

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-35-30.opb
MD5SUMda953313a09cceac0c8e3e7fb7d08ab4
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 benchmark0.469038
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1050
Total number of constraints17885
Number of constraints which are clauses17885
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 constraint30
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 31
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2106806208
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4442624-1721301033.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c  no objective function found
0.34/0.27	c ... done. Wall clock time 0.132s.
0.34/0.27	c declared #vars     1050
0.34/0.27	c #constraints  17885
0.34/0.27	c constraints type 
0.34/0.27	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17850
0.34/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 35
0.34/0.27	c 17885 constraints processed.
1.70/0.92	c cleaning 2476 clauses out of 5001 with flag 32275/5001
2.66/1.50	c cleaning 4203 clauses out of 8526 with flag 71119/11002
3.66/2.36	c cleaning 5658 clauses out of 11322 with flag 152202/18001
5.66/4.17	c cleaning 6830 clauses out of 13663 with flag 236462/26000
8.59/6.92	c cleaning 7915 clauses out of 15836 with flag 336861/35003
12.64/10.95	c cleaning 8957 clauses out of 17920 with flag 439526/45002
16.40/14.62	c cleaning 9976 clauses out of 19962 with flag 528025/56001
20.39/18.46	c cleaning 10993 clauses out of 21985 with flag 625681/68000
24.67/22.61	c cleaning 11992 clauses out of 23992 with flag 734697/81000
29.64/27.51	c cleaning 12994 clauses out of 26000 with flag 850627/95000
35.45/33.20	c cleaning 13995 clauses out of 28006 with flag 986252/110000
41.36/39.03	c cleaning 14998 clauses out of 30016 with flag 1112196/126005
51.52/48.92	c cleaning 16002 clauses out of 32021 with flag 1275151/143008
61.15/58.41	c cleaning 16999 clauses out of 34012 with flag 1446980/161001
72.53/69.24	c cleaning 18001 clauses out of 36012 with flag 1635869/180000
83.23/79.86	c cleaning 19001 clauses out of 38012 with flag 1833299/200001
95.44/91.88	c cleaning 19984 clauses out of 40010 with flag 2037503/221000
109.09/105.26	c cleaning 21010 clauses out of 42028 with flag 2209171/243002
120.47/116.48	c cleaning 21999 clauses out of 44017 with flag 2388869/266001
136.90/132.12	c cleaning 23002 clauses out of 46018 with flag 2587611/290001
152.28/147.22	c cleaning 24000 clauses out of 48015 with flag 2771115/315000
168.79/163.44	c cleaning 25004 clauses out of 50016 with flag 2960306/341001
183.30/177.81	c cleaning 26001 clauses out of 52012 with flag 3179730/368001
198.52/192.87	c cleaning 27001 clauses out of 54010 with flag 3408498/396000
224.34/217.93	c cleaning 27997 clauses out of 56009 with flag 3627315/425000
247.76/241.16	c cleaning 29002 clauses out of 58012 with flag 3887842/455000
269.60/262.80	c cleaning 29999 clauses out of 60011 with flag 4178059/486001
300.10/293.29	c cleaning 31002 clauses out of 62012 with flag 4401892/518001
326.62/319.58	c cleaning 31994 clauses out of 64009 with flag 4755670/551000
353.39/346.29	c cleaning 32998 clauses out of 66018 with flag 5130832/585003
378.59/370.61	c cleaning 34003 clauses out of 68017 with flag 5399756/620000
403.61/395.47	c cleaning 34999 clauses out of 70015 with flag 5675885/656001
426.39/417.88	c cleaning 35997 clauses out of 72016 with flag 6025554/693001
456.74/447.95	c cleaning 37001 clauses out of 74018 with flag 6369338/731000
490.26/481.08	c cleaning 38005 clauses out of 76021 with flag 6658902/770004
520.95/511.45	c cleaning 38998 clauses out of 78014 with flag 7014907/810002
548.74/537.97	c cleaning 39997 clauses out of 80014 with flag 7381040/851000
584.01/572.79	c cleaning 41005 clauses out of 82019 with flag 7772787/893002
619.99/608.40	c cleaning 41992 clauses out of 84012 with flag 8207577/936000
659.83/647.97	c cleaning 43002 clauses out of 86020 with flag 8597647/980000
699.88/687.97	c cleaning 43995 clauses out of 88018 with flag 9018889/1025000
741.62/729.54	c cleaning 45002 clauses out of 90024 with flag 9442135/1071001
803.77/791.41	c cleaning 46003 clauses out of 92023 with flag 9839442/1118002
844.54/831.79	c cleaning 47003 clauses out of 94022 with flag 10276079/1166004
902.28/888.41	c cleaning 48000 clauses out of 96015 with flag 10751885/1215000
966.48/952.66	c cleaning 48989 clauses out of 98016 with flag 11256396/1265001
1018.85/1004.60	c cleaning 50003 clauses out of 100026 with flag 11744054/1316000
1068.85/1054.60	c cleaning 51006 clauses out of 102025 with flag 12227056/1368002
1130.04/1115.52	c cleaning 51999 clauses out of 104017 with flag 12673651/1421000
1197.00/1182.11	c cleaning 53003 clauses out of 106020 with flag 13171286/1475002
1255.96/1240.95	c cleaning 53999 clauses out of 108016 with flag 13716336/1530001
1312.70/1297.78	c cleaning 55003 clauses out of 110019 with flag 14266641/1586003
1375.44/1360.42	c cleaning 55997 clauses out of 112014 with flag 14819389/1643001
1441.98/1426.84	c cleaning 57002 clauses out of 114018 with flag 15360080/1701002
1517.26/1501.14	c cleaning 57996 clauses out of 116014 with flag 16024299/1760000
1600.36/1583.86	c cleaning 59007 clauses out of 118019 with flag 16607934/1820001
1717.17/1700.29	c cleaning 59994 clauses out of 120013 with flag 17171290/1881002
1804.76/1787.65	c cleaning 61002 clauses out of 122018 with flag 17713979/1943001
1895.32/1877.96	c cleaning 61997 clauses out of 124017 with flag 18313352/2006002
1978.63/1961.28	c cleaning 62998 clauses out of 126019 with flag 18936089/2070001
2075.84/2058.44	c cleaning 64003 clauses out of 128022 with flag 19551385/2135002
2186.51/2168.71	c cleaning 64997 clauses out of 130017 with flag 20093926/2201000
2295.65/2277.78	c cleaning 66000 clauses out of 132021 with flag 20620248/2268001
2377.77/2360.00	c cleaning 67003 clauses out of 134020 with flag 21217920/2336000
2476.56/2458.77	c cleaning 68000 clauses out of 136017 with flag 21814716/2405000
2578.39/2560.25	c cleaning 69001 clauses out of 138017 with flag 22442439/2475000
2685.92/2666.33	c cleaning 69999 clauses out of 140016 with flag 23117207/2546000
2799.79/2780.44	c cleaning 71001 clauses out of 142021 with flag 23814371/2618004
2916.89/2897.58	c cleaning 71998 clauses out of 144018 with flag 24543371/2691002
3041.05/3022.14	c cleaning 73001 clauses out of 146019 with flag 25204696/2765001
3161.49/3142.11	c cleaning 74001 clauses out of 148017 with flag 26004537/2840000
3266.56/3246.44	c cleaning 74999 clauses out of 150018 with flag 26819762/2916002
3405.04/3385.39	c cleaning 76001 clauses out of 152017 with flag 27605626/2993000
3551.92/3532.44	c cleaning 77003 clauses out of 154019 with flag 28449218/3071003
3600.03/3580.21	c starts		: 720
3600.03/3580.21	c conflicts		: 3128325
3600.03/3580.21	c decisions		: 4025099
3600.03/3580.21	c propagations		: 65000086
3600.03/3580.21	c inspects		: 13361196774
3600.03/3580.21	c shortcuts		: 0
3600.03/3580.21	c learnt literals	: 0
3600.03/3580.22	c learnt binary clauses	: 0
3600.03/3580.22	c learnt ternary clauses	: 0
3600.03/3580.22	c learnt constraints	: 3128325
3600.03/3580.22	c ignored constraints	: 0
3600.03/3580.22	c root simplifications	: 0
3600.03/3580.22	c removed literals (reason simplification)	: 0
3600.03/3580.22	c reason swapping (by a shorter reason)	: 0
3600.03/3580.22	c Calls to reduceDB	: 74
3600.03/3580.22	c Number of update (reduction) of LBD	: 1696197
3600.03/3580.22	c Imported unit clauses	: 0
3600.03/3580.22	c No decision after first conflict	: false
3600.03/3580.22	c number of reductions to clauses (during analyze)	: 0
3600.03/3580.22	c number of learned constraints concerned by reduction	: 0
3600.03/3580.22	c number of learning phase by resolution	: 0
3600.03/3580.22	c number of learning phase by cutting planes	: 0
3600.03/3580.22	c number of rounding to 1 operations	: 0
3600.03/3580.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3580.22	c number of reductions of the coefficients by power 2 	: 0
3600.03/3580.22	c number of right shift for reduction by power 2 	: 0
3600.03/3580.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3580.22	c number of ending skipping 	: 0
3600.03/3580.22	c number of internal skipping 	: 0
3600.03/3580.22	c number of derivation steps 	: 0
3600.03/3580.23	c number of skipped derivation steps 	: 0
3600.03/3580.23	c number of remaining unassigned 	: 0
3600.03/3580.23	c number of remaining assigned 	: 0
3600.03/3580.23	c number of falsified literals weakened from reason	: 0
3600.03/3580.23	c number of falsified literals weakened from conflict	: 0
3600.03/3580.23	c time for arithmetic operations	: 0
3600.03/3580.23	c minimum degree of deleted constraints	: null
3600.03/3580.23	c maximum degree of deleted constraints	: null
3600.03/3580.23	c number of deleted constraints	: 0
3600.03/3580.23	c speed (assignments/second)	: 18156.610897080645
3600.03/3580.23	c non guided choices	: 1018
3600.03/3580.23	c timeout
3600.03/3580.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 134338
3600.03/3580.29	s UNKNOWN
3600.03/3580.29	c Total wall clock time (in seconds): 3580.162

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442624-1721301033/watcher-4442624-1721301033 -o /tmp/evaluation-result-4442624-1721301033/solver-4442624-1721301033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721293761-975545 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4442624-1721301033.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=981812, runsolver pid=981809

[startup+0.102234 s]*
/proc/loadavg: 4.59 4.32 4.23 6/330 981830
/proc/meminfo: memFree=106251812/131524600 swapFree=131071996/131071996
[pid=981812] ppid=981809 vsize=18975048 memory=63180 CPUtime=0.14 cores=1,3
/proc/981812/stat : 981812 (java) S 981809 981812 975533 0 -1 1077936128 7214 0 0 0 12 2 0 0 20 0 18 0 182265113 19430449152 15795 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
/proc/981812/statm: 4743762 15795 5679 1 0 549319 0
[pid=981812/tid=981814] ppid=981809 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/981812/task/981814/stat : 981814 (java) R 981809 981812 975533 0 -1 4194368 5737 0 0 0 7 1 0 0 20 0 18 0 182265113 19430449152 15795 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981823] ppid=981809 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/981812/task/981823/stat : 981823 (Finalizer) S 981809 981812 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 182265116 19430449152 15795 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981830] ppid=981809 vsize=18975048 memory=15824395507619580 CPUtime=0 cores=1,3
/proc/981812/task/981830/stat : 981830 (Common-Cleaner) S 981809 981812 975533 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 182265116 19430449152 15795 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63180 KiB

[startup+0.211771 s]*
/proc/loadavg: 4.59 4.32 4.23 6/330 981830
/proc/meminfo: memFree=106233596/131524600 swapFree=131071996/131071996
[pid=981812] ppid=981809 vsize=18975048 memory=81588 CPUtime=0.34 cores=1,3
/proc/981812/stat : 981812 (java) S 981809 981812 975533 0 -1 1077936128 8292 0 0 0 32 2 0 0 20 0 18 0 182265113 19430449152 20397 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
/proc/981812/statm: 4743762 20397 5834 1 0 550114 0
[pid=981812/tid=981814] ppid=981809 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/981812/task/981814/stat : 981814 (java) R 981809 981812 975533 0 -1 4194368 5899 0 0 0 17 1 0 0 20 0 18 0 182265113 19430449152 20397 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981823] ppid=981809 vsize=18975048 memory=15975 CPUtime=0 cores=1,3
/proc/981812/task/981823/stat : 981823 (Finalizer) S 981809 981812 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 182265116 19430449152 20397 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981830] ppid=981809 vsize=18975048 memory=14698495600756458 CPUtime=0 cores=1,3
/proc/981812/task/981830/stat : 981830 (Common-Cleaner) S 981809 981812 975533 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 182265116 19430449152 20397 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 81588 KiB

[startup+0.30853 s]*
/proc/loadavg: 4.59 4.32 4.23 6/331 981831
/proc/meminfo: memFree=106213628/131524600 swapFree=131071996/131071996
[pid=981812] ppid=981809 vsize=19041612 memory=101436 CPUtime=0.53 cores=1,3
/proc/981812/stat : 981812 (java) S 981809 981812 975533 0 -1 1077936128 9486 0 0 0 50 3 0 0 20 0 19 0 182265113 19498610688 25359 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
/proc/981812/statm: 4760403 25359 5834 1 0 551148 0
[pid=981812/tid=981814] ppid=981809 vsize=19041612 memory=-8529081482727432892 CPUtime=0.28 cores=1,3
/proc/981812/task/981814/stat : 981814 (java) R 981809 981812 975533 0 -1 4194368 5953 0 0 0 26 2 0 0 20 0 19 0 182265113 19498610688 25359 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981823] ppid=981809 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981812/task/981823/stat : 981823 (Finalizer) S 981809 981812 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 182265116 19498610688 25359 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981830] ppid=981809 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981812/task/981830/stat : 981830 (Common-Cleaner) S 981809 981812 975533 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 182265116 19498610688 25359 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981831] ppid=981809 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981812/task/981831/stat : 981831 (Timer-0) S 981809 981812 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 182265139 19498610688 25359 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 101436 KiB

[startup+0.7077 s]
/proc/loadavg: 4.59 4.32 4.23 6/331 981831
/proc/meminfo: memFree=106195892/131524600 swapFree=131071996/131071996
[pid=981812] ppid=981809 vsize=19041612 memory=121652 CPUtime=1.31 cores=1,3
/proc/981812/stat : 981812 (java) S 981809 981812 975533 0 -1 1077936128 15501 0 0 0 127 4 0 0 20 0 19 0 182265113 19498610688 30413 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
/proc/981812/statm: 4760403 30413 5834 1 0 555171 0
[pid=981812/tid=981814] ppid=981809 vsize=19041612 memory=13196 CPUtime=0.67 cores=1,3
/proc/981812/task/981814/stat : 981814 (java) R 981809 981812 975533 0 -1 4194368 5965 0 0 0 65 2 0 0 20 0 19 0 182265113 19498610688 30413 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981823] ppid=981809 vsize=19041612 memory=13196 CPUtime=0 cores=1,3
/proc/981812/task/981823/stat : 981823 (Finalizer) S 981809 981812 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 182265116 19498610688 30413 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981830] ppid=981809 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/981812/task/981830/stat : 981830 (Common-Cleaner) S 981809 981812 975533 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 182265116 19498610688 30413 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981831] ppid=981809 vsize=19041612 memory=2028 CPUtime=0 cores=1,3
/proc/981812/task/981831/stat : 981831 (Timer-0) S 981809 981812 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 182265139 19498610688 30413 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 121652 KiB

[startup+1.50044 s]
/proc/loadavg: 4.59 4.32 4.23 6/331 981831
/proc/meminfo: memFree=106182168/131524600 swapFree=131071996/131071996
[pid=981812] ppid=981809 vsize=19041612 memory=149188 CPUtime=2.66 cores=1,3
/proc/981812/stat : 981812 (java) S 981809 981812 975533 0 -1 1077936128 19355 0 0 0 261 5 0 0 20 0 19 0 182265113 19498610688 37297 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
/proc/981812/statm: 4760403 37297 5850 1 0 555200 0
[pid=981812/tid=981814] ppid=981809 vsize=19041612 memory=13196 CPUtime=1.46 cores=1,3
/proc/981812/task/981814/stat : 981814 (java) R 981809 981812 975533 0 -1 4194368 6169 0 0 0 144 2 0 0 20 0 19 0 182265113 19498610688 37297 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981823] ppid=981809 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981812/task/981823/stat : 981823 (Finalizer) S 981809 981812 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 182265116 19498610688 37297 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981830] ppid=981809 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/981812/task/981830/stat : 981830 (Common-Cleaner) S 981809 981812 975533 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 182265116 19498610688 37297 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981831] ppid=981809 vsize=19041612 memory=65 CPUtime=0 cores=1,3
/proc/981812/task/981831/stat : 981831 (Timer-0) S 981809 981812 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 182265139 19498610688 37297 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 149188 KiB

[startup+3.10578 s]
/proc/loadavg: 4.59 4.32 4.23 5/332 981832
/proc/meminfo: memFree=106011000/131524600 swapFree=131071996/131071996
[pid=981812] ppid=981809 vsize=19108176 memory=299512 CPUtime=4.59 cores=1,3
/proc/981812/stat : 981812 (java) S 981809 981812 975533 0 -1 1077936128 21686 0 0 0 450 9 0 0 20 0 20 0 182265113 19566772224 74878 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
/proc/981812/statm: 4777044 74878 5866 1 0 555491 0
[pid=981812/tid=981814] ppid=981809 vsize=19108176 memory=0 CPUtime=2.94 cores=1,3
/proc/981812/task/981814/stat : 981814 (java) R 981809 981812 975533 0 -1 4194368 6673 0 0 0 291 3 0 0 20 0 20 0 182265113 19566772224 74878 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981823] ppid=981809 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/981812/task/981823/stat : 981823 (Finalizer) S 981809 981812 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 74878 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981830] ppid=981809 vsize=19108176 memory=194524 CPUtime=0 cores=1,3
/proc/981812/task/981830/stat : 981830 (Common-Cleaner) S 981809 981812 975533 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 74878 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981831] ppid=981809 vsize=19108176 memory=13196 CPUtime=0 cores=1,3
/proc/981812/task/981831/stat : 981831 (Timer-0) S 981809 981812 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182265139 19566772224 74878 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
Current children cumulated CPU time: 4.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 299512 KiB

[startup+6.30095 s]
/proc/loadavg: 4.54 4.32 4.23 5/332 981833
/proc/meminfo: memFree=105850928/131524600 swapFree=131071996/131071996
[pid=981812] ppid=981809 vsize=19108176 memory=459140 CPUtime=8 cores=1,3
/proc/981812/stat : 981812 (java) S 981809 981812 975533 0 -1 1077936128 22153 0 0 0 788 12 0 0 20 0 20 0 182265113 19566772224 114785 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
/proc/981812/statm: 4777044 114785 5866 1 0 555493 0
[pid=981812/tid=981814] ppid=981809 vsize=19108176 memory=13196 CPUtime=5.95 cores=1,3
/proc/981812/task/981814/stat : 981814 (java) R 981809 981812 975533 0 -1 4194368 6773 0 0 0 592 3 0 0 20 0 20 0 182265113 19566772224 114785 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981823] ppid=981809 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/981812/task/981823/stat : 981823 (Finalizer) S 981809 981812 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 114785 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981830] ppid=981809 vsize=19108176 memory=5936988296448072025 CPUtime=0 cores=1,3
/proc/981812/task/981830/stat : 981830 (Common-Cleaner) S 981809 981812 975533 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 114785 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981831] ppid=981809 vsize=19108176 memory=5472 CPUtime=0 cores=1,3
/proc/981812/task/981831/stat : 981831 (Timer-0) S 981809 981812 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182265139 19566772224 114785 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
Current children cumulated CPU time: 8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 459140 KiB

[startup+12.7009 s]
/proc/loadavg: 4.50 4.31 4.22 5/332 981835
/proc/meminfo: memFree=105484584/131524600 swapFree=131071996/131071996
[pid=981812] ppid=981809 vsize=19108176 memory=820516 CPUtime=14.52 cores=1,3
/proc/981812/stat : 981812 (java) S 981809 981812 975533 0 -1 1077936128 24667 0 0 0 1432 20 0 0 20 0 20 0 182265113 19566772224 205129 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
/proc/981812/statm: 4777044 205129 5866 1 0 822857 0
[pid=981812/tid=981814] ppid=981809 vsize=19108176 memory=0 CPUtime=12.09 cores=1,3
/proc/981812/task/981814/stat : 981814 (java) R 981809 981812 975533 0 -1 4194368 7592 0 0 0 1203 6 0 0 20 0 20 0 182265113 19566772224 205129 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981823] ppid=981809 vsize=19108176 memory=820516 CPUtime=0 cores=1,3
/proc/981812/task/981823/stat : 981823 (Finalizer) S 981809 981812 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 205129 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981830] ppid=981809 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/981812/task/981830/stat : 981830 (Common-Cleaner) S 981809 981812 975533 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 205129 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981831] ppid=981809 vsize=19108176 memory=16192 CPUtime=0 cores=1,3
/proc/981812/task/981831/stat : 981831 (Timer-0) S 981809 981812 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182265139 19566772224 205129 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
Current children cumulated CPU time: 14.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 820516 KiB

[startup+25.5009 s]
/proc/loadavg: 4.46 4.31 4.23 5/332 981836
/proc/meminfo: memFree=105013916/131524600 swapFree=131071996/131071996
[pid=981812] ppid=981809 vsize=19108176 memory=1358780 CPUtime=27.67 cores=1,3
/proc/981812/stat : 981812 (java) S 981809 981812 975533 0 -1 1077936128 28354 0 0 0 2737 30 0 0 20 0 20 0 182265113 19566772224 339695 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
/proc/981812/statm: 4777044 339695 5866 1 0 954465 0
[pid=981812/tid=981814] ppid=981809 vsize=19108176 memory=820516 CPUtime=24.28 cores=1,3
/proc/981812/task/981814/stat : 981814 (java) R 981809 981812 975533 0 -1 4194368 8497 0 0 0 2422 6 0 0 20 0 20 0 182265113 19566772224 339695 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981823] ppid=981809 vsize=19108176 memory=16192 CPUtime=0 cores=1,3
/proc/981812/task/981823/stat : 981823 (Finalizer) S 981809 981812 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 339695 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981830] ppid=981809 vsize=19108176 memory=962000 CPUtime=0 cores=1,3
/proc/981812/task/981830/stat : 981830 (Common-Cleaner) S 981809 981812 975533 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 339695 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981831] ppid=981809 vsize=19108176 memory=11544 CPUtime=0 cores=1,3
/proc/981812/task/981831/stat : 981831 (Timer-0) S 981809 981812 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182265139 19566772224 339695 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
Current children cumulated CPU time: 27.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1358780 KiB

[startup+51.1058 s]
/proc/loadavg: 4.30 4.29 4.22 5/332 981841
/proc/meminfo: memFree=103987988/131524600 swapFree=131071996/131071996
[pid=981812] ppid=981809 vsize=19108176 memory=2143400 CPUtime=53.74 cores=1,3
/proc/981812/stat : 981812 (java) S 981809 981812 975533 0 -1 1077936128 33215 0 0 0 5326 48 0 0 20 0 20 0 182265113 19566772224 535850 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
/proc/981812/statm: 4777044 535850 5866 1 0 954476 0
[pid=981812/tid=981814] ppid=981809 vsize=19108176 memory=1985704 CPUtime=49.21 cores=1,3
/proc/981812/task/981814/stat : 981814 (java) R 981809 981812 975533 0 -1 4194368 9953 0 0 0 4911 10 0 0 20 0 20 0 182265113 19566772224 535850 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0

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

/proc/981812/task/981823/stat : 981823 (Finalizer) S 981809 981812 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 2843747 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981830] ppid=981809 vsize=19108176 memory=11374988 CPUtime=0 cores=1,3
/proc/981812/task/981830/stat : 981830 (Common-Cleaner) S 981809 981812 975533 0 -1 1077936192 3426 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 2843747 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981831] ppid=981809 vsize=19108176 memory=11374988 CPUtime=0 cores=1,3
/proc/981812/task/981831/stat : 981831 (Timer-0) S 981809 981812 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182265139 19566772224 2843747 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
Current children cumulated CPU time: 3181.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11374988 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/331 983798
/proc/meminfo: memFree=91714332/131524600 swapFree=131071996/131071996
[pid=981812] ppid=981809 vsize=19108176 memory=11374992 CPUtime=3242 cores=1,3
/proc/981812/stat : 981812 (java) S 981809 981812 975533 0 -1 1077936128 371409 0 0 0 323821 379 0 0 20 0 20 0 182265113 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
/proc/981812/statm: 4777044 2843748 5898 1 0 3684746 0
[pid=981812/tid=981814] ppid=981809 vsize=19108176 memory=11374980 CPUtime=3176.19 cores=1,3
/proc/981812/task/981814/stat : 981814 (java) R 981809 981812 975533 0 -1 4194368 143148 0 0 0 317555 64 0 0 20 0 20 0 182265113 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981823] ppid=981809 vsize=19108176 memory=11544 CPUtime=0 cores=1,3
/proc/981812/task/981823/stat : 981823 (Finalizer) S 981809 981812 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981830] ppid=981809 vsize=19108176 memory=11374992 CPUtime=0 cores=1,3
/proc/981812/task/981830/stat : 981830 (Common-Cleaner) S 981809 981812 975533 0 -1 1077936192 3522 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981831] ppid=981809 vsize=19108176 memory=11544 CPUtime=0 cores=1,3
/proc/981812/task/981831/stat : 981831 (Timer-0) S 981809 981812 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182265139 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
Current children cumulated CPU time: 3242 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11374992 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/330 983808
/proc/meminfo: memFree=91656596/131524600 swapFree=131071996/131071996
[pid=981812] ppid=981809 vsize=19108176 memory=11374992 CPUtime=3302.4 cores=1,3
/proc/981812/stat : 981812 (java) S 981809 981812 975533 0 -1 1077936128 377457 0 0 0 329857 383 0 0 20 0 20 0 182265113 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
/proc/981812/statm: 4777044 2843748 5898 1 0 3684746 0
[pid=981812/tid=981814] ppid=981809 vsize=19108176 memory=11374992 CPUtime=3235.53 cores=1,3
/proc/981812/task/981814/stat : 981814 (java) R 981809 981812 975533 0 -1 4194368 145829 0 0 0 323488 65 0 0 20 0 20 0 182265113 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981823] ppid=981809 vsize=19108176 memory=11374992 CPUtime=0 cores=1,3
/proc/981812/task/981823/stat : 981823 (Finalizer) S 981809 981812 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981830] ppid=981809 vsize=19108176 memory=11374992 CPUtime=0 cores=1,3
/proc/981812/task/981830/stat : 981830 (Common-Cleaner) S 981809 981812 975533 0 -1 1077936192 3565 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981831] ppid=981809 vsize=19108176 memory=2028 CPUtime=0 cores=1,3
/proc/981812/task/981831/stat : 981831 (Timer-0) S 981809 981812 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182265139 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
Current children cumulated CPU time: 3302.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11374992 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.18 4.18 5/330 983818
/proc/meminfo: memFree=91399748/131524600 swapFree=131071996/131071996
[pid=981812] ppid=981809 vsize=19108176 memory=11374992 CPUtime=3362.44 cores=1,3
/proc/981812/stat : 981812 (java) S 981809 981812 975533 0 -1 1077936128 381987 0 0 0 335858 386 0 0 20 0 20 0 182265113 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
/proc/981812/statm: 4777044 2843748 5898 1 0 3684746 0
[pid=981812/tid=981814] ppid=981809 vsize=19108176 memory=-7520578886235809145 CPUtime=3294.68 cores=1,3
/proc/981812/task/981814/stat : 981814 (java) R 981809 981812 975533 0 -1 4194368 147566 0 0 0 329403 65 0 0 20 0 20 0 182265113 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981823] ppid=981809 vsize=19108176 memory=5472 CPUtime=0 cores=1,3
/proc/981812/task/981823/stat : 981823 (Finalizer) S 981809 981812 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981830] ppid=981809 vsize=19108176 memory=11374992 CPUtime=0 cores=1,3
/proc/981812/task/981830/stat : 981830 (Common-Cleaner) S 981809 981812 975533 0 -1 1077936192 3703 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981831] ppid=981809 vsize=19108176 memory=45336 CPUtime=0 cores=1,3
/proc/981812/task/981831/stat : 981831 (Timer-0) S 981809 981812 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182265139 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
Current children cumulated CPU time: 3362.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11374992 KiB

[startup+3402.3 s]
/proc/loadavg: 4.53 4.26 4.20 5/330 983828
/proc/meminfo: memFree=91315200/131524600 swapFree=131071996/131071996
[pid=981812] ppid=981809 vsize=19108176 memory=11374992 CPUtime=3421.89 cores=1,3
/proc/981812/stat : 981812 (java) S 981809 981812 975533 0 -1 1077936128 384800 0 0 0 341799 390 0 0 20 0 20 0 182265113 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
/proc/981812/statm: 4777044 2843748 5898 1 0 3684746 0
[pid=981812/tid=981814] ppid=981809 vsize=19108176 memory=11532 CPUtime=3354.1 cores=1,3
/proc/981812/task/981814/stat : 981814 (java) R 981809 981812 975533 0 -1 4194368 150072 0 0 0 335344 66 0 0 20 0 20 0 182265113 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981823] ppid=981809 vsize=19108176 memory=11374992 CPUtime=0 cores=1,3
/proc/981812/task/981823/stat : 981823 (Finalizer) S 981809 981812 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981830] ppid=981809 vsize=19108176 memory=45336 CPUtime=0 cores=1,3
/proc/981812/task/981830/stat : 981830 (Common-Cleaner) S 981809 981812 975533 0 -1 1077936192 3848 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981831] ppid=981809 vsize=19108176 memory=11374992 CPUtime=0 cores=1,3
/proc/981812/task/981831/stat : 981831 (Timer-0) S 981809 981812 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182265139 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
Current children cumulated CPU time: 3421.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11374992 KiB

[startup+3462.3 s]
/proc/loadavg: 4.49 4.29 4.22 5/330 983839
/proc/meminfo: memFree=90881932/131524600 swapFree=131071996/131071996
[pid=981812] ppid=981809 vsize=19108176 memory=11374992 CPUtime=3481.5 cores=1,3
/proc/981812/stat : 981812 (java) S 981809 981812 975533 0 -1 1077936128 389411 0 0 0 347757 393 0 0 20 0 20 0 182265113 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
/proc/981812/statm: 4777044 2843748 5898 1 0 3684746 0
[pid=981812/tid=981814] ppid=981809 vsize=19108176 memory=11374992 CPUtime=3413.31 cores=1,3
/proc/981812/task/981814/stat : 981814 (java) R 981809 981812 975533 0 -1 4194368 151962 0 0 0 341265 66 0 0 20 0 20 0 182265113 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981823] ppid=981809 vsize=19108176 memory=11374992 CPUtime=0 cores=1,3
/proc/981812/task/981823/stat : 981823 (Finalizer) S 981809 981812 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981830] ppid=981809 vsize=19108176 memory=11544 CPUtime=0 cores=1,3
/proc/981812/task/981830/stat : 981830 (Common-Cleaner) S 981809 981812 975533 0 -1 1077936192 3946 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981831] ppid=981809 vsize=19108176 memory=11374992 CPUtime=0 cores=1,3
/proc/981812/task/981831/stat : 981831 (Timer-0) S 981809 981812 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182265139 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
Current children cumulated CPU time: 3481.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11374992 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.21 4.19 4/304 983883
/proc/meminfo: memFree=98853532/131524600 swapFree=131071996/131071996
[pid=981812] ppid=981809 vsize=19108176 memory=11374992 CPUtime=3541.83 cores=1,3
/proc/981812/stat : 981812 (java) S 981809 981812 975533 0 -1 1077936128 394503 0 0 0 353786 397 0 0 20 0 20 0 182265113 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
/proc/981812/statm: 4777044 2843748 5898 1 0 3684746 0
[pid=981812/tid=981814] ppid=981809 vsize=19108176 memory=45336 CPUtime=3472.65 cores=1,3
/proc/981812/task/981814/stat : 981814 (java) R 981809 981812 975533 0 -1 4194368 153900 0 0 0 347198 67 0 0 20 0 20 0 182265113 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981823] ppid=981809 vsize=19108176 memory=-8529081482727432892 CPUtime=0 cores=1,3
/proc/981812/task/981823/stat : 981823 (Finalizer) S 981809 981812 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981830] ppid=981809 vsize=19108176 memory=11374992 CPUtime=0 cores=1,3
/proc/981812/task/981830/stat : 981830 (Common-Cleaner) S 981809 981812 975533 0 -1 1077936192 4031 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981831] ppid=981809 vsize=19108176 memory=11544 CPUtime=0 cores=1,3
/proc/981812/task/981831/stat : 981831 (Timer-0) S 981809 981812 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182265139 19566772224 2843748 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
Current children cumulated CPU time: 3541.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11374992 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3580.2 s]
/proc/loadavg: 3.48 4.02 4.13 4/306 983897
/proc/meminfo: memFree=98438740/131524600 swapFree=131071996/131071996
[pid=981812] ppid=981809 vsize=19108176 memory=11383184 CPUtime=3600.03 cores=1,3
/proc/981812/stat : 981812 (java) S 981809 981812 975533 0 -1 1077936128 396273 0 0 0 359603 400 0 0 20 0 20 0 182265113 19566772224 2845796 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
/proc/981812/statm: 4777044 2845796 5898 1 0 3684746 0
[pid=981812/tid=981814] ppid=981809 vsize=19108176 memory=11544 CPUtime=3529.99 cores=1,3
/proc/981812/task/981814/stat : 981814 (java) R 981809 981812 975533 0 -1 4194368 155308 0 0 0 352932 67 0 0 20 0 20 0 182265113 19566772224 2845796 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981823] ppid=981809 vsize=19108176 memory=45336 CPUtime=0 cores=1,3
/proc/981812/task/981823/stat : 981823 (Finalizer) S 981809 981812 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 2845796 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981830] ppid=981809 vsize=19108176 memory=-8529081482727432892 CPUtime=0 cores=1,3
/proc/981812/task/981830/stat : 981830 (Common-Cleaner) S 981809 981812 975533 0 -1 1077936192 4040 0 0 0 0 0 0 0 20 0 20 0 182265116 19566772224 2845796 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
[pid=981812/tid=981831] ppid=981809 vsize=19108176 memory=16192 CPUtime=0 cores=1,3
/proc/981812/task/981831/stat : 981831 (Timer-0) S 981809 981812 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182265139 19566772224 2845796 134679101440 94631091838976 94631091842672 140721455116736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631091850488 94631091851280 94631101575168 140721455121414 140721455121504 140721455121504 140721455128520 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11383184 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.15 s, system=4.04631 s

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

[startup+3580.32 s]*
/proc/loadavg: 3.48 4.02 4.13 4/288 983900
/proc/meminfo: memFree=109501188/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3580.32
CPU time (s): 3600.2
CPU user time (s): 3596.15
CPU system time (s): 4.04631
CPU usage (%): 100.555
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 11383184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.15
system time used= 4.04631
maximum resident set size= 11384972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399264
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110361
involuntary context switches= 20331


# summary of solver processes directly reported to runsolver:
#   pid: 981812
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3596.15
#   total CPU system time (s): 4.04631

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.49535 second user time and 18.546 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-18 13:10:45
IDJOB=4442624
IDBENCH=147834
IDSOLVER=3058
FILE ID=nodeC017/4442624-1721301033
RUNJOBID= nodeC017-1721293761-975545
SLURM_JOB_ID= 7542595
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-35-30.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442624-1721301033/watcher-4442624-1721301033 -o /tmp/evaluation-result-4442624-1721301033/solver-4442624-1721301033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721293761-975545 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4442624-1721301033.opb

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

MD5SUM BENCH= da953313a09cceac0c8e3e7fb7d08ab4
RANDOM SEED=1080418694

nodeC017.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		: 3662.548
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.46
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		: 3639.986
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.99
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		: 3599.846
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.46
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		: 3651.442
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.99
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		: 3672.379
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3678.547
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.99
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		: 3599.740
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.46
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		: 3649.402
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.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        106293792 kB
MemAvailable:   108168216 kB
Buffers:          506032 kB
Cached:          2194352 kB
SwapCached:            0 kB
Active:          1189028 kB
Inactive:       23365408 kB
Active(anon):       1544 kB
Inactive(anon): 21890244 kB
Active(file):    1187484 kB
Inactive(file):  1475164 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1192 kB
Writeback:            52 kB
AnonPages:      21854064 kB
Mapped:           126076 kB
Shmem:             37720 kB
KReclaimable:     102848 kB
Slab:             215124 kB
SReclaimable:     102848 kB
SUnreclaim:       112276 kB
KernelStack:        5056 kB
PageTables:        52428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   28612868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67072 kB
HardwareCorrupted:     0 kB
AnonHugePages:  21452800 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:      279252 kB
DirectMap2M:    38291456 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC017 at 2024-07-18 14:10:26