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: 63837 MiB (39690 MiB free)
memory of node 1: 64465 MiB (54075 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512089-1751200938/watcher-4512089-1751200938 -o /tmp/evaluation-result-4512089-1751200938/solver-4512089-1751200938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751192746-24172 --watchdog 3760 pb_picat HOME/instance-4512089-1751200938.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=25866, runsolver pid=25863
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.15 4.13 4.15 5/250 25867
/proc/meminfo: memFree=96012156/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=2027148 memory=28424 CPUtime=0.09 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 1146 0 0 0 8 1 0 0 20 0 1 0 35773428 2075799552 7106 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 506787 7106 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 28424 KiB
[startup+0.205635 s]*
/proc/loadavg: 4.15 4.13 4.15 5/250 25867
/proc/meminfo: memFree=97216380/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=2027148 memory=38892 CPUtime=0.19 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 1208 0 0 0 18 1 0 0 20 0 1 0 35773428 2075799552 9723 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 506787 9723 1536 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38892 KiB
[startup+0.305503 s]*
/proc/loadavg: 4.15 4.13 4.15 5/250 25867
/proc/meminfo: memFree=97216380/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=2027148 memory=53488 CPUtime=0.29 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 1274 0 0 0 28 1 0 0 20 0 1 0 35773428 2075799552 13372 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 506787 13372 1536 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 53488 KiB
[startup+0.700318 s]
/proc/loadavg: 4.15 4.13 4.15 5/250 25867
/proc/meminfo: memFree=96638844/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=2027148 memory=112880 CPUtime=0.69 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 1303 0 0 0 66 3 0 0 20 0 1 0 35773428 2075799552 28220 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 506787 28220 1536 343 0 503851 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 112880 KiB
[startup+1.50032 s]
/proc/loadavg: 4.15 4.13 4.15 5/250 25867
/proc/meminfo: memFree=95998924/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=2027148 memory=268528 CPUtime=1.48 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 1379 0 0 0 142 6 0 0 20 0 1 0 35773428 2075799552 67132 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 506787 67132 1536 343 0 503851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 268528 KiB
[startup+3.11273 s]
/proc/loadavg: 4.14 4.13 4.15 5/250 25867
/proc/meminfo: memFree=95633732/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=2058404 memory=650128 CPUtime=3.09 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 2352 0 0 0 294 15 0 0 20 0 1 0 35773428 2107805696 162532 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 514601 162532 1536 343 0 511665 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2058404 KiB
Current children cumulated memory: 650128 KiB
[startup+6.30032 s]
/proc/loadavg: 4.14 4.13 4.15 5/250 25867
/proc/meminfo: memFree=95033512/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=2859152 memory=1256164 CPUtime=6.27 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 7955 0 0 0 598 29 0 0 20 0 1 0 35773428 2927771648 314041 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 714788 314041 1536 343 0 711852 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2859152 KiB
Current children cumulated memory: 1256164 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.13 4.15 5/250 25867
/proc/meminfo: memFree=95719412/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=3182592 memory=1815244 CPUtime=12.65 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 11398 0 0 0 1218 47 0 0 20 0 1 0 35773428 3258974208 453811 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 795648 453811 1536 343 0 792712 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3182592 KiB
Current children cumulated memory: 1815244 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 4.14 4.16 5/250 25867
/proc/meminfo: memFree=93708792/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=3198216 memory=2554704 CPUtime=25.42 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 12076 0 0 0 2480 62 0 0 20 0 1 0 35773428 3274973184 638676 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 799554 638676 1568 343 0 796618 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3198216 KiB
Current children cumulated memory: 2554704 KiB
[startup+51.1129 s]
/proc/loadavg: 4.19 4.14 4.16 5/250 25867
/proc/meminfo: memFree=92989564/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=4626232 memory=3500516 CPUtime=50.97 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 15333 0 0 0 5001 96 0 0 20 0 1 0 35773428 4737261568 875129 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 1156558 875129 1568 343 0 1153622 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 4626232 KiB
Current children cumulated memory: 3500516 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/251 25917
/proc/meminfo: memFree=103640692/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=6819420 memory=5680320 CPUtime=102.01 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 44709 0 0 0 9561 640 0 0 20 0 1 0 35773428 6983086080 1420080 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 1704855 1420080 1568 343 0 1701919 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 6819420 KiB
Current children cumulated memory: 5680320 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.15 5/251 25963
/proc/meminfo: memFree=102328156/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=11206576 memory=10021092 CPUtime=161.85 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 91624 0 0 0 14486 1699 0 0 20 0 1 0 35773428 11475533824 2505273 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 2801644 2505273 1568 343 0 2798708 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 11206576 KiB
Current children cumulated memory: 10021092 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/252 25966
/proc/meminfo: memFree=97111084/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=11217772 memory=9639072 CPUtime=221.65 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 118930 0 0 0 19696 2469 0 0 20 0 1 0 35773428 11486998528 2409768 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 2804443 2409768 1568 343 0 2801507 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 11217772 KiB
Current children cumulated memory: 9639072 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/253 25969
/proc/meminfo: memFree=85204652/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=19030536 memory=17438932 CPUtime=281.49 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 133528 0 0 0 25309 2840 0 0 20 0 1 0 35773428 19487268864 4359733 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 4757634 4359733 1568 343 0 4754698 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 19030536 KiB
Current children cumulated memory: 17438932 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/252 25971
/proc/meminfo: memFree=75999388/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=20004928 memory=18872076 CPUtime=341.33 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 212605 0 0 0 28927 5206 0 0 20 0 1 0 35773428 20485046272 4718019 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 5001232 4718019 1568 343 0 4998296 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 20004928 KiB
Current children cumulated memory: 18872076 KiB
[startup+368.387 s]
# the end of solver process 25866 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=309.817 s, system=57.534 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+345.6 s]
/proc/loadavg: 4.15 4.13 4.15 5/252 25971
/proc/meminfo: memFree=77081288/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=20005400 memory=18872548 CPUtime=344.62 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 216015 0 0 0 29142 5320 0 0 20 0 1 0 35773428 20485529600 4718137 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 5001350 4718137 1568 343 0 4998414 0
Current children cumulated CPU time: 344.62 s
Current children cumulated vsize: 20005400 KiB
Current children cumulated memory: 18872548 KiB
[startup+358.4 s]
/proc/loadavg: 4.20 4.14 4.15 5/251 26000
/proc/meminfo: memFree=95815136/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=20006220 memory=18875416 CPUtime=357.38 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 225243 0 0 0 30154 5584 0 0 20 0 1 0 35773428 20486369280 4718854 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 5001555 4718854 1568 343 0 4998619 0
Current children cumulated CPU time: 357.38 s
Current children cumulated vsize: 20006220 KiB
Current children cumulated memory: 18875416 KiB
[startup+364.8 s]
/proc/loadavg: 4.18 4.14 4.15 5/253 26027
/proc/meminfo: memFree=95930208/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=20006648 memory=18877892 CPUtime=363.77 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 229604 0 0 0 30667 5710 0 0 20 0 1 0 35773428 20486807552 4719473 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 5001662 4719473 1568 343 0 4998726 0
Current children cumulated CPU time: 363.77 s
Current children cumulated vsize: 20006648 KiB
Current children cumulated memory: 18877892 KiB
[startup+366.4 s]
/proc/loadavg: 4.18 4.14 4.15 5/253 26027
/proc/meminfo: memFree=95938396/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=20006648 memory=18877892 CPUtime=365.36 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 229604 0 0 0 30826 5710 0 0 20 0 1 0 35773428 20486807552 4719473 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 5001662 4719473 1568 343 0 4998726 0
Current children cumulated CPU time: 365.36 s
Current children cumulated vsize: 20006648 KiB
Current children cumulated memory: 18877892 KiB
[startup+367.2 s]
/proc/loadavg: 4.18 4.14 4.15 5/253 26027
/proc/meminfo: memFree=95939024/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=20006648 memory=18877892 CPUtime=366.16 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 229604 0 0 0 30906 5710 0 0 20 0 1 0 35773428 20486807552 4719473 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 5001662 4719473 1568 343 0 4998726 0
Current children cumulated CPU time: 366.16 s
Current children cumulated vsize: 20006648 KiB
Current children cumulated memory: 18877892 KiB
[startup+368 s]*
/proc/loadavg: 4.17 4.14 4.15 5/253 26027
/proc/meminfo: memFree=97348456/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=20007016 memory=17508148 CPUtime=366.97 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 230089 0 0 0 30975 5722 0 0 20 0 1 0 35773428 20487184384 4377037 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 5001754 4377037 1568 343 0 4998818 0
Current children cumulated CPU time: 366.97 s
Current children cumulated vsize: 20007016 KiB
Current children cumulated memory: 17508148 KiB
[startup+368.2 s]
/proc/loadavg: 4.17 4.14 4.15 5/253 26027
/proc/meminfo: memFree=97348456/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=20007016 memory=18282292 CPUtime=367.16 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 230467 0 0 0 30977 5739 0 0 20 0 1 0 35773428 20487184384 4570573 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 5001754 4570573 1568 343 0 4998818 0
Current children cumulated CPU time: 367.16 s
Current children cumulated vsize: 20007016 KiB
Current children cumulated memory: 18282292 KiB
[startup+368.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/253 26027
/proc/meminfo: memFree=97348456/131382116 swapFree=33010684/33010684
[pid=25866] ppid=25863 vsize=20007016 memory=18695988 CPUtime=367.25 cores=5,7
/proc/25866/stat : 25866 (pb_picat) R 25863 25866 24159 0 -1 4194304 230669 0 0 0 30979 5746 0 0 20 0 1 0 35773428 20487184384 4673997 18446744073709551615 93952362463232 93952363864813 140720886188560 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93952364136240 93952366010544 93952378875904 140720886192542 140720886192618 140720886192618 140720886198220 0
/proc/25866/statm: 5001754 4673997 1568 343 0 4998818 0
Current children cumulated CPU time: 367.25 s
Current children cumulated vsize: 20007016 KiB
Current children cumulated memory: 18695988 KiB
Child status: 1
Real time (s): 368.387
CPU time (s): 367.351
CPU user time (s): 309.817
CPU system time (s): 57.534
CPU usage (%): 99.7186
Max. virtual memory (cumulated for all children) (KiB): 26843040
Max. memory (cumulated for all children) (KiB): 18877892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 309.817
system time used= 57.534
maximum resident set size= 18880564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230764
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= 67
involuntary context switches= 437
# summary of solver processes directly reported to runsolver:
# pid: 25866
# total CPU time (s): 367.351
# total CPU user time (s): 309.817
# total CPU system time (s): 57.534
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.8849 second user time and 3.56459 second system time
The end
Begin job on nodeC010 at 2025-06-29 14:42:20
IDJOB=4512089
IDBENCH=160492
IDSOLVER=3346
FILE ID=nodeC010/4512089-1751200938
RUNJOBID= nodeC010-1751192746-24172
SLURM_JOB_ID= 9587585
Free space on /tmp= 432560 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512089-1751200938/watcher-4512089-1751200938 -o /tmp/evaluation-result-4512089-1751200938/solver-4512089-1751200938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751192746-24172 --watchdog 3760 pb_picat HOME/instance-4512089-1751200938.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0020647681361a6ff6bc771888680f52
RANDOM SEED=1016706138
nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3650.206
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
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.685
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
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.269
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
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.207
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
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 : 3591.277
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
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 : 1197.187
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
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.265
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
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 : 3293.472
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 96016144 kB
MemAvailable: 96314544 kB
Buffers: 3280 kB
Cached: 1108892 kB
SwapCached: 0 kB
Active: 33594904 kB
Inactive: 816992 kB
Active(anon): 33317708 kB
Inactive(anon): 0 kB
Active(file): 277196 kB
Inactive(file): 816992 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 137012 kB
Writeback: 0 kB
AnonPages: 33298060 kB
Mapped: 113716 kB
Shmem: 17960 kB
KReclaimable: 87680 kB
Slab: 166888 kB
SReclaimable: 87680 kB
SUnreclaim: 79208 kB
KernelStack: 4048 kB
PageTables: 68156 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 41292040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 31115264 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432496 MiB
End job on nodeC010 at 2025-06-29 14:48:29