Trace number 4438906

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
CASHWMaxSAT-DisjCad-SP 2024-07-10? (TO) 3600.12 3610.93

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod2.opb
MD5SUM8bd0f5aea9ca570f3d71e7c4d3c71b5a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-59356
Best CPU time to get the best result obtained on this benchmark72001.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 892
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 536523
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 536523
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.08/3610.90	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (59833 MiB free)
  memory of node 1: 64510 MiB (63069 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438906-1721247436/watcher-4438906-1721247436 -o /tmp/evaluation-result-4438906-1721247436/solver-4438906-1721247436 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721240223-935387 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438906-1721247436.opb -total-t=3600 -no-par -v0 

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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=939391, runsolver pid=939388
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 4.06 4.10 4.10 5/252 939392
/proc/meminfo: memFree=125798420/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=73984 memory=57168 CPUtime=0.09 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 6866 0 0 0 8 1 0 0 20 0 1 0 176907818 75759616 14292 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 18496 14292 922 2726 0 15244 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73984 KiB
Current children cumulated memory: 57168 KiB

[startup+0.205801 s]*
/proc/loadavg: 4.06 4.10 4.10 5/252 939392
/proc/meminfo: memFree=125792000/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=84024 memory=63372 CPUtime=0.2 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 7858 0 0 0 19 1 0 0 20 0 1 0 176907818 86040576 15843 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 21006 15843 922 2726 0 17754 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 84024 KiB
Current children cumulated memory: 63372 KiB

[startup+0.305767 s]*
/proc/loadavg: 4.06 4.10 4.10 5/252 939392
/proc/meminfo: memFree=125782500/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=89168 memory=73524 CPUtime=0.29 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 9424 0 0 0 28 1 0 0 20 0 1 0 176907818 91308032 18381 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 22292 18381 922 2726 0 19040 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 89168 KiB
Current children cumulated memory: 73524 KiB

[startup+0.700225 s]
/proc/loadavg: 4.06 4.10 4.10 5/252 939392
/proc/meminfo: memFree=125760804/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=161000 memory=113956 CPUtime=0.69 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 14911 0 0 0 65 4 0 0 20 0 1 0 176907818 164864000 28489 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 40250 28489 922 2726 0 36998 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 161000 KiB
Current children cumulated memory: 113956 KiB

[startup+1.50022 s]
/proc/loadavg: 4.06 4.10 4.10 5/249 939412
/proc/meminfo: memFree=126672352/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=242808 memory=168156 CPUtime=1.48 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 19321 0 0 0 142 6 0 0 20 0 1 0 176907818 248635392 42039 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 60702 42039 922 2726 0 57450 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 242808 KiB
Current children cumulated memory: 168156 KiB

[startup+3.10573 s]
/proc/loadavg: 4.06 4.10 4.10 5/254 939473
/proc/meminfo: memFree=126055460/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=623988 memory=536972 CPUtime=3.09 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 40146 0 0 0 289 20 0 0 20 0 1 0 176907818 638963712 134243 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 155997 134243 1002 2726 0 152745 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 623988 KiB
Current children cumulated memory: 536972 KiB

[startup+6.30025 s]
/proc/loadavg: 4.13 4.11 4.10 5/254 939473
/proc/meminfo: memFree=125257244/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=625644 memory=536972 CPUtime=6.27 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 40176 0 0 0 607 20 0 0 20 0 1 0 176907818 640659456 134243 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 156411 134243 1002 2726 0 153159 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 625644 KiB
Current children cumulated memory: 536972 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.10 5/254 939475
/proc/meminfo: memFree=125222304/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=625644 memory=536976 CPUtime=12.64 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 40298 0 0 0 1244 20 0 0 20 0 1 0 176907818 640659456 134244 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 156411 134244 1002 2726 0 153159 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 625644 KiB
Current children cumulated memory: 536976 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.10 4.10 5/254 939476
/proc/meminfo: memFree=125224724/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=625644 memory=536976 CPUtime=25.39 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 40423 0 0 0 2519 20 0 0 20 0 1 0 176907818 640659456 134244 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 156411 134244 1002 2726 0 153159 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 625644 KiB
Current children cumulated memory: 536976 KiB

[startup+51.1057 s]
/proc/loadavg: 4.24 4.14 4.11 5/254 939479
/proc/meminfo: memFree=124232788/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=985572 memory=893284 CPUtime=50.89 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 131169 0 0 0 5053 36 0 0 20 0 1 0 176907818 1009225728 223321 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 246393 223321 1066 2726 0 243141 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 985572 KiB
Current children cumulated memory: 893284 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/254 939489
/proc/meminfo: memFree=118259988/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=1509792 memory=1367944 CPUtime=101.93 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 198436 0 0 0 10120 73 0 0 20 0 1 0 176907818 1546027008 341986 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 377448 341986 1418 2726 0 374196 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1509792 KiB
Current children cumulated memory: 1367944 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.14 4.11 5/254 939499
/proc/meminfo: memFree=117268072/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=1523416 memory=1385064 CPUtime=161.74 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 205505 0 0 0 16090 84 0 0 20 0 1 0 176907818 1559977984 346266 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 380854 346266 1418 2726 0 377602 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1523416 KiB
Current children cumulated memory: 1385064 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/256 939514
/proc/meminfo: memFree=117202652/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=1606236 memory=1451872 CPUtime=221.57 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 215980 0 0 0 22054 103 0 0 20 0 1 0 176907818 1644785664 362968 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 401559 362968 1418 2726 0 398307 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 1606236 KiB
Current children cumulated memory: 1451872 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 939524
/proc/meminfo: memFree=117483200/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=1652452 memory=1480888 CPUtime=281.4 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 219969 0 0 0 28024 116 0 0 20 0 1 0 176907818 1692110848 370222 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 413113 370222 1418 2726 0 409861 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 1652452 KiB
Current children cumulated memory: 1480888 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 939535
/proc/meminfo: memFree=117599996/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=1703464 memory=1548460 CPUtime=341.21 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 224260 0 0 0 33995 126 0 0 20 0 1 0 176907818 1744347136 387115 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 425866 387115 1418 2726 0 422614 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 1703464 KiB
Current children cumulated memory: 1548460 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 939547
/proc/meminfo: memFree=117547712/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=1627592 memory=1473228 CPUtime=401.04 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 231237 0 0 0 39964 140 0 0 20 0 1 0 176907818 1666654208 368307 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 406898 368307 1418 2726 0 403646 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 1627592 KiB
Current children cumulated memory: 1473228 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 939940
/proc/meminfo: memFree=117367808/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=1666052 memory=1527700 CPUtime=460.87 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 251157 0 0 0 45925 162 0 0 20 0 1 0 176907818 1706037248 381925 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 416513 381925 1418 2726 0 413261 0

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

Current children cumulated memory: 2349588 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/255 941175
/proc/meminfo: memFree=111462348/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=2864676 memory=2645316 CPUtime=2913.62 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 506246 0 0 0 290870 492 0 0 20 0 1 0 176907818 2933428224 661329 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 716169 661329 1418 2726 0 712917 0
Current children cumulated CPU time: 2913.62 s
Current children cumulated vsize: 2864676 KiB
Current children cumulated memory: 2645316 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/255 941185
/proc/meminfo: memFree=111555888/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=2591784 memory=2433296 CPUtime=2973.44 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 507592 0 0 0 296851 493 0 0 20 0 1 0 176907818 2653986816 608324 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 647946 608324 1418 2726 0 644694 0
Current children cumulated CPU time: 2973.44 s
Current children cumulated vsize: 2591784 KiB
Current children cumulated memory: 2433296 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/255 941196
/proc/meminfo: memFree=111874884/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=2590744 memory=2433428 CPUtime=3033.26 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 508476 0 0 0 302829 497 0 0 20 0 1 0 176907818 2652921856 608357 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 647686 608357 1418 2726 0 644434 0
Current children cumulated CPU time: 3033.26 s
Current children cumulated vsize: 2590744 KiB
Current children cumulated memory: 2433428 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 941206
/proc/meminfo: memFree=111298164/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=2488124 memory=2350492 CPUtime=3093.09 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 510247 0 0 0 308804 505 0 0 20 0 1 0 176907818 2547838976 587623 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 622031 587623 1418 2726 0 618779 0
Current children cumulated CPU time: 3093.09 s
Current children cumulated vsize: 2488124 KiB
Current children cumulated memory: 2350492 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 941221
/proc/meminfo: memFree=110995976/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=2760484 memory=2587100 CPUtime=3152.91 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 532832 0 0 0 314777 514 0 0 20 0 1 0 176907818 2826735616 646775 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 690121 646775 1418 2726 0 686869 0
Current children cumulated CPU time: 3152.91 s
Current children cumulated vsize: 2760484 KiB
Current children cumulated memory: 2587100 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 941232
/proc/meminfo: memFree=111392492/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=2651872 memory=2492672 CPUtime=3212.7 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 536045 0 0 0 320752 518 0 0 20 0 1 0 176907818 2715516928 623168 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 662968 623168 1418 2726 0 659716 0
Current children cumulated CPU time: 3212.7 s
Current children cumulated vsize: 2651872 KiB
Current children cumulated memory: 2492672 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/257 941242
/proc/meminfo: memFree=111534536/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=2643020 memory=2484428 CPUtime=3272.49 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 539201 0 0 0 326729 520 0 0 20 0 1 0 176907818 2706452480 621107 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 660755 621107 1418 2726 0 657503 0
Current children cumulated CPU time: 3272.49 s
Current children cumulated vsize: 2643020 KiB
Current children cumulated memory: 2484428 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 941252
/proc/meminfo: memFree=111401544/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=2665008 memory=2508024 CPUtime=3332.28 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 541577 0 0 0 332704 524 0 0 20 0 1 0 176907818 2728968192 627006 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 666252 627006 1418 2726 0 663000 0
Current children cumulated CPU time: 3332.28 s
Current children cumulated vsize: 2665008 KiB
Current children cumulated memory: 2508024 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 941265
/proc/meminfo: memFree=110089460/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=3154636 memory=2985336 CPUtime=3392.1 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 545794 0 0 0 338661 549 0 0 20 0 1 0 176907818 3230347264 746334 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 788659 746334 1418 2726 0 785407 0
Current children cumulated CPU time: 3392.1 s
Current children cumulated vsize: 3154636 KiB
Current children cumulated memory: 2985336 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 941277
/proc/meminfo: memFree=110071748/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=3154636 memory=2985352 CPUtime=3451.91 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 546468 0 0 0 344642 549 0 0 20 0 1 0 176907818 3230347264 746338 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 788659 746338 1418 2726 0 785407 0
Current children cumulated CPU time: 3451.91 s
Current children cumulated vsize: 3154636 KiB
Current children cumulated memory: 2985352 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 941287
/proc/meminfo: memFree=110679300/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=2568712 memory=2434176 CPUtime=3511.74 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 547536 0 0 0 350621 553 0 0 20 0 1 0 176907818 2630361088 608544 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 642178 608544 1418 2726 0 638926 0
Current children cumulated CPU time: 3511.74 s
Current children cumulated vsize: 2568712 KiB
Current children cumulated memory: 2434176 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 941297
/proc/meminfo: memFree=110676496/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=2571592 memory=2437056 CPUtime=3571.57 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 549061 0 0 0 356601 556 0 0 20 0 1 0 176907818 2633310208 609264 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 642898 609264 1418 2726 0 639646 0
Current children cumulated CPU time: 3571.57 s
Current children cumulated vsize: 2571592 KiB
Current children cumulated memory: 2437056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.32 4.15 4.11 4/249 941333
/proc/meminfo: memFree=116543444/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=2571592 memory=2437056 CPUtime=3600.08 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 549358 0 0 0 359452 556 0 0 20 0 1 0 176907818 2633310208 609264 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 642898 609264 1418 2726 0 639646 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2571592 KiB
Current children cumulated memory: 2437056 KiB

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

[startup+3610.93 s]
# the end of solver process 939391 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3594.53 s, system=5.58827 s

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

[startup+3610.9 s]
/proc/loadavg: 4.32 4.15 4.11 4/249 941333
/proc/meminfo: memFree=116543444/131524600 swapFree=131071996/131071996
[pid=939391] ppid=939388 vsize=2571592 memory=2437056 CPUtime=3600.08 cores=5,7
/proc/939391/stat : 939391 (CASHWMaxSAT-Dis) R 939388 939391 935374 0 -1 4194304 549358 0 0 0 359452 556 0 0 20 0 1 0 176907818 2633310208 609264 134679101440 4194304 15356333 140725238047648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26402816 140725238055906 140725238056022 140725238056022 140725238063038 0
/proc/939391/statm: 642898 609264 1418 2726 0 639646 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2571592 KiB
Current children cumulated memory: 2437056 KiB

Child status: 0

Real time (s): 3610.93
CPU time (s): 3600.12
CPU user time (s): 3594.53
CPU system time (s): 5.58827
CPU usage (%): 99.7007
Max. virtual memory (cumulated for all children) (KiB): 3454524
Max. memory (cumulated for all children) (KiB): 3285032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.53
system time used= 5.58827
maximum resident set size= 3285032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 549358
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= 187
involuntary context switches= 1825


# summary of solver processes directly reported to runsolver:
#   pid: 939391
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3594.53
#   total CPU system time (s): 5.58827

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58444 second user time and 17.66 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-17 22:17:29
IDJOB=4438906
IDBENCH=157605
IDSOLVER=3074
FILE ID=nodeC022/4438906-1721247436
RUNJOBID= nodeC022-1721240223-935387
SLURM_JOB_ID= 7508993
Free space on /tmp= 889932 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod2.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438906-1721247436/watcher-4438906-1721247436 -o /tmp/evaluation-result-4438906-1721247436/solver-4438906-1721247436 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721240223-935387 --watchdog 3760  CASHWMaxSAT-DisjCad-SP HOME/instance-4438906-1721247436.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 8bd0f5aea9ca570f3d71e7c4d3c71b5a
RANDOM SEED=1892305531

nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3680.275
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3688.021
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.96
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		: 3600.071
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.66
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		: 3615.825
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.96
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		: 3680.266
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.66
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		: 3674.215
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.96
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.110
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.66
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		: 3686.384
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125852824 kB
MemAvailable:   128231252 kB
Buffers:          447724 kB
Cached:          2751148 kB
SwapCached:            0 kB
Active:          1144804 kB
Inactive:        3889988 kB
Active(anon):       1548 kB
Inactive(anon):  1872088 kB
Active(file):    1143256 kB
Inactive(file):  2017900 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             91604 kB
Writeback:           244 kB
AnonPages:       1834216 kB
Mapped:           114960 kB
Shmem:             37720 kB
KReclaimable:     113840 kB
Slab:             224296 kB
SReclaimable:     113840 kB
SUnreclaim:       110456 kB
KernelStack:        4048 kB
PageTables:        12832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2394520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            65088 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1050624 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      240340 kB
DirectMap2M:    26796032 kB
DirectMap1G:    109051904 kB

Free space on /tmp at the end= 889956 MiB
End job on nodeC022 at 2024-07-17 23:17:40