Trace number 4542588

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 2025-06-06? (TO) 3600.28 3590.45

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb
MD5SUM5315000b872825a9c3a3b6787ef04708
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 benchmark29.9883
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables227556
Total number of constraints20632
Number of constraints which are clauses10505
Number of constraints which are cardinality constraints (but not clauses)8696
Number of constraints which are nor clauses,nor cardinality constraints1431
Minimum length of a constraint24
Maximum length of a constraint29
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 32
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.14/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.17	c See www.sat4j.org for details.
0.14/0.18	c version PB25.v20250606
0.14/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.21	c java.vm.version	22.0.1+8-16
0.14/0.21	c java.vm.vendor	Oracle Corporation
0.14/0.21	c sun.arch.data.model	64
0.14/0.21	c java.version		22.0.1
0.14/0.21	c os.name		Linux
0.14/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.14/0.21	c os.arch		amd64
0.14/0.22	c Free memory 		2104792832
0.14/0.22	c Max memory 		16282288128
0.14/0.22	c Total memory 		2113929216
0.14/0.23	c Number of processors 	2
0.47/0.33	c Pseudo Boolean Optimization by upper bound
0.47/0.33	c --- Begin Solver configuration ---
0.47/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.47/0.33	c Learn all clauses as in MiniSAT
0.47/0.33	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.47/0.33	c Expensive reason simplification
0.47/0.33	c Glucose 2.1 dynamic restart strategy
0.47/0.33	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.47/0.33	c timeout=2147483s
0.47/0.33	c DB Simplification allowed=false
0.47/0.33	c Listener: none
0.47/0.33	c --- End Solver configuration ---
0.47/0.33	c solving HOME/instance-4542588-1753216337.opb
0.47/0.33	c reading problem ... 
0.47/0.34	c  no objective function found
6.43/5.04	c ... done. Wall clock time 4.707s.
6.43/5.04	c declared #vars     227556
6.43/5.04	c #constraints  20632
6.43/5.04	c constraints type 
6.43/5.04	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 10127
6.43/5.04	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 10505
6.43/5.04	c 20632 constraints processed.
9.16/6.48	c cleaning 2490 clauses out of 5000 with flag 30610/5000
10.40/7.32	c cleaning 4247 clauses out of 8510 with flag 72490/11000
12.69/9.38	c cleaning 5544 clauses out of 11263 with flag 133068/18000
15.66/11.91	c cleaning 6852 clauses out of 13719 with flag 219313/26000
17.87/14.19	c cleaning 7931 clauses out of 15867 with flag 315338/35000
20.55/16.86	c cleaning 8967 clauses out of 17937 with flag 423233/45001
24.53/20.89	c cleaning 9983 clauses out of 19969 with flag 555913/56000
28.13/24.40	c cleaning 10995 clauses out of 21993 with flag 669195/68007
33.11/29.43	c cleaning 11990 clauses out of 23992 with flag 780984/81001
39.47/35.81	c cleaning 12998 clauses out of 26001 with flag 887220/95000
47.78/44.17	c cleaning 13990 clauses out of 28004 with flag 994927/110001
57.53/53.99	c cleaning 15005 clauses out of 30014 with flag 1105921/126001
70.49/66.87	c cleaning 15998 clauses out of 32008 with flag 1226598/143000
83.33/79.68	c cleaning 16998 clauses out of 34010 with flag 1352380/161000
99.10/95.41	c cleaning 18003 clauses out of 36014 with flag 1482526/180002
111.19/107.55	c cleaning 19005 clauses out of 38011 with flag 1640611/200002
126.95/123.36	c cleaning 20003 clauses out of 40005 with flag 1787949/221001
149.66/145.94	c cleaning 20994 clauses out of 42003 with flag 1946148/243002
169.15/165.38	c cleaning 22003 clauses out of 44010 with flag 2101417/266003
187.30/183.58	c cleaning 22995 clauses out of 46004 with flag 2283820/290000
198.48/194.79	c cleaning 23996 clauses out of 48012 with flag 2471071/315003
209.56/205.81	c cleaning 25000 clauses out of 50013 with flag 2665936/341000
223.46/219.62	c cleaning 26001 clauses out of 52013 with flag 2864958/368000
240.46/236.45	c cleaning 27000 clauses out of 54014 with flag 3078108/396002
262.82/258.83	c cleaning 27997 clauses out of 56012 with flag 3294643/425000
288.27/284.38	c cleaning 28999 clauses out of 58016 with flag 3515512/455001
313.89/309.77	c cleaning 30004 clauses out of 60020 with flag 3764785/486004
343.84/339.78	c cleaning 30999 clauses out of 62014 with flag 4021309/518002
375.90/371.59	c cleaning 32003 clauses out of 64014 with flag 4274071/551001
403.58/399.27	c cleaning 33002 clauses out of 66010 with flag 4525819/585000
436.58/431.92	c cleaning 33996 clauses out of 68009 with flag 4821095/620001
467.26/462.66	c cleaning 34997 clauses out of 70012 with flag 5092780/656000
502.88/497.99	c cleaning 35999 clauses out of 72016 with flag 5403211/693001
537.55/532.68	c cleaning 37002 clauses out of 74017 with flag 5718927/731001
576.02/570.88	c cleaning 38003 clauses out of 76015 with flag 6036783/770001
615.79/610.62	c cleaning 39001 clauses out of 78011 with flag 6360972/810000
658.07/652.66	c cleaning 39999 clauses out of 80011 with flag 6709902/851001
701.25/695.81	c cleaning 41000 clauses out of 82013 with flag 7028036/893002
749.53/743.96	c cleaning 41995 clauses out of 84011 with flag 7357154/936000
801.98/796.45	c cleaning 42995 clauses out of 86016 with flag 7718589/980000
881.80/876.03	c cleaning 44002 clauses out of 88024 with flag 8090479/1025003
948.27/942.29	c cleaning 45003 clauses out of 90019 with flag 8464846/1071000
1003.52/997.60	c cleaning 46002 clauses out of 92018 with flag 8850247/1118002
1053.10/1046.92	c cleaning 47000 clauses out of 94017 with flag 9234693/1166003
1116.76/1110.37	c cleaning 48001 clauses out of 96016 with flag 9605695/1215002
1179.29/1173.00	c cleaning 48997 clauses out of 98013 with flag 9963969/1265000
1256.66/1250.16	c cleaning 49998 clauses out of 100016 with flag 10389559/1316000
1336.41/1329.62	c cleaning 50997 clauses out of 102019 with flag 10826987/1368001
1417.20/1410.50	c cleaning 51997 clauses out of 104021 with flag 11251726/1421000
1496.85/1488.81	c cleaning 53004 clauses out of 106024 with flag 11704337/1475000
1589.49/1581.37	c cleaning 54005 clauses out of 108021 with flag 12149865/1530001
1667.53/1659.28	c cleaning 54998 clauses out of 110015 with flag 12602321/1586000
1750.63/1742.47	c cleaning 56004 clauses out of 112019 with flag 13033334/1643002
1853.60/1845.45	c cleaning 57000 clauses out of 114013 with flag 13537811/1701000
1958.02/1949.84	c cleaning 58001 clauses out of 116013 with flag 14055010/1760000
2056.42/2048.27	c cleaning 58997 clauses out of 118012 with flag 14542907/1820000
2178.51/2170.25	c cleaning 60002 clauses out of 120015 with flag 15075155/1881000
2281.79/2273.61	c cleaning 61002 clauses out of 122013 with flag 15578806/1943000
2383.76/2375.50	c cleaning 62000 clauses out of 124012 with flag 16067485/2006001
2502.91/2494.59	c cleaning 62995 clauses out of 126011 with flag 16596198/2070000
2628.82/2620.22	c cleaning 64002 clauses out of 128017 with flag 17156792/2135001
2756.64/2747.90	c cleaning 65000 clauses out of 130016 with flag 17706604/2201002
2930.81/2922.03	c cleaning 66000 clauses out of 132014 with flag 18236503/2268000
3053.52/3044.66	c cleaning 67002 clauses out of 134017 with flag 18768570/2336003
3203.47/3194.57	c cleaning 67999 clauses out of 136012 with flag 19294133/2405000
3354.43/3345.76	c cleaning 69000 clauses out of 138013 with flag 19850518/2475000
3511.59/3501.78	c cleaning 70000 clauses out of 140014 with flag 20375298/2546001
3600.06/3590.32	c timeout
3600.06/3590.32	c starts		: 888
3600.06/3590.33	c conflicts		: 2594290
3600.06/3590.33	c decisions		: 3654454
3600.06/3590.33	c propagations		: 39764904
3600.06/3590.33	c inspects		: 13892163859
3600.06/3590.33	c shortcuts		: 0
3600.06/3590.33	c learnt literals	: 0
3600.06/3590.33	c learnt binary clauses	: 0
3600.06/3590.33	c learnt ternary clauses	: 0
3600.06/3590.33	c learnt constraints	: 2594290
3600.06/3590.33	c ignored constraints	: 0
3600.06/3590.33	c root simplifications	: 0
3600.06/3590.33	c removed literals (reason simplification)	: 34302794
3600.06/3590.34	c reason swapping (by a shorter reason)	: 0
3600.06/3590.34	c Calls to reduceDB	: 67
3600.06/3590.34	c Number of update (reduction) of LBD	: 1713415
3600.06/3590.34	c Imported unit clauses	: 0
3600.06/3590.34	c No decision after first conflict	: false
3600.06/3590.34	c number of reductions to clauses (during analyze)	: 0
3600.06/3590.34	c number of learned constraints concerned by reduction	: 0
3600.06/3590.34	c number of learning phase by resolution	: 0
3600.06/3590.34	c number of learning phase by cutting planes	: 0
3600.06/3590.34	c number of rounding to 1 operations	: 0
3600.06/3590.34	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3590.34	c number of reductions of the coefficients by power 2 	: 0
3600.06/3590.34	c number of right shift for reduction by power 2 	: 0
3600.06/3590.34	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3590.34	c number of ending skipping 	: 0
3600.06/3590.34	c number of internal skipping 	: 0
3600.06/3590.34	c number of derivation steps 	: 0
3600.06/3590.34	c number of skipped derivation steps 	: 0
3600.06/3590.34	c number of remaining unassigned 	: 0
3600.06/3590.34	c number of remaining assigned 	: 0
3600.06/3590.34	c number of falsified literals weakened from reason	: 0
3600.06/3590.34	c number of falsified literals weakened from conflict	: 0
3600.06/3590.34	c time for arithmetic operations	: 0
3600.06/3590.34	c minimum degree of deleted constraints	: null
3600.06/3590.34	c maximum degree of deleted constraints	: null
3600.06/3590.34	c number of deleted constraints	: 0
3600.06/3590.34	c speed (assignments/second)	: 11091.203579093875
3600.06/3590.34	c non guided choices	: 462575
3600.06/3590.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 118303
3600.06/3590.39	s UNKNOWN
3600.06/3590.39	c Total wall clock time (in seconds): 3590.066

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: 63794 MiB (53174 MiB free)
  memory of node 1: 64507 MiB (62609 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542588-1753216337/watcher-4542588-1753216337 -o /tmp/evaluation-result-4542588-1753216337/solver-4542588-1753216337 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753209161-195952 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4542588-1753216337.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=196887, runsolver pid=196884
Current StackSize limit: 8192 KiB


[startup+0.100076 s]*
/proc/loadavg: 4.29 4.32 4.28 7/323 196905
/proc/meminfo: memFree=118348988/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=18930384 memory=48556 CPUtime=0.14 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 5832 0 0 0 10 4 0 0 20 0 18 0 237313460 19384713216 12139 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4732596 12139 5304 1 0 547041 0
[pid=196887/tid=196889] ppid=196884 vsize=18930384 memory=4026531960 CPUtime=0.09 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) R 196884 196887 195934 0 -1 4194368 4704 0 0 0 7 2 0 0 20 0 18 0 237313462 19384713216 12139 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237313467 19384713216 12139 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=18930384 memory=57394571004297 CPUtime=0 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237313468 19384713216 12139 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48556 KiB

[startup+0.225445 s]*
/proc/loadavg: 4.29 4.32 4.28 7/323 196905
/proc/meminfo: memFree=118347252/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=18930384 memory=55516 CPUtime=0.33 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 6527 0 0 0 29 4 0 0 20 0 18 0 237313460 19384713216 13879 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4732596 13879 5336 1 0 547612 0
[pid=196887/tid=196889] ppid=196884 vsize=18930384 memory=4027056412 CPUtime=0.21 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) R 196884 196887 195934 0 -1 4194368 5036 0 0 0 18 3 0 0 20 0 18 0 237313462 19384713216 13879 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=18930384 memory=1707 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237313467 19384713216 13879 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=18930384 memory=56295059358712 CPUtime=0 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237313468 19384713216 13879 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55516 KiB

[startup+0.3167 s]*
/proc/loadavg: 4.29 4.32 4.28 7/323 196905
/proc/meminfo: memFree=118324884/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=18930384 memory=58416 CPUtime=0.47 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 6759 0 0 0 42 5 0 0 20 0 18 0 237313460 19384713216 14604 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4732596 14604 5336 1 0 547779 0
[pid=196887/tid=196889] ppid=196884 vsize=18930384 memory=-8887117631612297916 CPUtime=0.29 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) R 196884 196887 195934 0 -1 4194368 5190 0 0 0 26 3 0 0 20 0 18 0 237313462 19384713216 14604 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237313467 19384713216 14604 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237313468 19384713216 14604 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58416 KiB

[startup+0.700345 s]
/proc/loadavg: 4.29 4.32 4.28 7/324 196906
/proc/meminfo: memFree=118229668/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=18996948 memory=205520 CPUtime=1.03 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 9095 0 0 0 94 9 0 0 20 0 19 0 237313460 19452874752 51380 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4749237 51380 5464 1 0 1075377 0
[pid=196887/tid=196889] ppid=196884 vsize=18996948 memory=27392 CPUtime=0.53 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) R 196884 196887 195934 0 -1 4194368 5305 0 0 0 47 6 0 0 20 0 19 0 237313462 19452874752 51380 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237313467 19452874752 51380 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237313468 19452874752 51892 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 205520 KiB

[startup+1.50029 s]
/proc/loadavg: 4.29 4.32 4.28 6/324 196906
/proc/meminfo: memFree=117617224/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=18996948 memory=1505452 CPUtime=2.6 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 11540 0 0 0 215 45 0 0 20 0 19 0 237313460 19452874752 376363 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4749237 376363 5496 1 0 1076604 0
[pid=196887/tid=196889] ppid=196884 vsize=18996948 memory=3200 CPUtime=1.26 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) R 196884 196887 195934 0 -1 4194368 5921 0 0 0 87 39 0 0 20 0 19 0 237313462 19452874752 376875 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237313467 19452874752 376875 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237313468 19452874752 376875 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1505452 KiB

[startup+3.1057 s]
/proc/loadavg: 4.29 4.32 4.28 5/324 196906
/proc/meminfo: memFree=114292092/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=18996948 memory=3663840 CPUtime=4.38 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 13665 0 0 0 342 96 0 0 20 0 19 0 237313460 19452874752 915960 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4749237 915960 5496 1 0 1576101 0
[pid=196887/tid=196889] ppid=196884 vsize=18996948 memory=10752 CPUtime=2.76 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) R 196884 196887 195934 0 -1 4194368 7035 0 0 0 188 88 0 0 20 0 19 0 237313462 19452874752 915960 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237313467 19452874752 915960 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=18996948 memory=5632 CPUtime=0 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237313468 19452874752 915960 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 3663840 KiB

[startup+6.30026 s]
/proc/loadavg: 4.27 4.31 4.28 6/325 196907
/proc/meminfo: memFree=113413856/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=19063512 memory=3894208 CPUtime=8.96 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 15423 0 0 0 792 104 0 0 20 0 20 0 237313460 19521036288 973552 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4765878 973552 5496 1 0 1576954 0
[pid=196887/tid=196889] ppid=196884 vsize=19063512 memory=5632 CPUtime=5.57 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) R 196884 196887 195934 0 -1 4194368 7408 0 0 0 465 92 0 0 20 0 20 0 237313462 19521036288 973552 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237313467 19521036288 973552 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=19063512 memory=-8887117631612297916 CPUtime=0 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 237313468 19521036288 973552 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196907] ppid=196884 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/196887/task/196907/stat : 196907 (Timer-0) S 196884 196887 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237313968 19521036288 973552 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 8.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3894208 KiB

[startup+12.7005 s]
/proc/loadavg: 4.25 4.31 4.27 5/325 196907
/proc/meminfo: memFree=112702736/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=19063512 memory=3892512 CPUtime=16.46 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 15879 0 0 0 1541 105 0 0 20 0 20 0 237313460 19521036288 973128 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4765878 973128 5528 1 0 1577235 0
[pid=196887/tid=196889] ppid=196884 vsize=19063512 memory=10752 CPUtime=11.9 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) R 196884 196887 195934 0 -1 4194368 7495 0 0 0 1097 93 0 0 20 0 20 0 237313462 19521036288 973128 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=19063512 memory=3894592 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237313467 19521036288 973128 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=19063512 memory=3892512 CPUtime=0 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 237313468 19521036288 973128 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196907] ppid=196884 vsize=19063512 memory=16688 CPUtime=0 cores=5,7
/proc/196887/task/196907/stat : 196907 (Timer-0) S 196884 196887 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237313968 19521036288 973128 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 16.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3892512 KiB

[startup+25.5005 s]
/proc/loadavg: 4.36 4.33 4.28 5/325 196908
/proc/meminfo: memFree=112301928/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=19063512 memory=3892512 CPUtime=29.23 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 16574 0 0 0 2817 106 0 0 20 0 20 0 237313460 19521036288 973128 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4765878 973128 5528 1 0 1577235 0
[pid=196887/tid=196889] ppid=196884 vsize=19063512 memory=3892512 CPUtime=24.66 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) R 196884 196887 195934 0 -1 4194368 8147 0 0 0 2373 93 0 0 20 0 20 0 237313462 19521036288 973128 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=19063512 memory=16688 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237313467 19521036288 973128 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=19063512 memory=3892512 CPUtime=0 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 237313468 19521036288 973128 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196907] ppid=196884 vsize=19063512 memory=3892512 CPUtime=0 cores=5,7
/proc/196887/task/196907/stat : 196907 (Timer-0) S 196884 196887 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237313968 19521036288 973128 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 29.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3892512 KiB

[startup+51.1138 s]
/proc/loadavg: 4.82 4.45 4.32 5/325 196975
/proc/meminfo: memFree=113670312/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=19063512 memory=3892512 CPUtime=54.76 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 19037 0 0 0 5365 111 0 0 20 0 20 0 237313460 19521036288 973128 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4765878 973128 5528 1 0 1577235 0
[pid=196887/tid=196889] ppid=196884 vsize=19063512 memory=-8887117631612297916 CPUtime=50.16 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) R 196884 196887 195934 0 -1 4194368 9673 0 0 0 4919 97 0 0 20 0 20 0 237313462 19521036288 973128 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=19063512 memory=3892512 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237313467 19521036288 973128 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=19063512 memory=3892512 CPUtime=0 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 237313468 19521036288 973128 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196907] ppid=196884 vsize=19063512 memory=16688 CPUtime=0 cores=5,7
/proc/196887/task/196907/stat : 196907 (Timer-0) S 196884 196887 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237313968 19521036288 973128 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 54.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3892512 KiB

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

[startup+3282.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/326 197220
/proc/meminfo: memFree=95740028/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=19063512 memory=6756604 CPUtime=3291.13 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 162645 0 0 0 328674 439 0 0 20 0 20 0 237313460 19521036288 1689151 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4765878 1689151 5560 1 0 2081727 0
[pid=196887/tid=196889] ppid=196884 vsize=19063512 memory=6756604 CPUtime=3263.15 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) R 196884 196887 195934 0 -1 4194368 79905 0 0 0 326187 128 0 0 20 0 20 0 237313462 19521036288 1689151 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=19063512 memory=6756604 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237313467 19521036288 1689151 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=19063512 memory=16688 CPUtime=0.01 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 4179 0 0 0 0 1 0 0 20 0 20 0 237313468 19521036288 1689151 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196907] ppid=196884 vsize=19063512 memory=6756604 CPUtime=0 cores=5,7
/proc/196887/task/196907/stat : 196907 (Timer-0) S 196884 196887 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237313968 19521036288 1689151 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 3291.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6756604 KiB

[startup+3342.3 s]
/proc/loadavg: 3.66 4.03 4.13 4/301 197255
/proc/meminfo: memFree=103883868/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=19063512 memory=6756604 CPUtime=3351.03 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 163968 0 0 0 334659 444 0 0 20 0 20 0 237313460 19521036288 1689151 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4765878 1689151 5560 1 0 2081727 0
[pid=196887/tid=196889] ppid=196884 vsize=19063512 memory=6756604 CPUtime=3322.98 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) R 196884 196887 195934 0 -1 4194368 81043 0 0 0 332169 129 0 0 20 0 20 0 237313462 19521036288 1689151 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=19063512 memory=6756604 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237313467 19521036288 1689151 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=19063512 memory=-8887117631612297916 CPUtime=0.01 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 4313 0 0 0 0 1 0 0 20 0 20 0 237313468 19521036288 1689151 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196907] ppid=196884 vsize=19063512 memory=6912 CPUtime=0 cores=5,7
/proc/196887/task/196907/stat : 196907 (Timer-0) S 196884 196887 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237313968 19521036288 1689151 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 3351.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6756604 KiB

[startup+3402.3 s]
/proc/loadavg: 3.41 3.90 4.07 4/301 197257
/proc/meminfo: memFree=103883224/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=19063512 memory=6756988 CPUtime=3412.33 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 170605 0 0 0 340783 450 0 0 20 0 20 0 237313460 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4765878 1689247 5560 1 0 2081815 0
[pid=196887/tid=196889] ppid=196884 vsize=19063512 memory=6756604 CPUtime=3382.02 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) R 196884 196887 195934 0 -1 4194368 84809 0 0 0 338072 130 0 0 20 0 20 0 237313462 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=19063512 memory=6756988 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237313467 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=19063512 memory=16688 CPUtime=0.01 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 4313 0 0 0 0 1 0 0 20 0 20 0 237313468 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196907] ppid=196884 vsize=19063512 memory=6756988 CPUtime=0 cores=5,7
/proc/196887/task/196907/stat : 196907 (Timer-0) S 196884 196887 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237313968 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 3412.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6756988 KiB

[startup+3462.3 s]
/proc/loadavg: 3.27 3.76 4.01 4/301 197259
/proc/meminfo: memFree=103883224/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=19063512 memory=6756988 CPUtime=3472.24 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 172545 0 0 0 346770 454 0 0 20 0 20 0 237313460 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4765878 1689247 5560 1 0 2081815 0
[pid=196887/tid=196889] ppid=196884 vsize=19063512 memory=6756604 CPUtime=3441.86 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) R 196884 196887 195934 0 -1 4194368 86505 0 0 0 344056 130 0 0 20 0 20 0 237313462 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237313467 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=19063512 memory=6756988 CPUtime=0.01 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 4446 0 0 0 0 1 0 0 20 0 20 0 237313468 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196907] ppid=196884 vsize=19063512 memory=6756988 CPUtime=0 cores=5,7
/proc/196887/task/196907/stat : 196907 (Timer-0) S 196884 196887 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237313968 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 3472.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6756988 KiB

[startup+3522.3 s]
/proc/loadavg: 3.27 3.68 3.97 4/300 197261
/proc/meminfo: memFree=103884228/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=19063512 memory=6756988 CPUtime=3532.27 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 173754 0 0 0 352769 458 0 0 20 0 20 0 237313460 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4765878 1689247 5560 1 0 2081815 0
[pid=196887/tid=196889] ppid=196884 vsize=19063512 memory=5276 CPUtime=3501.03 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) R 196884 196887 195934 0 -1 4194368 86873 0 0 0 349973 130 0 0 20 0 20 0 237313462 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=19063512 memory=6756988 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237313467 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=19063512 memory=27392 CPUtime=0.01 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 4520 0 0 0 0 1 0 0 20 0 20 0 237313468 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196907] ppid=196884 vsize=19063512 memory=6756988 CPUtime=0 cores=5,7
/proc/196887/task/196907/stat : 196907 (Timer-0) S 196884 196887 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237313968 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 3532.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6756988 KiB

[startup+3582.3 s]
/proc/loadavg: 3.16 3.57 3.91 4/300 197262
/proc/meminfo: memFree=103883488/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=19063512 memory=6756988 CPUtime=3592.08 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 175138 0 0 0 358745 463 0 0 20 0 20 0 237313460 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4765878 1689247 5560 1 0 2081815 0
[pid=196887/tid=196889] ppid=196884 vsize=19063512 memory=6756988 CPUtime=3560.78 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) R 196884 196887 195934 0 -1 4194368 88251 0 0 0 355948 130 0 0 20 0 20 0 237313462 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=19063512 memory=6756988 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237313467 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=19063512 memory=-8887117631612297916 CPUtime=0.01 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 4520 0 0 0 0 1 0 0 20 0 20 0 237313468 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196907] ppid=196884 vsize=19063512 memory=16688 CPUtime=0 cores=5,7
/proc/196887/task/196907/stat : 196907 (Timer-0) S 196884 196887 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237313968 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 3592.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6756988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3590.3 s]
/proc/loadavg: 3.06 3.54 3.90 3/276 197298
/proc/meminfo: memFree=113513764/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=19063512 memory=6756988 CPUtime=3600.06 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 175443 0 0 0 359543 463 0 0 20 0 20 0 237313460 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4765878 1689247 5560 1 0 2081815 0
[pid=196887/tid=196889] ppid=196884 vsize=19063512 memory=6756988 CPUtime=3568.75 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) R 196884 196887 195934 0 -1 4194368 88505 0 0 0 356745 130 0 0 20 0 20 0 237313462 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=19063512 memory=6756988 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237313467 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=19063512 memory=6756988 CPUtime=0.01 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 4520 0 0 0 0 1 0 0 20 0 20 0 237313468 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196907] ppid=196884 vsize=19063512 memory=6756988 CPUtime=0 cores=5,7
/proc/196887/task/196907/stat : 196907 (Timer-0) S 196884 196887 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237313968 19521036288 1689247 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6756988 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.6 s, system=4.68147 s

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

[startup+3590.4 s]
/proc/loadavg: 3.06 3.54 3.90 3/276 197298
/proc/meminfo: memFree=113513764/131382112 swapFree=33010416/33010684
[pid=196887] ppid=196884 vsize=19263204 memory=6757756 CPUtime=3600.24 cores=5,7
/proc/196887/stat : 196887 (java) S 196884 196887 195934 0 -1 4194304 178476 0 0 0 359560 464 0 0 20 0 15 0 237313460 19725520896 1689439 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
/proc/196887/statm: 4815801 1689439 5560 1 0 2082753 0
[pid=196887/tid=196889] ppid=196884 vsize=19263204 memory=5272 CPUtime=3568.78 cores=5,7
/proc/196887/task/196889/stat : 196889 (java) S 196884 196887 195934 0 -1 4194368 88999 0 0 0 356748 130 0 0 20 0 15 0 237313462 19725520896 1689439 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196898] ppid=196884 vsize=19263204 memory=16688 CPUtime=0 cores=5,7
/proc/196887/task/196898/stat : 196898 (Finalizer) S 196884 196887 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 237313467 19725520896 1689439 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
[pid=196887/tid=196905] ppid=196884 vsize=19263204 memory=27392 CPUtime=0.01 cores=5,7
/proc/196887/task/196905/stat : 196905 (Common-Cleaner) S 196884 196887 195934 0 -1 4194368 4520 0 0 0 0 1 0 0 20 0 15 0 237313468 19725520896 1689439 18446744073709551615 94264506855424 94264506859120 140729222859184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94264506866936 94264506867728 94264539156480 140729222867327 140729222867428 140729222867428 140729222873032 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6757756 KiB

Child status: 143

Real time (s): 3590.45
CPU time (s): 3600.28
CPU user time (s): 3595.6
CPU system time (s): 4.68147
CPU usage (%): 100.274
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6757756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.6
system time used= 4.68147
maximum resident set size= 6757884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178503
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128013
involuntary context switches= 4607


# summary of solver processes directly reported to runsolver:
#   pid: 196887
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3595.6
#   total CPU system time (s): 4.68147

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5637 second user time and 39.142 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-22 22:32:18
IDJOB=4542588
IDBENCH=163937
IDSOLVER=3363
FILE ID=nodeC012/4542588-1753216337
RUNJOBID= nodeC012-1753209161-195952
SLURM_JOB_ID= 9687769
Free space on /tmp= 432804 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542588-1753216337/watcher-4542588-1753216337 -o /tmp/evaluation-result-4542588-1753216337/solver-4542588-1753216337 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753209161-195952 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4542588-1753216337.opb

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

MD5SUM BENCH= 5315000b872825a9c3a3b6787ef04708
RANDOM SEED=1817904921

nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.171
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3192.404
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.620
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3550.981
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.153
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.233
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.740
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        118570608 kB
MemAvailable:   119467540 kB
Buffers:            2136 kB
Cached:          1662768 kB
SwapCached:           12 kB
Active:         11716964 kB
Inactive:         459196 kB
Active(anon):   10532708 kB
Inactive(anon):     4688 kB
Active(file):    1184256 kB
Inactive(file):   454508 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             61892 kB
Writeback:             0 kB
AnonPages:      10514352 kB
Mapped:           128572 kB
Shmem:             26140 kB
KReclaimable:     195204 kB
Slab:             287116 kB
SReclaimable:     195204 kB
SUnreclaim:        91912 kB
KernelStack:        4944 kB
PageTables:        24268 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   22594548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150296 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10260480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432908 MiB
End job on nodeC012 at 2025-07-22 23:32:08