Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
BTD 19.07.01 | ? (TO) | 2520.02 | 2519.8 |
Name | PseudoBoolean/PseudoBoolean-dec-fpga/ Pb-fpga45-44-sat.xml |
MD5SUM | 5bcfa8fa7457011a5ed18201858fb80b |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 6.71118 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2970 |
Number of constraints | 2113 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2970}] |
Minimum variable degree | 3 |
Maximum variable degree | 45 |
Distribution of variable degrees | [{"degree":3,"count":1980},{"degree":45,"count":990}] |
Minimum constraint arity | 22 |
Maximum constraint arity | 45 |
Distribution of constraint arities | [{"arity":22,"count":22},{"arity":23,"count":2002},{"arity":44,"count":45},{"arity":45,"count":44}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":2113}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c Version 19.07.01
One s line expected
runsolver version 3.4.0 (svn: 3012) 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: 16375 MiB (10151 MiB free) memory of node 1: 16384 MiB (13560 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386863-1568283441/watcher-4386863-1568283441 -o /tmp/evaluation-result-4386863-1568283441/solver-4386863-1568283441 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568280873-31188 --watchdog 2580 BTD 2520 HOME/instance-4386863-1568283441.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=31592, runsolver pid=31589 Current StackSize limit: 8192 KiB [startup+0.10016 s]* /proc/loadavg: 2.00 2.01 1.89 3/199 31593 /proc/meminfo: memFree=24278212/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=35828 memory=5352 CPUtime=0.1 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 1479 0 0 0 10 0 0 0 20 0 1 0 404285771 36687872 1338 33554432000 4194304 36700936 140728864692672 140728864692672 4225548 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 8957 1338 445 7937 0 985 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 35828 KiB Current children cumulated memory: 5352 KiB [startup+0.210739 s]* /proc/loadavg: 2.00 2.01 1.89 3/199 31593 /proc/meminfo: memFree=24277592/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=36340 memory=5864 CPUtime=0.21 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 1612 0 0 0 21 0 0 0 20 0 1 0 404285771 37212160 1466 33554432000 4194304 36700936 140728864692672 140728864692672 4225536 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 9085 1466 445 7937 0 1113 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 36340 KiB Current children cumulated memory: 5864 KiB [startup+0.310125 s]* /proc/loadavg: 2.00 2.01 1.89 3/199 31593 /proc/meminfo: memFree=24276848/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=36848 memory=6376 CPUtime=0.31 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 1730 0 0 0 31 0 0 0 20 0 1 0 404285771 37732352 1594 33554432000 4194304 36700936 140728864692672 140728864692672 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 9212 1594 445 7937 0 1240 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 36848 KiB Current children cumulated memory: 6376 KiB [startup+0.700289 s] /proc/loadavg: 2.00 2.01 1.89 3/199 31593 /proc/meminfo: memFree=24276104/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=38632 memory=8028 CPUtime=0.69 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 2188 0 0 0 69 0 0 0 20 0 1 0 404285771 39559168 2007 33554432000 4194304 36700936 140728864692672 140728864692672 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 9658 2007 445 7937 0 1686 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 38632 KiB Current children cumulated memory: 8028 KiB [startup+1.5003 s] /proc/loadavg: 1.84 1.98 1.88 3/199 31593 /proc/meminfo: memFree=24273444/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=42580 memory=12108 CPUtime=1.49 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 3161 0 0 0 149 0 0 0 20 0 1 0 404285771 43601920 3027 33554432000 4194304 36700936 140728864692672 140728864686920 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 10645 3027 445 7937 0 2673 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 42580 KiB Current children cumulated memory: 12108 KiB [startup+3.11051 s] /proc/loadavg: 1.84 1.98 1.88 3/199 31593 /proc/meminfo: memFree=24255708/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=58192 memory=27712 CPUtime=3.1 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 10060 0 0 0 310 0 0 0 20 0 1 0 404285771 59588608 6928 33554432000 4194304 36700936 140728864692672 140728864691720 4468774 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 14548 6928 489 7937 0 6576 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 58192 KiB Current children cumulated memory: 27712 KiB [startup+6.3003 s] /proc/loadavg: 1.93 2.00 1.88 3/199 31593 /proc/meminfo: memFree=24254376/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=59240 memory=28680 CPUtime=6.29 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 13442 0 0 0 628 1 0 0 20 0 1 0 404285771 60661760 7170 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 14810 7170 493 7937 0 6838 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 59240 KiB Current children cumulated memory: 28680 KiB [startup+12.7003 s] /proc/loadavg: 1.94 2.00 1.88 3/199 31593 /proc/meminfo: memFree=24254060/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=59372 memory=28900 CPUtime=12.69 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 16797 0 0 0 1266 3 0 0 20 0 1 0 404285771 60796928 7225 33554432000 4194304 36700936 140728864692672 140728864691720 6947479 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 14843 7225 504 7937 0 6871 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 59372 KiB Current children cumulated memory: 28900 KiB [startup+25.5003 s] /proc/loadavg: 1.95 2.00 1.88 3/199 31593 /proc/meminfo: memFree=24253812/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=59640 memory=29208 CPUtime=25.49 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 23471 0 0 0 2544 5 0 0 20 0 1 0 404285771 61071360 7302 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 14910 7302 504 7937 0 6938 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 59640 KiB Current children cumulated memory: 29208 KiB [startup+51.1106 s] /proc/loadavg: 1.97 2.00 1.89 3/199 31596 /proc/meminfo: memFree=24252472/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=59772 memory=29376 CPUtime=51.1 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 25885 0 0 0 5099 11 0 0 20 0 1 0 404285771 61206528 7344 33554432000 4194304 36700936 140728864692672 140728864691720 4468774 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 14943 7344 504 7937 0 6971 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 59772 KiB Current children cumulated memory: 29376 KiB [startup+102.3 s] /proc/loadavg: 1.99 2.00 1.89 3/199 31599 /proc/meminfo: memFree=24252896/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=59772 memory=29620 CPUtime=102.29 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 26034 0 0 0 10207 22 0 0 20 0 1 0 404285771 61206528 7405 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 14943 7405 504 7937 0 6971 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 59772 KiB Current children cumulated memory: 29620 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.00 1.90 3/199 31603 /proc/meminfo: memFree=24253868/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=59908 memory=29672 CPUtime=162.29 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 26087 0 0 0 16196 33 0 0 20 0 1 0 404285771 61345792 7418 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 14977 7418 504 7937 0 7005 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 59908 KiB Current children cumulated memory: 29672 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.90 3/200 31617 /proc/meminfo: memFree=24253044/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=59908 memory=29760 CPUtime=222.31 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 26145 0 0 0 22184 47 0 0 20 0 1 0 404285771 61345792 7440 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 14977 7440 504 7937 0 7005 0 Current children cumulated CPU time: 222.31 s Current children cumulated vsize: 59908 KiB Current children cumulated memory: 29760 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.91 3/200 31621 /proc/meminfo: memFree=24252996/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=59908 memory=29760 CPUtime=282.31 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 26145 0 0 0 28172 59 0 0 20 0 1 0 404285771 61345792 7440 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 14977 7440 504 7937 0 7005 0 Current children cumulated CPU time: 282.31 s Current children cumulated vsize: 59908 KiB Current children cumulated memory: 29760 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.92 3/200 31625 /proc/meminfo: memFree=24252756/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=60040 memory=29760 CPUtime=342.31 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 26196 0 0 0 34160 71 0 0 20 0 1 0 404285771 61480960 7440 33554432000 4194304 36700936 140728864692672 140728864691720 4468774 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 15010 7440 504 7937 0 7038 0 Current children cumulated CPU time: 342.31 s Current children cumulated vsize: 60040 KiB Current children cumulated memory: 29760 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.92 3/200 31631 /proc/meminfo: memFree=24252864/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=60040 memory=29760 CPUtime=402.32 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 26196 0 0 0 40148 84 0 0 20 0 1 0 404285771 61480960 7440 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 15010 7440 504 7937 0 7038 0 Current children cumulated CPU time: 402.32 s Current children cumulated vsize: 60040 KiB Current children cumulated memory: 29760 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.93 3/200 31635 /proc/meminfo: memFree=24252348/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=60040 memory=29944 CPUtime=462.33 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 26275 0 0 0 46137 96 0 0 20 0 1 0 404285771 61480960 7486 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 15010 7486 504 7937 0 7038 0 Current children cumulated CPU time: 462.33 s Current children cumulated vsize: 60040 KiB Current children cumulated memory: 29944 KiB ################ # More data... # ################ /proc/31592/statm: 15076 7547 504 7937 0 7104 0 Current children cumulated CPU time: 1722.44 s Current children cumulated vsize: 60304 KiB Current children cumulated memory: 30188 KiB [startup+1782.3 s] /proc/loadavg: 1.74 2.06 2.05 2/192 31800 /proc/meminfo: memFree=24323600/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=60304 memory=30188 CPUtime=1782.45 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 26878 0 0 0 177845 400 0 0 20 0 1 0 404285771 61751296 7547 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 15076 7547 504 7937 0 7104 0 Current children cumulated CPU time: 1782.45 s Current children cumulated vsize: 60304 KiB Current children cumulated memory: 30188 KiB [startup+1842.3 s] /proc/loadavg: 1.27 1.86 1.98 2/192 31806 /proc/meminfo: memFree=24323608/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=60304 memory=30188 CPUtime=1842.45 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 26878 0 0 0 183832 413 0 0 20 0 1 0 404285771 61751296 7547 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 15076 7547 504 7937 0 7104 0 Current children cumulated CPU time: 1842.45 s Current children cumulated vsize: 60304 KiB Current children cumulated memory: 30188 KiB [startup+1902.3 s] /proc/loadavg: 1.10 1.71 1.92 2/192 31810 /proc/meminfo: memFree=24324332/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=60304 memory=30188 CPUtime=1902.45 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 26914 0 0 0 189820 425 0 0 20 0 1 0 404285771 61751296 7547 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 15076 7547 504 7937 0 7104 0 Current children cumulated CPU time: 1902.45 s Current children cumulated vsize: 60304 KiB Current children cumulated memory: 30188 KiB [startup+1962.3 s] /proc/loadavg: 1.04 1.58 1.86 2/192 31814 /proc/meminfo: memFree=24324296/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=60436 memory=30216 CPUtime=1962.46 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 26972 0 0 0 195810 436 0 0 20 0 1 0 404285771 61886464 7554 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 15109 7554 504 7937 0 7137 0 Current children cumulated CPU time: 1962.46 s Current children cumulated vsize: 60436 KiB Current children cumulated memory: 30216 KiB [startup+2022.3 s] /proc/loadavg: 1.01 1.47 1.81 2/193 31828 /proc/meminfo: memFree=24323484/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=60436 memory=30288 CPUtime=2022.46 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 27012 0 0 0 201798 448 0 0 20 0 1 0 404285771 61886464 7572 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 15109 7572 504 7937 0 7137 0 Current children cumulated CPU time: 2022.46 s Current children cumulated vsize: 60436 KiB Current children cumulated memory: 30288 KiB [startup+2082.3 s] /proc/loadavg: 1.00 1.39 1.76 2/193 31832 /proc/meminfo: memFree=24324464/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=60436 memory=30288 CPUtime=2082.47 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 27012 0 0 0 207784 463 0 0 20 0 1 0 404285771 61886464 7572 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 15109 7572 504 7937 0 7137 0 Current children cumulated CPU time: 2082.47 s Current children cumulated vsize: 60436 KiB Current children cumulated memory: 30288 KiB [startup+2142.3 s] /proc/loadavg: 1.00 1.32 1.71 2/193 31836 /proc/meminfo: memFree=24324792/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=60436 memory=30288 CPUtime=2142.48 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 27052 0 0 0 213773 475 0 0 20 0 1 0 404285771 61886464 7572 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 15109 7572 504 7937 0 7137 0 Current children cumulated CPU time: 2142.48 s Current children cumulated vsize: 60436 KiB Current children cumulated memory: 30288 KiB [startup+2202.3 s] /proc/loadavg: 1.00 1.26 1.67 2/193 31842 /proc/meminfo: memFree=24324616/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=60436 memory=30288 CPUtime=2202.48 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 27052 0 0 0 219760 488 0 0 20 0 1 0 404285771 61886464 7572 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 15109 7572 504 7937 0 7137 0 Current children cumulated CPU time: 2202.48 s Current children cumulated vsize: 60436 KiB Current children cumulated memory: 30288 KiB [startup+2262.3 s] /proc/loadavg: 1.00 1.21 1.63 2/193 31846 /proc/meminfo: memFree=24324396/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=60436 memory=30288 CPUtime=2262.49 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 27092 0 0 0 225748 501 0 0 20 0 1 0 404285771 61886464 7572 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 15109 7572 504 7937 0 7137 0 Current children cumulated CPU time: 2262.49 s Current children cumulated vsize: 60436 KiB Current children cumulated memory: 30288 KiB [startup+2322.3 s] /proc/loadavg: 1.00 1.17 1.59 2/192 31851 /proc/meminfo: memFree=24324504/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=60436 memory=30288 CPUtime=2322.5 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 27092 0 0 0 231737 513 0 0 20 0 1 0 404285771 61886464 7572 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 15109 7572 504 7937 0 7137 0 Current children cumulated CPU time: 2322.5 s Current children cumulated vsize: 60436 KiB Current children cumulated memory: 30288 KiB [startup+2382.3 s] /proc/loadavg: 1.00 1.14 1.55 2/192 31857 /proc/meminfo: memFree=24323860/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=60436 memory=30288 CPUtime=2382.49 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 27128 0 0 0 237726 523 0 0 20 0 1 0 404285771 61886464 7572 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 15109 7572 504 7937 0 7137 0 Current children cumulated CPU time: 2382.49 s Current children cumulated vsize: 60436 KiB Current children cumulated memory: 30288 KiB [startup+2442.3 s] /proc/loadavg: 1.00 1.12 1.52 2/192 31861 /proc/meminfo: memFree=24323720/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=60436 memory=30288 CPUtime=2442.5 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 27128 0 0 0 243713 537 0 0 20 0 1 0 404285771 61886464 7572 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 15109 7572 504 7937 0 7137 0 Current children cumulated CPU time: 2442.5 s Current children cumulated vsize: 60436 KiB Current children cumulated memory: 30288 KiB [startup+2502.3 s] /proc/loadavg: 1.00 1.10 1.48 2/192 31866 /proc/meminfo: memFree=24323460/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=60436 memory=30288 CPUtime=2502.51 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 27164 0 0 0 249702 549 0 0 20 0 1 0 404285771 61886464 7572 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 15109 7572 504 7937 0 7137 0 Current children cumulated CPU time: 2502.51 s Current children cumulated vsize: 60436 KiB Current children cumulated memory: 30288 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2519.8 s] /proc/loadavg: 1.00 1.09 1.48 2/192 31869 /proc/meminfo: memFree=24323144/32770688 swapFree=66960400/67108860 [pid=31592] ppid=31589 vsize=60436 memory=30288 CPUtime=2520.01 cores=0-3 /proc/31592/stat : 31592 (BTD) R 31589 31592 31157 0 -1 4202496 27164 0 0 0 251448 553 0 0 20 0 1 0 404285771 61886464 7572 33554432000 4194304 36700936 140728864692672 140728864691720 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 54169600 140728864695336 140728864695412 140728864695412 140728864698321 0 /proc/31592/statm: 15109 7572 504 7937 0 7137 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 60436 KiB Current children cumulated memory: 30288 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2519.8 s] # the end of solver process 31592 was just reported to runsolver # cumulated CPU time of all completed processes: user=2514.49 s, system=5.5325 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 2519.8 CPU time (s): 2520.02 CPU user time (s): 2514.49 CPU system time (s): 5.5325 CPU usage (%): 100.009 Max. virtual memory (cumulated for all children) (KiB): 60436 Max. memory (cumulated for all children) (KiB): 30288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2514.49 system time used= 5.53249 maximum resident set size= 30288 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27164 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= 10 involuntary context switches= 666 # summary of solver processes directly reported to runsolver: # pid: 31592 # total CPU time (s): 2520.02 # total CPU user time (s): 2514.49 # total CPU system time (s): 5.5325 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.69175 second user time and 18.4864 second system time The end
Begin job on node116 at 2019-09-12 12:16:40 IDJOB=4386863 IDBENCH=134701 IDSOLVER=2822 FILE ID=node116/4386863-1568283441 RUNJOBID= node116-1568280873-31188 PBS_JOBID= 21701086 Free space on /tmp= 54268 MiB SOLVER NAME= BTD 19.07.01 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-fpga/Pb-fpga45-44-sat.xml COMMAND LINE= BTD TIMELIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4386863-1568283441/watcher-4386863-1568283441 -o /tmp/evaluation-result-4386863-1568283441/solver-4386863-1568283441 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568280873-31188 --watchdog 2580 BTD 2520 HOME/instance-4386863-1568283441.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5bcfa8fa7457011a5ed18201858fb80b RANDOM SEED=641112728 node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 24280780 kB MemAvailable: 31807876 kB Buffers: 92548 kB Cached: 7646340 kB SwapCached: 46384 kB Active: 1451500 kB Inactive: 6345036 kB Active(anon): 21220 kB Inactive(anon): 76696 kB Active(file): 1430280 kB Inactive(file): 6268340 kB Unevictable: 110104 kB Mlocked: 110104 kB SwapTotal: 67108860 kB SwapFree: 66960400 kB Dirty: 61480 kB Writeback: 0 kB AnonPages: 121972 kB Mapped: 43808 kB Shmem: 31784 kB Slab: 285572 kB SReclaimable: 256936 kB SUnreclaim: 28636 kB KernelStack: 3536 kB PageTables: 5504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 534692 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 73728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 54268 MiB End job on node116 at 2019-09-12 12:58:40