1.39/1.41 c Filename:instance-4442586-1721301220.opb, Cutoff_time:3600, memory_limit_gb:500000
1.39/1.41 c Use Presolve
1.39/1.41 c Parse finsih
1.39/1.41 c Start Presolve
1.39/1.41 c After Reduce Vars: 1800 Clauses: 39645 Top clause weight: 1 Hard Clauses: 39645
3599.90/3608.20 c Use LS-small
3599.90/3608.20 s UNKNOWN
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 (62640 MiB free)
memory of node 1: 64510 MiB (61389 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442586-1721301220/watcher-4442586-1721301220 -o /tmp/evaluation-result-4442586-1721301220/solver-4442586-1721301220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721293803-941261 --watchdog 3760 ./LS-MabSP -f HOME/instance-4442586-1721301220.opb -t 3600 -s 903240893
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=945675, runsolver pid=945672
[startup+0.10009 s]*
/proc/loadavg: 4.15 4.13 4.12 5/244 945676
/proc/meminfo: memFree=126999268/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=25400 memory=11000 CPUtime=0.1 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 1772 0 0 0 10 0 0 0 20 0 1 0 182278662 26009600 2750 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 6350 2750 1073 2753 0 3003 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25400 KiB
Current children cumulated memory: 11000 KiB
[startup+0.212794 s]*
/proc/loadavg: 4.15 4.13 4.12 5/244 945676
/proc/meminfo: memFree=126983304/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=40684 memory=26676 CPUtime=0.22 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 6488 0 0 0 21 1 0 0 20 0 1 0 182278662 41660416 6669 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 10171 6669 1105 2753 0 6824 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 40684 KiB
Current children cumulated memory: 26676 KiB
[startup+0.312715 s]*
/proc/loadavg: 4.15 4.13 4.12 5/244 945676
/proc/meminfo: memFree=126983164/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=40684 memory=26676 CPUtime=0.32 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 6491 0 0 0 31 1 0 0 20 0 1 0 182278662 41660416 6669 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 10171 6669 1105 2753 0 6824 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 40684 KiB
Current children cumulated memory: 26676 KiB
[startup+0.700261 s]
/proc/loadavg: 4.15 4.13 4.12 5/244 945676
/proc/meminfo: memFree=126983024/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=40684 memory=26676 CPUtime=0.69 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 6491 0 0 0 68 1 0 0 20 0 1 0 182278662 41660416 6669 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 10171 6669 1105 2753 0 6824 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40684 KiB
Current children cumulated memory: 26676 KiB
[startup+1.50033 s]
/proc/loadavg: 4.15 4.13 4.12 5/244 945676
/proc/meminfo: memFree=126904904/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=209304 memory=194016 CPUtime=1.48 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 48129 0 0 0 142 6 0 0 20 0 1 0 182278662 214327296 48504 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 52326 48504 2833 2753 0 48979 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 209304 KiB
Current children cumulated memory: 194016 KiB
[startup+3.11257 s]
/proc/loadavg: 4.14 4.13 4.12 5/244 945678
/proc/meminfo: memFree=126820900/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=209304 memory=195376 CPUtime=3.09 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 48433 0 0 0 303 6 0 0 20 0 1 0 182278662 214327296 48844 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 52326 48844 2849 2753 0 48979 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 209304 KiB
Current children cumulated memory: 195376 KiB
[startup+6.3003 s]
/proc/loadavg: 4.14 4.13 4.12 5/244 945678
/proc/meminfo: memFree=126802584/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=251912 memory=214308 CPUtime=6.27 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 52664 0 0 0 620 7 0 0 20 0 1 0 182278662 257957888 53577 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 62978 53577 2849 2753 0 59631 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 251912 KiB
Current children cumulated memory: 214308 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.12 4.12 5/244 945678
/proc/meminfo: memFree=126765328/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=287716 memory=250708 CPUtime=12.65 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 67171 0 0 0 1256 9 0 0 20 0 1 0 182278662 294621184 62677 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 71929 62677 2849 2753 0 68582 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 287716 KiB
Current children cumulated memory: 250708 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.12 4.12 5/244 945681
/proc/meminfo: memFree=126727888/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=339996 memory=287916 CPUtime=25.42 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 76521 0 0 0 2531 11 0 0 20 0 1 0 182278662 348155904 71979 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 84999 71979 2849 2753 0 81652 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 339996 KiB
Current children cumulated memory: 287916 KiB
[startup+51.1128 s]
/proc/loadavg: 4.14 4.12 4.12 5/244 945684
/proc/meminfo: memFree=126727524/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=350612 memory=288132 CPUtime=50.95 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 76555 0 0 0 5084 11 0 0 20 0 1 0 182278662 359026688 72033 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 87653 72033 2849 2753 0 84306 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 350612 KiB
Current children cumulated memory: 288132 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.10 4.11 5/243 945693
/proc/meminfo: memFree=126711196/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=377000 memory=304168 CPUtime=101.99 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 79673 0 0 0 10186 13 0 0 20 0 1 0 182278662 386048000 76042 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 94250 76042 2849 2753 0 90903 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 377000 KiB
Current children cumulated memory: 304168 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/243 945705
/proc/meminfo: memFree=126655832/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=432544 memory=359060 CPUtime=161.8 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 93361 0 0 0 16164 16 0 0 20 0 1 0 182278662 442925056 89765 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 108136 89765 2849 2753 0 104789 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 432544 KiB
Current children cumulated memory: 359060 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/243 945715
/proc/meminfo: memFree=126633400/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=451624 memory=380964 CPUtime=221.6 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 98197 0 0 0 22143 17 0 0 20 0 1 0 182278662 462462976 95241 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 112906 95241 2849 2753 0 109559 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 451624 KiB
Current children cumulated memory: 380964 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/243 945725
/proc/meminfo: memFree=126630532/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=451624 memory=383464 CPUtime=281.4 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 98263 0 0 0 28122 18 0 0 20 0 1 0 182278662 462462976 95866 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 112906 95866 2849 2753 0 109559 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 451624 KiB
Current children cumulated memory: 383464 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/242 945736
/proc/meminfo: memFree=126603152/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=471580 memory=410460 CPUtime=341.21 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 103319 0 0 0 34102 19 0 0 20 0 1 0 182278662 482897920 102615 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 117895 102615 2849 2753 0 114548 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 471580 KiB
Current children cumulated memory: 410460 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/245 945751
/proc/meminfo: memFree=126584792/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=471580 memory=428520 CPUtime=401.03 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 103429 0 0 0 40083 20 0 0 20 0 1 0 182278662 482897920 107130 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 117895 107130 2849 2753 0 114548 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 471580 KiB
Current children cumulated memory: 428520 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/245 945761
/proc/meminfo: memFree=126574860/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=471580 memory=438216 CPUtime=460.86 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 103580 0 0 0 46066 20 0 0 20 0 1 0 182278662 482897920 109554 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
################
# More data... #
################
Current children cumulated memory: 585644 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/244 947368
/proc/meminfo: memFree=126513740/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=616920 memory=585644 CPUtime=2855.34 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 161359 0 0 0 282734 2800 0 0 20 0 1 0 182278662 631726080 146411 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 154230 146411 2849 2753 0 150883 0
Current children cumulated CPU time: 2855.34 s
Current children cumulated vsize: 616920 KiB
Current children cumulated memory: 585644 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/244 947379
/proc/meminfo: memFree=126513580/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=616920 memory=585644 CPUtime=2915.23 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 161370 0 0 0 288559 2964 0 0 20 0 1 0 182278662 631726080 146411 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 154230 146411 2849 2753 0 150883 0
Current children cumulated CPU time: 2915.23 s
Current children cumulated vsize: 616920 KiB
Current children cumulated memory: 585644 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/244 947389
/proc/meminfo: memFree=126513400/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=616920 memory=585644 CPUtime=2975.13 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 161392 0 0 0 294386 3127 0 0 20 0 1 0 182278662 631726080 146411 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 154230 146411 2849 2753 0 150883 0
Current children cumulated CPU time: 2975.13 s
Current children cumulated vsize: 616920 KiB
Current children cumulated memory: 585644 KiB
[startup+3042.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/244 947399
/proc/meminfo: memFree=126512996/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=616920 memory=585644 CPUtime=3035.03 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 161403 0 0 0 300215 3288 0 0 20 0 1 0 182278662 631726080 146411 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 154230 146411 2849 2753 0 150883 0
Current children cumulated CPU time: 3035.03 s
Current children cumulated vsize: 616920 KiB
Current children cumulated memory: 585644 KiB
[startup+3102.3 s]
/proc/loadavg: 4.27 4.20 4.19 5/244 947410
/proc/meminfo: memFree=126512752/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=616920 memory=585644 CPUtime=3094.92 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 161425 0 0 0 306042 3450 0 0 20 0 1 0 182278662 631726080 146411 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 154230 146411 2849 2753 0 150883 0
Current children cumulated CPU time: 3094.92 s
Current children cumulated vsize: 616920 KiB
Current children cumulated memory: 585644 KiB
[startup+3162.3 s]
/proc/loadavg: 4.26 4.21 4.19 5/242 947421
/proc/meminfo: memFree=126512432/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=616920 memory=585644 CPUtime=3154.82 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 161436 0 0 0 311872 3610 0 0 20 0 1 0 182278662 631726080 146411 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 154230 146411 2849 2753 0 150883 0
Current children cumulated CPU time: 3154.82 s
Current children cumulated vsize: 616920 KiB
Current children cumulated memory: 585644 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/242 947431
/proc/meminfo: memFree=126512164/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=616920 memory=585644 CPUtime=3214.72 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 161458 0 0 0 317709 3763 0 0 20 0 1 0 182278662 631726080 146411 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 154230 146411 2849 2753 0 150883 0
Current children cumulated CPU time: 3214.72 s
Current children cumulated vsize: 616920 KiB
Current children cumulated memory: 585644 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/242 947441
/proc/meminfo: memFree=126511776/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=616920 memory=585644 CPUtime=3274.61 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 161469 0 0 0 323544 3917 0 0 20 0 1 0 182278662 631726080 146411 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 154230 146411 2849 2753 0 150883 0
Current children cumulated CPU time: 3274.61 s
Current children cumulated vsize: 616920 KiB
Current children cumulated memory: 585644 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.18 5/242 947452
/proc/meminfo: memFree=126511576/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=616920 memory=585644 CPUtime=3334.51 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 161491 0 0 0 329378 4073 0 0 20 0 1 0 182278662 631726080 146411 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 154230 146411 2849 2753 0 150883 0
Current children cumulated CPU time: 3334.51 s
Current children cumulated vsize: 616920 KiB
Current children cumulated memory: 585644 KiB
[startup+3402.3 s]
/proc/loadavg: 3.81 4.09 4.15 2/224 947560
/proc/meminfo: memFree=126729880/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=616920 memory=585644 CPUtime=3394.4 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 161502 0 0 0 335206 4234 0 0 20 0 1 0 182278662 631726080 146411 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 154230 146411 2849 2753 0 150883 0
Current children cumulated CPU time: 3394.4 s
Current children cumulated vsize: 616920 KiB
Current children cumulated memory: 585644 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 3.54 3.95 2/224 947570
/proc/meminfo: memFree=126730276/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=616920 memory=585644 CPUtime=3454.31 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 161524 0 0 0 341037 4394 0 0 20 0 1 0 182278662 631726080 146411 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 154230 146411 2849 2753 0 150883 0
Current children cumulated CPU time: 3454.31 s
Current children cumulated vsize: 616920 KiB
Current children cumulated memory: 585644 KiB
[startup+3522.3 s]
/proc/loadavg: 1.44 3.09 3.77 2/225 947582
/proc/meminfo: memFree=126730224/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=616920 memory=585644 CPUtime=3514.22 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 161535 0 0 0 346863 4559 0 0 20 0 1 0 182278662 631726080 146411 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 154230 146411 2849 2753 0 150883 0
Current children cumulated CPU time: 3514.22 s
Current children cumulated vsize: 616920 KiB
Current children cumulated memory: 585644 KiB
[startup+3582.3 s]
/proc/loadavg: 1.26 2.74 3.60 2/225 947592
/proc/meminfo: memFree=126729888/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=616920 memory=585644 CPUtime=3574.13 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 161557 0 0 0 352697 4716 0 0 20 0 1 0 182278662 631726080 146411 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 154230 146411 2849 2753 0 150883 0
Current children cumulated CPU time: 3574.13 s
Current children cumulated vsize: 616920 KiB
Current children cumulated memory: 585644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.2 s]
/proc/loadavg: 1.17 2.60 3.53 2/225 947596
/proc/meminfo: memFree=126729776/131655788 swapFree=131071996/131071996
[pid=945675] ppid=945672 vsize=616920 memory=585644 CPUtime=3600 cores=1,3
/proc/945675/stat : 945675 (LS-MabSP) R 945672 945675 941247 0 -1 4194304 161558 0 0 0 355212 4788 0 0 20 0 1 0 182278662 631726080 146411 134679101440 4194304 15467897 140734655173040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41349120 140734655177759 140734655177861 140734655177861 140734655184877 0
/proc/945675/statm: 154230 146411 2849 2753 0 150883 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 616920 KiB
Current children cumulated memory: 585644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.2 s]
# the end of solver process 945675 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3552.12 s, system=47.8837 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3608.2
CPU time (s): 3600
CPU user time (s): 3552.12
CPU system time (s): 47.8837
CPU usage (%): 99.7728
Max. virtual memory (cumulated for all children) (KiB): 636852
Max. memory (cumulated for all children) (KiB): 602400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3552.12
system time used= 47.8837
maximum resident set size= 602400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161565
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= 78
involuntary context switches= 1483
# summary of solver processes directly reported to runsolver:
# pid: 945675
# total CPU time (s): 3600
# total CPU user time (s): 3552.12
# total CPU system time (s): 47.8837
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0423 second user time and 33.9093 second system time
The end
Begin job on nodeC007 at 2024-07-18 13:13:53
IDJOB=4442586
IDBENCH=147833
IDSOLVER=3047
FILE ID=nodeC007/4442586-1721301220
RUNJOBID= nodeC007-1721293803-941261
SLURM_JOB_ID= 7542608
Free space on /tmp= 723732 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442586-1721301220/watcher-4442586-1721301220 -o /tmp/evaluation-result-4442586-1721301220/solver-4442586-1721301220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721293803-941261 --watchdog 3760 ./LS-MabSP -f HOME/instance-4442586-1721301220.opb -t 3600 -s 903240893
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2590c1209b8f449ade71ad316e08b5f7
RANDOM SEED=903240893
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3672.632
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.650
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.372
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.131
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3672.651
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.146
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.291
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.224
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127006416 kB
MemAvailable: 129761396 kB
Buffers: 480312 kB
Cached: 3106284 kB
SwapCached: 0 kB
Active: 985536 kB
Inactive: 3105108 kB
Active(anon): 1468 kB
Inactive(anon): 540276 kB
Active(file): 984068 kB
Inactive(file): 2564832 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17040 kB
Writeback: 0 kB
AnonPages: 504104 kB
Mapped: 140108 kB
Shmem: 37704 kB
KReclaimable: 92220 kB
Slab: 193416 kB
SReclaimable: 92220 kB
SUnreclaim: 101196 kB
KernelStack: 4016 kB
PageTables: 10308 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 936400 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 57376 kB
HardwareCorrupted: 0 kB
AnonHugePages: 505856 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723764 MiB
End job on nodeC007 at 2024-07-18 14:14:01