Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
BTD 19.07.01 | ? (TO) | 2520.08 | 2519.8 |
Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-75-09.xml |
MD5SUM | 3e3af1bae7de9ef5515b71e9dbb47d41 |
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 | 15.5446 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1421 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":2,"count":1000},{"size":25,"count":200}] |
Minimum variable degree | 2 |
Maximum variable degree | 72 |
Distribution of variable degrees | [{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":48,"count":8}, {"degree":49,"count":8}, {"degree":50,"count":9}, {"degree":51,"count":9}, {"degree":52,"count":62}, {"degree":53,"count":6}, {"degree":54,"count":6}, {"degree":55,"count":50}, {"degree":56,"count":2}, {"degree":57,"count":2}, {"degree":58,"count":2}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":3}, {"degree":72,"count":63}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 200 |
Distribution of constraint arities | [{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":1},{"arity":50,"count":2},{"arity":53,"count":1},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},{"arity":62,"count":2},{"arity":64,"count":1},{"arity":65,"count":4},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"count":2},{"arity":72,"count":1},{"arity":74,"count":3},{"arity":75,"count":2},{"arity":76,"count":1},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}] |
Number of extensional constraints | 200 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":200},{"type":"sum","count":1220},{"type":"cardinality","count":1}] |
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: 16374 MiB (9274 MiB free) memory of node 1: 16384 MiB (13216 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386786-1568281004/watcher-4386786-1568281004 -o /tmp/evaluation-result-4386786-1568281004/solver-4386786-1568281004 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568280854-8913 --watchdog 2580 BTD 2520 HOME/instance-4386786-1568281004.xml running on 4 cores: 0,2,4,6 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=9138, runsolver pid=9135 Current StackSize limit: 8192 KiB [startup+0.100198 s]* /proc/loadavg: 1.60 0.57 0.24 3/199 9139 /proc/meminfo: memFree=23026044/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=36320 memory=5816 CPUtime=0.1 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 1643 0 0 0 10 0 0 0 20 0 1 0 404349110 37191680 1454 33554432000 4194304 36700936 140727118680240 140727118680240 5294000 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 9080 1454 470 7937 0 1108 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 36320 KiB Current children cumulated memory: 5816 KiB [startup+0.209671 s]* /proc/loadavg: 1.60 0.57 0.24 3/200 9141 /proc/meminfo: memFree=23022724/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=38564 memory=8192 CPUtime=0.21 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 2178 0 0 0 21 0 0 0 20 0 1 0 404349110 39489536 2048 33554432000 4194304 36700936 140727118680240 140727118680240 7949654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 9641 2048 470 7937 0 1669 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 38564 KiB Current children cumulated memory: 8192 KiB [startup+0.309452 s]* /proc/loadavg: 1.60 0.57 0.24 3/200 9141 /proc/meminfo: memFree=23020492/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=40804 memory=10312 CPUtime=0.31 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 2766 0 0 0 31 0 0 0 20 0 1 0 404349110 41783296 2578 33554432000 4194304 36700936 140727118680240 140727118680240 7949654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 10201 2578 470 7937 0 2229 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 40804 KiB Current children cumulated memory: 10312 KiB [startup+0.70035 s] /proc/loadavg: 1.60 0.57 0.24 3/200 9141 /proc/meminfo: memFree=23009952/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=51460 memory=20868 CPUtime=0.69 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 5394 0 0 0 69 0 0 0 20 0 1 0 404349110 52695040 5217 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 12865 5217 510 7937 0 4893 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 51460 KiB Current children cumulated memory: 20868 KiB [startup+1.50038 s] /proc/loadavg: 1.60 0.57 0.24 3/200 9141 /proc/meminfo: memFree=23010016/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=51780 memory=21184 CPUtime=1.49 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 5489 0 0 0 149 0 0 0 20 0 1 0 404349110 53022720 5296 33554432000 4194304 36700936 140727118680240 140727118679288 4649944 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 12945 5296 515 7937 0 4973 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 51780 KiB Current children cumulated memory: 21184 KiB [startup+3.10947 s] /proc/loadavg: 1.63 0.59 0.25 3/200 9141 /proc/meminfo: memFree=23009768/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=51912 memory=21524 CPUtime=3.1 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 7628 0 0 0 309 1 0 0 20 0 1 0 404349110 53157888 5381 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 12978 5381 527 7937 0 5006 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 51912 KiB Current children cumulated memory: 21524 KiB [startup+6.30035 s] /proc/loadavg: 1.63 0.59 0.25 3/199 9141 /proc/meminfo: memFree=23009132/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=51912 memory=21604 CPUtime=6.29 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 9983 0 0 0 628 1 0 0 20 0 1 0 404349110 53157888 5401 33554432000 4194304 36700936 140727118680240 140727118679288 4787906 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 12978 5401 527 7937 0 5006 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 51912 KiB Current children cumulated memory: 21604 KiB [startup+12.7003 s] /proc/loadavg: 1.66 0.61 0.26 3/199 9141 /proc/meminfo: memFree=23009436/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52044 memory=21696 CPUtime=12.69 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 12103 0 0 0 1267 2 0 0 20 0 1 0 404349110 53293056 5424 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13011 5424 527 7937 0 5039 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 52044 KiB Current children cumulated memory: 21696 KiB [startup+25.5004 s] /proc/loadavg: 1.73 0.68 0.29 3/199 9142 /proc/meminfo: memFree=23009032/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52044 memory=21728 CPUtime=25.49 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 16328 0 0 0 2545 4 0 0 20 0 1 0 404349110 53293056 5432 33554432000 4194304 36700936 140727118680240 140727118679288 4645791 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13011 5432 527 7937 0 5039 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 52044 KiB Current children cumulated memory: 21728 KiB [startup+51.1095 s] /proc/loadavg: 1.82 0.79 0.33 3/200 9144 /proc/meminfo: memFree=23009108/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52176 memory=21796 CPUtime=51.11 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 18707 0 0 0 5104 7 0 0 20 0 1 0 404349110 53428224 5449 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13044 5449 527 7937 0 5072 0 Current children cumulated CPU time: 51.11 s Current children cumulated vsize: 52176 KiB Current children cumulated memory: 21796 KiB [startup+102.3 s] /proc/loadavg: 1.92 0.97 0.42 3/199 9148 /proc/meminfo: memFree=23008040/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52176 memory=21972 CPUtime=102.29 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 20770 0 0 0 10213 16 0 0 20 0 1 0 404349110 53428224 5493 33554432000 4194304 36700936 140727118680240 140727118679288 6947479 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13044 5493 527 7937 0 5072 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 52176 KiB Current children cumulated memory: 21972 KiB [startup+162.3 s] /proc/loadavg: 1.97 1.16 0.52 3/199 9152 /proc/meminfo: memFree=23007548/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52176 memory=21972 CPUtime=162.3 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 21079 0 0 0 16207 23 0 0 20 0 1 0 404349110 53428224 5493 33554432000 4194304 36700936 140727118680240 140727118679288 4789268 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13044 5493 527 7937 0 5072 0 Current children cumulated CPU time: 162.3 s Current children cumulated vsize: 52176 KiB Current children cumulated memory: 21972 KiB [startup+222.3 s] /proc/loadavg: 1.99 1.31 0.61 3/199 9156 /proc/meminfo: memFree=23007832/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52308 memory=22052 CPUtime=222.31 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 21415 0 0 0 22199 32 0 0 20 0 1 0 404349110 53563392 5513 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13077 5513 528 7937 0 5105 0 Current children cumulated CPU time: 222.31 s Current children cumulated vsize: 52308 KiB Current children cumulated memory: 22052 KiB [startup+282.3 s] /proc/loadavg: 2.00 1.44 0.70 3/199 9169 /proc/meminfo: memFree=23007460/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52308 memory=22052 CPUtime=282.32 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 21415 0 0 0 28181 51 0 0 20 0 1 0 404349110 53563392 5513 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13077 5513 528 7937 0 5105 0 Current children cumulated CPU time: 282.32 s Current children cumulated vsize: 52308 KiB Current children cumulated memory: 22052 KiB [startup+342.3 s] /proc/loadavg: 2.00 1.54 0.78 3/199 9173 /proc/meminfo: memFree=23008240/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52308 memory=22052 CPUtime=342.32 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 21681 0 0 0 34162 70 0 0 20 0 1 0 404349110 53563392 5513 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13077 5513 528 7937 0 5105 0 Current children cumulated CPU time: 342.32 s Current children cumulated vsize: 52308 KiB Current children cumulated memory: 22052 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.62 0.86 3/199 9177 /proc/meminfo: memFree=23007532/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52308 memory=22052 CPUtime=402.33 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 21734 0 0 0 40156 77 0 0 20 0 1 0 404349110 53563392 5513 33554432000 4194304 36700936 140727118680240 140727118679288 4787885 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13077 5513 528 7937 0 5105 0 Current children cumulated CPU time: 402.33 s Current children cumulated vsize: 52308 KiB Current children cumulated memory: 22052 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.69 0.93 3/199 9183 /proc/meminfo: memFree=23007836/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52308 memory=22052 CPUtime=462.34 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 21970 0 0 0 46151 83 0 0 20 0 1 0 404349110 53563392 5513 33554432000 4194304 36700936 140727118680240 140727118679288 6947479 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13077 5513 528 7937 0 5105 0 Current children cumulated CPU time: 462.34 s Current children cumulated vsize: 52308 KiB Current children cumulated memory: 22052 KiB ################ # More data... # ################ /proc/9138/statm: 13077 5536 528 7937 0 5105 0 Current children cumulated CPU time: 1722.48 s Current children cumulated vsize: 52308 KiB Current children cumulated memory: 22144 KiB [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.75 3/199 9325 /proc/meminfo: memFree=23007416/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52308 memory=22144 CPUtime=1782.49 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 24926 0 0 0 177925 324 0 0 20 0 1 0 404349110 53563392 5536 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13077 5536 528 7937 0 5105 0 Current children cumulated CPU time: 1782.49 s Current children cumulated vsize: 52308 KiB Current children cumulated memory: 22144 KiB [startup+1842.3 s] /proc/loadavg: 2.00 1.99 1.77 3/199 9329 /proc/meminfo: memFree=23007108/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52308 memory=22144 CPUtime=1842.5 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 24926 0 0 0 183911 339 0 0 20 0 1 0 404349110 53563392 5536 33554432000 4194304 36700936 140727118680240 140727118679288 4787885 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13077 5536 528 7937 0 5105 0 Current children cumulated CPU time: 1842.5 s Current children cumulated vsize: 52308 KiB Current children cumulated memory: 22144 KiB [startup+1902.3 s] /proc/loadavg: 2.00 1.99 1.78 3/199 9335 /proc/meminfo: memFree=23007372/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52308 memory=22144 CPUtime=1902.5 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 25169 0 0 0 189896 354 0 0 20 0 1 0 404349110 53563392 5536 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13077 5536 528 7937 0 5105 0 Current children cumulated CPU time: 1902.5 s Current children cumulated vsize: 52308 KiB Current children cumulated memory: 22144 KiB [startup+1962.3 s] /proc/loadavg: 2.00 1.99 1.79 3/199 9339 /proc/meminfo: memFree=23006460/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52440 memory=22168 CPUtime=1962.5 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 25243 0 0 0 195882 368 0 0 20 0 1 0 404349110 53698560 5542 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13110 5542 528 7937 0 5138 0 Current children cumulated CPU time: 1962.5 s Current children cumulated vsize: 52440 KiB Current children cumulated memory: 22168 KiB [startup+2022.3 s] /proc/loadavg: 2.00 1.99 1.80 3/199 9343 /proc/meminfo: memFree=23006964/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52440 memory=22168 CPUtime=2022.51 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 25491 0 0 0 201870 381 0 0 20 0 1 0 404349110 53698560 5542 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13110 5542 528 7937 0 5138 0 Current children cumulated CPU time: 2022.51 s Current children cumulated vsize: 52440 KiB Current children cumulated memory: 22168 KiB [startup+2082.3 s] /proc/loadavg: 2.00 1.99 1.81 3/200 9357 /proc/meminfo: memFree=23006272/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52440 memory=22168 CPUtime=2082.52 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 25494 0 0 0 207858 394 0 0 20 0 1 0 404349110 53698560 5542 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13110 5542 528 7937 0 5138 0 Current children cumulated CPU time: 2082.52 s Current children cumulated vsize: 52440 KiB Current children cumulated memory: 22168 KiB [startup+2142.3 s] /proc/loadavg: 2.00 1.99 1.83 3/200 9361 /proc/meminfo: memFree=23006220/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52440 memory=22168 CPUtime=2142.53 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 25745 0 0 0 213847 406 0 0 20 0 1 0 404349110 53698560 5542 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13110 5542 528 7937 0 5138 0 Current children cumulated CPU time: 2142.53 s Current children cumulated vsize: 52440 KiB Current children cumulated memory: 22168 KiB [startup+2202.3 s] /proc/loadavg: 2.00 1.99 1.84 3/200 9365 /proc/meminfo: memFree=23006000/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52440 memory=22168 CPUtime=2202.53 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 25745 0 0 0 219831 422 0 0 20 0 1 0 404349110 53698560 5542 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13110 5542 528 7937 0 5138 0 Current children cumulated CPU time: 2202.53 s Current children cumulated vsize: 52440 KiB Current children cumulated memory: 22168 KiB [startup+2262.3 s] /proc/loadavg: 2.00 1.99 1.85 3/200 9371 /proc/meminfo: memFree=23006208/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52440 memory=22168 CPUtime=2262.54 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 25993 0 0 0 225819 435 0 0 20 0 1 0 404349110 53698560 5542 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13110 5542 528 7937 0 5138 0 Current children cumulated CPU time: 2262.54 s Current children cumulated vsize: 52440 KiB Current children cumulated memory: 22168 KiB [startup+2322.3 s] /proc/loadavg: 2.00 1.99 1.86 3/200 9375 /proc/meminfo: memFree=23005716/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52440 memory=22168 CPUtime=2322.55 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 25995 0 0 0 231806 449 0 0 20 0 1 0 404349110 53698560 5542 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13110 5542 528 7937 0 5138 0 Current children cumulated CPU time: 2322.55 s Current children cumulated vsize: 52440 KiB Current children cumulated memory: 22168 KiB [startup+2382.3 s] /proc/loadavg: 2.00 1.99 1.87 3/199 9379 /proc/meminfo: memFree=23005920/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52440 memory=22168 CPUtime=2382.55 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 26244 0 0 0 237792 463 0 0 20 0 1 0 404349110 53698560 5542 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13110 5542 528 7937 0 5138 0 Current children cumulated CPU time: 2382.55 s Current children cumulated vsize: 52440 KiB Current children cumulated memory: 22168 KiB [startup+2442.3 s] /proc/loadavg: 2.49 2.13 1.92 3/212 9414 /proc/meminfo: memFree=23142828/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52440 memory=22168 CPUtime=2442.56 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 26246 0 0 0 243777 479 0 0 20 0 1 0 404349110 53698560 5542 33554432000 4194304 36700936 140727118680240 140727118679288 6947511 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13110 5542 528 7937 0 5138 0 Current children cumulated CPU time: 2442.56 s Current children cumulated vsize: 52440 KiB Current children cumulated memory: 22168 KiB [startup+2502.3 s] /proc/loadavg: 2.18 2.11 1.93 3/199 9513 /proc/meminfo: memFree=23075424/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52440 memory=22168 CPUtime=2502.56 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 26498 0 0 0 249763 493 0 0 20 0 1 0 404349110 53698560 5542 33554432000 4194304 36700936 140727118680240 140727118679288 4468779 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13110 5542 528 7937 0 5138 0 Current children cumulated CPU time: 2502.56 s Current children cumulated vsize: 52440 KiB Current children cumulated memory: 22168 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2519.8 s] /proc/loadavg: 2.13 2.10 1.93 4/199 9514 /proc/meminfo: memFree=23075416/32770624 swapFree=67003116/67108860 [pid=9138] ppid=9135 vsize=52440 memory=22168 CPUtime=2520.06 cores=0,2,4,6 /proc/9138/stat : 9138 (BTD) R 9135 9138 8882 0 -1 4202496 26498 0 0 0 251510 496 0 0 20 0 1 0 404349110 53698560 5542 33554432000 4194304 36700936 140727118680240 140727118679288 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 41521152 140727118689320 140727118689396 140727118689396 140727118692305 0 /proc/9138/statm: 13110 5542 528 7937 0 5138 0 Current children cumulated CPU time: 2520.06 s Current children cumulated vsize: 52440 KiB Current children cumulated memory: 22168 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2519.8 s] # the end of solver process 9138 was just reported to runsolver # cumulated CPU time of all completed processes: user=2515.11 s, system=4.96956 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.08 CPU user time (s): 2515.11 CPU system time (s): 4.96956 CPU usage (%): 100.011 Max. virtual memory (cumulated for all children) (KiB): 52440 Max. memory (cumulated for all children) (KiB): 22168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2515.11 system time used= 4.96956 maximum resident set size= 22168 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26498 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= 8 involuntary context switches= 669 # summary of solver processes directly reported to runsolver: # pid: 9138 # total CPU time (s): 2520.08 # total CPU user time (s): 2515.11 # total CPU system time (s): 4.96956 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.29453 second user time and 16.8949 second system time The end
Begin job on node136 at 2019-09-12 11:36:00 IDJOB=4386786 IDBENCH=128075 IDSOLVER=2822 FILE ID=node136/4386786-1568281004 RUNJOBID= node136-1568280854-8913 PBS_JOBID= 21701072 Free space on /tmp= 54580 MiB SOLVER NAME= BTD 19.07.01 BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-75-09.xml COMMAND LINE= BTD TIMELIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4386786-1568281004/watcher-4386786-1568281004 -o /tmp/evaluation-result-4386786-1568281004/solver-4386786-1568281004 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568280854-8913 --watchdog 2580 BTD 2520 HOME/instance-4386786-1568281004.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3e3af1bae7de9ef5515b71e9dbb47d41 RANDOM SEED=1294856819 node136.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 : 2668.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.00 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 : 2668.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.54 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 : 2668.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.00 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 : 2668.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.54 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 : 2668.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.00 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 : 2668.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.54 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 : 2668.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.00 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 : 2668.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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23029748 kB MemAvailable: 31707904 kB Buffers: 77472 kB Cached: 8804072 kB SwapCached: 2468 kB Active: 1553344 kB Inactive: 7489816 kB Active(anon): 162368 kB Inactive(anon): 40468 kB Active(file): 1390976 kB Inactive(file): 7449348 kB Unevictable: 107332 kB Mlocked: 107332 kB SwapTotal: 67108860 kB SwapFree: 67003116 kB Dirty: 61424 kB Writeback: 0 kB AnonPages: 278176 kB Mapped: 44764 kB Shmem: 32792 kB Slab: 294800 kB SReclaimable: 266292 kB SUnreclaim: 28508 kB KernelStack: 3760 kB PageTables: 5680 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 682568 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 104448 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 54520 MiB End job on node136 at 2019-09-12 12:18:00