Trace number 4436480

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Picat 2024-06-18? (TO) 3600.03 3611.51

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null0mast_rapportOE1.0_TMAX180_K192_cod2.opb
MD5SUMad0aeea3e7e7044b142cd83589fcb352
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-375879
Best CPU time to get the best result obtained on this benchmark3558.78
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1605
Biggest coefficient in the objective function 6765
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 1300178
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 6765
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 1300178
Number of bits of the biggest sum of numbers21
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 solving HOME/instance-4436480-1721152492.opb (Picat 3.6#12)
10.84/10.96	o 0
29.59/29.77	o -21859

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436480-1721152492/watcher-4436480-1721152492 -o /tmp/evaluation-result-4436480-1721152492/solver-4436480-1721152492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721148893-855760 --watchdog 3760 pb_picat HOME/instance-4436480-1721152492.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100669 s]*
/proc/loadavg: 4.15 4.15 4.13 6/244 857692
/proc/meminfo: memFree=96546920/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2033608 memory=31592 CPUtime=0.09 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 934 0 0 0 9 0 0 0 20 0 1 0 167405870 2082414592 7898 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 508402 7898 1507 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 31592 KiB

[startup+0.20867 s]*
/proc/loadavg: 4.15 4.15 4.13 5/244 857694
/proc/meminfo: memFree=96536260/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2033608 memory=41832 CPUtime=0.19 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 968 0 0 0 18 1 0 0 20 0 1 0 167405870 2082414592 10458 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 508402 10458 1507 439 0 503831 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 41832 KiB

[startup+0.30867 s]*
/proc/loadavg: 4.15 4.15 4.13 6/244 857694
/proc/meminfo: memFree=96525700/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2033608 memory=52296 CPUtime=0.29 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 1003 0 0 0 28 1 0 0 20 0 1 0 167405870 2082414592 13074 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 508402 13074 1507 439 0 503831 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 52296 KiB

[startup+0.700181 s]
/proc/loadavg: 4.15 4.15 4.13 5/244 857694
/proc/meminfo: memFree=97704248/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2033608 memory=77076 CPUtime=0.66 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 1052 0 0 0 65 1 0 0 20 0 1 0 167405870 2082414592 19269 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 508402 19269 1507 439 0 503831 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 77076 KiB

[startup+1.50034 s]
/proc/loadavg: 4.15 4.15 4.13 5/240 857729
/proc/meminfo: memFree=103351628/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2033608 memory=153064 CPUtime=1.46 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 1180 0 0 0 142 4 0 0 20 0 1 0 167405870 2082414592 38266 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 508402 38266 1507 439 0 503831 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 153064 KiB

[startup+3.11289 s]
/proc/loadavg: 4.46 4.21 4.15 5/246 857834
/proc/meminfo: memFree=127279096/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2033608 memory=420456 CPUtime=3.07 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 1628 0 0 0 297 10 0 0 20 0 1 0 167405870 2082414592 105114 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 508402 105114 1507 439 0 503831 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 420456 KiB

[startup+6.30031 s]
/proc/loadavg: 4.46 4.21 4.15 5/246 857834
/proc/meminfo: memFree=125121096/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2049236 memory=1002236 CPUtime=6.26 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 2570 0 0 0 602 24 0 0 20 0 1 0 167405870 2098417664 250559 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 512309 250559 1507 439 0 507738 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2049236 KiB
Current children cumulated memory: 1002236 KiB

[startup+12.7003 s]
/proc/loadavg: 4.39 4.20 4.15 5/246 857835
/proc/meminfo: memFree=121927044/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2430972 memory=1714704 CPUtime=12.63 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 26587 0 0 0 1211 52 0 0 20 0 1 0 167405870 2489315328 428676 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 607743 428676 1729 439 0 603172 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2430972 KiB
Current children cumulated memory: 1714704 KiB

[startup+25.5003 s]
/proc/loadavg: 4.33 4.20 4.14 5/248 858221
/proc/meminfo: memFree=118271148/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2803076 memory=1964244 CPUtime=25.4 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 39782 0 0 0 2480 60 0 0 20 0 1 0 167405870 2870349824 491061 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 700769 491061 1729 439 0 696198 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2803076 KiB
Current children cumulated memory: 1964244 KiB

[startup+51.1129 s]
/proc/loadavg: 4.29 4.20 4.15 5/246 858226
/proc/meminfo: memFree=117444424/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=3251620 memory=2167968 CPUtime=50.93 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 54478 0 0 0 5019 74 0 0 20 0 1 0 167405870 3329658880 541992 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 812905 541992 1729 439 0 808334 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 3251620 KiB
Current children cumulated memory: 2167968 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.18 4.14 5/246 858235
/proc/meminfo: memFree=115577360/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=4627876 memory=2911328 CPUtime=101.97 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 56155 0 0 0 10104 93 0 0 20 0 1 0 167405870 4738945024 727832 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 1156969 727832 1729 439 0 1152398 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 4627876 KiB
Current children cumulated memory: 2911328 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.16 4.14 5/246 858245
/proc/meminfo: memFree=114577608/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=4627876 memory=3603628 CPUtime=161.78 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 56869 0 0 0 16071 107 0 0 20 0 1 0 167405870 4738945024 900907 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 1156969 900907 1729 439 0 1152398 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 4627876 KiB
Current children cumulated memory: 3603628 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.16 4.14 5/248 858425
/proc/meminfo: memFree=114147212/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=6790564 memory=4083688 CPUtime=221.59 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 58620 0 0 0 22039 120 0 0 20 0 1 0 167405870 6953537536 1020922 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 1697641 1020922 1729 439 0 1693070 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 6790564 KiB
Current children cumulated memory: 4083688 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/248 858436
/proc/meminfo: memFree=113777796/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=6790564 memory=4446184 CPUtime=281.39 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 59428 0 0 0 28010 129 0 0 20 0 1 0 167405870 6953537536 1111546 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 1697641 1111546 1729 439 0 1693070 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 6790564 KiB
Current children cumulated memory: 4446184 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/244 858448
/proc/meminfo: memFree=114095164/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=6790564 memory=4765672 CPUtime=341.2 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 60637 0 0 0 33983 137 0 0 20 0 1 0 167405870 6953537536 1191418 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 1697641 1191418 1729 439 0 1693070 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 6790564 KiB
Current children cumulated memory: 4765672 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.12 4.12 5/244 858471
/proc/meminfo: memFree=113087604/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=6921636 memory=5064680 CPUtime=401 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 62621 0 0 0 39956 144 0 0 20 0 1 0 167405870 7087755264 1266170 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 1730409 1266170 1729 439 0 1725838 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 6921636 KiB
Current children cumulated memory: 5064680 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/244 858482
/proc/meminfo: memFree=116591512/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2810140 memory=1980436 CPUtime=460.8 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 70598 0 0 0 45916 164 0 0 20 0 1 0 167405870 2877583360 495109 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 702535 495109 1729 439 0 697964 0

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

Current children cumulated memory: 1953652 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/244 859535
/proc/meminfo: memFree=116611052/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2733356 memory=1967988 CPUtime=2913.01 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 350637 0 0 0 290774 527 0 0 20 0 1 0 167405870 2798956544 491997 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 683339 491997 1729 439 0 678768 0
Current children cumulated CPU time: 2913.01 s
Current children cumulated vsize: 2733356 KiB
Current children cumulated memory: 1967988 KiB

[startup+2982.3 s]
/proc/loadavg: 4.66 4.24 4.15 5/244 859545
/proc/meminfo: memFree=116375156/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=3126572 memory=2185076 CPUtime=2972.82 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 353210 0 0 0 296748 534 0 0 20 0 1 0 167405870 3201609728 546269 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 781643 546269 1729 439 0 777072 0
Current children cumulated CPU time: 2972.82 s
Current children cumulated vsize: 3126572 KiB
Current children cumulated memory: 2185076 KiB

[startup+3042.3 s]
/proc/loadavg: 4.51 4.30 4.18 5/244 859557
/proc/meminfo: memFree=115932684/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2716932 memory=1937356 CPUtime=3032.63 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 358310 0 0 0 302725 538 0 0 20 0 1 0 167405870 2782138368 484339 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 679233 484339 1729 439 0 674662 0
Current children cumulated CPU time: 3032.63 s
Current children cumulated vsize: 2716932 KiB
Current children cumulated memory: 1937356 KiB

[startup+3102.3 s]
/proc/loadavg: 4.29 4.27 4.18 5/242 859567
/proc/meminfo: memFree=117097200/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2848004 memory=1972104 CPUtime=3092.43 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 359803 0 0 0 308702 541 0 0 20 0 1 0 167405870 2916356096 493026 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 712001 493026 1729 439 0 707430 0
Current children cumulated CPU time: 3092.43 s
Current children cumulated vsize: 2848004 KiB
Current children cumulated memory: 1972104 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.23 4.17 5/242 859577
/proc/meminfo: memFree=116379240/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=3257620 memory=2383708 CPUtime=3152.25 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 367175 0 0 0 314669 556 0 0 20 0 1 0 167405870 3335802880 595927 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 814405 595927 1729 439 0 809834 0
Current children cumulated CPU time: 3152.25 s
Current children cumulated vsize: 3257620 KiB
Current children cumulated memory: 2383708 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.20 4.16 5/242 859587
/proc/meminfo: memFree=116343928/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2733332 memory=1949532 CPUtime=3212.05 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 369264 0 0 0 320645 560 0 0 20 0 1 0 167405870 2798931968 487383 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 683333 487383 1729 439 0 678762 0
Current children cumulated CPU time: 3212.05 s
Current children cumulated vsize: 2733332 KiB
Current children cumulated memory: 1949532 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.18 4.16 5/242 859598
/proc/meminfo: memFree=115576136/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=3257620 memory=2334556 CPUtime=3271.86 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 379319 0 0 0 326615 571 0 0 20 0 1 0 167405870 3335802880 583639 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 814405 583639 1729 439 0 809834 0
Current children cumulated CPU time: 3271.86 s
Current children cumulated vsize: 3257620 KiB
Current children cumulated memory: 2334556 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.16 4.15 5/245 859613
/proc/meminfo: memFree=115863296/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2733332 memory=1949364 CPUtime=3331.66 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 382000 0 0 0 332589 577 0 0 20 0 1 0 167405870 2798931968 487341 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 683333 487341 1729 439 0 678762 0
Current children cumulated CPU time: 3331.66 s
Current children cumulated vsize: 2733332 KiB
Current children cumulated memory: 1949364 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.15 5/245 859623
/proc/meminfo: memFree=115924192/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=3126548 memory=2230108 CPUtime=3391.48 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 384676 0 0 0 338563 585 0 0 20 0 1 0 167405870 3201585152 557527 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 781637 557527 1729 439 0 777066 0
Current children cumulated CPU time: 3391.48 s
Current children cumulated vsize: 3126548 KiB
Current children cumulated memory: 2230108 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.13 4.14 5/245 859634
/proc/meminfo: memFree=116029448/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2665864 memory=1918024 CPUtime=3451.28 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 394170 0 0 0 344532 596 0 0 20 0 1 0 167405870 2729844736 479506 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 666466 479506 1729 439 0 661895 0
Current children cumulated CPU time: 3451.28 s
Current children cumulated vsize: 2665864 KiB
Current children cumulated memory: 1918024 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.12 4.14 5/245 859644
/proc/meminfo: memFree=115390812/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=3126524 memory=2189124 CPUtime=3511.09 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 398093 0 0 0 350506 603 0 0 20 0 1 0 167405870 3201560576 547281 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 781631 547281 1729 439 0 777060 0
Current children cumulated CPU time: 3511.09 s
Current children cumulated vsize: 3126524 KiB
Current children cumulated memory: 2189124 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/245 859654
/proc/meminfo: memFree=115952252/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2733308 memory=1933132 CPUtime=3570.91 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 399781 0 0 0 356484 607 0 0 20 0 1 0 167405870 2798907392 483283 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 683327 483283 1729 439 0 678756 0
Current children cumulated CPU time: 3570.91 s
Current children cumulated vsize: 2733308 KiB
Current children cumulated memory: 1933132 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 4.08 4.11 4.13 5/242 859684
/proc/meminfo: memFree=119706052/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2733308 memory=1937228 CPUtime=3600.01 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 399882 0 0 0 359394 607 0 0 20 0 1 0 167405870 2798907392 484307 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 683327 484307 1729 439 0 678756 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2733308 KiB
Current children cumulated memory: 1937228 KiB

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

[startup+3611.51 s]
# the end of solver process 857691 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3593.95 s, system=6.0819 s

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

[startup+3611.5 s]
/proc/loadavg: 4.08 4.11 4.13 5/242 859684
/proc/meminfo: memFree=119706052/131655788 swapFree=131071996/131071996
[pid=857691] ppid=857688 vsize=2733308 memory=1937228 CPUtime=3600.01 cores=5,7
/proc/857691/stat : 857691 (pb_picat) R 857688 857691 855747 0 -1 4194304 399882 0 0 0 359394 607 0 0 20 0 1 0 167405870 2798907392 484307 134679101440 4194304 5989780 140722395121648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36315136 140722395124761 140722395124837 140722395124837 140722395131852 0
/proc/857691/statm: 683327 484307 1729 439 0 678756 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2733308 KiB
Current children cumulated memory: 1937228 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.51
CPU time (s): 3600.03
CPU user time (s): 3593.95
CPU system time (s): 6.0819
CPU usage (%): 99.6822
Max. virtual memory (cumulated for all children) (KiB): 6921636
Max. memory (cumulated for all children) (KiB): 5201072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.95
system time used= 6.0819
maximum resident set size= 5201072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399882
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= 4
involuntary context switches= 3114


# summary of solver processes directly reported to runsolver:
#   pid: 857691
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3593.95
#   total CPU system time (s): 6.0819

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1701 second user time and 35.8489 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-16 19:55:05
IDJOB=4436480
IDBENCH=157408
IDSOLVER=3068
FILE ID=nodeC007/4436480-1721152492
RUNJOBID= nodeC007-1721148893-855760
SLURM_JOB_ID= 7505744
Free space on /tmp= 723332 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null0mast_rapportOE1.0_TMAX180_K192_cod2.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436480-1721152492/watcher-4436480-1721152492 -o /tmp/evaluation-result-4436480-1721152492/solver-4436480-1721152492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721148893-855760 --watchdog 3760  pb_picat HOME/instance-4436480-1721152492.opb

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

MD5SUM BENCH= ad0aeea3e7e7044b142cd83589fcb352
RANDOM SEED=1263701929

nodeC007.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		: 3491.797
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.25
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		: 3504.705
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.30
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.211
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.25
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.188
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.30
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		: 3491.789
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.25
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		: 1709.002
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.30
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.316
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.25
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		: 1317.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 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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        96575296 kB
MemAvailable:   98719660 kB
Buffers:          420348 kB
Cached:          2543768 kB
SwapCached:            0 kB
Active:          1179852 kB
Inactive:       33263336 kB
Active(anon):       1460 kB
Inactive(anon): 31515312 kB
Active(file):    1178392 kB
Inactive(file):  1748024 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             31228 kB
Writeback:             0 kB
AnonPages:      31477952 kB
Mapped:           114696 kB
Shmem:             37704 kB
KReclaimable:     115956 kB
Slab:             215564 kB
SReclaimable:     115956 kB
SUnreclaim:        99608 kB
KernelStack:        3936 kB
PageTables:        71056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   47175092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53280 kB
HardwareCorrupted:     0 kB
AnonHugePages:  26718208 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723656 MiB
End job on nodeC007 at 2024-07-16 20:55:16