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: 63968 MiB (61370 MiB free)
memory of node 1: 64473 MiB (61133 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458106-1721868726/watcher-4458106-1721868726 -o /tmp/evaluation-result-4458106-1721868726/solver-4458106-1721868726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721865115-210076 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=814991398 HOME/instance-4458106-1721868726.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=212579, runsolver pid=212576
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 4.08 4.13 4.08 5/256 212580
/proc/meminfo: memFree=125437960/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=30896 memory=9768 CPUtime=0.1 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 1709 0 0 0 10 0 0 0 20 0 1 0 23402300 31637504 2442 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 7724 2442 851 746 0 6788 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30896 KiB
Current children cumulated memory: 9768 KiB
[startup+0.205524 s]*
/proc/loadavg: 4.08 4.13 4.08 5/256 212580
/proc/meminfo: memFree=125437092/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=31028 memory=10296 CPUtime=0.2 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 1841 0 0 0 20 0 0 0 20 0 1 0 23402300 31772672 2574 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 7757 2574 851 746 0 6821 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31028 KiB
Current children cumulated memory: 10296 KiB
[startup+0.304833 s]*
/proc/loadavg: 4.08 4.13 4.08 5/256 212580
/proc/meminfo: memFree=125434148/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=31308 memory=13140 CPUtime=0.3 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 2063 0 0 0 30 0 0 0 20 0 1 0 23402300 32059392 3285 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 7827 3285 851 746 0 6891 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31308 KiB
Current children cumulated memory: 13140 KiB
[startup+0.700151 s]
/proc/loadavg: 4.08 4.13 4.08 5/256 212580
/proc/meminfo: memFree=125434008/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=31440 memory=13140 CPUtime=0.69 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 2083 0 0 0 69 0 0 0 20 0 1 0 23402300 32194560 3285 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 7860 3285 851 746 0 6924 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31440 KiB
Current children cumulated memory: 13140 KiB
[startup+1.50015 s]
/proc/loadavg: 4.08 4.13 4.08 5/256 212580
/proc/meminfo: memFree=125433700/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=31708 memory=15444 CPUtime=1.49 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 2130 0 0 0 149 0 0 0 20 0 1 0 23402300 32468992 3861 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 7927 3861 851 746 0 6991 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31708 KiB
Current children cumulated memory: 15444 KiB
[startup+3.10541 s]
/proc/loadavg: 4.08 4.13 4.08 5/256 212581
/proc/meminfo: memFree=125428672/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=32104 memory=18008 CPUtime=3.09 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 2263 0 0 0 309 0 0 0 20 0 1 0 23402300 32874496 4502 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 8026 4502 851 746 0 7090 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32104 KiB
Current children cumulated memory: 18008 KiB
[startup+6.30017 s]
/proc/loadavg: 4.15 4.14 4.08 5/256 212581
/proc/meminfo: memFree=125423620/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=33320 memory=23044 CPUtime=6.27 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 2631 0 0 0 627 0 0 0 20 0 1 0 23402300 34119680 5761 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 8330 5761 851 746 0 7394 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 33320 KiB
Current children cumulated memory: 23044 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.08 5/256 212627
/proc/meminfo: memFree=125828316/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=33972 memory=23816 CPUtime=12.66 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 3133 0 0 0 1266 0 0 0 20 0 1 0 23402300 34787328 5954 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 8493 5954 851 746 0 7557 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23816 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.08 5/256 212630
/proc/meminfo: memFree=125810656/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=36192 memory=30168 CPUtime=25.43 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 4107 0 0 0 2542 1 0 0 20 0 1 0 23402300 37060608 7542 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 9048 7542 851 746 0 8112 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 36192 KiB
Current children cumulated memory: 30168 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.14 4.08 5/256 212633
/proc/meminfo: memFree=125792788/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=49868 memory=35524 CPUtime=50.96 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 4820 0 0 0 5095 1 0 0 20 0 1 0 23402300 51064832 8881 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 12467 8881 851 746 0 11531 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 49868 KiB
Current children cumulated memory: 35524 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/256 212642
/proc/meminfo: memFree=125777208/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=52020 memory=42148 CPUtime=102.02 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 5421 0 0 0 10201 1 0 0 20 0 1 0 23402300 53268480 10537 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 13005 10537 851 746 0 12069 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 52020 KiB
Current children cumulated memory: 42148 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.08 5/256 212654
/proc/meminfo: memFree=125757328/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=60672 memory=55344 CPUtime=161.87 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 7451 0 0 0 16185 2 0 0 20 0 1 0 23402300 62128128 13836 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 15168 13836 851 746 0 14232 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 60672 KiB
Current children cumulated memory: 55344 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/256 213051
/proc/meminfo: memFree=125854000/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=61064 memory=55800 CPUtime=221.72 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 7564 0 0 0 22170 2 0 0 20 0 1 0 23402300 62529536 13950 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 15266 13950 851 746 0 14330 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 61064 KiB
Current children cumulated memory: 55800 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/256 213061
/proc/meminfo: memFree=125835776/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=62560 memory=57304 CPUtime=281.57 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 7966 0 0 0 28155 2 0 0 20 0 1 0 23402300 64061440 14326 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 15640 14326 851 746 0 14704 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 57304 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 213073
/proc/meminfo: memFree=125833032/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=63052 memory=57776 CPUtime=341.42 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 8093 0 0 0 34140 2 0 0 20 0 1 0 23402300 64565248 14444 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 15763 14444 851 746 0 14827 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 63052 KiB
Current children cumulated memory: 57776 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 213253
/proc/meminfo: memFree=125831352/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=63288 memory=58164 CPUtime=401.27 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 8190 0 0 0 40125 2 0 0 20 0 1 0 23402300 64806912 14541 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 15822 14541 851 746 0 14886 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 63288 KiB
Current children cumulated memory: 58164 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 213264
/proc/meminfo: memFree=125823248/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=63796 memory=58400 CPUtime=461.08 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 8317 0 0 0 46106 2 0 0 20 0 1 0 23402300 65327104 14600 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 15949 14600 851 746 0 15013 0
################
# More data... #
################
Current children cumulated memory: 77868 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 214425
/proc/meminfo: memFree=125796196/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=98820 memory=78040 CPUtime=2855.15 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 12811 0 0 0 285512 3 0 0 20 0 1 0 23402300 101191680 19510 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 24705 19510 851 746 0 23769 0
Current children cumulated CPU time: 2855.15 s
Current children cumulated vsize: 98820 KiB
Current children cumulated memory: 78040 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.09 6/257 214440
/proc/meminfo: memFree=125794112/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=98820 memory=78164 CPUtime=2915.01 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 12851 0 0 0 291498 3 0 0 20 0 1 0 23402300 101191680 19541 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 24705 19541 851 746 0 23769 0
Current children cumulated CPU time: 2915.01 s
Current children cumulated vsize: 98820 KiB
Current children cumulated memory: 78164 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 214451
/proc/meminfo: memFree=125792800/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=98820 memory=78164 CPUtime=2974.86 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 12879 0 0 0 297483 3 0 0 20 0 1 0 23402300 101191680 19541 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 24705 19541 851 746 0 23769 0
Current children cumulated CPU time: 2974.86 s
Current children cumulated vsize: 98820 KiB
Current children cumulated memory: 78164 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 214463
/proc/meminfo: memFree=125785236/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=101532 memory=80208 CPUtime=3034.72 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 13426 0 0 0 303468 4 0 0 20 0 1 0 23402300 103968768 20052 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 25383 20052 851 746 0 24447 0
Current children cumulated CPU time: 3034.72 s
Current children cumulated vsize: 101532 KiB
Current children cumulated memory: 80208 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/258 214473
/proc/meminfo: memFree=125783888/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=102188 memory=80672 CPUtime=3094.57 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 13586 0 0 0 309453 4 0 0 20 0 1 0 23402300 104640512 20168 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 25547 20168 851 746 0 24611 0
Current children cumulated CPU time: 3094.57 s
Current children cumulated vsize: 102188 KiB
Current children cumulated memory: 80672 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 214483
/proc/meminfo: memFree=125781884/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=102188 memory=80672 CPUtime=3154.43 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 13596 0 0 0 315439 4 0 0 20 0 1 0 23402300 104640512 20168 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 25547 20168 851 746 0 24611 0
Current children cumulated CPU time: 3154.43 s
Current children cumulated vsize: 102188 KiB
Current children cumulated memory: 80672 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 214493
/proc/meminfo: memFree=125781108/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=102188 memory=80756 CPUtime=3214.28 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 13637 0 0 0 321424 4 0 0 20 0 1 0 23402300 104640512 20189 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 25547 20189 851 746 0 24611 0
Current children cumulated CPU time: 3214.28 s
Current children cumulated vsize: 102188 KiB
Current children cumulated memory: 80756 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/256 214504
/proc/meminfo: memFree=125779268/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=102188 memory=81140 CPUtime=3274.13 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 13674 0 0 0 327409 4 0 0 20 0 1 0 23402300 104640512 20285 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 25547 20285 851 746 0 24611 0
Current children cumulated CPU time: 3274.13 s
Current children cumulated vsize: 102188 KiB
Current children cumulated memory: 81140 KiB
[startup+3342.3 s]
/proc/loadavg: 4.38 4.21 4.13 5/255 214516
/proc/meminfo: memFree=125778208/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=102188 memory=81188 CPUtime=3333.99 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 13706 0 0 0 333395 4 0 0 20 0 1 0 23402300 104640512 20297 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 25547 20297 851 746 0 24611 0
Current children cumulated CPU time: 3333.99 s
Current children cumulated vsize: 102188 KiB
Current children cumulated memory: 81188 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.20 4.13 5/255 214526
/proc/meminfo: memFree=125777352/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=102188 memory=81188 CPUtime=3393.84 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 13739 0 0 0 339380 4 0 0 20 0 1 0 23402300 104640512 20297 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 25547 20297 851 746 0 24611 0
Current children cumulated CPU time: 3393.84 s
Current children cumulated vsize: 102188 KiB
Current children cumulated memory: 81188 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.18 4.12 5/255 214536
/proc/meminfo: memFree=125776296/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=102188 memory=81188 CPUtime=3453.7 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 13772 0 0 0 345366 4 0 0 20 0 1 0 23402300 104640512 20297 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 25547 20297 851 746 0 24611 0
Current children cumulated CPU time: 3453.7 s
Current children cumulated vsize: 102188 KiB
Current children cumulated memory: 81188 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/257 214550
/proc/meminfo: memFree=125775432/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=102188 memory=81188 CPUtime=3513.55 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 13806 0 0 0 351351 4 0 0 20 0 1 0 23402300 104640512 20297 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 25547 20297 851 746 0 24611 0
Current children cumulated CPU time: 3513.55 s
Current children cumulated vsize: 102188 KiB
Current children cumulated memory: 81188 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/256 214579
/proc/meminfo: memFree=125774036/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=102188 memory=81188 CPUtime=3573.41 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 13839 0 0 0 357337 4 0 0 20 0 1 0 23402300 104640512 20297 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 25547 20297 851 746 0 24611 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 102188 KiB
Current children cumulated memory: 81188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.09 4.14 4.11 5/256 214584
/proc/meminfo: memFree=125764924/131524600 swapFree=131055836/131071996
[pid=212579] ppid=212576 vsize=102188 memory=81188 CPUtime=3600.05 cores=1,3
/proc/212579/stat : 212579 (Exact_nosoplex) R 212576 212579 210064 0 -1 4194304 13864 0 0 0 360001 4 0 0 20 0 1 0 23402300 104640512 20297 134679101440 4194304 7248369 140731513834704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 29679616 140731513840557 140731513840735 140731513840735 140731513847750 0
/proc/212579/statm: 25547 20297 851 746 0 24611 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 102188 KiB
Current children cumulated memory: 81188 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 212579 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3600.02 s, system=0.041827 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.01
CPU time (s): 3600.06
CPU user time (s): 3600.02
CPU system time (s): 0.041827
CPU usage (%): 99.752
Max. virtual memory (cumulated for all children) (KiB): 102188
Max. memory (cumulated for all children) (KiB): 81188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.02
system time used= 0.041827
maximum resident set size= 90932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13865
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= 20
involuntary context switches= 1881
# summary of solver processes directly reported to runsolver:
# pid: 212579
# total CPU time (s): 3600.06
# total CPU user time (s): 3600.02
# total CPU system time (s): 0.041827
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74372 second user time and 14.4454 second system time
The end
Begin job on nodeC033 at 2024-07-25 02:52:06
IDJOB=4458106
IDBENCH=177145
IDSOLVER=3061
FILE ID=nodeC033/4458106-1721868726
RUNJOBID= nodeC033-1721865115-210076
SLURM_JOB_ID= 8089192
Free space on /tmp= 890068 MiB
SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_24.opb
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458106-1721868726/watcher-4458106-1721868726 -o /tmp/evaluation-result-4458106-1721868726/solver-4458106-1721868726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721865115-210076 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=814991398 HOME/instance-4458106-1721868726.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e18c86f02508cf43f5cae5e82895ebd
RANDOM SEED=814991398
nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.425
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3658.966
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.256
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3655.537
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.76
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 : 3669.507
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3681.616
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.76
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.142
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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.448
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125444640 kB
MemAvailable: 129150892 kB
Buffers: 280940 kB
Cached: 4223180 kB
SwapCached: 300 kB
Active: 2421976 kB
Inactive: 2997436 kB
Active(anon): 2244 kB
Inactive(anon): 966136 kB
Active(file): 2419732 kB
Inactive(file): 2031300 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131055836 kB
Dirty: 4868 kB
Writeback: 0 kB
AnonPages: 915140 kB
Mapped: 118444 kB
Shmem: 53064 kB
KReclaimable: 190084 kB
Slab: 305984 kB
SReclaimable: 190084 kB
SUnreclaim: 115900 kB
KernelStack: 4144 kB
PageTables: 10912 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1413100 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 729088 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: 391892 kB
DirectMap2M: 39227392 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 890064 MiB
End job on nodeC033 at 2024-07-25 03:52:15