Trace number 4498614

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
roundingsat-ihs 63f22ad? 1122.87 1125.86

General information on the benchmark

NamePB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__64.opb
MD5SUM6d0bcc2b57c04c2d4d51edf27892ab0d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark74222
Best CPU time to get the best result obtained on this benchmark15.1822
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables641998
Total number of constraints12000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)10002
Number of constraints which are nor clauses,nor cardinality constraints1998
Minimum length of a constraint64
Maximum length of a constraint2817
Number of terms in the objective function 640000
Biggest coefficient in the objective function 130539
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 22177598784
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 130539
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 22177598784
Number of bits of the biggest sum of numbers35
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
1.17/1.26	c #variables 641998 #constraints 14000
1.17/1.26	c objective is ce32 
1.57/1.63	c initial watched  CF 32, 64, 128, Arb: 1998 , 0 , 0 , 0
1.57/1.63	c initial counting CF 32, 64, 128, Arb: 1999 , 0 , 0 , 0
1.57/1.63	c GLOBAL bounds - >= 0 @ 1.38106
2.37/2.43	c GLOBAL bounds - >= 0 @ 1.78985
3.07/3.12	c GLOBAL bounds - >= 0 @ 2.19069
4.27/4.30	c GLOBAL bounds - >= 0 @ 2.79248
5.26/5.36	c GLOBAL bounds - >= 0 @ 3.43149
6.96/7.09	c GLOBAL bounds - >= 0 @ 4.68738
34.39/34.52	c GLOBAL bounds - >= 9542 @ 31.5569
35.38/35.54	c rational objective 9542
36.08/36.25	c GLOBAL bounds - >= 9542 @ 32.7302
36.68/36.89	c GLOBAL bounds - >= 9542 @ 32.9742
37.38/37.51	c GLOBAL bounds - >= 9542 @ 33.1829
38.27/38.43	c GLOBAL bounds - >= 9542 @ 33.6728
38.88/39.03	c GLOBAL bounds - >= 9542 @ 33.8897
39.78/39.90	c GLOBAL bounds - >= 9542 @ 34.3419
40.28/40.49	c GLOBAL bounds - >= 9542 @ 34.538
41.17/41.35	c GLOBAL bounds - >= 9542 @ 34.9812
41.77/41.93	c GLOBAL bounds - >= 9542 @ 35.1865
42.47/42.61	c GLOBAL bounds - >= 9542 @ 35.4352
42.97/43.19	c GLOBAL bounds - >= 9542 @ 35.6662
43.97/44.17	c GLOBAL bounds - >= 9542 @ 36.1783
44.56/44.76	c GLOBAL bounds - >= 9542 @ 36.3961
45.47/45.61	c GLOBAL bounds - >= 9542 @ 36.851
46.16/46.35	c GLOBAL bounds - >= 9542 @ 37.1892
47.06/47.20	c GLOBAL bounds - >= 9542 @ 37.627
47.75/47.92	c GLOBAL bounds - >= 9542 @ 37.935
48.45/48.60	c GLOBAL bounds - >= 9542 @ 38.2196
49.16/49.32	c GLOBAL bounds - >= 9542 @ 38.5335
49.96/50.17	c GLOBAL bounds - >= 9542 @ 38.9579
50.65/50.89	c GLOBAL bounds - >= 9542 @ 39.287
51.95/52.14	c GLOBAL bounds - >= 9542 @ 39.7704
52.24/52.45	c GLOBAL bounds - >= 9542 @ 40.0703
52.35/52.56	c GLOBAL bounds - >= 9542 @ 40.1716
53.24/53.48	c GLOBAL bounds - >= 9542 @ 41.0218
53.95/54.16	c GLOBAL bounds - >= 9542 @ 41.6188
84.47/84.79	c GLOBAL bounds - >= 9542 @ 71.5598
86.36/86.62	c GLOBAL bounds - >= 9542 @ 72.8167
125.16/125.55	c GLOBAL bounds - >= 9542 @ 110.392
126.16/126.55	c GLOBAL bounds - >= 9542 @ 111.115
156.98/157.43	c GLOBAL bounds - >= 9542 @ 141.523
158.77/159.26	c GLOBAL bounds - >= 9542 @ 143.051
935.20/937.78	c #Conflicts:       1000 | #Constraints:    3761164
935.20/937.78	c GLOBAL bounds - >= 9542 @ 914.233
975.19/977.90	c GLOBAL bounds - >= 11024 @ 953.981
976.19/978.90	c GLOBAL bounds - >= 11024 @ 954.602
976.88/979.56	c GLOBAL bounds - >= 11024 @ 954.89
977.59/980.22	c GLOBAL bounds - >= 11024 @ 955.171
978.18/980.88	c GLOBAL bounds - >= 11024 @ 955.449
978.88/981.54	c GLOBAL bounds - >= 11024 @ 955.735
979.48/982.20	c GLOBAL bounds - >= 11024 @ 956.023
980.28/982.92	c GLOBAL bounds - >= 11024 @ 956.336
980.98/983.64	c GLOBAL bounds - >= 11024 @ 956.633
981.68/984.36	c GLOBAL bounds - >= 11024 @ 956.96
983.37/986.09	c GLOBAL bounds - >= 11024 @ 957.992
984.07/986.76	c GLOBAL bounds - >= 11024 @ 958.285
985.37/988.02	c GLOBAL bounds - >= 11024 @ 958.962
985.96/988.69	c GLOBAL bounds - >= 11024 @ 959.262
987.16/989.81	c GLOBAL bounds - >= 11024 @ 959.859
987.76/990.48	c GLOBAL bounds - >= 11024 @ 960.158
988.76/991.49	c GLOBAL bounds - >= 11024 @ 960.677
989.56/992.22	c GLOBAL bounds - >= 11024 @ 961.004
990.56/993.27	c GLOBAL bounds - >= 11024 @ 961.591
991.25/994.00	c GLOBAL bounds - >= 11024 @ 961.914
992.05/994.79	c GLOBAL bounds - >= 11024 @ 962.265
992.85/995.51	c GLOBAL bounds - >= 11024 @ 962.578
993.85/996.56	c GLOBAL bounds - >= 11024 @ 963.121
994.55/997.29	c GLOBAL bounds - >= 11024 @ 963.428
995.55/998.25	c GLOBAL bounds - >= 11024 @ 963.922
996.24/998.98	c GLOBAL bounds - >= 11024 @ 964.235
997.04/999.79	c GLOBAL bounds - >= 11024 @ 964.563
997.84/1000.52	c GLOBAL bounds - >= 11024 @ 964.874
998.54/1001.28	c GLOBAL bounds - >= 11024 @ 965.196
999.03/1001.71	c GLOBAL bounds - >= 11024 @ 965.575
1000.13/1002.81	c GLOBAL bounds - >= 11024 @ 966.616
1000.73/1003.41	c GLOBAL bounds - >= 11024 @ 967.05
1002.12/1004.85	c GLOBAL bounds - >= 11024 @ 968.245
1050.40/1053.21	c GLOBAL bounds - >= 11024 @ 1015.46
1051.59/1054.43	c GLOBAL bounds - >= 11024 @ 1016.32
1053.68/1056.59	c GLOBAL bounds - >= 11024 @ 1018.07
1054.08/1056.96	c GLOBAL bounds - >= 11024 @ 1018.44
1054.88/1057.79	c GLOBAL bounds - >= 11024 @ 1018.91
1055.58/1058.45	c GLOBAL bounds - >= 11024 @ 1019.2
1056.28/1059.11	c GLOBAL bounds - >= 11024 @ 1019.5
1056.88/1059.77	c GLOBAL bounds - >= 11024 @ 1019.81
1057.67/1060.50	c GLOBAL bounds - >= 11024 @ 1020.12
1058.37/1061.22	c GLOBAL bounds - >= 11024 @ 1020.42
1060.57/1063.46	c GLOBAL bounds - >= 11024 @ 1021.93
1061.28/1064.12	c GLOBAL bounds - >= 11024 @ 1022.22
1063.27/1066.18	c GLOBAL bounds - >= 11024 @ 1023.57
1063.96/1066.84	c GLOBAL bounds - >= 11024 @ 1023.88
1065.46/1068.32	c GLOBAL bounds - >= 11024 @ 1024.66
1066.06/1068.99	c GLOBAL bounds - >= 11024 @ 1024.96
1067.26/1070.13	c GLOBAL bounds - >= 11024 @ 1025.58
1067.96/1070.80	c GLOBAL bounds - >= 11024 @ 1025.88
1068.85/1071.74	c GLOBAL bounds - >= 11024 @ 1026.26
1069.55/1072.40	c GLOBAL bounds - >= 11024 @ 1026.54
1070.35/1073.29	c GLOBAL bounds - >= 11024 @ 1027.02
1071.05/1073.96	c GLOBAL bounds - >= 11024 @ 1027.33
1071.94/1074.83	c GLOBAL bounds - >= 11024 @ 1027.8
1072.55/1075.50	c GLOBAL bounds - >= 11024 @ 1028.1
1073.44/1076.36	c GLOBAL bounds - >= 11024 @ 1028.56
1074.14/1077.08	c GLOBAL bounds - >= 11024 @ 1028.88
1075.04/1077.94	c GLOBAL bounds - >= 11024 @ 1029.33
1075.73/1078.67	c GLOBAL bounds - >= 11024 @ 1029.65
1076.63/1079.53	c GLOBAL bounds - >= 11024 @ 1030.07
1077.03/1079.91	c GLOBAL bounds - >= 11024 @ 1030.41
1077.43/1080.33	c GLOBAL bounds - >= 11024 @ 1030.74
1077.83/1080.78	c GLOBAL bounds - >= 11024 @ 1031.09
1078.53/1081.43	c GLOBAL bounds - >= 11024 @ 1031.72
1078.82/1081.79	c GLOBAL bounds - >= 11024 @ 1032.05
1080.02/1082.90	c GLOBAL bounds - >= 11024 @ 1032.71
1116.22/1119.27	c GLOBAL bounds - >= 11024 @ 1068.38
1121.41/1124.49	c cpu time 1073.55 s
1121.41/1124.49	c deterministic time 213274661 2.13e+08
1121.41/1124.49	c optimization time 1059.46 s
1121.41/1124.49	c total solve time 13.0329 s
1121.41/1124.49	c core-guided solve time 0 s
1121.41/1124.49	c propagation time 6.6479 s
1121.41/1124.49	c conflict analysis time 1.83447 s
1121.41/1124.49	c propagations 155910
1121.41/1124.49	c resolve steps 0
1121.41/1124.49	c decisions 53888818
1121.41/1124.49	c conflicts 44
1121.41/1124.49	c restarts 1
1121.41/1124.49	c inprocessing phases 0
1121.41/1124.49	c garbage collections 0 ,( -nan )
1121.41/1124.49	c input clauses 51 ,( 0.36 )
1121.41/1124.49	c input cardinalities 10002 ,( 71.17 )
1121.41/1124.49	c input general constraints 4000 ,( 28.46 )
1121.41/1124.49	c input average constraint length 411.03
1121.41/1124.49	c input average constraint degree 1583981.72
1121.41/1124.49	c learned clauses 37 ,( 78.72 )
1121.41/1124.49	c learned cardinalities 0 ,( 0.00 )
1121.41/1124.49	c learned general constraints 10 ,( 21.28 )
1121.41/1124.49	c learned average constraint length 4106.83
1121.41/1124.49	c learned average constraint degree 37.81
1121.41/1124.49	c watched  CF 32, 64, 128, Arb: 2008 , 0 , 0 , 0
1121.41/1124.49	c counting CF 32, 64, 128, Arb: 2002 , 1 , 0 , 0
1121.41/1124.49	c watched   constraints 2008 ,( 50.07 ) 
1121.41/1124.49	c counting  constraints 2002 ,( 49.93 ) 
1121.41/1124.49	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 7249 , 159 , 216834 ,( 162278 , 54556 )
1121.41/1124.49	c gcd simplifications 2
1121.41/1124.49	c detected cardinalities 0
1121.41/1124.49	c weakened non-implied lits 0
1121.41/1124.49	c weakened non-implying lits 0
1121.41/1124.49	c original variables 641998
1121.41/1124.49	c clausal propagations 86
1121.41/1124.49	c cardinality propagations 1002
1121.41/1124.49	c watched propagations 55568
1121.41/1124.49	c counting propagations 44747
1121.41/1124.49	c watch lookups 342793
1121.41/1124.49	c watch backjump lookups 0
1121.41/1124.49	c watch checks 41138889
1121.41/1124.49	c propagation checks 63386208
1121.41/1124.49	c constraint additions 317259
1121.41/1124.49	c trail pops 54044772
1121.41/1124.49	c formula constraints 14000
1121.41/1124.49	c learned constraints 45
1121.41/1124.49	c bound constraints 0
1121.41/1124.49	c core-guided constraints 0
1121.41/1124.49	c encountered formula constraints 28
1121.41/1124.49	c encountered learned constraints 2
1121.41/1124.49	c encountered bound constraints 0
1121.41/1124.49	c encountered core-guided constraints 0
1121.41/1124.49	c LP total time 3.56945 s
1121.41/1124.49	c LP solve time 2.65 s
1121.41/1124.49	c LP constraints added 14002
1121.41/1124.49	c LP constraints removed 0
1121.41/1124.49	c LP pivots internal 7
1121.41/1124.49	c LP pivots root 4
1121.41/1124.49	c LP calls 39
1121.41/1124.49	c LP optimalities 39
1121.41/1124.49	c LP no pivot count 37
1121.41/1124.49	c LP infeasibilities 0
1121.41/1124.49	c LP valid Farkas constraints 0
1121.41/1124.49	c LP learned Farkas constraints 0
1121.41/1124.49	c LP basis resets 0
1121.41/1124.49	c LP cycling count 0
1121.41/1124.49	c LP singular count 0
1121.41/1124.49	c LP no primal count 0
1121.41/1124.49	c LP no farkas count 0
1121.41/1124.49	c LP other issue count 0
1121.41/1124.49	c LP Gomory cuts 2
1121.41/1124.49	c LP learned cuts 0
1121.41/1124.49	c LP deleted cuts 0
1121.41/1124.49	c LP encountered Gomory constraints 0
1121.41/1124.49	c LP encountered Farkas constraints 0
1121.41/1124.49	c LP encountered learned Farkas constraints 0
1121.41/1124.49	c CG auxiliary variables introduced 40
1121.41/1124.49	c CG solutions found 0
1121.41/1124.49	c CG cores constructed 45
1121.41/1124.49	c CG core cardinality constraints returned 0
1121.41/1124.49	c CG unit cores 0
1121.41/1124.49	c CG single cores 0
1121.41/1124.49	c CG blocks removed during cardinality reduction 0
1121.41/1124.49	c CG first core best 0
1121.41/1124.49	c CG decision core best 0
1121.41/1124.49	c CG core reduction tie 0
1121.41/1124.49	c CG core degree average 0.00
1121.41/1124.49	c CG core slack average 0.00
1121.41/1124.49	c CG core upper bound improvements 0
1121.41/1124.49	c STR number of successful calls 0
1121.41/1124.49	c STR number of unsuccessful calls 0
1121.41/1124.49	c STR number of inconclusive calls 0
1121.41/1124.49	c STR number of successful attempts 0
1121.41/1124.49	c STR number of unsuccessful attempts 0
1121.41/1124.49	c STR number of inconclusive attempts 0
1121.41/1124.49	c STR average degree increase per successful call inf
1121.41/1124.49	c STR average degree increase per successful attempt inf
1121.41/1124.49	c STR total number of conflicts for successful attempts 0
1121.41/1124.49	c STR total number of conflicts for unsuccessful attempts 0
1121.41/1124.49	c STR total number of conflicts for inconclusive attempts 0
1121.41/1124.49	c STR average number of conflicts per successful attempt inf
1121.41/1124.49	c STR average number of conflicts per unsuccessful attempt inf
1121.41/1124.49	c STR average number of conflicts per inconclusive attempt inf
1121.41/1124.49	c AVG.sumWPerc 50.22 
1121.41/1124.49	c bigint constraints 1 
1121.41/1124.49	s UNKNOWN
1121.41/1124.49	c Out of memory, quitting

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498614-1751401688/watcher-4498614-1751401688 -o /tmp/evaluation-result-4498614-1751401688/solver-4498614-1751401688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751394141-56562 --watchdog 3760 run-opt.sh HOME/instance-4498614-1751401688.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=57441, runsolver pid=57438

[startup+0.100067 s]*
/proc/loadavg: 4.15 4.10 4.09 6/271 57443
/proc/meminfo: memFree=115725044/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=213464 memory=166192 CPUtime=0.08 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 9009 0 0 0 4 4 0 0 20 0 1 0 55846518 218587136 41548 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 53366 41548 1856 1147 0 40793 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 217656 KiB
Current children cumulated memory: 169136 KiB

[startup+0.205702 s]*
/proc/loadavg: 4.15 4.10 4.09 6/271 57443
/proc/meminfo: memFree=115655476/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=279004 memory=206656 CPUtime=0.19 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 10464 0 0 0 13 6 0 0 20 0 1 0 55846518 285700096 51664 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 69751 51664 1856 1147 0 57178 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 283196 KiB
Current children cumulated memory: 209600 KiB

[startup+0.30569 s]*
/proc/loadavg: 4.15 4.10 4.09 6/271 57443
/proc/meminfo: memFree=115651556/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=204256 memory=159332 CPUtime=0.29 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 10510 0 0 0 23 6 0 0 20 0 1 0 55846518 209158144 39833 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 51064 39833 1888 1147 0 38491 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 208448 KiB
Current children cumulated memory: 162276 KiB

[startup+0.700204 s]
/proc/loadavg: 4.15 4.10 4.09 6/271 57443
/proc/meminfo: memFree=115634860/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=246808 memory=192860 CPUtime=0.67 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 16867 0 0 0 60 7 0 0 20 0 1 0 55846518 252731392 48215 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 61702 48215 1888 1147 0 49129 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 251000 KiB
Current children cumulated memory: 195804 KiB

[startup+1.50018 s]
/proc/loadavg: 4.15 4.10 4.09 6/271 57443
/proc/meminfo: memFree=115500344/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=568240 memory=519512 CPUtime=1.46 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 63697 0 0 0 126 20 0 0 20 0 1 0 55846518 581877760 129878 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 142060 129878 2272 1147 0 129487 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 572432 KiB
Current children cumulated memory: 522456 KiB

[startup+3.10558 s]
/proc/loadavg: 4.30 4.13 4.10 5/272 57444
/proc/meminfo: memFree=115157684/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=734816 memory=661184 CPUtime=3.07 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 78177 0 0 0 218 89 0 0 20 0 1 0 55846518 752451584 165296 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 183704 165296 2304 1147 0 171131 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 739008 KiB
Current children cumulated memory: 664128 KiB

[startup+6.3002 s]
/proc/loadavg: 4.30 4.13 4.10 5/271 57449
/proc/meminfo: memFree=115935980/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=1015816 memory=898736 CPUtime=6.25 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 102100 0 0 0 426 199 0 0 20 0 1 0 55846518 1040195584 224684 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 253954 224684 2304 1147 0 241381 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1020008 KiB
Current children cumulated memory: 901680 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.13 4.10 5/270 57449
/proc/meminfo: memFree=115506484/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=1411464 memory=1273756 CPUtime=12.64 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 156633 0 0 0 1018 246 0 0 20 0 1 0 55846518 1445339136 318439 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 352866 318439 2304 1147 0 340293 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1415656 KiB
Current children cumulated memory: 1276700 KiB

[startup+25.5002 s]
/proc/loadavg: 4.21 4.12 4.10 5/270 57449
/proc/meminfo: memFree=114212920/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=2676912 memory=2390508 CPUtime=25.41 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 378057 0 0 0 2259 282 0 0 20 0 1 0 55846518 2741157888 597627 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 669228 597627 2304 1147 0 656655 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2681104 KiB
Current children cumulated memory: 2393452 KiB

[startup+51.1055 s]
/proc/loadavg: 4.22 4.13 4.10 5/270 57450
/proc/meminfo: memFree=112999416/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=3320716 memory=3049764 CPUtime=50.95 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 419110 0 0 0 3936 1159 0 0 20 0 1 0 55846518 3400413184 762441 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 830179 762441 2368 1147 0 817606 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 3324908 KiB
Current children cumulated memory: 3052708 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/270 57451
/proc/meminfo: memFree=108054428/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=7960716 memory=7447292 CPUtime=102.02 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 1315334 0 0 0 8757 1445 0 0 20 0 1 0 55846518 8151773184 1861823 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 1990179 1861823 2368 1147 0 1977606 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 7964908 KiB
Current children cumulated memory: 7450236 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 57453
/proc/meminfo: memFree=102863248/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=9189824 memory=8534196 CPUtime=161.86 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 1362473 0 0 0 14606 1580 0 0 20 0 1 0 55846518 9410379776 2133549 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 2297456 2133549 2368 1147 0 2284883 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 9194016 KiB
Current children cumulated memory: 8537140 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 57455
/proc/meminfo: memFree=97373668/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=15676204 memory=13263908 CPUtime=221.71 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 2362696 0 0 0 20427 1744 0 0 20 0 1 0 55846518 16052432896 3315977 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 3919051 3315977 2368 1147 0 3906478 0
Current children cumulated CPU time: 221.71 s

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

/proc/loadavg: 4.12 4.09 4.09 5/269 57482
/proc/meminfo: memFree=89726876/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=18135468 memory=15552936 CPUtime=700.44 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 2593061 0 0 0 68193 1851 0 0 20 0 1 0 55846518 18570719232 3888234 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 4533867 3888234 2368 1147 0 4521294 0
Current children cumulated CPU time: 700.44 s
Current children cumulated vsize: 18139660 KiB
Current children cumulated memory: 15555880 KiB

[startup+762.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/269 57484
/proc/meminfo: memFree=89107464/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=18135468 memory=15578948 CPUtime=760.29 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 2593833 0 0 0 74175 1854 0 0 20 0 1 0 55846518 18570719232 3894737 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 4533867 3894737 2368 1147 0 4521294 0
Current children cumulated CPU time: 760.29 s
Current children cumulated vsize: 18139660 KiB
Current children cumulated memory: 15581892 KiB

[startup+822.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 57486
/proc/meminfo: memFree=88609592/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=18135468 memory=15656204 CPUtime=820.13 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 2594678 0 0 0 80154 1859 0 0 20 0 1 0 55846518 18570719232 3914051 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 4533867 3914051 2368 1147 0 4521294 0
Current children cumulated CPU time: 820.13 s
Current children cumulated vsize: 18139660 KiB
Current children cumulated memory: 15659148 KiB

[startup+882.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 57495
/proc/meminfo: memFree=83197360/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=24957004 memory=20443460 CPUtime=879.95 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 3701089 0 0 0 85957 2038 0 0 20 0 1 0 55846518 25555972096 5110865 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 6239251 5110865 2368 1147 0 6226678 0
Current children cumulated CPU time: 879.95 s
Current children cumulated vsize: 24961196 KiB
Current children cumulated memory: 20446404 KiB

[startup+942.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 57498
/proc/meminfo: memFree=82336464/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=25030444 memory=21172224 CPUtime=939.79 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 3783563 0 0 0 91871 2108 0 0 20 0 1 0 55846518 25631174656 5293056 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 6257611 5293056 2368 1147 0 6245038 0
Current children cumulated CPU time: 939.79 s
Current children cumulated vsize: 25034636 KiB
Current children cumulated memory: 21175168 KiB

[startup+1002.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/268 57500
/proc/meminfo: memFree=81036392/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=25119368 memory=21967536 CPUtime=999.63 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 3876297 0 0 0 96615 3348 0 0 20 0 1 0 55846518 25722232832 5491884 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 6279842 5491884 2368 1147 0 6267269 0
Current children cumulated CPU time: 999.63 s
Current children cumulated vsize: 25123560 KiB
Current children cumulated memory: 21970480 KiB

[startup+1062.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 57502
/proc/meminfo: memFree=78166408/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=27368228 memory=24415904 CPUtime=1059.47 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 4316604 0 0 0 102109 3838 0 0 20 0 1 0 55846518 28025065472 6103976 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 6842057 6103976 2368 1147 0 6829484 0
Current children cumulated CPU time: 1059.47 s
Current children cumulated vsize: 27372420 KiB
Current children cumulated memory: 24418848 KiB

[startup+1122.3 s]
/proc/loadavg: 4.23 4.11 4.10 5/264 57515
/proc/meminfo: memFree=99677772/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=28041692 memory=25948260 CPUtime=1119.31 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 4537017 0 0 0 107138 4793 0 0 20 0 1 0 55846518 28714692608 6487065 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 7010423 6487065 2368 1147 0 6997850 0
Current children cumulated CPU time: 1119.31 s
Current children cumulated vsize: 28045884 KiB
Current children cumulated memory: 25951204 KiB

[startup+1125.86 s]
# the end of solver process 57441 was just reported to runsolver
# Child status: 3

# cumulated CPU time of all completed processes:  user=1074.15 s, system=48.7215 s

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

[startup+1123.2 s]
/proc/loadavg: 4.23 4.11 4.10 5/267 57521
/proc/meminfo: memFree=99659124/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=28041692 memory=25964896 CPUtime=1120.21 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 4539170 0 0 0 107227 4794 0 0 20 0 1 0 55846518 28714692608 6491224 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 7010423 6491224 2368 1147 0 6997850 0
Current children cumulated CPU time: 1120.21 s
Current children cumulated vsize: 28045884 KiB
Current children cumulated memory: 25967840 KiB

[startup+1124.8 s]
/proc/loadavg: 4.23 4.11 4.10 4/268 57560
/proc/meminfo: memFree=100488460/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
[pid=57443] ppid=57441 vsize=27865464 memory=25841780 CPUtime=1121.81 cores=5,7
/proc/57443/stat : 57443 (roundingsat) R 57441 57441 56549 0 -1 4194304 4541745 0 0 0 107386 4795 0 0 20 0 1 0 55846518 28534235136 6460445 18446744073709551615 4227072 8923433 140722448812320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15384576 140722448816546 140722448816680 140722448816680 140722448822250 0
/proc/57443/statm: 6966366 6460445 2496 1147 0 6953793 0
Current children cumulated CPU time: 1121.81 s
Current children cumulated vsize: 27869656 KiB
Current children cumulated memory: 25844724 KiB

[startup+1125.6 s]
/proc/loadavg: 4.23 4.11 4.10 5/271 57606
/proc/meminfo: memFree=100842852/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+1125.8 s]
/proc/loadavg: 4.23 4.11 4.10 5/271 57606
/proc/meminfo: memFree=100842852/131249996 swapFree=33010684/33010684
[pid=57441] ppid=57438 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57441/stat : 57441 (run-opt.sh) S 57438 57441 56549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55846517 4292608 736 18446744073709551615 94299780395008 94299781289541 140727028809984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299781528592 94299781576336 94299790135296 140727028816237 140727028816360 140727028816360 140727028821962 0
/proc/57441/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 3

Real time (s): 1125.86
CPU time (s): 1122.87
CPU user time (s): 1074.15
CPU system time (s): 48.7215
CPU usage (%): 99.7349
Max. virtual memory (cumulated for all children) (KiB): 28045884
Max. memory (cumulated for all children) (KiB): 25984004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1074.15
system time used= 48.7215
maximum resident set size= 25981060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4542061
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 6561


# summary of solver processes directly reported to runsolver:
#   pid: 57441
#   total CPU time (s): 1122.87
#   total CPU user time (s): 1074.15
#   total CPU system time (s): 48.7215

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.1765 second user time and 5.30525 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-01 22:28:08
IDJOB=4498614
IDBENCH=148722
IDSOLVER=3350
FILE ID=nodeC021/4498614-1751401688
RUNJOBID= nodeC021-1751394141-56562
SLURM_JOB_ID= 9598260
Free space on /tmp= 430348 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__64.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498614-1751401688/watcher-4498614-1751401688 -o /tmp/evaluation-result-4498614-1751401688/solver-4498614-1751401688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751394141-56562 --watchdog 3760  run-opt.sh HOME/instance-4498614-1751401688.opb

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

MD5SUM BENCH= 6d0bcc2b57c04c2d4d51edf27892ab0d
RANDOM SEED=1953163475

nodeC021 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	: 0xb00002a
cpu MHz		: 3599.760
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.759
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3467.967
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.682
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.774
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.760
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.951
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.160
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        115869848 kB
MemAvailable:   117879884 kB
Buffers:            3280 kB
Cached:          2814052 kB
SwapCached:            0 kB
Active:         12195484 kB
Inactive:        2544264 kB
Active(anon):   11940548 kB
Inactive(anon):        0 kB
Active(file):     254936 kB
Inactive(file):  2544264 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           1190700 kB
Writeback:             0 kB
AnonPages:      11923800 kB
Mapped:           117680 kB
Shmem:             18064 kB
KReclaimable:      99748 kB
Slab:             188744 kB
SReclaimable:      99748 kB
SUnreclaim:        88996 kB
KernelStack:        4352 kB
PageTables:        28648 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   14066360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150804 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1349632 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432304 MiB
End job on nodeC021 at 2025-07-01 22:46:54