Trace number 4442874

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
Hybrid-LSMabSP+Exact 2024-07-11? 3586.78 3596.05

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-51-50.opb
MD5SUM160cae61f04d8ccee666d7a366e84df3
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.64528
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2550
Total number of constraints63801
Number of constraints which are clauses63801
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint50
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3586.71/3596.04	c Filename:instance-4442874-1721306547.opb, Cutoff_time:1798, memory_limit_gb:29976
3586.71/3596.04	c Use Presolve
3586.71/3596.04	c Parse finsih
3586.71/3596.04	c Start Presolve
3586.71/3596.04	c After Reduce Vars: 2550 Clauses: 63801 Top clause weight: 1 Hard Clauses: 63801
3586.71/3596.04	c Use LS-small
3586.71/3596.04	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: 64059 MiB (61795 MiB free)
  memory of node 1: 64510 MiB (60142 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442874-1721306547/watcher-4442874-1721306547 -o /tmp/evaluation-result-4442874-1721306547/solver-4442874-1721306547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721304759-951646 --watchdog 3760 ./Hybrid-LSMabSP+Exact HOME/instance-4442874-1721306547.opb 3600 HOME 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=952779, runsolver pid=952775

[startup+0.10009 s]*
/proc/loadavg: 4.66 4.24 4.14 5/248 952811
/proc/meminfo: memFree=124861320/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2796 CPUtime=0 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 182813928 10170368 699 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 699 622 264 0 134 0
[pid=952782] ppid=952779 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/952782/stat : 952782 (timeout) S 952779 952782 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182813929 8867840 245 134679101440 93978347515904 93978347550920 140731537078752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93978349648336 93978349650468 93978365415424 140731537081384 140731537081500 140731537081500 140731537088487 0
/proc/952782/statm: 2165 245 221 9 0 87 0
[pid=952783] ppid=952782 vsize=28648 memory=11976 CPUtime=0.1 cores=4,6
/proc/952783/stat : 952783 (LS-MabSP) R 952782 952782 951635 0 -1 4194304 2040 0 0 0 10 0 0 0 20 0 1 0 182813929 29335552 2994 134679101440 4194304 15467897 140735955939488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46493696 140735955944507 140735955944610 140735955944610 140735955951597 0
/proc/952783/statm: 7162 2994 1073 2753 0 3815 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47240 KiB
Current children cumulated memory: 15752 KiB

[startup+0.213255 s]*
/proc/loadavg: 4.66 4.24 4.14 4/247 952817
/proc/meminfo: memFree=124851644/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2796 CPUtime=0 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 182813928 10170368 699 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 699 622 264 0 134 0
[pid=952782] ppid=952779 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/952782/stat : 952782 (timeout) S 952779 952782 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182813929 8867840 245 134679101440 93978347515904 93978347550920 140731537078752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93978349648336 93978349650468 93978365415424 140731537081384 140731537081500 140731537081500 140731537088487 0
/proc/952782/statm: 2165 245 221 9 0 87 0
[pid=952783] ppid=952782 vsize=36240 memory=23076 CPUtime=0.2 cores=4,6
/proc/952783/stat : 952783 (LS-MabSP) R 952782 952782 951635 0 -1 4194304 4261 0 0 0 20 0 0 0 20 0 1 0 182813929 37109760 5769 134679101440 4194304 15467897 140735955939488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46493696 140735955944507 140735955944610 140735955944610 140735955951597 0
/proc/952783/statm: 9060 5769 1073 2753 0 5713 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54832 KiB
Current children cumulated memory: 26852 KiB

[startup+0.312989 s]*
/proc/loadavg: 4.66 4.24 4.14 5/246 952820
/proc/meminfo: memFree=124827740/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2796 CPUtime=0 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 182813928 10170368 699 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 699 622 264 0 134 0
[pid=952782] ppid=952779 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/952782/stat : 952782 (timeout) S 952779 952782 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182813929 8867840 245 134679101440 93978347515904 93978347550920 140731537078752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93978349648336 93978349650468 93978365415424 140731537081384 140731537081500 140731537081500 140731537088487 0
/proc/952782/statm: 2165 245 221 9 0 87 0
[pid=952783] ppid=952782 vsize=51256 memory=38816 CPUtime=0.3 cores=4,6
/proc/952783/stat : 952783 (LS-MabSP) R 952782 952782 951635 0 -1 4194304 8954 0 0 0 29 1 0 0 20 0 1 0 182813929 52486144 9704 134679101440 4194304 15467897 140735955939488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46493696 140735955944507 140735955944610 140735955944610 140735955951597 0
/proc/952783/statm: 12814 9704 1105 2753 0 9467 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69848 KiB
Current children cumulated memory: 42592 KiB

[startup+0.700504 s]
/proc/loadavg: 4.66 4.24 4.14 5/244 952839
/proc/meminfo: memFree=124823840/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2796 CPUtime=0 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 182813928 10170368 699 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 699 622 264 0 134 0
[pid=952782] ppid=952779 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/952782/stat : 952782 (timeout) S 952779 952782 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182813929 8867840 245 134679101440 93978347515904 93978347550920 140731537078752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93978349648336 93978349650468 93978365415424 140731537081384 140731537081500 140731537081500 140731537088487 0
/proc/952782/statm: 2165 245 221 9 0 87 0
[pid=952783] ppid=952782 vsize=51256 memory=38816 CPUtime=0.68 cores=4,6
/proc/952783/stat : 952783 (LS-MabSP) R 952782 952782 951635 0 -1 4194304 8954 0 0 0 67 1 0 0 20 0 1 0 182813929 52486144 9704 134679101440 4194304 15467897 140735955939488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46493696 140735955944507 140735955944610 140735955944610 140735955951597 0
/proc/952783/statm: 12814 9704 1105 2753 0 9467 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69848 KiB
Current children cumulated memory: 42592 KiB

[startup+1.50049 s]
/proc/loadavg: 4.66 4.24 4.14 5/252 952852
/proc/meminfo: memFree=124762132/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2796 CPUtime=0 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 182813928 10170368 699 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 699 622 264 0 134 0
[pid=952782] ppid=952779 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/952782/stat : 952782 (timeout) S 952779 952782 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182813929 8867840 245 134679101440 93978347515904 93978347550920 140731537078752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93978349648336 93978349650468 93978365415424 140731537081384 140731537081500 140731537081500 140731537088487 0
/proc/952782/statm: 2165 245 221 9 0 87 0
[pid=952783] ppid=952782 vsize=180312 memory=165960 CPUtime=1.49 cores=4,6
/proc/952783/stat : 952783 (LS-MabSP) R 952782 952782 951635 0 -1 4194304 40768 0 0 0 143 6 0 0 20 0 1 0 182813929 184639488 41490 134679101440 4194304 15467897 140735955939488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46493696 140735955944507 140735955944610 140735955944610 140735955951597 0
/proc/952783/statm: 45078 41490 2673 2753 0 41731 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 198904 KiB
Current children cumulated memory: 169736 KiB

[startup+3.11352 s]
/proc/loadavg: 4.61 4.24 4.14 4/247 952879
/proc/meminfo: memFree=124431216/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2796 CPUtime=0 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 182813928 10170368 699 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 699 622 264 0 134 0
[pid=952782] ppid=952779 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/952782/stat : 952782 (timeout) S 952779 952782 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182813929 8867840 245 134679101440 93978347515904 93978347550920 140731537078752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93978349648336 93978349650468 93978365415424 140731537081384 140731537081500 140731537081500 140731537088487 0
/proc/952782/statm: 2165 245 221 9 0 87 0
[pid=952783] ppid=952782 vsize=309296 memory=294048 CPUtime=3.09 cores=4,6
/proc/952783/stat : 952783 (LS-MabSP) R 952782 952782 951635 0 -1 4194304 73302 0 0 0 298 11 0 0 20 0 1 0 182813929 316719104 73512 134679101440 4194304 15467897 140735955939488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46493696 140735955944507 140735955944610 140735955944610 140735955951597 0
/proc/952783/statm: 77324 73512 2849 2753 0 73977 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 327888 KiB
Current children cumulated memory: 297824 KiB

[startup+6.30048 s]
/proc/loadavg: 4.61 4.24 4.14 5/252 952914
/proc/meminfo: memFree=123618364/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2796 CPUtime=0 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 182813928 10170368 699 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 699 622 264 0 134 0
[pid=952782] ppid=952779 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/952782/stat : 952782 (timeout) S 952779 952782 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182813929 8867840 245 134679101440 93978347515904 93978347550920 140731537078752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93978349648336 93978349650468 93978365415424 140731537081384 140731537081500 140731537081500 140731537088487 0
/proc/952782/statm: 2165 245 221 9 0 87 0
[pid=952783] ppid=952782 vsize=324320 memory=301432 CPUtime=6.26 cores=4,6
/proc/952783/stat : 952783 (LS-MabSP) R 952782 952782 951635 0 -1 4194304 75115 0 0 0 615 11 0 0 20 0 1 0 182813929 332103680 75358 134679101440 4194304 15467897 140735955939488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46493696 140735955944507 140735955944610 140735955944610 140735955951597 0
/proc/952783/statm: 81080 75358 2849 2753 0 77733 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 342912 KiB
Current children cumulated memory: 305208 KiB

[startup+12.7005 s]
/proc/loadavg: 4.52 4.23 4.14 5/252 952914
/proc/meminfo: memFree=123516032/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2796 CPUtime=0 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 182813928 10170368 699 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 699 622 264 0 134 0
[pid=952782] ppid=952779 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/952782/stat : 952782 (timeout) S 952779 952782 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182813929 8867840 245 134679101440 93978347515904 93978347550920 140731537078752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93978349648336 93978349650468 93978365415424 140731537081384 140731537081500 140731537081500 140731537088487 0
/proc/952782/statm: 2165 245 221 9 0 87 0
[pid=952783] ppid=952782 vsize=428548 memory=380784 CPUtime=12.65 cores=4,6
/proc/952783/stat : 952783 (LS-MabSP) R 952782 952782 951635 0 -1 4194304 95009 0 0 0 1251 14 0 0 20 0 1 0 182813929 438833152 95196 134679101440 4194304 15467897 140735955939488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46493696 140735955944507 140735955944610 140735955944610 140735955951597 0
/proc/952783/statm: 107137 95196 2849 2753 0 103790 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 447140 KiB
Current children cumulated memory: 384560 KiB

[startup+25.5005 s]
/proc/loadavg: 4.52 4.24 4.14 5/252 952917
/proc/meminfo: memFree=122204392/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2796 CPUtime=0 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 182813928 10170368 699 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 699 622 264 0 134 0
[pid=952782] ppid=952779 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/952782/stat : 952782 (timeout) S 952779 952782 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182813929 8867840 245 134679101440 93978347515904 93978347550920 140731537078752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93978349648336 93978349650468 93978365415424 140731537081384 140731537081500 140731537081500 140731537088487 0
/proc/952782/statm: 2165 245 221 9 0 87 0
[pid=952783] ppid=952782 vsize=444364 memory=403788 CPUtime=25.41 cores=4,6
/proc/952783/stat : 952783 (LS-MabSP) R 952782 952782 951635 0 -1 4194304 99132 0 0 0 2526 15 0 0 20 0 1 0 182813929 455028736 100947 134679101440 4194304 15467897 140735955939488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46493696 140735955944507 140735955944610 140735955944610 140735955951597 0
/proc/952783/statm: 111091 100947 2849 2753 0 107744 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 462956 KiB
Current children cumulated memory: 407564 KiB

[startup+51.1141 s]
/proc/loadavg: 4.34 4.22 4.14 5/252 952920
/proc/meminfo: memFree=121711160/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2796 CPUtime=0 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 182813928 10170368 699 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 699 622 264 0 134 0
[pid=952782] ppid=952779 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/952782/stat : 952782 (timeout) S 952779 952782 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182813929 8867840 245 134679101440 93978347515904 93978347550920 140731537078752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93978349648336 93978349650468 93978365415424 140731537081384 140731537081500 140731537081500 140731537088487 0
/proc/952782/statm: 2165 245 221 9 0 87 0
[pid=952783] ppid=952782 vsize=449504 memory=404088 CPUtime=50.92 cores=4,6
/proc/952783/stat : 952783 (LS-MabSP) R 952782 952782 951635 0 -1 4194304 99172 0 0 0 5077 15 0 0 20 0 1 0 182813929 460292096 101022 134679101440 4194304 15467897 140735955939488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46493696 140735955944507 140735955944610 140735955944610 140735955951597 0
/proc/952783/statm: 112376 101022 2849 2753 0 109029 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 468096 KiB
Current children cumulated memory: 407864 KiB

[startup+102.301 s]
/proc/loadavg: 4.18 4.20 4.13 5/252 952929
/proc/meminfo: memFree=121636764/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2796 CPUtime=0 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 182813928 10170368 699 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 699 622 264 0 134 0

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

/proc/953804/statm: 37528 35136 748 737 0 36616 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 168704 KiB
Current children cumulated memory: 144404 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.13 6/250 954719
/proc/meminfo: memFree=123689536/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2844 CPUtime=1793.3 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 267 137420 0 0 0 0 178042 1288 20 0 1 0 182813928 10170368 711 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 711 622 264 0 134 0
[pid=953803] ppid=952779 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/953803/stat : 953803 (timeout) S 952779 953803 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182993730 8867840 254 134679101440 94425736720384 94425736755400 140730542546512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94425738852816 94425738854948 94425755676672 140730542552051 140730542552220 140730542552220 140730542559207 0
/proc/953803/statm: 2165 254 229 9 0 87 0
[pid=953804] ppid=953803 vsize=150736 memory=141256 CPUtime=1660.05 cores=4,6
/proc/953804/stat : 953804 (Exact) R 953803 953803 951635 0 -1 4194304 24929 0 0 0 165999 6 0 0 20 0 1 0 182993730 154353664 35314 134679101440 4194304 7210733 140725533170176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 42307584 140725533176847 140725533176997 140725533176997 140725533183984 0
/proc/953804/statm: 37684 35314 748 737 0 36772 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 169328 KiB
Current children cumulated memory: 145116 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/252 954734
/proc/meminfo: memFree=123684892/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2844 CPUtime=1793.3 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 267 137420 0 0 0 0 178042 1288 20 0 1 0 182813928 10170368 711 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 711 622 264 0 134 0
[pid=953803] ppid=952779 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/953803/stat : 953803 (timeout) S 952779 953803 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182993730 8867840 254 134679101440 94425736720384 94425736755400 140730542546512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94425738852816 94425738854948 94425755676672 140730542552051 140730542552220 140730542552220 140730542559207 0
/proc/953803/statm: 2165 254 229 9 0 87 0
[pid=953804] ppid=953803 vsize=152048 memory=142488 CPUtime=1719.89 cores=4,6
/proc/953804/stat : 953804 (Exact) R 953803 953803 951635 0 -1 4194304 25242 0 0 0 171983 6 0 0 20 0 1 0 182993730 155697152 35622 134679101440 4194304 7210733 140725533170176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 42307584 140725533176847 140725533176997 140725533176997 140725533183984 0
/proc/953804/statm: 38012 35622 748 737 0 37100 0
Current children cumulated CPU time: 3513.19 s
Current children cumulated vsize: 170640 KiB
Current children cumulated memory: 146348 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/252 954744
/proc/meminfo: memFree=123670012/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2844 CPUtime=1793.3 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 267 137420 0 0 0 0 178042 1288 20 0 1 0 182813928 10170368 711 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 711 622 264 0 134 0
[pid=953803] ppid=952779 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/953803/stat : 953803 (timeout) S 952779 953803 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182993730 8867840 254 134679101440 94425736720384 94425736755400 140730542546512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94425738852816 94425738854948 94425755676672 140730542552051 140730542552220 140730542552220 140730542559207 0
/proc/953803/statm: 2165 254 229 9 0 87 0
[pid=953804] ppid=953803 vsize=152608 memory=142944 CPUtime=1779.74 cores=4,6
/proc/953804/stat : 953804 (Exact) R 953803 953803 951635 0 -1 4194304 25415 0 0 0 177968 6 0 0 20 0 1 0 182993730 156270592 35736 134679101440 4194304 7210733 140725533170176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 42307584 140725533176847 140725533176997 140725533176997 140725533183984 0
/proc/953804/statm: 38152 35736 748 737 0 37240 0
Current children cumulated CPU time: 3573.04 s
Current children cumulated vsize: 171200 KiB
Current children cumulated memory: 146804 KiB

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

# cumulated CPU time of all completed processes:  user=3573.82 s, system=12.9614 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.10 4.12 5/252 954745
/proc/meminfo: memFree=123669928/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2844 CPUtime=1793.3 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 267 137420 0 0 0 0 178042 1288 20 0 1 0 182813928 10170368 711 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 711 622 264 0 134 0
[pid=953803] ppid=952779 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/953803/stat : 953803 (timeout) S 952779 953803 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182993730 8867840 254 134679101440 94425736720384 94425736755400 140730542546512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94425738852816 94425738854948 94425755676672 140730542552051 140730542552220 140730542552220 140730542559207 0
/proc/953803/statm: 2165 254 229 9 0 87 0
[pid=953804] ppid=953803 vsize=152608 memory=142944 CPUtime=1781.45 cores=4,6
/proc/953804/stat : 953804 (Exact) R 953803 953803 951635 0 -1 4194304 25415 0 0 0 178139 6 0 0 20 0 1 0 182993730 156270592 35736 134679101440 4194304 7210733 140725533170176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 42307584 140725533176847 140725533176997 140725533176997 140725533183984 0
/proc/953804/statm: 38152 35736 748 737 0 37240 0
Current children cumulated CPU time: 3574.75 s
Current children cumulated vsize: 171200 KiB
Current children cumulated memory: 146804 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.10 4.12 5/252 954745
/proc/meminfo: memFree=123669932/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2844 CPUtime=1793.3 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 267 137420 0 0 0 0 178042 1288 20 0 1 0 182813928 10170368 711 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 711 622 264 0 134 0
[pid=953803] ppid=952779 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/953803/stat : 953803 (timeout) S 952779 953803 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182993730 8867840 254 134679101440 94425736720384 94425736755400 140730542546512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94425738852816 94425738854948 94425755676672 140730542552051 140730542552220 140730542552220 140730542559207 0
/proc/953803/statm: 2165 254 229 9 0 87 0
[pid=953804] ppid=953803 vsize=152608 memory=142944 CPUtime=1787.82 cores=4,6
/proc/953804/stat : 953804 (Exact) R 953803 953803 951635 0 -1 4194304 25415 0 0 0 178776 6 0 0 20 0 1 0 182993730 156270592 35736 134679101440 4194304 7210733 140725533170176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 42307584 140725533176847 140725533176997 140725533176997 140725533183984 0
/proc/953804/statm: 38152 35736 748 737 0 37240 0
Current children cumulated CPU time: 3581.12 s
Current children cumulated vsize: 171200 KiB
Current children cumulated memory: 146804 KiB

[startup+3593.6 s]
/proc/loadavg: 4.07 4.10 4.12 5/252 954748
/proc/meminfo: memFree=123669840/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2844 CPUtime=1793.3 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 267 137420 0 0 0 0 178042 1288 20 0 1 0 182813928 10170368 711 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 711 622 264 0 134 0
[pid=953803] ppid=952779 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/953803/stat : 953803 (timeout) S 952779 953803 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182993730 8867840 254 134679101440 94425736720384 94425736755400 140730542546512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94425738852816 94425738854948 94425755676672 140730542552051 140730542552220 140730542552220 140730542559207 0
/proc/953803/statm: 2165 254 229 9 0 87 0
[pid=953804] ppid=953803 vsize=152608 memory=142944 CPUtime=1791.01 cores=4,6
/proc/953804/stat : 953804 (Exact) R 953803 953803 951635 0 -1 4194304 25415 0 0 0 179095 6 0 0 20 0 1 0 182993730 156270592 35736 134679101440 4194304 7210733 140725533170176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 42307584 140725533176847 140725533176997 140725533176997 140725533183984 0
/proc/953804/statm: 38152 35736 748 737 0 37240 0
Current children cumulated CPU time: 3584.31 s
Current children cumulated vsize: 171200 KiB
Current children cumulated memory: 146804 KiB

[startup+3595.2 s]
/proc/loadavg: 4.07 4.10 4.12 5/252 954748
/proc/meminfo: memFree=123669848/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2844 CPUtime=1793.3 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 267 137420 0 0 0 0 178042 1288 20 0 1 0 182813928 10170368 711 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 711 622 264 0 134 0
[pid=953803] ppid=952779 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/953803/stat : 953803 (timeout) S 952779 953803 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182993730 8867840 254 134679101440 94425736720384 94425736755400 140730542546512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94425738852816 94425738854948 94425755676672 140730542552051 140730542552220 140730542552220 140730542559207 0
/proc/953803/statm: 2165 254 229 9 0 87 0
[pid=953804] ppid=953803 vsize=152608 memory=142944 CPUtime=1792.6 cores=4,6
/proc/953804/stat : 953804 (Exact) R 953803 953803 951635 0 -1 4194304 25415 0 0 0 179254 6 0 0 20 0 1 0 182993730 156270592 35736 134679101440 4194304 7210733 140725533170176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 42307584 140725533176847 140725533176997 140725533176997 140725533183984 0
/proc/953804/statm: 38152 35736 748 737 0 37240 0
Current children cumulated CPU time: 3585.9 s
Current children cumulated vsize: 171200 KiB
Current children cumulated memory: 146804 KiB

[startup+3595.6 s]
/proc/loadavg: 4.07 4.10 4.12 5/252 954748
/proc/meminfo: memFree=123669848/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2844 CPUtime=1793.3 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 267 137420 0 0 0 0 178042 1288 20 0 1 0 182813928 10170368 711 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 711 622 264 0 134 0
[pid=953803] ppid=952779 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/953803/stat : 953803 (timeout) S 952779 953803 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182993730 8867840 254 134679101440 94425736720384 94425736755400 140730542546512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94425738852816 94425738854948 94425755676672 140730542552051 140730542552220 140730542552220 140730542559207 0
/proc/953803/statm: 2165 254 229 9 0 87 0
[pid=953804] ppid=953803 vsize=152608 memory=142944 CPUtime=1793 cores=4,6
/proc/953804/stat : 953804 (Exact) R 953803 953803 951635 0 -1 4194304 25415 0 0 0 179294 6 0 0 20 0 1 0 182993730 156270592 35736 134679101440 4194304 7210733 140725533170176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 42307584 140725533176847 140725533176997 140725533176997 140725533183984 0
/proc/953804/statm: 38152 35736 748 737 0 37240 0
Current children cumulated CPU time: 3586.3 s
Current children cumulated vsize: 171200 KiB
Current children cumulated memory: 146804 KiB

[startup+3596 s]*
/proc/loadavg: 4.07 4.10 4.12 5/252 954748
/proc/meminfo: memFree=123669832/131655788 swapFree=131071996/131071996
[pid=952779] ppid=952775 vsize=9932 memory=2844 CPUtime=1793.3 cores=4,6
/proc/952779/stat : 952779 (Hybrid-LSMabSP+) S 952775 952779 951635 0 -1 4194304 267 137420 0 0 0 0 178042 1288 20 0 1 0 182813928 10170368 711 134679101440 94544926576640 94544927655960 140735054052096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544929754416 94544929801604 94544933208064 140735054054375 140735054054521 140735054054521 140735054061537 0
/proc/952779/statm: 2483 711 622 264 0 134 0
[pid=953803] ppid=952779 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/953803/stat : 953803 (timeout) S 952779 953803 951635 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182993730 8867840 254 134679101440 94425736720384 94425736755400 140730542546512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94425738852816 94425738854948 94425755676672 140730542552051 140730542552220 140730542552220 140730542559207 0
/proc/953803/statm: 2165 254 229 9 0 87 0
[pid=953804] ppid=953803 vsize=152608 memory=142944 CPUtime=1793.41 cores=4,6
/proc/953804/stat : 953804 (Exact) R 953803 953803 951635 0 -1 4194304 25415 0 0 0 179335 6 0 0 20 0 1 0 182993730 156270592 35736 134679101440 4194304 7210733 140725533170176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 42307584 140725533176847 140725533176997 140725533176997 140725533183984 0
/proc/953804/statm: 38152 35736 748 737 0 37240 0
Current children cumulated CPU time: 3586.71 s
Current children cumulated vsize: 171200 KiB
Current children cumulated memory: 146804 KiB

Child status: 0

Real time (s): 3596.05
CPU time (s): 3586.78
CPU user time (s): 3573.82
CPU system time (s): 12.9614
CPU usage (%): 99.7423
Max. virtual memory (cumulated for all children) (KiB): 597728
Max. memory (cumulated for all children) (KiB): 553080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.82
system time used= 12.9614
maximum resident set size= 549304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164682
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114
involuntary context switches= 1934


# summary of solver processes directly reported to runsolver:
#   pid: 952779
#   total CPU time (s): 3586.78
#   total CPU user time (s): 3573.82
#   total CPU system time (s): 12.9614

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0911 second user time and 38.4826 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-18 14:42:38
IDJOB=4442874
IDBENCH=147855
IDSOLVER=3070
FILE ID=nodeC010/4442874-1721306547
RUNJOBID= nodeC010-1721304759-951646
SLURM_JOB_ID= 7542624
Free space on /tmp= 723732 MiB

SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-51-50.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442874-1721306547/watcher-4442874-1721306547 -o /tmp/evaluation-result-4442874-1721306547/solver-4442874-1721306547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721304759-951646 --watchdog 3760  ./Hybrid-LSMabSP+Exact HOME/instance-4442874-1721306547.opb 3600 HOME 31000

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

MD5SUM BENCH= 160cae61f04d8ccee666d7a366e84df3
RANDOM SEED=996472519

nodeC010.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.422
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3623.267
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.174
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.51
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.279
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3512.148
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.51
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		: 3536.637
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.175
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.51
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		: 1813.401
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124864368 kB
MemAvailable:   129767544 kB
Buffers:          496260 kB
Cached:          5187596 kB
SwapCached:            0 kB
Active:          1030808 kB
Inactive:        5085432 kB
Active(anon):       1448 kB
Inactive(anon):   468632 kB
Active(file):    1029360 kB
Inactive(file):  4616800 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             45536 kB
Writeback:           124 kB
AnonPages:        432416 kB
Mapped:           111900 kB
Shmem:             37704 kB
KReclaimable:     194096 kB
Slab:             308632 kB
SReclaimable:     194096 kB
SUnreclaim:       114536 kB
KernelStack:        3824 kB
PageTables:        10448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     829352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            57952 kB
HardwareCorrupted:     0 kB
AnonHugePages:    335872 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:      295752 kB
DirectMap2M:    35260416 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 723684 MiB
End job on nodeC010 at 2024-07-18 15:42:34