Trace number 4425827

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.18 3607.91

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 

3600.06/3607.80	c Program interrupted by user.
3600.06/3607.80	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 (62397 MiB free)
  memory of node 1: 64510 MiB (54380 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425827-1720882952/watcher-4425827-1720882952 -o /tmp/evaluation-result-4425827-1720882952/solver-4425827-1720882952 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1720881340-710403 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1139502208 HOME/instance-4425827-1720882952.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=711922, runsolver pid=711919

[startup+0.100091 s]*
/proc/loadavg: 4.05 4.09 3.65 5/255 711923
/proc/meminfo: memFree=119530620/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=79412 memory=56404 CPUtime=0.09 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 15990 0 0 0 7 2 0 0 20 0 1 0 140462622 81317888 14101 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 19853 14101 884 1005 0 18616 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 79412 KiB
Current children cumulated memory: 56404 KiB

[startup+0.205699 s]*
/proc/loadavg: 4.05 4.09 3.65 6/255 711923
/proc/meminfo: memFree=119481400/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=137532 memory=113792 CPUtime=0.2 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 26058 0 0 0 16 4 0 0 20 0 1 0 140462622 140832768 28448 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 34383 28448 884 1005 0 33146 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 137532 KiB
Current children cumulated memory: 113792 KiB

[startup+0.305912 s]*
/proc/loadavg: 4.05 4.09 3.65 5/255 711923
/proc/meminfo: memFree=119450516/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=154048 memory=134016 CPUtime=0.3 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 32405 0 0 0 25 5 0 0 20 0 1 0 140462622 157745152 33504 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 38512 33504 884 1005 0 37275 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 154048 KiB
Current children cumulated memory: 134016 KiB

[startup+0.700226 s]
/proc/loadavg: 4.05 4.09 3.65 5/255 711923
/proc/meminfo: memFree=119397972/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=254164 memory=242456 CPUtime=0.68 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 54909 0 0 0 60 8 0 0 20 0 1 0 140462622 260263936 60614 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 63541 60614 1044 1005 0 62304 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 254164 KiB
Current children cumulated memory: 242456 KiB

[startup+1.50023 s]
/proc/loadavg: 4.05 4.09 3.65 5/255 711923
/proc/meminfo: memFree=119249880/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=350800 memory=338160 CPUtime=1.48 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 68204 0 0 0 137 11 0 0 20 0 1 0 140462622 359219200 84540 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 87700 84540 1108 1005 0 86463 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 350800 KiB
Current children cumulated memory: 338160 KiB

[startup+3.10543 s]
/proc/loadavg: 4.05 4.09 3.65 5/255 711923
/proc/meminfo: memFree=119243480/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=350800 memory=339244 CPUtime=3.08 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 69351 0 0 0 297 11 0 0 20 0 1 0 140462622 359219200 84811 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 87700 84811 1108 1005 0 86463 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 350800 KiB
Current children cumulated memory: 339244 KiB

[startup+6.3002 s]
/proc/loadavg: 4.13 4.11 3.66 5/255 711923
/proc/meminfo: memFree=119206520/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=416520 memory=385612 CPUtime=6.28 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 76115 0 0 0 614 14 0 0 20 0 1 0 140462622 426516480 96403 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 104130 96403 1140 1005 0 102893 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 416520 KiB
Current children cumulated memory: 385612 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 3.66 5/255 711925
/proc/meminfo: memFree=119130288/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=511120 memory=459732 CPUtime=12.66 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 86042 0 0 0 1249 17 0 0 20 0 1 0 140462622 523386880 114933 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 127780 114933 1140 1005 0 126543 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 511120 KiB
Current children cumulated memory: 459732 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 3.66 5/255 711927
/proc/meminfo: memFree=118978360/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=640776 memory=605152 CPUtime=25.44 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 102772 0 0 0 2520 24 0 0 20 0 1 0 140462622 656154624 151288 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 160194 151288 1140 1005 0 158957 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 640776 KiB
Current children cumulated memory: 605152 KiB

[startup+51.1058 s]
/proc/loadavg: 4.14 4.11 3.68 5/254 711932
/proc/meminfo: memFree=118674752/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=968292 memory=894124 CPUtime=50.98 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 150280 0 0 0 5062 36 0 0 20 0 1 0 140462622 991531008 223531 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 242073 223531 1140 1005 0 240836 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 968292 KiB
Current children cumulated memory: 894124 KiB

[startup+102.3 s]
/proc/loadavg: 4.28 4.14 3.71 5/254 711941
/proc/meminfo: memFree=118224156/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=1454016 memory=1315116 CPUtime=102.08 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 212787 0 0 0 10151 57 0 0 20 0 1 0 140462622 1488912384 328779 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 363504 328779 1140 1005 0 362267 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 1454016 KiB
Current children cumulated memory: 1315116 KiB

[startup+162.3 s]
/proc/loadavg: 4.30 4.19 3.76 5/254 711951
/proc/meminfo: memFree=117683548/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=2052048 memory=1825348 CPUtime=161.95 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 257082 0 0 0 16115 80 0 0 20 0 1 0 140462622 2101297152 456337 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 513012 456337 1140 1005 0 511775 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 2052048 KiB
Current children cumulated memory: 1825348 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.17 3.78 5/254 711962
/proc/meminfo: memFree=117587680/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=2068844 memory=1844700 CPUtime=221.82 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 261110 0 0 0 22100 82 0 0 20 0 1 0 140462622 2118496256 461175 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 517211 461175 1140 1005 0 515974 0
Current children cumulated CPU time: 221.82 s
Current children cumulated vsize: 2068844 KiB
Current children cumulated memory: 1844700 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.17 3.81 5/254 711973
/proc/meminfo: memFree=117474060/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=2069208 memory=1846568 CPUtime=281.69 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 261873 0 0 0 28086 83 0 0 20 0 1 0 140462622 2118868992 461642 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 517302 461642 1140 1005 0 516065 0
Current children cumulated CPU time: 281.69 s
Current children cumulated vsize: 2069208 KiB
Current children cumulated memory: 1846568 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.15 3.83 5/254 711983
/proc/meminfo: memFree=117300460/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=2107272 memory=1897416 CPUtime=341.57 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 272041 0 0 0 34070 87 0 0 20 0 1 0 140462622 2157846528 474354 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 526818 474354 1140 1005 0 525581 0
Current children cumulated CPU time: 341.57 s
Current children cumulated vsize: 2107272 KiB
Current children cumulated memory: 1897416 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.13 3.85 5/255 711994
/proc/meminfo: memFree=117003008/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=2124128 memory=1913188 CPUtime=401.44 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 275828 0 0 0 40055 89 0 0 20 0 1 0 140462622 2175107072 478297 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 531032 478297 1140 1005 0 529795 0
Current children cumulated CPU time: 401.44 s
Current children cumulated vsize: 2124128 KiB
Current children cumulated memory: 1913188 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.12 3.86 5/257 712008
/proc/meminfo: memFree=115053308/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=3285900 memory=2684208 CPUtime=461.32 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 376592 0 0 0 46000 132 0 0 20 0 1 0 140462622 3364761600 671052 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 821475 671052 1140 1005 0 820238 0
Current children cumulated CPU time: 461.32 s

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

/proc/711922/statm: 1013555 936748 1140 1005 0 1012318 0
Current children cumulated CPU time: 2856.06 s
Current children cumulated vsize: 4054220 KiB
Current children cumulated memory: 3746992 KiB

[startup+2922.3 s]
/proc/loadavg: 1.08 1.52 2.63 2/237 713163
/proc/meminfo: memFree=126100300/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=4054220 memory=3748484 CPUtime=2915.94 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 561168 0 0 0 291362 232 0 0 20 0 1 0 140462622 4151521280 937121 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 1013555 937121 1140 1005 0 1012318 0
Current children cumulated CPU time: 2915.94 s
Current children cumulated vsize: 4054220 KiB
Current children cumulated memory: 3748484 KiB

[startup+2982.3 s]
/proc/loadavg: 1.15 1.46 2.53 2/236 713173
/proc/meminfo: memFree=126097488/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=4056576 memory=3751036 CPUtime=2975.81 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 562167 0 0 0 297347 234 0 0 20 0 1 0 140462622 4153933824 937759 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 1014144 937759 1140 1005 0 1012907 0
Current children cumulated CPU time: 2975.81 s
Current children cumulated vsize: 4056576 KiB
Current children cumulated memory: 3751036 KiB

[startup+3042.3 s]
/proc/loadavg: 1.05 1.37 2.44 2/236 713184
/proc/meminfo: memFree=126096860/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=4058812 memory=3751472 CPUtime=3035.7 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 563331 0 0 0 303334 236 0 0 20 0 1 0 140462622 4156223488 937868 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 1014703 937868 1140 1005 0 1013466 0
Current children cumulated CPU time: 3035.7 s
Current children cumulated vsize: 4058812 KiB
Current children cumulated memory: 3751472 KiB

[startup+3102.3 s]
/proc/loadavg: 1.06 1.31 2.35 2/237 713196
/proc/meminfo: memFree=126093444/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=4058812 memory=3754536 CPUtime=3095.58 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 564347 0 0 0 309320 238 0 0 20 0 1 0 140462622 4156223488 938634 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 1014703 938634 1140 1005 0 1013466 0
Current children cumulated CPU time: 3095.58 s
Current children cumulated vsize: 4058812 KiB
Current children cumulated memory: 3754536 KiB

[startup+3162.3 s]
/proc/loadavg: 1.12 1.29 2.27 2/234 713206
/proc/meminfo: memFree=126093012/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=4058812 memory=3754584 CPUtime=3155.46 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 565373 0 0 0 315304 242 0 0 20 0 1 0 140462622 4156223488 938646 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 1014703 938646 1140 1005 0 1013466 0
Current children cumulated CPU time: 3155.46 s
Current children cumulated vsize: 4058812 KiB
Current children cumulated memory: 3754584 KiB

[startup+3222.3 s]
/proc/loadavg: 1.10 1.25 2.19 2/236 713601
/proc/meminfo: memFree=126092316/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=4058812 memory=3754720 CPUtime=3215.34 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 566459 0 0 0 321290 244 0 0 20 0 1 0 140462622 4156223488 938680 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 1014703 938680 1140 1005 0 1013466 0
Current children cumulated CPU time: 3215.34 s
Current children cumulated vsize: 4058812 KiB
Current children cumulated memory: 3754720 KiB

[startup+3282.3 s]
/proc/loadavg: 1.11 1.22 2.12 2/236 713612
/proc/meminfo: memFree=126089416/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=4061596 memory=3757696 CPUtime=3275.22 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 568352 0 0 0 327276 246 0 0 20 0 1 0 140462622 4159074304 939424 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 1015399 939424 1140 1005 0 1014162 0
Current children cumulated CPU time: 3275.22 s
Current children cumulated vsize: 4061596 KiB
Current children cumulated memory: 3757696 KiB

[startup+3342.3 s]
/proc/loadavg: 1.09 1.19 2.06 2/238 713792
/proc/meminfo: memFree=126088616/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=4061596 memory=3758100 CPUtime=3335.1 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 569706 0 0 0 333262 248 0 0 20 0 1 0 140462622 4159074304 939525 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 1015399 939525 1140 1005 0 1014162 0
Current children cumulated CPU time: 3335.1 s
Current children cumulated vsize: 4061596 KiB
Current children cumulated memory: 3758100 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.17 1.99 2/237 713802
/proc/meminfo: memFree=126088240/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=4061596 memory=3758448 CPUtime=3394.98 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 571030 0 0 0 339248 250 0 0 20 0 1 0 140462622 4159074304 939612 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 1015399 939612 1140 1005 0 1014162 0
Current children cumulated CPU time: 3394.98 s
Current children cumulated vsize: 4061596 KiB
Current children cumulated memory: 3758448 KiB

[startup+3462.3 s]
/proc/loadavg: 1.06 1.15 1.93 2/239 713816
/proc/meminfo: memFree=126086288/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=4061596 memory=3760144 CPUtime=3454.86 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 572826 0 0 0 345235 251 0 0 20 0 1 0 140462622 4159074304 940036 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 1015399 940036 1140 1005 0 1014162 0
Current children cumulated CPU time: 3454.86 s
Current children cumulated vsize: 4061596 KiB
Current children cumulated memory: 3760144 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.14 1.88 2/238 713839
/proc/meminfo: memFree=126083224/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=4061596 memory=3762852 CPUtime=3514.74 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 573928 0 0 0 351221 253 0 0 20 0 1 0 140462622 4159074304 940713 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 1015399 940713 1140 1005 0 1014162 0
Current children cumulated CPU time: 3514.74 s
Current children cumulated vsize: 4061596 KiB
Current children cumulated memory: 3762852 KiB

[startup+3582.3 s]
/proc/loadavg: 1.14 1.14 1.83 2/238 713849
/proc/meminfo: memFree=126080408/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=4061596 memory=3765456 CPUtime=3574.61 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 575302 0 0 0 357207 254 0 0 20 0 1 0 140462622 4159074304 941364 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 1015399 941364 1140 1005 0 1014162 0
Current children cumulated CPU time: 3574.61 s
Current children cumulated vsize: 4061596 KiB
Current children cumulated memory: 3765456 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.8 s]
/proc/loadavg: 1.09 1.13 1.81 2/238 713853
/proc/meminfo: memFree=126079940/131524600 swapFree=131071996/131071996
[pid=711922] ppid=711919 vsize=4061596 memory=3765624 CPUtime=3600.06 cores=4,6
/proc/711922/stat : 711922 (Exact) R 711919 711922 706101 0 -1 4194304 575890 0 0 0 359751 255 0 0 20 0 1 0 140462622 4159074304 941406 134679101440 4194304 8309489 140736298210416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26329088 140736298214308 140736298214478 140736298214478 140736298221519 0
/proc/711922/statm: 1015399 941406 1140 1005 0 1014162 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 4061596 KiB
Current children cumulated memory: 3765624 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.59 s, system=2.58512 s

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

[startup+3607.9 s]*
/proc/loadavg: 1.09 1.13 1.81 2/238 713853
/proc/meminfo: memFree=129774168/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3607.91
CPU time (s): 3600.18
CPU user time (s): 3597.59
CPU system time (s): 2.58512
CPU usage (%): 99.7859
Max. virtual memory (cumulated for all children) (KiB): 4061596
Max. memory (cumulated for all children) (KiB): 3765624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.59
system time used= 2.58512
maximum resident set size= 3765624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 576012
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= 31
involuntary context switches= 2918


# summary of solver processes directly reported to runsolver:
#   pid: 711922
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3597.59
#   total CPU system time (s): 2.58512

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73522 second user time and 15.8685 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-13 17:02:45
IDJOB=4425827
IDBENCH=143871
IDSOLVER=3040
FILE ID=nodeC029/4425827-1720882952
RUNJOBID= nodeC029-1720881340-710403
SLURM_JOB_ID= 7483770
Free space on /tmp= 890052 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-18reduc_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-4425827-1720882952/watcher-4425827-1720882952 -o /tmp/evaluation-result-4425827-1720882952/solver-4425827-1720882952 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1720881340-710403 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1139502208 HOME/instance-4425827-1720882952.wbo

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

MD5SUM BENCH= 85c9e899b779dcafda2f7e25c2fdc65d
RANDOM SEED=1139502208

nodeC029.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		: 3656.922
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.09
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		: 3686.158
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.98
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.711
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.09
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		: 3600.331
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.98
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		: 3657.696
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.09
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		: 3686.241
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.98
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		: 3644.216
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.09
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.140
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.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119581056 kB
MemAvailable:   119538008 kB
Buffers:          321544 kB
Cached:           483320 kB
SwapCached:            0 kB
Active:           488744 kB
Inactive:       10884692 kB
Active(anon):       1480 kB
Inactive(anon): 10604520 kB
Active(file):     487264 kB
Inactive(file):   280172 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              9020 kB
Writeback:             0 kB
AnonPages:      10568048 kB
Mapped:           115212 kB
Shmem:             37720 kB
KReclaimable:      58328 kB
Slab:             155220 kB
SReclaimable:      58328 kB
SUnreclaim:        96892 kB
KernelStack:        4060 kB
PageTables:        30372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   12476260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53728 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6803456 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:    10088448 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC029 at 2024-07-13 18:02:53