Trace number 4502168

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
SynLSCD 2025-06-01? (TO) 3601.58 3611.34

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12011_3-sat.opb
MD5SUMf7b2b496c30aa17fcbe59599d08153aa
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables49368
Total number of constraints158090
Number of constraints which are clauses157278
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints812
Minimum length of a constraint1
Maximum length of a constraint93
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 546
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.29/0.37	c #vars 49368 #constraints 129000 2.61303 1
0.87/0.90	c 129000 constraints
0.87/0.90	c Finish cloning data from SAT to LS
0.87/0.90	c restart_num_ls  -100000 0
129.03/129.49	c Use LS-small
129.03/129.49	restart_num  0 301
129.03/129.49	LS-restart 90 79
306.16/307.08	c Use LS-small
306.16/307.08	restart_num  301 602
306.16/307.08	LS-restart 80 79
445.25/446.52	c Use LS-small
445.25/446.52	restart_num  602 903
445.25/446.52	LS-restart 70 0
664.19/666.01	c Use LS-small
664.19/666.01	restart_num  903 1204
664.19/666.01	LS-restart 60 77
664.19/666.01	c similarity no use LS 0.975308
754.43/756.52	restart_num  1204 1505
754.43/756.52	LS-restart 60 68
1049.02/1051.95	c Use LS-small
1049.02/1051.95	restart_num  1505 1806
1049.02/1051.96	LS-restart 50 67
1359.05/1362.85	c Use LS-small
1359.05/1362.85	restart_num  1806 2107
1359.05/1362.85	LS-restart 40 11
1516.54/1520.72	c Use LS-small
1516.54/1520.72	restart_num  2107 2408
1516.54/1520.72	LS-restart 30 86
1516.54/1520.72	c similarity no use LS 0.952398
1701.84/1706.56	restart_num  2408 2710
1701.84/1706.56	LS-restart 30 79
1861.21/1866.39	c Use LS-small
1861.21/1866.39	restart_num  2710 3011
1861.21/1866.39	LS-restart 20 63
2124.72/2130.56	c Use LS-small
2124.72/2130.56	restart_num  3011 3312
2124.72/2130.57	LS-restart 10 93
2124.72/2130.57	c similarity no use LS 0.959103
2272.40/2278.66	restart_num  3312 3614
2272.40/2278.66	LS-restart 10 67
2436.17/2442.83	c Use LS-small
2436.17/2442.83	restart_num  3614 3915
3018.81/3027.01	c Use LS-small
3018.81/3027.01	restart_num  3915 4216
3018.81/3027.01	c similarity no use LS 0.969393
3189.35/3198.08	restart_num  4216 4517
3189.35/3198.08	c similarity no use LS 0.977597
3386.20/3395.49	restart_num  4517 4818
3600.04/3609.80	c Use LS-small
3600.04/3609.80	c Program interrupted by user.
3600.04/3609.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: 63708 MiB (62946 MiB free)
  memory of node 1: 64465 MiB (63894 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502168-1751167608/watcher-4502168-1751167608 -o /tmp/evaluation-result-4502168-1751167608/solver-4502168-1751167608 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751167606-27668 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4502168-1751167608.opb 

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=27814, runsolver pid=27811
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 0.75 1.71 2.39 5/264 27815
/proc/meminfo: memFree=129877036/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=126848 memory=56148 CPUtime=0.08 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 8472 0 0 0 7 1 0 0 20 0 1 0 32438328 129892352 14037 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 31712 14037 2272 595 0 16379 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 126848 KiB
Current children cumulated memory: 56148 KiB

[startup+0.205593 s]*
/proc/loadavg: 0.75 1.71 2.39 5/264 27815
/proc/meminfo: memFree=129876280/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=130724 memory=61900 CPUtime=0.19 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 9490 0 0 0 17 2 0 0 20 0 1 0 32438328 133861376 15475 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 32681 15475 2272 595 0 17348 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 130724 KiB
Current children cumulated memory: 61900 KiB

[startup+0.305521 s]*
/proc/loadavg: 0.75 1.71 2.39 5/264 27815
/proc/meminfo: memFree=129859396/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=137052 memory=70576 CPUtime=0.29 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 11196 0 0 0 27 2 0 0 20 0 1 0 32438328 140341248 17644 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 34263 17644 2272 595 0 18930 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 137052 KiB
Current children cumulated memory: 70576 KiB

[startup+0.700171 s]
/proc/loadavg: 0.75 1.71 2.39 5/264 27815
/proc/meminfo: memFree=129831328/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=232032 memory=154820 CPUtime=0.68 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 28477 0 0 0 63 5 0 0 20 0 1 0 32438328 237600768 38705 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 58008 38705 2496 595 0 42675 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 232032 KiB
Current children cumulated memory: 154820 KiB

[startup+1.50015 s]
/proc/loadavg: 0.75 1.71 2.39 5/264 27815
/proc/meminfo: memFree=129696564/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=297840 memory=217412 CPUtime=1.48 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 44116 0 0 0 138 10 0 0 20 0 1 0 32438328 304988160 54353 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 74460 54353 2496 595 0 59127 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 297840 KiB
Current children cumulated memory: 217412 KiB

[startup+3.10536 s]
/proc/loadavg: 1.01 1.74 2.40 4/260 27913
/proc/meminfo: memFree=129667960/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=297840 memory=217412 CPUtime=3.08 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 44131 0 0 0 293 15 0 0 20 0 1 0 32438328 304988160 54353 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 74460 54353 2496 595 0 59127 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 297840 KiB
Current children cumulated memory: 217412 KiB

[startup+6.30011 s]
/proc/loadavg: 1.01 1.74 2.40 5/264 27995
/proc/meminfo: memFree=129644724/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=297840 memory=217412 CPUtime=6.26 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 44133 0 0 0 603 23 0 0 20 0 1 0 32438328 304988160 54353 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 74460 54353 2496 595 0 59127 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 297840 KiB
Current children cumulated memory: 217412 KiB

[startup+12.7001 s]
/proc/loadavg: 1.47 1.82 2.42 5/264 27995
/proc/meminfo: memFree=129672616/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=297840 memory=217412 CPUtime=12.65 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 44134 0 0 0 1227 38 0 0 20 0 1 0 32438328 304988160 54353 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 74460 54353 2496 595 0 59127 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 297840 KiB
Current children cumulated memory: 217412 KiB

[startup+25.5001 s]
/proc/loadavg: 1.94 1.91 2.44 5/264 27995
/proc/meminfo: memFree=129640612/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=297840 memory=217412 CPUtime=25.42 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 44134 0 0 0 2478 64 0 0 20 0 1 0 32438328 304988160 54353 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 74460 54353 2496 595 0 59127 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 297840 KiB
Current children cumulated memory: 217412 KiB

[startup+51.1057 s]
/proc/loadavg: 2.65 2.08 2.49 5/264 27996
/proc/meminfo: memFree=129607860/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=297840 memory=217412 CPUtime=50.96 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 44134 0 0 0 4974 122 0 0 20 0 1 0 32438328 304988160 54353 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 74460 54353 2496 595 0 59127 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 297840 KiB
Current children cumulated memory: 217412 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 2.42 2.58 5/265 28002
/proc/meminfo: memFree=129487604/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=354144 memory=275488 CPUtime=102.01 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 58121 0 0 0 10044 157 0 0 20 0 1 0 32438328 362643456 68872 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 88536 68872 2528 595 0 73203 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 354144 KiB
Current children cumulated memory: 275488 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.73 2.68 5/265 28004
/proc/meminfo: memFree=129414948/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=369408 memory=292876 CPUtime=161.86 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 61469 0 0 0 15947 239 0 0 20 0 1 0 32438328 378273792 73219 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 92352 73219 2528 595 0 77019 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 369408 KiB
Current children cumulated memory: 292876 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.98 2.77 5/265 28008
/proc/meminfo: memFree=129355532/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=392484 memory=315916 CPUtime=221.69 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 67235 0 0 0 21867 302 0 0 20 0 1 0 32438328 401903616 78979 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 98121 78979 2528 595 0 82788 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 392484 KiB
Current children cumulated memory: 315916 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 3.18 2.85 5/265 28010
/proc/meminfo: memFree=129331340/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=424028 memory=346892 CPUtime=281.52 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 74979 0 0 0 27845 307 0 0 20 0 1 0 32438328 434204672 86723 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 106007 86723 2528 595 0 90674 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 424028 KiB
Current children cumulated memory: 346892 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.35 2.93 5/265 28012
/proc/meminfo: memFree=129312640/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=434904 memory=361484 CPUtime=341.36 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 78144 0 0 0 33736 400 0 0 20 0 1 0 32438328 445341696 90371 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 108726 90371 2528 595 0 93393 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 434904 KiB
Current children cumulated memory: 361484 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 3.48 3.01 5/265 28014
/proc/meminfo: memFree=129276376/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=456824 memory=392460 CPUtime=401.19 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 83435 0 0 0 39658 461 0 0 20 0 1 0 32438328 467787776 98115 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 114206 98115 2528 595 0 98873 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 456824 KiB
Current children cumulated memory: 392460 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.61 3.08 5/264 28017
/proc/meminfo: memFree=129249260/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=480564 memory=416140 CPUtime=461.02 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 89428 0 0 0 45597 505 0 0 20 0 1 0 32438328 492097536 104035 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 120141 104035 2528 595 0 104808 0

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

Current children cumulated memory: 681460 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/265 28164
/proc/meminfo: memFree=128681948/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=757696 memory=687732 CPUtime=3093.9 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 155052 0 0 0 307684 1706 0 0 20 0 1 0 32438328 775880704 171933 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 189424 171933 2560 595 0 174091 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 757696 KiB
Current children cumulated memory: 687732 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/266 28168
/proc/meminfo: memFree=128682296/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=757924 memory=688372 CPUtime=3153.75 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 155224 0 0 0 313669 1706 0 0 20 0 1 0 32438328 776114176 172093 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 189481 172093 2560 595 0 174148 0
Current children cumulated CPU time: 3153.75 s
Current children cumulated vsize: 757924 KiB
Current children cumulated memory: 688372 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/266 28172
/proc/meminfo: memFree=128697092/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=760244 memory=690804 CPUtime=3213.58 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 155830 0 0 0 319652 1706 0 0 20 0 1 0 32438328 778489856 172701 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 190061 172701 2560 595 0 174728 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 760244 KiB
Current children cumulated memory: 690804 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/266 28174
/proc/meminfo: memFree=128689132/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=763344 memory=693876 CPUtime=3273.41 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 156575 0 0 0 325635 1706 0 0 20 0 1 0 32438328 781664256 173469 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 190836 173469 2560 595 0 175503 0
Current children cumulated CPU time: 3273.41 s
Current children cumulated vsize: 763344 KiB
Current children cumulated memory: 693876 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/266 28175
/proc/meminfo: memFree=128662408/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=766336 memory=697332 CPUtime=3333.24 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 157103 0 0 0 331617 1707 0 0 20 0 1 0 32438328 784728064 174333 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 191584 174333 2560 595 0 176251 0
Current children cumulated CPU time: 3333.24 s
Current children cumulated vsize: 766336 KiB
Current children cumulated memory: 697332 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/266 28178
/proc/meminfo: memFree=128663132/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=766336 memory=697844 CPUtime=3393.08 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 157261 0 0 0 337574 1734 0 0 20 0 1 0 32438328 784728064 174461 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 191584 174461 2560 595 0 176251 0
Current children cumulated CPU time: 3393.08 s
Current children cumulated vsize: 766336 KiB
Current children cumulated memory: 697844 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/266 28180
/proc/meminfo: memFree=128667304/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=766336 memory=697972 CPUtime=3452.93 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 157285 0 0 0 343435 1858 0 0 20 0 1 0 32438328 784728064 174493 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 191584 174493 2560 595 0 176251 0
Current children cumulated CPU time: 3452.93 s
Current children cumulated vsize: 766336 KiB
Current children cumulated memory: 697972 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.03 5/264 28184
/proc/meminfo: memFree=128665044/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=769336 memory=701300 CPUtime=3512.78 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 158131 0 0 0 349419 1859 0 0 20 0 1 0 32438328 787800064 175325 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 192334 175325 2560 595 0 177001 0
Current children cumulated CPU time: 3512.78 s
Current children cumulated vsize: 769336 KiB
Current children cumulated memory: 701300 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.07 4.02 5/264 28187
/proc/meminfo: memFree=128660116/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=772028 memory=703988 CPUtime=3572.62 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 158802 0 0 0 355403 1859 0 0 20 0 1 0 32438328 790556672 175997 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 193007 175997 2560 595 0 177674 0
Current children cumulated CPU time: 3572.62 s
Current children cumulated vsize: 772028 KiB
Current children cumulated memory: 703988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.08 4.08 4.03 3/256 28205
/proc/meminfo: memFree=129359352/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=772272 memory=704244 CPUtime=3600.04 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 158862 0 0 0 358145 1859 0 0 20 0 1 0 32438328 790806528 176061 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 193068 176061 2560 595 0 177735 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 772272 KiB
Current children cumulated memory: 704244 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.99 s, system=18.5944 s

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

[startup+3610.4 s]
/proc/loadavg: 4.08 4.08 4.03 5/259 28269
/proc/meminfo: memFree=129323612/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=742076 memory=682600 CPUtime=3600.64 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 158867 0 0 0 358205 1859 0 0 20 0 1 0 32438328 759885824 170650 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 185519 170650 2624 595 0 170186 0
Current children cumulated CPU time: 3600.64 s
Current children cumulated vsize: 742076 KiB
Current children cumulated memory: 682600 KiB

[startup+3610.8 s]
/proc/loadavg: 4.08 4.08 4.03 5/259 28269
/proc/meminfo: memFree=129323612/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=742076 memory=682600 CPUtime=3601.04 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 158867 0 0 0 358245 1859 0 0 20 0 1 0 32438328 759885824 170650 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 185519 170650 2624 595 0 170186 0
Current children cumulated CPU time: 3601.04 s
Current children cumulated vsize: 742076 KiB
Current children cumulated memory: 682600 KiB

[startup+3611.2 s]
/proc/loadavg: 4.08 4.08 4.03 5/264 28279
/proc/meminfo: memFree=128957120/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=742076 memory=682600 CPUtime=3601.44 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 158867 0 0 0 358285 1859 0 0 20 0 1 0 32438328 759885824 170650 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 185519 170650 2624 595 0 170186 0
Current children cumulated CPU time: 3601.44 s
Current children cumulated vsize: 742076 KiB
Current children cumulated memory: 682600 KiB

[startup+3611.3 s]
/proc/loadavg: 4.08 4.08 4.03 5/264 28279
/proc/meminfo: memFree=128957120/131250000 swapFree=33010684/33010684
[pid=27814] ppid=27811 vsize=742076 memory=682600 CPUtime=3601.54 cores=1,3
/proc/27814/stat : 27814 (SynLSCD) R 27811 27814 27656 0 -1 4194304 158867 0 0 0 358295 1859 0 0 20 0 1 0 32438328 759885824 170650 18446744073709551615 94295029207040 94295031641193 140729591037552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94295032122616 94295032155648 94295060492288 140729591044454 140729591044587 140729591044587 140729591050189 0
/proc/27814/statm: 185519 170650 2624 595 0 170186 0
Current children cumulated CPU time: 3601.54 s
Current children cumulated vsize: 742076 KiB
Current children cumulated memory: 682600 KiB

Child status: 0

Real time (s): 3611.34
CPU time (s): 3601.58
CPU user time (s): 3582.99
CPU system time (s): 18.5944
CPU usage (%): 99.7298
Max. virtual memory (cumulated for all children) (KiB): 772272
Max. memory (cumulated for all children) (KiB): 704244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.99
system time used= 18.5944
maximum resident set size= 704500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158893
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= 299
involuntary context switches= 21131


# summary of solver processes directly reported to runsolver:
#   pid: 27814
#   total CPU time (s): 3601.58
#   total CPU user time (s): 3582.99
#   total CPU system time (s): 18.5944

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78258 second user time and 15.5196 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-29 05:26:48
IDJOB=4502168
IDBENCH=154773
IDSOLVER=3369
FILE ID=nodeC016/4502168-1751167608
RUNJOBID= nodeC016-1751167606-27668
SLURM_JOB_ID= 9587508
Free space on /tmp= 433044 MiB

SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j120/normalized-j12011_3-sat.opb
COMMAND LINE= SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502168-1751167608/watcher-4502168-1751167608 -o /tmp/evaluation-result-4502168-1751167608/solver-4502168-1751167608 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751167606-27668 --watchdog 3760  SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4502168-1751167608.opb

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

MD5SUM BENCH= f7b2b496c30aa17fcbe59599d08153aa
RANDOM SEED=1290239997

nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.813
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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		: 3597.261
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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		: 3599.734
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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		: 3599.740
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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		: 3599.739
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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		: 3599.830
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.451
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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.145
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129890612 kB
MemAvailable:   129556596 kB
Buffers:            3280 kB
Cached:           476368 kB
SwapCached:            0 kB
Active:           493256 kB
Inactive:         254592 kB
Active(anon):     286284 kB
Inactive(anon):        0 kB
Active(file):     206972 kB
Inactive(file):   254592 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             24728 kB
Writeback:             0 kB
AnonPages:        271432 kB
Mapped:           113268 kB
Shmem:             18072 kB
KReclaimable:      87320 kB
Slab:             170584 kB
SReclaimable:      87320 kB
SUnreclaim:        83264 kB
KernelStack:        4204 kB
PageTables:         3772 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     670232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432996 MiB
End job on nodeC016 at 2025-06-29 06:26:59