Trace number 4426658

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
NaPS 1.03? (exit code) 803.534 818.454

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-18reduc_wcsp.wbo
MD5SUM85c9e899b779dcafda2f7e25c2fdc65d
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 variables1758
Total number of constraints105203
Number of soft constraints105121
Number of constraints which are clauses105121
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint26
Top cost 3389
Min constraint cost 1
Max constraint cost 2436
Sum of constraints costs 36645766
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 27
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 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c Input file name: HOME/instance-4426658-1720909020.wbo
1.09/1.12	c single stage optimization mode
42.20/42.37	o 164104
154.33/154.79	o 57719
799.31/801.42	terminate called after throwing an instance of 'std::bad_alloc'
799.31/801.42	  what():  std::bad_alloc
0.00/818.45	HOME/naps-1.03.sh: line 6: 729240 Aborted                 (core dumped) ${self_dir}/naps-1.03 ${@}

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: 64059 MiB (63020 MiB free)
  memory of node 1: 64510 MiB (63438 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426658-1720909020/watcher-4426658-1720909020 -o /tmp/evaluation-result-4426658-1720909020/solver-4426658-1720909020 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1720905422-726366 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4426658-1720909020.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=729235, runsolver pid=729232

[startup+0.100708 s]*
/proc/loadavg: 4.17 4.18 4.18 5/245 729240
/proc/meminfo: memFree=129489480/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=9128 memory=7524 CPUtime=0.09 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 1587 0 0 0 9 0 0 0 20 0 1 0 143060057 9347072 1881 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 2282 1881 580 659 0 1486 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 19060 KiB
Current children cumulated memory: 10220 KiB

[startup+0.212871 s]*
/proc/loadavg: 4.17 4.18 4.18 5/245 729240
/proc/meminfo: memFree=129479404/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=18116 memory=16400 CPUtime=0.2 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 4058 0 0 0 20 0 0 0 20 0 1 0 143060057 18550784 4100 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 4529 4100 580 659 0 3733 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 28048 KiB
Current children cumulated memory: 19096 KiB

[startup+0.312731 s]*
/proc/loadavg: 4.17 4.18 4.18 5/245 729240
/proc/meminfo: memFree=129468288/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=29272 memory=26912 CPUtime=0.31 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 7213 0 0 0 30 1 0 0 20 0 1 0 143060057 29974528 6728 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 7318 6728 580 659 0 6522 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39204 KiB
Current children cumulated memory: 29608 KiB

[startup+0.700385 s]
/proc/loadavg: 4.16 4.17 4.18 5/245 729240
/proc/meminfo: memFree=129448568/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=73348 memory=70248 CPUtime=0.68 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 17540 0 0 0 65 3 0 0 20 0 1 0 143060057 75108352 17562 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 18337 17562 580 659 0 17541 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 83280 KiB
Current children cumulated memory: 72944 KiB

[startup+1.50041 s]
/proc/loadavg: 4.16 4.17 4.18 5/245 729240
/proc/meminfo: memFree=129403540/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=100840 memory=98352 CPUtime=1.48 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 24504 0 0 0 144 4 0 0 20 0 1 0 143060057 103260160 24588 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 25210 24588 612 659 0 24414 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 110772 KiB
Current children cumulated memory: 101048 KiB

[startup+3.11241 s]
/proc/loadavg: 4.16 4.17 4.18 5/245 729241
/proc/meminfo: memFree=129395984/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=100840 memory=98352 CPUtime=3.09 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 24506 0 0 0 305 4 0 0 20 0 1 0 143060057 103260160 24588 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 25210 24588 612 659 0 24414 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 110772 KiB
Current children cumulated memory: 101048 KiB

[startup+6.30034 s]
/proc/loadavg: 4.14 4.17 4.18 5/245 729291
/proc/meminfo: memFree=129584828/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=100840 memory=98352 CPUtime=6.27 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 24508 0 0 0 623 4 0 0 20 0 1 0 143060057 103260160 24588 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 25210 24588 612 659 0 24414 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 110772 KiB
Current children cumulated memory: 101048 KiB

[startup+12.7003 s]
/proc/loadavg: 4.21 4.19 4.18 5/245 729291
/proc/meminfo: memFree=127428852/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=100840 memory=98352 CPUtime=12.66 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 24512 0 0 0 1262 4 0 0 20 0 1 0 143060057 103260160 24588 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 25210 24588 612 659 0 24414 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 110772 KiB
Current children cumulated memory: 101048 KiB

[startup+25.5004 s]
/proc/loadavg: 4.18 4.18 4.18 5/245 729294
/proc/meminfo: memFree=126623880/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=100840 memory=98352 CPUtime=25.43 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 24516 0 0 0 2539 4 0 0 20 0 1 0 143060057 103260160 24588 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 25210 24588 612 659 0 24414 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 110772 KiB
Current children cumulated memory: 101048 KiB

[startup+51.1128 s]
/proc/loadavg: 4.11 4.16 4.17 5/245 729347
/proc/meminfo: memFree=124312864/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=1044468 memory=1020764 CPUtime=50.99 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 104423 0 0 0 5068 31 0 0 20 0 1 0 143060057 1069535232 255191 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 261117 255191 612 659 0 260321 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 1054400 KiB
Current children cumulated memory: 1023460 KiB

[startup+102.3 s]
/proc/loadavg: 4.34 4.20 4.19 5/245 729357
/proc/meminfo: memFree=100099688/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=20224696 memory=18809676 CPUtime=102.07 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 1540046 0 0 0 9506 701 0 0 20 0 1 0 143060057 20710088704 4702419 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 5056174 4702419 644 659 0 5055378 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 20234628 KiB
Current children cumulated memory: 18812372 KiB

[startup+162.3 s]
/proc/loadavg: 4.99 4.41 4.26 5/245 729368
/proc/meminfo: memFree=92775688/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=22393448 memory=20546048 CPUtime=161.9 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 1607291 0 0 0 15429 761 0 0 20 0 1 0 143060057 22930890752 5136512 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 5598362 5136512 644 659 0 5597566 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 22403380 KiB
Current children cumulated memory: 20548744 KiB

[startup+222.3 s]
/proc/loadavg: 4.40 4.35 4.25 5/248 729433
/proc/meminfo: memFree=84742860/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=24218172 memory=23059140 CPUtime=221.74 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 2172983 0 0 0 21300 874 0 0 20 0 1 0 143060057 24799408128 5764785 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 6054543 5764785 644 659 0 6053747 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 24228104 KiB

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

/proc/loadavg: 4.10 4.16 4.18 5/247 729883
/proc/meminfo: memFree=71838572/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=25684056 memory=24525288 CPUtime=580.78 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 2244405 0 0 0 56818 1260 0 0 20 0 1 0 143060057 26300473344 6131322 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 6421014 6131322 644 659 0 6420218 0
Current children cumulated CPU time: 580.78 s
Current children cumulated vsize: 25693988 KiB
Current children cumulated memory: 24527984 KiB

[startup+642.3 s]
/proc/loadavg: 4.08 4.15 4.18 5/247 729893
/proc/meminfo: memFree=72329844/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=24946336 memory=23787588 CPUtime=640.64 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 2401407 0 0 0 62752 1312 0 0 20 0 1 0 143060057 25545048064 5946897 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 6236584 5946897 644 659 0 6235788 0
Current children cumulated CPU time: 640.64 s
Current children cumulated vsize: 24956268 KiB
Current children cumulated memory: 23790284 KiB

[startup+702.3 s]
/proc/loadavg: 4.07 4.13 4.17 5/249 730073
/proc/meminfo: memFree=77681344/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=26378620 memory=25219792 CPUtime=700.49 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 2419882 0 0 0 68623 1426 0 0 20 0 1 0 143060057 27011706880 6304948 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 6594655 6304948 644 659 0 6593859 0
Current children cumulated CPU time: 700.49 s
Current children cumulated vsize: 26388552 KiB
Current children cumulated memory: 25222488 KiB

[startup+762.3 s]
/proc/loadavg: 4.16 4.15 4.18 5/249 730084
/proc/meminfo: memFree=76060724/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=29410468 memory=27594440 CPUtime=760.32 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 2662466 0 0 0 74488 1544 0 0 20 0 1 0 143060057 30116319232 6898610 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 7352617 6898610 660 659 0 7351821 0
Current children cumulated CPU time: 760.32 s
Current children cumulated vsize: 29420400 KiB
Current children cumulated memory: 27597136 KiB

[startup+818.454 s]
# the end of solver process 729235 was just reported to runsolver
# Child status: 134

# cumulated CPU time of all completed processes:  user=783.463 s, system=20.0708 s

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

[startup+768 s]*
/proc/loadavg: 4.15 4.15 4.18 5/249 730086
/proc/meminfo: memFree=75758300/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=31616488 memory=27730192 CPUtime=766.01 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 2667153 0 0 0 75054 1547 0 0 20 0 1 0 143060057 32375283712 6932548 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 7904122 6932548 660 659 0 7903326 0
Current children cumulated CPU time: 766.01 s
Current children cumulated vsize: 31626420 KiB
Current children cumulated memory: 27732888 KiB

[startup+793.6 s]
/proc/loadavg: 4.17 4.15 4.18 5/249 730091
/proc/meminfo: memFree=73331268/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=31616488 memory=29827124 CPUtime=791.53 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) R 729235 729235 724053 0 -1 4194304 2670670 0 0 0 77565 1588 0 0 20 0 1 0 143060057 32375283712 7456781 134679101440 4194304 6891213 140736282682064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 7904122 7456781 660 659 0 7903326 0
Current children cumulated CPU time: 791.53 s
Current children cumulated vsize: 31626420 KiB
Current children cumulated memory: 29829820 KiB

[startup+806.4 s]
/proc/loadavg: 4.13 4.14 4.17 5/252 730152
/proc/meminfo: memFree=70415276/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=31616488 memory=29827124 CPUtime=802.75 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) S 729235 729235 724053 0 -1 4195840 2670949 0 0 0 78346 1929 0 0 20 0 1 0 143060057 32375283712 7456781 134679101440 4194304 6891213 140736282682064 140736282676656 6272572 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 7904122 7456781 660 659 0 7903326 0
Current children cumulated CPU time: 802.75 s
Current children cumulated vsize: 31626420 KiB
Current children cumulated memory: 29829820 KiB

[startup+812.8 s]
/proc/loadavg: 4.12 4.14 4.17 4/252 730152
/proc/meminfo: memFree=69507152/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=31616488 memory=29827124 CPUtime=802.75 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) S 729235 729235 724053 0 -1 4195840 2670949 0 0 0 78346 1929 0 0 20 0 1 0 143060057 32375283712 7456781 134679101440 4194304 6891213 140736282682064 140736282676656 6272572 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 7904122 7456781 660 659 0 7903326 0
Current children cumulated CPU time: 802.75 s
Current children cumulated vsize: 31626420 KiB
Current children cumulated memory: 29829820 KiB

[startup+816 s]*
/proc/loadavg: 4.11 4.14 4.17 4/252 730154
/proc/meminfo: memFree=69507432/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=31616488 memory=29827124 CPUtime=802.75 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) S 729235 729235 724053 0 -1 4195840 2670949 0 0 0 78346 1929 0 0 20 0 1 0 143060057 32375283712 7456781 134679101440 4194304 6891213 140736282682064 140736282676656 6272572 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 7904122 7456781 660 659 0 7903326 0
Current children cumulated CPU time: 802.75 s
Current children cumulated vsize: 31626420 KiB
Current children cumulated memory: 29829820 KiB

[startup+817.6 s]
/proc/loadavg: 4.11 4.14 4.17 5/252 730155
/proc/meminfo: memFree=69648060/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
[pid=729240] ppid=729235 vsize=31616488 memory=29827124 CPUtime=802.75 cores=1,3
/proc/729240/stat : 729240 (naps-1.03) S 729235 729235 724053 0 -1 4195840 2670949 0 0 0 78346 1929 0 0 20 0 1 0 143060057 32375283712 7456781 134679101440 4194304 6891213 140736282682064 140736282676656 6272572 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8904704 140736282686401 140736282686513 140736282686513 140736282693579 0
/proc/729240/statm: 7904122 7456781 660 659 0 7903326 0
Current children cumulated CPU time: 802.75 s
Current children cumulated vsize: 31626420 KiB
Current children cumulated memory: 29829820 KiB

[startup+818.002 s]*
/proc/loadavg: 4.11 4.14 4.17 5/251 730160
/proc/meminfo: memFree=76864540/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2696 KiB

[startup+818.4 s]
/proc/loadavg: 4.11 4.14 4.17 5/251 730160
/proc/meminfo: memFree=76864540/131655788 swapFree=131071996/131071996
[pid=729235] ppid=729232 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/729235/stat : 729235 (naps-1.03.sh) S 729232 729235 724053 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 143060056 10170368 674 134679101440 94377317859328 94377318938648 140720820058272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94377321037104 94377321084292 94377354416128 140720820065200 140720820065325 140720820065325 140720820072392 0
/proc/729235/statm: 2483 674 596 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2696 KiB

Child status: 134

Real time (s): 818.454
CPU time (s): 803.534
CPU user time (s): 783.463
CPU system time (s): 20.0708
CPU usage (%): 98.177
Max. virtual memory (cumulated for all children) (KiB): 31626420
Max. memory (cumulated for all children) (KiB): 29829820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 783.463
system time used= 20.0708
maximum resident set size= 29827312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2671429
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= 154
involuntary context switches= 889


# summary of solver processes directly reported to runsolver:
#   pid: 729235
#   total CPU time (s): 803.534
#   total CPU user time (s): 783.463
#   total CPU system time (s): 20.0708

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.03036 second user time and 8.47758 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-14 00:17:13
IDJOB=4426658
IDBENCH=143871
IDSOLVER=3043
FILE ID=nodeC002/4426658-1720909020
RUNJOBID= nodeC002-1720905422-726366
SLURM_JOB_ID= 7486068
Free space on /tmp= 723764 MiB

SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-18reduc_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426658-1720909020/watcher-4426658-1720909020 -o /tmp/evaluation-result-4426658-1720909020/solver-4426658-1720909020 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1720905422-726366 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4426658-1720909020.wbo

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

MD5SUM BENCH= 85c9e899b779dcafda2f7e25c2fdc65d
RANDOM SEED=1359696335

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129493756 kB
MemAvailable:   129441740 kB
Buffers:          344460 kB
Cached:           450768 kB
SwapCached:            0 kB
Active:           508464 kB
Inactive:        1148328 kB
Active(anon):       2732 kB
Inactive(anon):   896564 kB
Active(file):     505732 kB
Inactive(file):   251764 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              8428 kB
Writeback:             0 kB
AnonPages:        858348 kB
Mapped:           109868 kB
Shmem:             37704 kB
KReclaimable:      61036 kB
Slab:             151976 kB
SReclaimable:      61036 kB
SUnreclaim:        90940 kB
KernelStack:        3944 kB
PageTables:        10672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1257200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            48192 kB
HardwareCorrupted:     0 kB
AnonHugePages:    858112 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:      160584 kB
DirectMap2M:     7084032 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 723748 MiB
End job on nodeC002 at 2024-07-14 00:30:51