Trace number 4490480

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06UNSAT 152.951 148.453

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_3.opb
MD5SUM3b6cd88d51672ff5fa8d3ce8152b7bd3
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/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 benchmark14.6414
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31
Total number of constraints9
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint30
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 940
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2821
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.09/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.09/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.19	c See www.sat4j.org for details.
0.09/0.20	c version PB25.v20250606
0.26/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.26/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.26/0.23	c java.vm.version	22.0.1+8-16
0.26/0.23	c java.vm.vendor	Oracle Corporation
0.26/0.23	c sun.arch.data.model	64
0.26/0.23	c java.version		22.0.1
0.26/0.23	c os.name		Linux
0.26/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.26/0.23	c os.arch		amd64
0.26/0.24	c Free memory 		2104792832
0.26/0.24	c Max memory 		16282288128
0.26/0.24	c Total memory 		2113929216
0.26/0.25	c Number of processors 	2
0.42/0.37	c Pseudo Boolean Optimization by upper bound
0.42/0.37	c --- Begin Solver configuration ---
0.42/0.37	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.37	c Learn all clauses as in MiniSAT
0.42/0.37	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.37	c Expensive reason simplification
0.42/0.37	c Glucose 2.1 dynamic restart strategy
0.42/0.37	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.42/0.37	c timeout=2147483s
0.42/0.37	c DB Simplification allowed=false
0.42/0.37	c Listener: none
0.42/0.37	c --- End Solver configuration ---
0.42/0.37	c solving HOME/instance-4490480-1751360462.opb
0.42/0.37	c reading problem ... 
0.42/0.37	c  objective function found
0.42/0.41	c ... done. Wall clock time 0.032s.
0.42/0.41	c declared #vars     31
0.42/0.41	c #constraints  9
0.42/0.41	c constraints type 
0.42/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8
0.42/0.41	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.42/0.41	c 9 constraints processed.
0.60/0.44	c objective function length is 1 literals
1.72/1.09	c cleaning 2500 clauses out of 5000 with flag 10078/5000
2.49/1.45	c cleaning 4251 clauses out of 8502 with flag 22198/11002
3.29/1.80	c cleaning 5621 clauses out of 11249 with flag 36413/18000
3.66/2.08	c cleaning 6814 clauses out of 13628 with flag 52653/26000
4.06/2.42	c cleaning 7903 clauses out of 15814 with flag 70885/35000
4.46/2.81	c cleaning 8956 clauses out of 17911 with flag 91344/45000
5.10/3.24	c cleaning 9976 clauses out of 19956 with flag 113584/56001
5.80/3.82	c cleaning 10985 clauses out of 21980 with flag 138178/68001
7.02/5.04	c cleaning 11996 clauses out of 23996 with flag 164730/81002
7.91/5.99	c cleaning 12999 clauses out of 25998 with flag 193487/95000
8.71/6.74	c cleaning 13995 clauses out of 27999 with flag 223849/110000
9.54/7.58	c cleaning 14998 clauses out of 30004 with flag 256503/126000
10.54/8.41	c cleaning 15998 clauses out of 32007 with flag 291302/143001
11.34/9.26	c cleaning 17004 clauses out of 34008 with flag 328357/161000
12.25/10.17	c cleaning 17998 clauses out of 36006 with flag 367184/180002
13.24/11.15	c cleaning 18996 clauses out of 38006 with flag 408140/200000
13.95/11.80	c cleaning 20003 clauses out of 40010 with flag 451160/221000
14.64/12.57	c cleaning 21003 clauses out of 42008 with flag 497387/243001
16.04/13.93	c cleaning 22000 clauses out of 44006 with flag 544633/266002
17.26/15.20	c cleaning 22999 clauses out of 46004 with flag 594291/290000
18.54/16.40	c cleaning 24000 clauses out of 48006 with flag 646024/315001
19.63/17.51	c cleaning 24999 clauses out of 50005 with flag 699528/341000
20.83/18.75	c cleaning 26000 clauses out of 52008 with flag 754424/368002
22.14/20.09	c cleaning 27001 clauses out of 54007 with flag 811963/396001
23.93/21.87	c cleaning 28001 clauses out of 56006 with flag 871612/425001
26.03/23.90	c cleaning 28999 clauses out of 58004 with flag 935018/455000
27.72/25.68	c cleaning 29998 clauses out of 60005 with flag 999824/486000
30.02/27.91	c cleaning 31004 clauses out of 62008 with flag 1065626/518001
32.51/30.44	c cleaning 32000 clauses out of 64003 with flag 1135750/551000
34.91/32.85	c cleaning 32999 clauses out of 66003 with flag 1206258/585000
37.60/35.57	c cleaning 34002 clauses out of 68004 with flag 1280542/620000
40.59/38.53	c cleaning 34997 clauses out of 70002 with flag 1356194/656000
43.79/41.79	c cleaning 36002 clauses out of 72007 with flag 1432947/693002
46.58/44.55	c cleaning 37002 clauses out of 74004 with flag 1511694/731001
50.42/48.30	c cleaning 37997 clauses out of 76001 with flag 1593796/770000
54.15/52.06	c cleaning 39001 clauses out of 78005 with flag 1677516/810001
59.75/56.54	c cleaning 40002 clauses out of 80004 with flag 1763104/851001
63.84/60.67	c cleaning 40997 clauses out of 82001 with flag 1852263/893000
68.23/64.95	c cleaning 42003 clauses out of 84005 with flag 1944022/936001
71.93/68.61	c cleaning 42998 clauses out of 86002 with flag 2037082/980001
76.33/73.08	c cleaning 43997 clauses out of 88004 with flag 2131045/1025001
81.02/77.73	c cleaning 44998 clauses out of 90006 with flag 2228964/1071000
86.11/82.83	c cleaning 46003 clauses out of 92009 with flag 2328209/1118001
90.20/86.95	c cleaning 47001 clauses out of 94007 with flag 2428087/1166002
95.30/92.10	c cleaning 47995 clauses out of 96004 with flag 2531008/1215000
100.77/97.55	c cleaning 49003 clauses out of 98009 with flag 2634422/1265000
107.56/104.34	c cleaning 50004 clauses out of 100007 with flag 2744767/1316001
114.70/111.49	c cleaning 51001 clauses out of 102003 with flag 2856142/1368001
123.28/119.21	c cleaning 51999 clauses out of 104000 with flag 2970733/1421000
130.96/126.96	c cleaning 53000 clauses out of 106002 with flag 3085368/1475001
139.30/134.91	c cleaning 53999 clauses out of 108001 with flag 3203320/1530000
147.88/143.57	c cleaning 54996 clauses out of 110001 with flag 3323626/1586001
152.78/148.35	c starts		: 368
152.78/148.36	c conflicts		: 1621730
152.78/148.36	c decisions		: 1637721
152.78/148.36	c propagations		: 8871123
152.78/148.36	c inspects		: 2607657095
152.78/148.36	c shortcuts		: 0
152.78/148.36	c learnt literals	: 19
152.78/148.36	c learnt binary clauses	: 135
152.78/148.36	c learnt ternary clauses	: 769
152.78/148.36	c learnt constraints	: 1621710
152.78/148.36	c ignored constraints	: 0
152.78/148.36	c root simplifications	: 0
152.78/148.36	c removed literals (reason simplification)	: 12893412
152.78/148.36	c reason swapping (by a shorter reason)	: 0
152.78/148.37	c Calls to reduceDB	: 52
152.78/148.37	c Number of update (reduction) of LBD	: 34344
152.78/148.37	c Imported unit clauses	: 0
152.78/148.37	c No decision after first conflict	: false
152.78/148.37	c number of reductions to clauses (during analyze)	: 0
152.78/148.37	c number of learned constraints concerned by reduction	: 0
152.78/148.37	c number of learning phase by resolution	: 0
152.78/148.37	c number of learning phase by cutting planes	: 0
152.78/148.37	c number of rounding to 1 operations	: 0
152.78/148.37	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
152.78/148.37	c number of reductions of the coefficients by power 2 	: 0
152.78/148.37	c number of right shift for reduction by power 2 	: 0
152.78/148.37	c number of reductions of the coefficients by GCD over coefficients 	: 0
152.78/148.37	c number of ending skipping 	: 0
152.78/148.37	c number of internal skipping 	: 0
152.78/148.37	c number of derivation steps 	: 0
152.78/148.37	c number of skipped derivation steps 	: 0
152.78/148.37	c number of remaining unassigned 	: 0
152.78/148.37	c number of remaining assigned 	: 0
152.78/148.37	c number of falsified literals weakened from reason	: 0
152.78/148.37	c number of falsified literals weakened from conflict	: 0
152.78/148.37	c time for arithmetic operations	: 0
152.78/148.37	c minimum degree of deleted constraints	: null
152.78/148.37	c maximum degree of deleted constraints	: null
152.78/148.37	c number of deleted constraints	: 0
152.78/148.37	c speed (assignments/second)	: 59970.81609475135
152.78/148.37	c non guided choices	: 13
152.91/148.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 90582
152.91/148.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 135
152.91/148.41	s UNSATISFIABLE
152.91/148.41	c Total wall clock time (in seconds): 148.042

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490480-1751360462/watcher-4490480-1751360462 -o /tmp/evaluation-result-4490480-1751360462/solver-4490480-1751360462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751360462-51823 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4490480-1751360462.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=51866, runsolver pid=51860

[startup+0.100069 s]*
/proc/loadavg: 2.55 3.73 3.97 9/317 51945
/proc/meminfo: memFree=123131380/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=18930344 memory=45668 CPUtime=0.09 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 5446 0 0 0 5 4 0 0 20 0 18 0 51726029 19384672256 11417 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4732586 11417 4956 1 0 546685 0
[pid=51866/tid=51881] ppid=51860 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) R 51860 51866 51810 0 -1 4194368 4567 0 0 0 4 2 0 0 20 0 18 0 51726032 19384672256 11417 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=18930344 memory=16142 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51726037 19384672256 11417 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51936] ppid=51860 vsize=18930344 memory=58494082614266 CPUtime=0 cores=5,7
/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 51726038 19384672256 11417 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45668 KiB

[startup+0.2149 s]*
/proc/loadavg: 2.55 3.73 3.97 9/320 51948
/proc/meminfo: memFree=123117148/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=18930384 memory=51940 CPUtime=0.26 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 6122 0 0 0 21 5 0 0 20 0 18 0 51726029 19384713216 12985 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4732596 12985 5372 1 0 547233 0
[pid=51866/tid=51881] ppid=51860 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) R 51860 51866 51810 0 -1 4194368 4963 0 0 0 14 3 0 0 20 0 18 0 51726032 19384713216 12985 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=18930384 memory=16142 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51726037 19384713216 12985 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51936] ppid=51860 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 51726038 19384713216 12985 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51940 KiB

[startup+0.314595 s]*
/proc/loadavg: 2.55 3.73 3.97 9/320 51948
/proc/meminfo: memFree=123094652/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=18930384 memory=58184 CPUtime=0.42 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 6660 0 0 0 36 6 0 0 20 0 18 0 51726029 19384713216 14546 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4732596 14546 5372 1 0 547691 0
[pid=51866/tid=51881] ppid=51860 vsize=18930384 memory=-6000919494164376426 CPUtime=0.25 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) R 51860 51866 51810 0 -1 4194368 5125 0 0 0 22 3 0 0 20 0 18 0 51726032 19384713216 14546 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=18930384 memory=-4421386521933605474 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51726037 19384713216 14546 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51936] ppid=51860 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 51726038 19384713216 14546 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58184 KiB

[startup+0.70039 s]
/proc/loadavg: 2.55 3.73 3.97 13/323 51951
/proc/meminfo: memFree=123092412/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=18996948 memory=66568 CPUtime=1.11 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 8859 0 0 0 104 7 0 0 20 0 19 0 51726029 19452874752 16642 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4749237 16642 5468 1 0 549235 0
[pid=51866/tid=51881] ppid=51860 vsize=18996948 memory=17920 CPUtime=0.56 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) R 51860 51866 51810 0 -1 4194368 5374 0 0 0 53 3 0 0 20 0 19 0 51726032 19452874752 16642 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51726037 19452874752 16642 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51936] ppid=51860 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 51726038 19452874752 16642 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51949] ppid=51860 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/51866/task/51949/stat : 51949 (Timer-0) S 51860 51866 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51726074 19452874752 16642 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66568 KiB

[startup+1.50031 s]
/proc/loadavg: 2.55 3.73 3.97 9/324 51952
/proc/meminfo: memFree=123056608/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=18996948 memory=84660 CPUtime=2.69 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 18312 0 0 0 259 10 0 0 20 0 19 0 51726029 19452874752 21165 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4749237 21165 5468 1 0 552650 0
[pid=51866/tid=51881] ppid=51860 vsize=18996948 memory=0 CPUtime=1.31 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) R 51860 51866 51810 0 -1 4194368 5860 0 0 0 127 4 0 0 20 0 19 0 51726032 19452874752 21165 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51726037 19452874752 21165 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51936] ppid=51860 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 51726038 19452874752 21165 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51949] ppid=51860 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/51866/task/51949/stat : 51949 (Timer-0) S 51860 51866 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51726074 19452874752 21165 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84660 KiB

[startup+3.10574 s]
/proc/loadavg: 2.55 3.73 3.97 7/324 51952
/proc/meminfo: memFree=122935900/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=18996948 memory=96528 CPUtime=4.92 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 19303 0 0 0 481 11 0 0 20 0 19 0 51726029 19452874752 24132 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4749237 24132 5468 1 0 552967 0
[pid=51866/tid=51881] ppid=51860 vsize=18996948 memory=10624 CPUtime=2.89 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) R 51860 51866 51810 0 -1 4194368 6115 0 0 0 285 4 0 0 20 0 19 0 51726032 19452874752 24132 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=18996948 memory=-6000919507049278314 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51726037 19452874752 24132 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51936] ppid=51860 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 51726038 19452874752 24132 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51949] ppid=51860 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/51866/task/51949/stat : 51949 (Timer-0) S 51860 51866 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51726074 19452874752 24132 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 4.92 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 96528 KiB

[startup+6.30038 s]
/proc/loadavg: 2.74 3.75 3.97 5/325 51953
/proc/meminfo: memFree=122794112/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=18996948 memory=101556 CPUtime=8.31 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 21106 0 0 0 819 12 0 0 20 0 19 0 51726029 19452874752 25389 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4749237 25389 5468 1 0 552969 0
[pid=51866/tid=51881] ppid=51860 vsize=18996948 memory=0 CPUtime=6.07 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) R 51860 51866 51810 0 -1 4194368 6669 0 0 0 603 4 0 0 20 0 19 0 51726032 19452874752 25389 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51726037 19452874752 25389 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51936] ppid=51860 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 51726038 19452874752 25389 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51949] ppid=51860 vsize=18996948 memory=88076 CPUtime=0 cores=5,7
/proc/51866/task/51949/stat : 51949 (Timer-0) S 51860 51866 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51726074 19452874752 25389 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 8.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101556 KiB

[startup+12.7004 s]
/proc/loadavg: 2.84 3.75 3.97 5/327 51955
/proc/meminfo: memFree=122662792/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=18996948 memory=132276 CPUtime=14.84 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 23660 0 0 0 1471 13 0 0 20 0 19 0 51726029 19452874752 33069 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4749237 33069 5468 1 0 552969 0
[pid=51866/tid=51881] ppid=51860 vsize=18996948 memory=88076 CPUtime=12.45 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) R 51860 51866 51810 0 -1 4194368 7291 0 0 0 1240 5 0 0 20 0 19 0 51726032 19452874752 33069 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=18996948 memory=126132 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51726037 19452874752 33069 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51936] ppid=51860 vsize=18996948 memory=119988 CPUtime=0 cores=5,7
/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 51726038 19452874752 33069 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51949] ppid=51860 vsize=18996948 memory=14560 CPUtime=0 cores=5,7
/proc/51866/task/51949/stat : 51949 (Timer-0) S 51860 51866 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51726074 19452874752 33069 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 14.84 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 132276 KiB

[startup+25.5005 s]
/proc/loadavg: 3.10 3.77 3.97 5/328 51956
/proc/meminfo: memFree=122534952/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=19063512 memory=173836 CPUtime=27.62 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 25667 0 0 0 2747 15 0 0 20 0 20 0 51726029 19521036288 43459 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4765878 43459 5532 1 0 553258 0
[pid=51866/tid=51881] ppid=51860 vsize=19063512 memory=126132 CPUtime=25.19 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) R 51860 51866 51810 0 -1 4194368 7987 0 0 0 2513 6 0 0 20 0 20 0 51726032 19521036288 43459 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=19063512 memory=173836 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726037 19521036288 43459 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51936] ppid=51860 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 43459 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51949] ppid=51860 vsize=19063512 memory=173836 CPUtime=0 cores=5,7
/proc/51866/task/51949/stat : 51949 (Timer-0) S 51860 51866 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726074 19521036288 43459 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 27.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173836 KiB

[startup+51.1136 s]
/proc/loadavg: 3.47 3.80 3.98 5/328 51957
/proc/meminfo: memFree=122337908/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=19063512 memory=180072 CPUtime=53.25 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 26092 0 0 0 5309 16 0 0 20 0 20 0 51726029 19521036288 45018 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4765878 45018 5532 1 0 553258 0
[pid=51866/tid=51881] ppid=51860 vsize=19063512 memory=173836 CPUtime=50.71 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) R 51860 51866 51810 0 -1 4194368 8098 0 0 0 5065 6 0 0 20 0 20 0 51726032 19521036288 45018 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=19063512 memory=173836 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726037 19521036288 45018 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0

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

/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 51307 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51949] ppid=51860 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/51866/task/51949/stat : 51949 (Timer-0) S 51860 51866 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726074 19521036288 51307 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 105.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 205228 KiB

[startup+148.453 s]
# the end of solver process 51866 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=152.706 s, system=0.244941 s

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

[startup+102.401 s]
/proc/loadavg: 3.81 3.85 3.99 5/329 51960
/proc/meminfo: memFree=121794004/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=19063512 memory=205228 CPUtime=105.67 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 33453 0 0 0 10547 20 0 0 20 0 20 0 51726029 19521036288 51307 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4765878 51307 5532 1 0 555696 0
[pid=51866/tid=51881] ppid=51860 vsize=19063512 memory=180332 CPUtime=101.75 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) R 51860 51866 51810 0 -1 4194368 8603 0 0 0 10169 6 0 0 20 0 20 0 51726032 19521036288 51307 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=19063512 memory=180332 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726037 19521036288 51307 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51936] ppid=51860 vsize=19063512 memory=180332 CPUtime=0 cores=5,7
/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 51307 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51949] ppid=51860 vsize=19063512 memory=180332 CPUtime=0 cores=5,7
/proc/51866/task/51949/stat : 51949 (Timer-0) S 51860 51866 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726074 19521036288 51307 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 105.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 205228 KiB

[startup+128 s]*
/proc/loadavg: 4.01 3.89 4.00 5/329 51961
/proc/meminfo: memFree=121543680/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=19063512 memory=206444 CPUtime=132.07 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 37050 0 0 0 13185 22 0 0 20 0 20 0 51726029 19521036288 51611 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4765878 51611 5532 1 0 555696 0
[pid=51866/tid=51881] ppid=51860 vsize=19063512 memory=-6000919494164376426 CPUtime=127.29 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) R 51860 51866 51810 0 -1 4194368 9744 0 0 0 12723 6 0 0 20 0 20 0 51726032 19521036288 51611 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=19063512 memory=4500104960012873377 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726037 19521036288 51611 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51936] ppid=51860 vsize=19063512 memory=3456 CPUtime=0 cores=5,7
/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 51611 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51949] ppid=51860 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/51866/task/51949/stat : 51949 (Timer-0) S 51860 51866 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726074 19521036288 51611 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 132.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 206444 KiB

[startup+140.8 s]
/proc/loadavg: 4.08 3.92 4.01 5/329 51961
/proc/meminfo: memFree=121367576/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=19063512 memory=207724 CPUtime=145.19 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 38011 0 0 0 14496 23 0 0 20 0 20 0 51726029 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4765878 51931 5532 1 0 555696 0
[pid=51866/tid=51881] ppid=51860 vsize=19063512 memory=10624 CPUtime=140.05 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) R 51860 51866 51810 0 -1 4194368 9896 0 0 0 13999 6 0 0 20 0 20 0 51726032 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=19063512 memory=207724 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726037 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51936] ppid=51860 vsize=19063512 memory=206444 CPUtime=0 cores=5,7
/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 135 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51949] ppid=51860 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/51866/task/51949/stat : 51949 (Timer-0) S 51860 51866 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726074 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 145.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 207724 KiB

[startup+144 s]*
/proc/loadavg: 4.08 3.92 4.01 5/329 51961
/proc/meminfo: memFree=121322528/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=19063512 memory=207724 CPUtime=148.39 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 38017 0 0 0 14816 23 0 0 20 0 20 0 51726029 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4765878 51931 5532 1 0 555696 0
[pid=51866/tid=51881] ppid=51860 vsize=19063512 memory=-6000919494164376426 CPUtime=143.25 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) R 51860 51866 51810 0 -1 4194368 9900 0 0 0 14319 6 0 0 20 0 20 0 51726032 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=19063512 memory=4500104960012873377 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726037 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51936] ppid=51860 vsize=19063512 memory=26168 CPUtime=0 cores=5,7
/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 135 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51949] ppid=51860 vsize=19063512 memory=6836 CPUtime=0 cores=5,7
/proc/51866/task/51949/stat : 51949 (Timer-0) S 51860 51866 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726074 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 148.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 207724 KiB

[startup+145.6 s]
/proc/loadavg: 4.08 3.92 4.01 5/329 51961
/proc/meminfo: memFree=121314336/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=19063512 memory=207724 CPUtime=150.01 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 38052 0 0 0 14978 23 0 0 20 0 20 0 51726029 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4765878 51931 5532 1 0 555696 0
[pid=51866/tid=51881] ppid=51860 vsize=19063512 memory=5760 CPUtime=144.83 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) R 51860 51866 51810 0 -1 4194368 9914 0 0 0 14477 6 0 0 20 0 20 0 51726032 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=19063512 memory=207724 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726037 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51936] ppid=51860 vsize=19063512 memory=-6000919507049278314 CPUtime=0 cores=5,7
/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 135 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51949] ppid=51860 vsize=19063512 memory=2688 CPUtime=0 cores=5,7
/proc/51866/task/51949/stat : 51949 (Timer-0) S 51860 51866 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726074 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 150.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 207724 KiB

[startup+147.2 s]
/proc/loadavg: 4.08 3.92 4.01 5/329 51961
/proc/meminfo: memFree=121256992/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=19063512 memory=207724 CPUtime=151.68 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 38068 0 0 0 15145 23 0 0 20 0 20 0 51726029 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4765878 51931 5532 1 0 555696 0
[pid=51866/tid=51881] ppid=51860 vsize=19063512 memory=207724 CPUtime=146.43 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) R 51860 51866 51810 0 -1 4194368 9916 0 0 0 14637 6 0 0 20 0 20 0 51726032 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726037 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51936] ppid=51860 vsize=19063512 memory=-6000919507049278314 CPUtime=0 cores=5,7
/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 135 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51949] ppid=51860 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/51866/task/51949/stat : 51949 (Timer-0) S 51860 51866 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726074 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 151.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 207724 KiB

[startup+148 s]*
/proc/loadavg: 4.08 3.92 4.01 5/329 51961
/proc/meminfo: memFree=121244704/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=19063512 memory=207724 CPUtime=152.49 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 38068 0 0 0 15226 23 0 0 20 0 20 0 51726029 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4765878 51931 5532 1 0 555696 0
[pid=51866/tid=51881] ppid=51860 vsize=19063512 memory=-6000919494164376426 CPUtime=147.24 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) R 51860 51866 51810 0 -1 4194368 9916 0 0 0 14718 6 0 0 20 0 20 0 51726032 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=19063512 memory=4500104960012873377 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726037 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51936] ppid=51860 vsize=19063512 memory=4660 CPUtime=0 cores=5,7
/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 135 0 0 0 0 0 0 0 20 0 20 0 51726038 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51949] ppid=51860 vsize=19063512 memory=4788 CPUtime=0 cores=5,7
/proc/51866/task/51949/stat : 51949 (Timer-0) S 51860 51866 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51726074 19521036288 51931 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 152.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 207724 KiB

[startup+148.4 s]
/proc/loadavg: 4.08 3.92 4.01 5/329 51961
/proc/meminfo: memFree=121244704/131382112 swapFree=33010684/33010684
[pid=51866] ppid=51860 vsize=19196640 memory=208108 CPUtime=152.91 cores=5,7
/proc/51866/stat : 51866 (java) S 51860 51866 51810 0 -1 4194304 40065 0 0 0 15268 23 0 0 20 0 20 0 51726029 19657359360 52027 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
/proc/51866/statm: 4799160 52027 5532 1 0 556314 0
[pid=51866/tid=51881] ppid=51860 vsize=19196640 memory=-6000919507049278314 CPUtime=147.56 cores=5,7
/proc/51866/task/51881/stat : 51881 (java) S 51860 51866 51810 0 -1 4194368 11406 0 0 0 14750 6 0 0 20 0 20 0 51726032 19657359360 52027 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51913] ppid=51860 vsize=19196640 memory=5148 CPUtime=0 cores=5,7
/proc/51866/task/51913/stat : 51913 (Finalizer) S 51860 51866 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51726037 19657359360 52027 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
[pid=51866/tid=51936] ppid=51860 vsize=19196640 memory=3200 CPUtime=0 cores=5,7
/proc/51866/task/51936/stat : 51936 (Common-Cleaner) S 51860 51866 51810 0 -1 4194368 135 0 0 0 0 0 0 0 20 0 20 0 51726038 19657359360 52027 18446744073709551615 94695181959168 94695181962864 140720652627808 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94695181970680 94695181971472 94695204409344 140720652634497 140720652634598 140720652634598 140720652640200 0
Current children cumulated CPU time: 152.91 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 208108 KiB

Child status: 20

Real time (s): 148.453
CPU time (s): 152.951
CPU user time (s): 152.706
CPU system time (s): 0.244941
CPU usage (%): 103.03
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 210732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 152.706
system time used= 0.244941
maximum resident set size= 210732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40182
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5644
involuntary context switches= 1189


# summary of solver processes directly reported to runsolver:
#   pid: 51866
#   total CPU time (s): 152.951
#   total CPU user time (s): 152.706
#   total CPU system time (s): 0.244941

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.80014 second user time and 1.68829 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-01 11:01:02
IDJOB=4490480
IDBENCH=147587
IDSOLVER=3363
FILE ID=nodeC009/4490480-1751360462
RUNJOBID= nodeC009-1751360462-51823
SLURM_JOB_ID= 9598165
Free space on /tmp= 432660 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_3.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490480-1751360462/watcher-4490480-1751360462 -o /tmp/evaluation-result-4490480-1751360462/solver-4490480-1751360462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751360462-51823 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4490480-1751360462.opb

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

MD5SUM BENCH= 3b6cd88d51672ff5fa8d3ce8152b7bd3
RANDOM SEED=1487505086

nodeC009 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		: 1197.236
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.85
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		: 1197.232
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.85
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.381
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.330
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.85
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		: 1197.222
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.85
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.236
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.85
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.440
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.85
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.215
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        123186804 kB
MemAvailable:   129872184 kB
Buffers:            3280 kB
Cached:          7457056 kB
SwapCached:            0 kB
Active:           369288 kB
Inactive:        7157456 kB
Active(anon):      83400 kB
Inactive(anon):      968 kB
Active(file):     285888 kB
Inactive(file):  7156488 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               692 kB
Writeback:             4 kB
AnonPages:         69840 kB
Mapped:           102724 kB
Shmem:             17960 kB
KReclaimable:     164876 kB
Slab:             248944 kB
SReclaimable:     164876 kB
SUnreclaim:        84068 kB
KernelStack:        3888 kB
PageTables:         2816 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     332016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149240 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432656 MiB
End job on nodeC009 at 2025-07-01 11:03:31