Trace number 4425829

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Exact 2024-07-05? (TO) 3600.23 3611.37

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-22reduc_wcsp.wbo
MD5SUM145fe6fe39a80fcaff25336bfbc8c080
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1430
Total number of constraints70954
Number of soft constraints70873
Number of constraints which are clauses70873
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint22
Top cost 3389
Min constraint cost 1
Max constraint cost 2435
Sum of constraints costs 23717414
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 23
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.05/3611.25	c Program interrupted by user.
3600.05/3611.25	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: 63968 MiB (59828 MiB free)
  memory of node 1: 64473 MiB (62608 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425829-1720882969/watcher-4425829-1720882969 -o /tmp/evaluation-result-4425829-1720882969/solver-4425829-1720882969 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1720879371-708768 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=843072202 HOME/instance-4425829-1720882969.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=711213, runsolver pid=711210

[startup+0.100342 s]*
/proc/loadavg: 4.12 4.14 4.09 5/257 711214
/proc/meminfo: memFree=125292440/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=77984 memory=57168 CPUtime=0.09 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 15172 0 0 0 7 2 0 0 20 0 1 0 140463620 79855616 14292 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 19496 14292 884 1005 0 18259 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77984 KiB
Current children cumulated memory: 57168 KiB

[startup+0.205519 s]*
/proc/loadavg: 4.12 4.14 4.09 5/257 711214
/proc/meminfo: memFree=125218888/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=128252 memory=107120 CPUtime=0.19 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 23552 0 0 0 16 3 0 0 20 0 1 0 140463620 131330048 26780 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 32063 26780 884 1005 0 30826 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 128252 KiB
Current children cumulated memory: 107120 KiB

[startup+0.305709 s]*
/proc/loadavg: 4.12 4.14 4.09 5/257 711214
/proc/meminfo: memFree=125172376/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=157792 memory=138212 CPUtime=0.29 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 31003 0 0 0 25 4 0 0 20 0 1 0 140463620 161579008 34553 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 39448 34553 900 1005 0 38211 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 157792 KiB
Current children cumulated memory: 138212 KiB

[startup+0.700231 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 711214
/proc/meminfo: memFree=125051620/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=270484 memory=253520 CPUtime=0.68 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 50852 0 0 0 60 8 0 0 20 0 1 0 140463620 276975616 63380 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 67621 63380 1092 1005 0 66384 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 270484 KiB
Current children cumulated memory: 253520 KiB

[startup+1.5002 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 711214
/proc/meminfo: memFree=124770616/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=270484 memory=253520 CPUtime=1.48 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 50853 0 0 0 140 8 0 0 20 0 1 0 140463620 276975616 63380 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 67621 63380 1092 1005 0 66384 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 270484 KiB
Current children cumulated memory: 253520 KiB

[startup+3.1057 s]
/proc/loadavg: 4.12 4.14 4.09 5/253 711295
/proc/meminfo: memFree=128677696/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=284268 memory=264684 CPUtime=3.08 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 52646 0 0 0 299 9 0 0 20 0 1 0 140463620 291090432 66171 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 71067 66171 1140 1005 0 69830 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 284268 KiB
Current children cumulated memory: 264684 KiB

[startup+6.30022 s]
/proc/loadavg: 4.11 4.14 4.09 5/257 711306
/proc/meminfo: memFree=127389964/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=313012 memory=283232 CPUtime=6.27 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 56582 0 0 0 617 10 0 0 20 0 1 0 140463620 320524288 70808 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 78253 70808 1140 1005 0 77016 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 313012 KiB
Current children cumulated memory: 283232 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.14 4.09 5/257 711308
/proc/meminfo: memFree=125542908/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=363052 memory=338044 CPUtime=12.64 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 65665 0 0 0 1252 12 0 0 20 0 1 0 140463620 371765248 84511 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 90763 84511 1140 1005 0 89526 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 363052 KiB
Current children cumulated memory: 338044 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.09 5/257 711310
/proc/meminfo: memFree=124869332/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=503140 memory=485992 CPUtime=25.41 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 89310 0 0 0 2524 17 0 0 20 0 1 0 140463620 515215360 121498 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 125785 121498 1140 1005 0 124548 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 503140 KiB
Current children cumulated memory: 485992 KiB

[startup+51.1054 s]
/proc/loadavg: 4.10 4.13 4.09 5/255 711314
/proc/meminfo: memFree=124012696/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=918460 memory=877664 CPUtime=50.93 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 142646 0 0 0 5060 33 0 0 20 0 1 0 140463620 940503040 219416 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 229615 219416 1140 1005 0 228378 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 918460 KiB
Current children cumulated memory: 877664 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/255 711324
/proc/meminfo: memFree=123301668/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=1193716 memory=1025456 CPUtime=101.96 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 154074 0 0 0 10153 43 0 0 20 0 1 0 140463620 1222365184 256364 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 298429 256364 1140 1005 0 297192 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1193716 KiB
Current children cumulated memory: 1025456 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/255 711334
/proc/meminfo: memFree=122651624/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=1243916 memory=1078292 CPUtime=161.77 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 163135 0 0 0 16131 46 0 0 20 0 1 0 140463620 1273769984 269573 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 310979 269573 1140 1005 0 309742 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1243916 KiB
Current children cumulated memory: 1078292 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/255 711345
/proc/meminfo: memFree=121707148/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=1378568 memory=1292688 CPUtime=221.59 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 191363 0 0 0 22104 55 0 0 20 0 1 0 140463620 1411653632 323172 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 344642 323172 1140 1005 0 343405 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 1378568 KiB
Current children cumulated memory: 1292688 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 711356
/proc/meminfo: memFree=120737160/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=2073344 memory=1850064 CPUtime=281.4 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 259070 0 0 0 28058 82 0 0 20 0 1 0 140463620 2123104256 462516 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 518336 462516 1140 1005 0 517099 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 2073344 KiB
Current children cumulated memory: 1850064 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/255 711366
/proc/meminfo: memFree=119863868/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=2079464 memory=1862484 CPUtime=341.21 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 262517 0 0 0 34037 84 0 0 20 0 1 0 140463620 2129371136 465621 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 519866 465621 1140 1005 0 518629 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 2079464 KiB
Current children cumulated memory: 1862484 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 711376
/proc/meminfo: memFree=119158960/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=2079464 memory=1862784 CPUtime=401.02 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 262798 0 0 0 40016 86 0 0 20 0 1 0 140463620 2129371136 465696 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 519866 465696 1140 1005 0 518629 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 2079464 KiB
Current children cumulated memory: 1862784 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/259 711394
/proc/meminfo: memFree=118522252/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=2079464 memory=1862784 CPUtime=460.84 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 263107 0 0 0 45996 88 0 0 20 0 1 0 140463620 2129371136 465696 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 519866 465696 1140 1005 0 518629 0
Current children cumulated CPU time: 460.84 s

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

Current children cumulated memory: 2616032 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/257 712450
/proc/meminfo: memFree=103651484/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=3262720 memory=2616056 CPUtime=2913.27 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 389369 0 0 0 291097 230 0 0 20 0 1 0 140463620 3341025280 654014 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 815680 654014 1140 1005 0 814443 0
Current children cumulated CPU time: 2913.27 s
Current children cumulated vsize: 3262720 KiB
Current children cumulated memory: 2616056 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 712460
/proc/meminfo: memFree=103086904/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=3262720 memory=2616096 CPUtime=2973.08 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 389655 0 0 0 297075 233 0 0 20 0 1 0 140463620 3341025280 654024 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 815680 654024 1140 1005 0 814443 0
Current children cumulated CPU time: 2973.08 s
Current children cumulated vsize: 3262720 KiB
Current children cumulated memory: 2616096 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 712472
/proc/meminfo: memFree=102935156/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=3264100 memory=2616664 CPUtime=3032.9 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 390095 0 0 0 303054 236 0 0 20 0 1 0 140463620 3342438400 654166 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 816025 654166 1140 1005 0 814788 0
Current children cumulated CPU time: 3032.9 s
Current children cumulated vsize: 3264100 KiB
Current children cumulated memory: 2616664 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 712483
/proc/meminfo: memFree=102720076/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=3267408 memory=2618320 CPUtime=3092.7 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 390873 0 0 0 309032 238 0 0 20 0 1 0 140463620 3345825792 654580 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 816852 654580 1140 1005 0 815615 0
Current children cumulated CPU time: 3092.7 s
Current children cumulated vsize: 3267408 KiB
Current children cumulated memory: 2618320 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 712875
/proc/meminfo: memFree=102556348/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=3267408 memory=2619976 CPUtime=3152.53 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 391649 0 0 0 315013 240 0 0 20 0 1 0 140463620 3345825792 654994 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 816852 654994 1140 1005 0 815615 0
Current children cumulated CPU time: 3152.53 s
Current children cumulated vsize: 3267408 KiB
Current children cumulated memory: 2619976 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 712885
/proc/meminfo: memFree=102238792/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=3267408 memory=2619976 CPUtime=3212.34 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 391823 0 0 0 320991 243 0 0 20 0 1 0 140463620 3345825792 654994 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 816852 654994 1140 1005 0 815615 0
Current children cumulated CPU time: 3212.34 s
Current children cumulated vsize: 3267408 KiB
Current children cumulated memory: 2619976 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 712897
/proc/meminfo: memFree=101979052/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=3267408 memory=2619988 CPUtime=3272.15 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 392129 0 0 0 326970 245 0 0 20 0 1 0 140463620 3345825792 654997 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 816852 654997 1140 1005 0 815615 0
Current children cumulated CPU time: 3272.15 s
Current children cumulated vsize: 3267408 KiB
Current children cumulated memory: 2619988 KiB

[startup+3342.3 s]
/proc/loadavg: 4.49 4.20 4.12 5/257 713077
/proc/meminfo: memFree=101844984/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=3268500 memory=2620932 CPUtime=3331.97 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 392726 0 0 0 332949 248 0 0 20 0 1 0 140463620 3346944000 655233 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 817125 655233 1140 1005 0 815888 0
Current children cumulated CPU time: 3331.97 s
Current children cumulated vsize: 3268500 KiB
Current children cumulated memory: 2620932 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/257 713087
/proc/meminfo: memFree=101685856/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=3268500 memory=2621184 CPUtime=3391.79 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 393150 0 0 0 338927 252 0 0 20 0 1 0 140463620 3346944000 655296 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 817125 655296 1140 1005 0 815888 0
Current children cumulated CPU time: 3391.79 s
Current children cumulated vsize: 3268500 KiB
Current children cumulated memory: 2621184 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/256 713100
/proc/meminfo: memFree=101547460/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=3268500 memory=2621224 CPUtime=3451.61 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 393552 0 0 0 344907 254 0 0 20 0 1 0 140463620 3346944000 655306 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 817125 655306 1140 1005 0 815888 0
Current children cumulated CPU time: 3451.61 s
Current children cumulated vsize: 3268500 KiB
Current children cumulated memory: 2621224 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/257 713122
/proc/meminfo: memFree=101379536/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=3268500 memory=2621224 CPUtime=3511.42 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 393985 0 0 0 350887 255 0 0 20 0 1 0 140463620 3346944000 655306 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 817125 655306 1140 1005 0 815888 0
Current children cumulated CPU time: 3511.42 s
Current children cumulated vsize: 3268500 KiB
Current children cumulated memory: 2621224 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/257 713132
/proc/meminfo: memFree=101228872/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=3268500 memory=2621224 CPUtime=3571.24 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 394242 0 0 0 356865 259 0 0 20 0 1 0 140463620 3346944000 655306 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 817125 655306 1140 1005 0 815888 0
Current children cumulated CPU time: 3571.24 s
Current children cumulated vsize: 3268500 KiB
Current children cumulated memory: 2621224 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.05 4.12 4.09 3/247 713183
/proc/meminfo: memFree=111012540/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=3268500 memory=2621224 CPUtime=3600.05 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 394445 0 0 0 359744 261 0 0 20 0 1 0 140463620 3346944000 655306 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 817125 655306 1140 1005 0 815888 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3268500 KiB
Current children cumulated memory: 2621224 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.56 s, system=2.66133 s

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

[startup+3611.3 s]
/proc/loadavg: 4.05 4.12 4.09 3/247 713183
/proc/meminfo: memFree=111012540/131524600 swapFree=131071996/131071996
[pid=711213] ppid=711210 vsize=1701668 memory=1527000 CPUtime=3600.15 cores=1,3
/proc/711213/stat : 711213 (Exact) R 711210 711213 705576 0 -1 4194304 394456 0 0 0 359754 261 0 0 20 0 1 0 140463620 1742508032 381750 134679101440 4194304 8309489 140724425133536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22589440 140724425139109 140724425139278 140724425139278 140724425146319 0
/proc/711213/statm: 425417 381750 1153 1005 0 424180 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 1701668 KiB
Current children cumulated memory: 1527000 KiB

Child status: 0

Real time (s): 3611.37
CPU time (s): 3600.23
CPU user time (s): 3597.56
CPU system time (s): 2.66133
CPU usage (%): 99.6915
Max. virtual memory (cumulated for all children) (KiB): 3891976
Max. memory (cumulated for all children) (KiB): 3088124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.56
system time used= 2.66133
maximum resident set size= 3090172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 394465
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= 2
involuntary context switches= 3832


# summary of solver processes directly reported to runsolver:
#   pid: 711213
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3597.56
#   total CPU system time (s): 2.66133

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.41815 second user time and 14.3599 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-13 17:03:02
IDJOB=4425829
IDBENCH=143873
IDSOLVER=3040
FILE ID=nodeC027/4425829-1720882969
RUNJOBID= nodeC027-1720879371-708768
SLURM_JOB_ID= 7483768
Free space on /tmp= 890056 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-22reduc_wcsp.wbo
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425829-1720882969/watcher-4425829-1720882969 -o /tmp/evaluation-result-4425829-1720882969/solver-4425829-1720882969 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1720879371-708768 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=843072202 HOME/instance-4425829-1720882969.wbo

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

MD5SUM BENCH= 145fe6fe39a80fcaff25336bfbc8c080
RANDOM SEED=843072202

nodeC027.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		: 3663.810
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	: 7000.36
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		: 3666.989
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.29
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.215
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	: 7000.36
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		: 3658.947
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.29
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		: 3663.778
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	: 7000.36
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		: 3675.906
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.29
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.406
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	: 7000.36
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.553
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125395288 kB
MemAvailable:   125350240 kB
Buffers:          321756 kB
Cached:           481656 kB
SwapCached:            0 kB
Active:           487976 kB
Inactive:        5082112 kB
Active(anon):       1552 kB
Inactive(anon):  4802884 kB
Active(file):     486424 kB
Inactive(file):   279228 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21200 kB
Writeback:             0 kB
AnonPages:       4764808 kB
Mapped:           114156 kB
Shmem:             37720 kB
KReclaimable:      58248 kB
Slab:             155488 kB
SReclaimable:      58248 kB
SUnreclaim:        97240 kB
KernelStack:        4160 kB
PageTables:        18508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    6434972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53728 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4177920 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:      170708 kB
DirectMap2M:     7991296 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 890044 MiB
End job on nodeC027 at 2024-07-13 18:03:14